a) Xét tứ giác AEHF, ta có:
Góc AEF = 90° (E là hình chiếu của H trên AB hoặc HE ⊥ AB tại E)
EAF = 90° (Δ ABC vuông tại A)
AFH = 90° (F là hình chiếu của H trên AC hoặc HF ⊥ AC tại F)
=> AEHF là hình chữ nhật 
=> AH = EF
b) Ta có: Δ ABC vuông tại A và AH là đường caO
=> AH bình phương = AE . AB (Hệ thức lượng của Δ ABC vuông tại A)
AH bình phương = AF . AC (Hệ thức lượng của Δ ABC vuông tại A)
=> AE . AB = AF . AC