Problem 5
Let be a fixed convex quadrilateral with and . Let two variable points and lie on the sides and , respectively, and satisfy . The lines and meet at , the lines and meet at , the lines and meet at . Prove that the circumcircles of the triangles , as and vary, have a common point other than .
Step 1 of 7: Fix a candidate point
In plain words
Everything about and is fixed before are even chosen, so any point built only from them is automatically independent of .
Detailed analysis
Let be the second intersection point (other than ) of the circumcircles of triangles and — the Miquel point of the complete quadrilateral formed by lines . Since do not depend on the choice of , neither does : it is a single fixed point.