Pour tous nombres complexes $z$ et $z'$, $\overline{z}\times\overline{z'}=\overline{z\times z'}$.
Le résultat est démontré par récurrence.
Pour tout nombre complexe $z$ et tout entier naturel non nul $n$, $\overline{z^n}=\left(\overline{z}\right)^n$.
On a montré que
si $z$ est solution de $(E)$ alors $-z$ et $\overline{z}$ sont solutions de $(E)$.
$z_0=\sqrt{2}e^{i\pi/4}$.
Les quatre nombres $1+i$, $1-i$, $-1+i$ et $-1-i$ sont solutions de l'équation $(E)$.
$z_E=-1+\sqrt{3}$.
$z_F=-i\left(1+\sqrt{3}\right)$.
En particulier, $\dfrac{z_A-z_E}{z_A-z_F}$ est un nombre réel.
En particulier, les vecteurs $\overrightarrow{EA}$ et $\overrightarrow{FA}$ sont colinéaires et on en déduit que
les points $A$, $E$ et $F$ sont alignés.