Cho điểm A nằm ngoài đường tròn tâm (O) vẽ tiếp tuyến AB và AC (điểm B,C là các tiếp điểm). Vẽ các tuyến AEF không đi qua tâm (O) ( E nằm giữa A và F)

Cho điểm A nằm ngoài đường tròn tâm (O) vẽ tiếp tuyến AB và AC (điểm B,C là các tiếp điểm). Vẽ các tuyến AEF không đi qua tâm (O) ( E nằm giữa A và F)
a, Chứng minh tứ giác ABOC nội tiếp 
b, Chứng minh AE . AF = AB^2