# The Euler Line and the 9-Point Circle

This is a continuation of The Altitudes and the Euler line page, towards the end of which we established existence of the Euler line. In any triangle, three remarkable points - circumcenter, centroid, and orthocenter - are *collinear*, that is, lie on the same line, Euler's line. Centroid is always located between the circumcenter and the orthocenter twice as close to the former as to the latter.

In hindsight, we can see how existence of the Euler line can be shown by purely geometric means. Consider ΔABC and its *medial triangle* M_{a}M_{b}M_{c}. The two triangles are similar; ΔM_{a}M_{b}M_{c} twice as small as ΔABC. Moreover, their corresponding sides are parallel, and, in addition, the two triangles have a common centroid.

ΔM_{a}M_{b}M_{c} can be obtained by rotating ΔABC 180° around its centroid M and then shrinking it towards M to half its size. As a result of this transformation, the segment MH will also rotate 180° around M and, the orthocenter H will be made to coincide with the orthocenter of ΔM_{a}M_{b}M_{c}, which, as can easily be seen, coincides, in turn, with the circumcenter (the common point of the three perpendicular bisectors) of ΔABC.

The geometric derivation is at least as easy as the application of complex numbers. However, complex numbers gave us a broader outlook on the geometric configuration. For example, recall the formulas for the feet of the altitudes in Δx_{1}x_{2}x_{3}:

H_{x1} = (H - x_{2}x_{3}/x_{1})/2

H_{x2} = (H - x_{1}x_{3}/x_{2})/2

H_{x3} = (H - x_{1}x_{2}/x_{3})/2,

where H = x_{1} + x_{2} + x_{3}, the orthocenter of the triangle. We obtained those formulas under the assumption that all three vertices x_{1}, x_{2}, x_{3} lie on the unit circle. Let's rearrange the above identities:

H/2 - H_{x1} = x_{2}x_{3}/2x_{1}

H/2 - H_{x2} = x_{1}x_{3}/2x_{2}

H/2 - H_{x3} = x_{1}x_{2}/2x_{3}.

Since all three points lie on the unit circle, we have

|H/2 - H_{x1}| = |H/2 - H_{x2}| = |H/2 - H_{x3}| = 1/2,

which says that the feet of the three altitudes in Δx_{1}x_{2}x_{3} are equidistant from the point H/2. In other words, the circumcenter of ΔH_{x1}H_{x2}H_{x3} is at H/2 - the midpoint of Euler's line. The circumradius of ΔH_{x1}H_{x2}H_{x3} is half that of Δx_{1}x_{2}x_{3}.

The circle at center H/2 and radius 1/2 is known as the *9-point circle*, its center is naturally the *9-point center*. Why 9 points? Because, besides the feet of the three altitudes, it also passes through the midside points of ΔABC and the midpoints of segments that join the orthocenter with the vertices of the triangle.

The midpoint of the side x_{1}x_{2} is given by M_{x3} = (x_{1} + x_{2})/2. Therefore, |H/2 - M_{x3}| = |x_{3}/2| = 1/2. Similarly, the midpoint of x_{1}H is defined by (x_{1} + H)/2, so that the distance from that point to H/2 again equals |-x_{1}/2| = 1/2. The same is, of course, true of other midpoints and vertices. Pretty simple.

(A more fundamental 8 point circle is associated with quadrilaterals with orthogonal diagonals. In a strange twist, three such quadrilaterals that can be found in any triangle share the same 8 point circle, but the total count of points that lie on it only comes to 9.)

But we are not done yet. Select 4 points x_{1}, x_{2}, x_{3}, and x_{4} on the unit circle. These four points define four triangles: x_{1}x_{2}x_{3}, x_{2}x_{3}x_{4}, x_{1}x_{2}x_{4}, x_{1}x_{3}x_{4}. For each of the four triangles find the center of its 9-point circle. We get, respectively, points (x_{1} + x_{2} + x_{3})/2, (x_{2} + x_{3} + x_{4})/2, (x_{1} + x_{2} + x_{4})/2, and (x_{1} + x_{3} + x_{4})/2. Each of these points is at distance 1/2 from the point (x_{1} + x_{2} + x_{3} + x_{4})/2. The latter is the center of what is known as the 9-point circle of the four points.

Point (x_{1} + x_{2} + x_{3} + x_{4})/2 is obviously symmetric to the circumcenter in the center of gravity _{1} + x_{2} + x_{3} + x_{4})/4*anticenter* of the cyclic quadrilateral x_{1}x_{2}x_{3}x_{4}.

For five points x_{1}, x_{2}, x_{3}, x_{4}, and x_{5} on the unit circle, there are 5 groups of 4 points. 5 centers of their 9-point circles lie on a circle of radius 1/2 with center at (x_{1} + x_{2} + x_{3} + x_{4} + x_{5})/2, and so on. We thus get and infinite sequence of circles and their centers that lie on subsequent circles. This sequence was discovered by J.L.Coolidge (1873-1954).

### Remark 1

The orthocenter x_{1} + x_{2} + x_{3} of triangle x_{1}x_{2}x_{3} and the vertex x_{4} are symmetric in the anticenter _{1} + x_{2} + x_{3} + x_{4})/2,_{1}x_{3}x_{4}, x_{1}x_{2}x_{4}, and x_{2}x_{3}x_{4}. Therefore, the quadrilateral formed by the orthocenters of the four triangles is the reflection of x_{1}x_{2}x_{3}x_{4} in the anticenter. (See A Remarkable Line in Cyclic Quadrilateral.)

### Remark 2 (Hamilton's theorem)

Quite obviously, if ΔABC is inscribed in a circle of radius R, its 9-point circle has radius R/2. In 1861, W. R. Hamilton (1805-1865) noticed that four triangles ABC, ABH, BCH and CAH share the same 9-point circle. From here it follows that the circumcircles of the four triangles, although different, have the same radius.

### References

- Liang-shin Hahn,
*Complex Numbers & Geometry*, MAA, 1994

|Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny