Cho đường tròn (O), điểm A nằm ngoài đường tròn (O). Kẻ hai cát tuyến ABC, ADE (với B nằm giữa A và C, D nằm giữa A và E, cát tuyến ABC nằm khác phía với cát tuyến ADE bờ AO). Gọi F là điểm di động trên cung nhỏ BD của (O) (F khác B và D). Vẽ (I) là tâm đường tròn ngoại tiếp tam giác AFB, (J) là tâm đường tròn ngoại tiếp tam giác AFD.
a) IO cắt BF tại K, JO cắt BF tại L. Chứng minh tứ giác OKFL nội tiếp một đường tròn.
b) IJ cắt AF tại M. Chứng minh: AC. MK = AE. ML
c) CJ cắt EI tại N. Chứng minh: N nằm trên đường tròn tâm O.