Soit un nombre complexe z = a + ib et son conjugué z*= a - ib .

Si z = z* alors forcément b = 0 et z = a, donc z est réel.