a) Gọi B′C′ cắt BC tại U. Ta có: B′C′ là da do đó: d đi qua U.
Tương tự thì: C′A′, AB, d đồng quy. Và: AC, A′B′, d đồng quy.
Do đó áp dụng định lí Desargues ta có: AA′, BB′, CC′ đồng quy tại Y. Gọi Ya, Yb, Yc đối xứng Y qua BC, CA, AB lần lượt. Theo tính chất đối xứng ta có: YbYc song song d. Tương tự thì ta thu được: Ya, Yb, Yc thẳng hàng (cùng nằm trên đường thẳng song song d) dẫn đến theo tính chất đường thẳng Steiner đảo thì: Y∈(O).
b) Gọi H là trực tâm tam giác ABC.
Gọi d1,d2,d3 lần lượt là các đường thẳng đối xứng với XH qua BC,CA,AB.
Gọi Ha là điểm đối xứng của H qua BC. Ta có Ha∈(O). Gọi Q là giao điểm thứ hai của d1 với (O). Gọi Qa,Qb,Qc lần lượt là các điểm đối xứng của Q qua BC,CA,AB. Vì Q∈d1 nên Qa∈XH.
Theo tính chất điểm Anti-Steiner ta có: d1,d2,d3 đồng quy tại điểm cố định Q∈(O).
Gọi Xa,Xb,Xc lần lượt là các điểm đối xứng của X qua BC,CA,AB.
Vì X∈(O) nên theo tính chất Steiner: Xa,Xb,Xc,H thẳng hàng.
Ta có: d1=QXa, d2=QXb, d3=QXc.
Do (d2,db) và (d3,dc) lần lượt là ảnh của (XH,d) qua các phép đối xứng nên: ∠(d2,db)=∠(d3,dc).
Mà A′=db∩dc, suy ra: ∠QXbA′=∠QXcA′.
Do đó: Q, Xb, A′, Xc đồng viên. Tương tự: Q, Xc, B′, Xa đồng viên, Q, Xa, C′, Xb đồng viên.
Vậy ta thu được: Q là điểm Miquel của tứ giác toàn phần: (A′B′,B′C′,C′A′,XbXc) dẫn đến: Q∈(A′B′C′). Vậy đường tròn ngoại tiếp tam giác A′B′C′ luôn đi qua điểm cố định Q.