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 \dbinom{MPN}{LTY}
\Rightarrow \overline{I,O,K} \Rightarrow K≡K'
Dễ chứng minh YB^2=YI^2=YJ.YM=YK.YP
\Rightarrow...