AD mediana coresp.ipotenuzei in tr.dr ABC
AD=BC/2
BC=2AD (0)
DF⊥AB(ipoteza)⇒DF||AC (1)
DE⊥AC(ipoteza)⇒DE||AB (2)
din (1) si (2)⇒AEDF paralelogram
Dar cum m∡A=90°, AEDF paralelogram cu un unghi drept, AEDF dreptunghi⇒
[EF]≡[AD] (diagonale in dreptunghi)
cum BC=2AD (0)⇒BC=2EF, C.C.T.D.
as simple as that!!