b) Xét hai tam giác [TEX]BHI[/TEX] và [TEX]BEC[/TEX] có: [TEX]\widehat{BHI}= \widehat{BEC}=90^{\circ},[/TEX] chung [TEX]\widehat{EBC}[/TEX].
[TEX]\Rightarrow \triangle BHI \sim \triangle BEC \; ( \text{g.g}) \Rightarrow \frac{BH}{BI}= \frac{BE}{BC} \Rightarrow BH \cdot BC= BI \cdot BE \qquad (1)[/TEX].
Theo hệ thức lượng trong tam giác vuông [TEX]BAC[/TEX] thì [TEX]BA^2=BH \cdot BC \qquad (2)[/TEX]
Từ [TEX](1)[/TEX] và [TEX](2)[/TEX] ta suy ra [TEX]BI \cdot BE= BA^2[/TEX].
Xét hai tam giác [TEX]BHI[/TEX] và [TEX]DHC[/TEX] có [TEX]\widehat{BHI}= \widehat{DHC}=90^{\circ}, \; \widehat{IBH} =\widehat{IDE}[/TEX] (cùng phụ với [TEX]\widehat{BIH}= \widehat{DIE}[/TEX] ).
Do đó [TEX]\triangle{BHI} \sim \triangle DHC \Rightarrow \frac{HI}{BH}= \frac{HC}{DH} \Rightarrow BH \cdot HC= HI \cdot DH[/TEX].
Theo hệ thức lượng thì [TEX]BH \cdot HC= AH^2[/TEX]. Do đó [TEX]HI \cdot DH=AH^2[/TEX].