The theorem
The Euler line
Let , , and be the circumcenter, centroid, and orthocenter of a non-equilateral triangle . Then are collinear and
Their common line is the Euler line of .
The circumcenter as an orthocenter
Let be the midpoints of , respectively. By the midpoint theorem,
The perpendiculars to through are the three perpendicular bisectors of , and hence meet at . By the parallel relations above, these same lines are the three altitudes of . Thus is the orthocenter of the medial triangle.
The homothety and the Euler line
Since divides each median in the ratio , the homothety centered at with ratio sends
It therefore carries onto . Since homotheties preserve perpendicularity, it sends the orthocenter of to the orthocenter of . Hence
So are collinear and
The nine-point center
Let be the circumcenter of . The same homothety sends to , while it sends to :
Since its ratio is ,
with and on one side of and on the other. Hence
Thus is the midpoint of . Since the circumcircle of is the nine-point circle of , is the nine-point center.
Related notes and diagrams
- The Centroid through Ceva and Vectors
- Two Views of the Orthocenter
- The Nine-Point Circle from the Circumcircle shows how a homothety centered at produces all nine points at once.
- Diagram and construction source