Tứ giác AEHF là hình chữ nhật (có 3 góc vuông) \(\Rightarrow HE=AF\)
Áp dụng định lý Pitago trong tam giác vuông AFH:
\(AH^2=AF^2+HF^2=HE^2+HF^2\)
Áp dụng hệ thức lượng trong tam giác vuông AHB với đường cao HF:
\(HF^2=AF.FC\)
Tương tự:
\(HE^2=AE.EB\)
\(\Rightarrow AH^2=HE^2+HF^2=AE.EB+AF.FC\) (đpcm)