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 2 of 6: Recall the Miquel point of ABCD lies on KL
E=Miquel point of ABCD  ⟹  E∈KLE=\text{Miquel point of }ABCD\implies E\in KL
Detailed analysis

Let EE be the Miquel point of the complete quadrilateral formed by lines AB,BC,CD,DAAB,BC,CD,DA, that is, the common second intersection point of circles (KBC)(KBC), (KAD)(KAD), (LAB)(LAB), (LCD)(LCD). It is a standard fact that this Miquel point EE lies on the line KLKL joining the two diagonal points.