Given is with circumcircle . Let be the midpoint of the arc of not containing . The vertex on is the antipode of . The line through perpendicular to intersects at and intersects a second time at . The line through perpendicular to intersects at the vertex and intersects at the vertex .
Prove that , and are concurrent.
Solution
We note the half of the angle at as , as is the midpoint of arc . Then we note that and that . Moreover, because of the straight angle , we find that .
Now we define as the second intersection of the circumscribed circle of with (in addition to ). Then we note that , so , and are collinear. Similarly, , due to Thales because and are antipodes. So , and are collinear.
For the last line, we claim that is also a cyclic quadrilateral. Indeed, . (Note that this is in fact Miquel's theorem in and cyclic quadrilateral and .) From the inscribed angle theorem in cyclic quadrilateral , it follows that , so , and are collinear. We conclude that , and are concurrent in vertex .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.