Problem 4
Triangle has circumcircle and circumcenter . A circle with center intersects the segment at points and , such that , , , are all different and lie on line in this order. Let and be the points of intersection of and , such that , , , , lie on in this order. Let be the second intersection point of the circumcircle of triangle with segment , and let be the second intersection point of the circumcircle of triangle with segment . Suppose that the lines and are distinct and intersect at the point . Prove that lies on the line .
Step 3 of 5: Four parallelisms from directed-angle chasing
In plain words
Repeated use of inscribed angles "anti-parallel" through the pair of lines produces four independent parallel pairs.
Detailed analysis
Using directed angles modulo through the cyclic quadrilaterals and , together with collinear on line : gives ; gives ; gives ; and gives .