Xét ΔBHA vuông tại H và ΔBAC vuông tại A có
\(\widehat{HBA}\) chung
Do đó: ΔBHA~ΔBAC
=>\(\dfrac{BH}{BA}=\dfrac{BA}{BC}\)(1)
Xét ΔBHA có BI là phân giác
nên \(\dfrac{BH}{BA}=\dfrac{IH}{IA}\left(2\right)\)
Từ (1),(2) suy ra \(\dfrac{IH}{IA}=\dfrac{BA}{BC}\)
=>\(IH\cdot BC=IA\cdot BA\)