Kéo dài CH cắt AB tại D. Dễ thấy: [tex]\widehat{CDB}=\widehat{CEB}=90^o\Rightarrow[/tex]CEDB nội tiếp [tex]\Rightarrow \widehat{ADE}=\widehat{ACB}[/tex]
Xét tam giác AED và ABC:
[tex]\left.\begin{matrix} \widehat{ADE}=\widehat{ACB}\\ \widehat{DAE}=\widehat{BAC} \end{matrix}\right\}\Rightarrow \Delta ADE\sim \Delta ACB\Rightarrow \frac{AD}{AE}=\frac{AC}{AB}\Rightarrow AE.AC=AD.AB[/tex]
Tương tự ta cũng chứng minh được: [TEX]BF.BC=BD.BA[/TEX]
Cộng vế theo vế ta có đpcm.