Let be an acute, non-isosceles triangle with , as circumcenter and orthocenter, respectively. Prove that the nine-point circles of , , have two common points.
Solution
Let , , be the midpoints of , , and be the projection of on . Denote as the Euler circle of ; then , , , lie on and is the midpoint of . Similarly, let , be the midpoints of , and be the projection of on ; then , , , lie on the Euler circle of .
Denote as the symmetric point of through . Foremost, we will prove that is the intersection of and .
Indeed, it is easy to see that , are the circumcenter and orthocenter of . From the midsegment, we have
so is symmetric with through . Then is an isosceles trapezoid, which means that .
On the other hand, since is the orthocenter of , if we denote as the symmetric point of through , then . In addition, , so is the diameter of . And by the symmetry, we get
which implies that .
From (1) and (2), we get is the intersection of and . Note that and is symmetric to through , which implies that is the anti-Steiner point of with respect to . Similarly, lies on the Euler circles of , .