Legyen az $ ABC $ derékszögű háromszög $ AB $ átfogójának felezőpontja $ D $, továbbá az $ E $ az $ AC $, az $ F $ pedig a $ BC $ befogó egy-egy belső pontja úgy, hogy $ EDF\sphericalangle = 90^\circ $ teljesül. Bizonyítsa be, hogy $ EF = AE^2 + BF^ 2 $ .

Megoldás: 

Igaz az állítás