Xét `ΔABF` vuông tại `A` và `AE` là đường cao ta có:
`AB²=BE.BF(` hệ thức lượng `)(1)`
Xét `ΔABC` vuông tại `A` và `AH` là đường cao ta có:
`AB²=BH.BC(` hệ thức lượng `)(2)`
Từ `(1)` và `(2)⇒BE.BF=BH.BC(đpcm)`
`⇒(BE)/(BC)=(BH)/(BF)`
Xét `ΔBHE` và `ΔBFC` ta có:
`(BE)/(BC)=(BH)/(BF)(cmt)`
`hat{B}:chung`
`⇒ΔBHE`$\backsim$`ΔBFC(c.g.c)`
`⇒hat{BHE}=hat{BFC}(2` góc tương ứng `)(đpcm)`