Xét ΔBHA vuông tại H và ΔBKC vuông tại K có
\(\hat{HBA}\) chung
Do đó: ΔBHA~ΔBKC
=>\(\frac{BH}{BK}=\frac{BA}{BC}\left(1\right)\)
Xét ΔBKH có BI là phân giác
nên \(\frac{BH}{BK}=\frac{IH}{IK}\left(2\right)\)
Xét ΔBAC có BD là phân giác
nên \(\frac{BA}{BC}=\frac{DA}{DC}\left(3\right)\)
Từ (1),(2),(3) suy ra \(\frac{IH}{IK}=\frac{DA}{DC}\)
=>\(IH\cdot DC=IK\cdot DA\)