Les points E, A et F sont alignés si la distance [EF] est égale à la distance [EA] plus la distance [AF].
Il suffit donc de calculer les longueurs des segments [EF], [EA] et [AF] en appliquant le théorème de Pythagore successivement aux triangles ECF rectangle en C, EDA rectangle en D et ABF rectangle en B.
