Let be a non-isosceles triangle with incenter and let the circumcircle of the triangle has radius . Let be the external angle bisector of with . Let be the point on the perpendicular bisector of such that . Prove that .
Solution
Denote as the midpoint of the arc not containing of , we need to prove . Denote as the internal bisectors of then are collinear. Note that and take the orthogonal projection from to get in which
Suppose that cuts at , combining with , then is the midpoint of . Thus it remains to prove is the midpoint of .
Denote as the ex-center with respect to angle of triangle then is the midpoint of . Then if and only if , or .
Now take as the ex-centers with respect to angles of triangle then are the foot of altitudes in triangle and are the orthocenter and nine-point center of that triangle, thus the reflection of over is the circumcenter. Note that and are collinear then
and similarly, so is the radical axis of and which implies that is perpendicular to the line joining centers of and . We know that center of is the reflection of over , and since , it is easy to check that . Thus, we have which finishes the proof.