Problem 5
Line intersects sides and of cyclic quadrilateral at its interior points and , respectively, and intersects ray beyond point at , and ray beyond point at . The circumcircles of triangles and intersect at , while the circumcircles of triangles and intersect at . Let lines and meet at point , lines and meet at point , and lines and meet at point . Prove that point lies on line .
Step 2 of 6: Recall the Miquel point of ABCD lies on KL
Detailed analysis
Let be the Miquel point of the complete quadrilateral formed by lines , that is, the common second intersection point of circles , , , . It is a standard fact that this Miquel point lies on the line joining the two diagonal points.