Bài này khá dài (hình hơi lớn nên để vào spoiler), nói chung là làm theo các ý sau:
SpoilerKí hiệu lại điểm $(X,Y,Z) \equiv (D,E,F) ; P \equiv X$
Gọi giao điểm $(AXD), (BXE), (CXF)$ với $(O)$ lần lượt là $P,Q,R$
$AP, BQ, CR, (O)$ cắt $\overline{D,E,F}$ lần lượt tại $D_0, E_0, F_0, U, V$
Chú ý rằng $(D,D_0,U,V) = (E,E_0,U,V) = (F,F_0,U,V) = -1$
Từ đó có $AP, BQ, CR$ đồng quy tại $Y$$X$ và $Y$ có cùng phương tích với 3 đường tròn nên ta có điều phải chứng minh
Tôi dùng cách tỉ số phương tích với meneleuyt