a: Xét tứ giác AEHF có \(\widehat{AEH}+\widehat{AFH}=90^0+90^0=180^0\)
nên AEHF là tứ giác nội tiếp
b: Xét ΔFAC vuông tại F và ΔFHB vuông tại F có
\(\widehat{FCA}=\widehat{FBH}\left(=90^0-\widehat{BAE}\right)\)
Do đó: ΔFAC đồng dạng với ΔFHB
=>\(\dfrac{FA}{FH}=\dfrac{FC}{FB}\)
=>\(FA\cdot FB=FC\cdot FH\)
c: Xét tứ giác BFEC có \(\widehat{BFC}=\widehat{BEC}=90^0\)
nên BFEC là tứ giác nội tiếp
=>\(\widehat{FEC}+\widehat{FBC}=180^0\)
mà \(\widehat{FEC}+\widehat{AEF}=180^0\)(hai góc kề bù)
nên \(\widehat{AEF}=\widehat{ABC}\)(1)
Kẻ tiếp tuyến Ax của (O)
Xét (O) có
\(\widehat{xAC}\) là góc tạo bởi tiếp tuyến Ax và dây cung AC
\(\widehat{ABC}\) là góc nội tiếp chắn cung AC
Do đó: \(\widehat{xAC}=\widehat{ABC}\left(2\right)\)
Từ (1),(2) suy ra \(\widehat{xAC}=\widehat{AEF}\)
mà hai góc này là hai góc ở vị trí so le trong
nên Ax//FE
Ta có: Ax//FE
OA\(\perp\)Ax
Do đó: OA\(\perp\)EF
.