Bài toán : Cho tứ giác ABCD nội tiếp (O). E,F,I lần lượt là giao điểm của các cặp đường (AD,BC),(AB,CD),(AC,BD). Gọi G là giao điểm thứ hai của (O) và (AEF) và H là giao điểm thứ hai của (O) và (CEF).
a) (ELMO Shortlist 2014)
Chứng minh rằng GH,AC,BD đồng quy.
b) Gọi Q là điểm Miquel của tứ giác toàn phần ABCDEF. Chứng minh OQ,AC,BD đồng quy.
c) Chứng minh bốn điểm G,O,G,H đồng viên.
Lời giải :

a) Dễ thấy EF,AG,CH đồng quy tại tâm đẳng phương của (AEF),(CEF),(O).
Áp dụng định lý Desargues cho hai tam giác ABG,CDH nên để chứng minh AC,BD,GH đồng quy ta đi chứng minh :
(AB∩CD),(BG∩DH),(AG∩CH)
Nhưng dễ thấy AB∩CD và AG∩CH đều thuộc đường thẳng EF nên ta phải chứng minh BG∩DH cũng thuộc EF.
Áp dụng định lý Pascal cho sáu điểm (D,A,G,B,C,H) ta được BG∩DH nằm trên đường thẳng nối AD∩BC và AG∩CH. Dễ thấy đó chính là EF, tức là BG∩DH nằm trên EF.
Ta hoàn thành câu a.
b) Ta sẽ chứng minh QI là phân giác góc BQD. Tức là đi chứng minh :
IBID=QBQD
Dễ thấy hai tam giác AIB,DIC đồng dạng :
DIAI=CIBI=CDAB
IA.IC=IB.ID⇒IDIB=IDIA.IDIC=CDAB.IDIC
Cũng dễ thấy hai tam giác QAB,QDC đồng dạng :
QDQA=QCQB=CDAB
QA.QC=QB.QD⇒QDQB=QDQA.QDQC=CDAB.QDQC
Như vậy ta cần chứng minh :
IDIC=QDQC
Thực như vậy, bởi các tam giác AID,BIC đồng dạng nên IDIC=ADBC và vì các tam giác QAD,QBC đồng dạng nên QDQC=ADBC. Từ đó IDIC=QDQC.
Như vậy QI là phân giác góc BQD
Gọi S là giao của BD,EF. Dễ thấy Q(DB,IS)=−1 mà QI là phân giác góc BQD nên theo định lý về chùm điều hòa ta có QI vuông góc QS hay QI vuông góc EF.
Hơn nữa theo định lý Brocard thì O là trực tâm tam giác EFI. Suy ra OI vuông góc EF. Ta được O,I,Q thẳng hàng.
Hay nói cách khác OQ,AC,BD đồng quy.
c) Để ý rằng :
∠BQD=2∠IQD=2(900−∠FQD)=1800−2∠BCD=1800−∠BOD
Vậy ta được tứ giác BODQ nội tiếp, kéo theo IB.ID=IO.IQ. Mà theo câu a thì G,H,I thẳng hàng nên IG.IH=IB.ID
Kéo theo IO.IQ=IG.IH. Điều này chứng tỏ bốn điểm G,H,O,Q đồng viên.