et donc
$\alpha^2-4\alpha=2\overline{\alpha}-8$.
Or $OB=|\alpha|=\sqrt{1^2+\left(\sqrt{3}\right)^2}=\sqrt{4}=2$ puis $OC=|\overline{\alpha}|=|\alpha|=2$. Donc
les points $B$ et $C$ appartiennent au cercle $(\mathscr{C})$.
$z_E=\alpha e^{i\theta}$.
$z_F=\dfrac{\alpha}{2}+e^{i\theta}$.
$\dfrac{z_G-2}{z_F-2}=\dfrac{\alpha}{2}$.
En résumé, le triangle $AFG$ est isocèle en $A$ et $\left(\overrightarrow{AF},\overrightarrow{AG}\right)=\dfrac{\pi}{3}\;[2\pi]$ et donc
le triangle $AFG$ est équilatéral.
Ensuite, $f\left(-\dfrac{\pi}{6}\right)=4-3\left(\dfrac{\sqrt{3}}{2}\right)+\sqrt{3}\left(-\dfrac{1}{2}\right)=4-2\sqrt{3}$ et $f(\pi)=4-3(-1)+0=7$ ce qui permet de compléter le tableau de variation.
Ce tableau de variation montre que la fonction $f$ admet un minimum (ce qui valide la conjecture) en $x=-\dfrac{\pi}{6}$ et que ce minimum vaut $4-2\sqrt{3}$.
La valeur minimale de $AF$ est $\sqrt{4-2\sqrt{3}}$.