Trường hợp CD // OO', dễ chứng minh.
Giả sử CD cắt OO' tại I. Gọi E, F là giao điểm của IA với (O), (O').
Ta có
\(IA.IE=IC^2=IO.IH\)
Ta chứng minh được AEOH là tứ giác nội tiếp nên
\(\widehat{AHK}=\widehat{E}=\widehat{OAE}\) (1)
Chứng minh tương tự AFKO' là tứ giác nội tiếp nên
...
Bạn cần đăng nhập để xem được nội dung này!