Problem 1
Let be the circumcircle of triangle . Let be a point on side . The tangent to at intersects the line through parallel to at point . The segment intersects again at . Suppose , , , are concyclic. Prove that , , are concurrent.
Step 3 of 4: Introduce three circles
Detailed analysis
Besides (through ) and from the previous step, we are given that passes through . Each pair of these three circles shares exactly two of the marked points: and share ; and share ; and share .