Let be the antipode of in . Moreover, let the tangent to at meet again at . Let be the other midpoint of arc . Let , and . We finish the problem in three steps.
- Since , we get that are collinear.
- Pascal on gives , , and are collinear.
- We have
so . Thus, and are homothetic at center , so are collinear.
Hence, are collinear. clearly lies on this line, done.
Solution 2