On sait que CEF est un triangle rectangle isocèle, donc, CEF = CFE = (180°-90°)/2 = 45°
donc EFB = 60° - CFE = 60°-45° = 15°
D´autre part, EBC = 90°-ABE = 90°-15° = 75°
Donc EBF = EBC+CBF = 75°+60° = 135°
On a donc BEF = 180°-EBF-EFB = 180°-135°-15° = 30°
On avait aussi vu plus haut que AEB = 150°
Donc AEB+BEF = 180°, donc A,E,F sont bien alignés