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 3 of 6: NQ meets KL on the circle through E, M, N
T=NQ∩KL  ⟹  T∈(EMN)T=NQ\cap KL\implies T\in(EMN)
Detailed analysis

Let T=NQ∩KLT=NQ\cap KL. Using the circles (LAB)(LAB) (which contains EE and MM by definition of the Miquel point), (APS)(APS) (which also contains MM), and (MNQP)(MNQP) from Step 1, directed angles give ∠TEM=∠LEM=∠LAM=∠SAM=∠SPM=∠QPM=∠QNM=∠TNM\angle TEM=\angle LEM=\angle LAM=\angle SAM=\angle SPM=\angle QPM=\angle QNM=\angle TNM. Hence TT lies on the circle ω=(EMN)\omega=(EMN), or KLKL is tangent to ω\omega at EE if T=ET=E.