Xét hai tam giác vuông \(HBA\) và \(HAC\) có:
\(\widehat {BHA} = \widehat {AHC} = 90^\circ \)
\(\widehat {HBA} = \widehat {HAC}\) (hai góc cùng phụ với \(\widehat C\))
\( \Rightarrow ∆ HBA \backsim ∆ HAC\) (g.g)
\( \Rightarrow\displaystyle {{HA} \over {HB}} = {{HC} \over {HA}}\)
\( \Rightarrow A{H^2} = HB.HC\) (đpcm).
