Cho ΔABC nội tiếp (O) , ngoại tiếp (I) . M là điểm chính giữa cung BAC . J là trung điểm BC . MI cắt (O) tại T khác M . OI cắt BC tại K , KT cắt IJ tại X . Chứng minh X,O,I,T đồng viên
Gọi Y là điểm chính giữa cung BC không chứa A
Gọi TK∩(O) tại N khác T , NO∩(O) tại L, LI∩(O)=P
Gọi PY∩NT tại K'
Áp dụng định lí Pascal cho (LTYMPN) ⇒I,O,K⇒K≡K′