Từ điểm A nằm ngoài đường tròn tâm O vẽ 2 tiếp tuyến AB, AC với (O) (B,C là 2 tiếp điểm) và cát tuyến AEF sao cho E nằm giữa A và F (BE<EC). Gọi I là trung điểm của EF. Chứng minh :
a) Tứ giác ABOC, ABOI nội tiếp
b) AO và AF giao BC lần lượt tại H và D. CM AD.AI=AE.AF