triunghiurile dreptunghice ABE si CFE sunt congruente (ULU):
∡ECF=∡ABE=90°
BE=CE
∡CEF=∡AEB opuse la varf
rezulta AB=CF si AB║CF rezulta ca ABFC este paralelogram (are doua laturi opuse paralele si congruente)
stim ca intr-un paralelogram diagonalele se injumatatesc ⇒ AE=EF
stim ca mediana din unghiul drept al unui tr. dreptunghic este jumatate din ipotenuza ⇒ DE=AE=EF ⇒ DE=EF ⇒ tr. DEF este isoscel
