On calcule les trois longueurs :
\[ AE = 5 \quad ; \quad AF = 2 \sqrt{5} \quad ; \quad EF = \sqrt{5} \]
On forme le rapport au sommet \( F \), dont le module donne \( \dfrac{FA}{FE} \) et dont l'argument donne l'angle en \( F \) :
\[ \dfrac{a - f}{e - f} = 2 i \]
soit :
\[ \left|\dfrac{a - f}{e - f}\right| = 2 \quad ; \quad \arg\left(\dfrac{a - f}{e - f}\right) \equiv \frac{\pi}{2} \ \left[2\pi\right] \]
Le triangle AEF est rectangle en F.