Let be a triangle with its circumcircle. Let be the midpoint of the arc not containing . Let and such that . We take (resp. ), the second intersection of (resp. ) with and .
Show that is tangent to .
Let be a triangle with its circumcircle. Let be the midpoint of the arc not containing . Let and such that . We take (resp. ), the second intersection of (resp. ) with and .
Show that is tangent to .
Let's show that , , and the tangent at to are the radical axes of three circles: the first is , the second is the circle passing through , , and , and the third is the circle passing through , , , and . This quadrilateral is cyclic because, by angle chasing, as , we have . Since , the tangent at to is the same as the tangent to the circumcircle of , , and , so the latter is the radical axis. Finally, the three radical axes intersect at a point, thus we obtain the desired result.
Let's show that , , and the tangent at to are the radical axes of three circles, the first being , the second the circumcircle of , and the third the circumcircle of . This quadrilateral is cyclic because, by angle chasing like , we have
Since , the tangent at to is the same as the tangent to the circumcircle of , so this is the radical axis. Finally, the three radical axes intersect at a point, so we obtain the desired result.
!