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 5 of 6: A line meets a circle in at most two points
Detailed analysis
The line meets the circle in at most two points. By Steps 3 and 4, both and are among these intersection points (with itself being one of them, possibly as a point of tangency). If and , they must be the same second intersection point, so ; if either equals , the tangency forces the other to equal too. In every case .