a: Xét (O) có
ΔAFB nội tiếp
AB là đường kính
Do đó: ΔAFB vuông tại F
Xét tứ giác AFEH có \(\widehat{EFA}+\widehat{EHA}=90^0+90^0=180^0\)
nên AFEH là tứ giác nội tiếp
b: Xét ΔHEB vuông tại H và ΔHAI vuông tại H có
\(\widehat{HEB}=\widehat{HAI}\left(=90^0-\widehat{ABF}\right)\)
Do đó: ΔHEB~ΔHAI
=>\(\dfrac{HE}{HA}=\dfrac{HB}{HI}\)
=>\(HE\cdot HI=HA\cdot HB\)

