Vì AD=HE nên AH=DE.
Áp dụng định lí Pi-ta-go vào các Δ vuông ABF, ABH, ADF, BHE, DEF ta được:
= BF²=AB²+AF²=(BH²+AH²)+(AD²+DF²)
= BH²+DE²+HE²+DF²=(BH²+HE²)+(DE²+DF²)
= BE²+EF²; BF²=BE²+EF²
Vậy ΔBEF vuông tại E (định lí Pi-ta-go đảo)
⇒EB vuông góc với EF