MathLabs

Problem 5

Line ℓ\ell intersects sides BCBC and ADAD of cyclic quadrilateral ABCDABCD at its interior points RR and SS, respectively, and intersects ray DCDC beyond point CC at QQ, and ray BABA beyond point AA at PP. The circumcircles of triangles QCRQCR and QDSQDS intersect at N≠QN\neq Q, while the circumcircles of triangles PASPAS and PBRPBR intersect at M≠PM\neq P. Let lines MPMP and NQNQ meet at point XX, lines ABAB and CDCD meet at point KK, and lines BCBC and ADAD meet at point LL. Prove that point XX lies on line KLKL.
Step 1 of 6: M, N, P, Q lie on one circle
M,N,P,Q are concyclicM,N,P,Q\text{ are concyclic}
Detailed analysis

Point MM is the Miquel point of lines ABAB, ℓ\ell, ADAD, BCBC restricted to the configuration around P,S,A,R,BP,S,A,R,B, and NN is the Miquel point of lines CDCD, BCBC, ℓ\ell, ADAD around Q,R,C,S,DQ,R,C,S,D. Using directed angles and the cyclic quadrilaterals QNRCQNRC, PMASPMAS, ABCDABCD, one computes ∠NMP=∠NRQ+∠DAB=∠NRQ+∠QNR=∠NQP\angle NMP=\angle NRQ+\angle DAB=\angle NRQ+\angle QNR=\angle NQP, so M,N,Q,PM,N,Q,P are concyclic.