Áp dụng hệ thức lượng trong các tam giác vuông ABC, AHB, AHC ta có:

AB.AC = BC.AH ⇒ \(BC = \frac\)

* BH² = AB.BE

AB² = BH.BC ⇒ AB⁴ = BH² . BC² = AB.BE.BC²

* CH² = AC.CF

AC² = CH.BC ⇒ AC⁴ = CH² . BC² = AC.CF.BC²

Xét: \(\frac{{A{B^4}}}{{A{C^4}}} = \frac{{AB.BE.B{C^2}}}{{AC.CF.B{C^2}}} = \frac\)

Suy ra: \(\frac = {\left( {\frac} \right)^3}\)

Lại có: BH² = AB.BE ⇒ BE = \(\frac{{B{H^2}}}\)

CH² = AC.CF ⇒ CF = \(\frac{{C{H^2}}}\)

Khi đó: \(BE.CF = \frac{{B{H^2}}}.\frac{{C{H^2}}} = \frac{{A{H^4}}}\)(Vì AH² = BH.CH)

Vậy BC.BE.CF = \(\frac.\frac{{A{H^4}}} = A{H^3}\).2