a) Xét tam giác ABH vuông tại H có HE là đường cao => AH^2=AB.AE (1) 
Xét tam giác AHC vuông tại H có HC là đường cao nên => AH^2=AC.FA (2) 
từ (1) và (2) => AB.AE=AC.FA <=> AE/FA=AC/AB 
Xét tam giác AEF và ACB có góc A chung và AE/FA=AC/AB (cmt) 
=> tam giác AEF~ ACB (c.g.c) => góc AFE=ABC (3) 
Kẻ tai tiếp tuyến At => At vuông góc với OA (4) 
góc tAC= 1/2 sđ cung AC 
góc AFE=ABC=1/2 sđ cung AC 
=> gác tAC=AFE (mà 2 góc này ở vị trí so le trong )=> At//FE (5) 
từ (4) và (5) => OA vuông góc FE