Let be an acute and non-isosceles triangle with orthocenter . Let be the circumcenter of triangle and let be the circumcenter of triangle . Prove that the reflection of in lies on .
!
Solution
We consider the configuration as shown in the figure. Other configurations proceed analogously. Let be the second intersection of with the circumcircle of . Let be the second intersection of the circumcircle of and the circumcircle of . (Since is acute, and lie inside and thus also inside its circumcircle, so and both exist.)
We have
where we use that . Furthermore, we have
where we use that . We conclude that (SAS). It follows that and are each other's reflections in .
If we reflect the center of the circumcircle of in , we get the center of the circumcircle of . We need to prove that lies on .
Point is the reflection of in . This is a known fact, which we can prove as follows: and similarly , so . Therefore, is indeed the reflection of in , which means that is the perpendicular bisector of . Since lies on the perpendicular bisector of , lies on , and that is what we wanted to prove.