Lesson
The theory β Triangle Centres & the Euler Line
A triangle centre is a point picked out by the triangle itself rather than by the page it is drawn on: move or turn or scale the triangle and the point follows. Four of them are classical, and each is where one family of three lines happens to meet. The medians meet at the centroid, the perpendicular bisectors of the sides at the circumcentre, the altitudes at the orthocentre, and the angle bisectors at the incentre. That those three lines meet at all, in each of the four cases, is already a theorem.
What each symbol means
G- the centroid, the average of the three vertices, and the point the triangle would balance on
O- the circumcentre, equidistant from all three vertices, so the circle through them is centred there
H- the orthocentre, where the three altitudes meet; the only one of the four with no circle of its own
I- the incentre, equidistant from all three sides, and the only one that is always inside
- Breaks when
- On the equilateral triangle, which is the one case this page has nothing to say about. All four centres collapse to the same point, every line through it contains all of them, and the Euler line is not any particular line. The page prints "no line at all" there rather than choosing one.
Problem solved in full
-
A line nobody drew 6 steps
A triangle has vertices A = (0, 0), B = (6, 0) and C = (2, 5). Find the centroid, the circumcentre and the orthocentre from their own definitions, show that the three are collinear, and find the ratio in which the centroid divides the segment between the other two.
-
The centroid first, because it is the one that needs no geometry. The medians meet at the average of the vertices, so G = ((0 + 6 + 2)/3, (0 + 0 + 5)/3) = (8/3, 5/3). The Centroid G row reads (2.667, 1.667).
-
The circumcentre is the point equidistant from all three vertices. Equidistant from A and B puts it on x = 3, the perpendicular bisector of a horizontal segment. Equidistant from A and C gives 3Β² + yΒ² = (3 β 2)Β² + (y β 5)Β², and the yΒ² cancels off both sides: 9 = 1 + 25 β 10y, so 10y = 17 and y = 1.7. O = (3, 1.7), and the Circumcentre O row agrees.
-
The orthocentre needs two altitudes and nothing from step 2. The altitude from A is perpendicular to BC, whose direction is C β B = (β4, 5), so every point on it satisfies β4x + 5y = 0. The altitude from B is perpendicular to AC, direction (2, 5), and passes through (6, 0), so 2(x β 6) + 5y = 0. Substituting y = 4x/5 into the second gives 2x β 12 + 4x = 0, so x = 2 and y = 1.6. H = (2, 1.6).
-
Now the claim. From O the step to G is (8/3 β 3, 5/3 β 17/10) = (β1/3, β1/30), and the step to H is (2 β 3, 1.6 β 1.7) = (β1, β1/10). Two vectors are parallel when their cross product vanishes: (β1/3)(β1/10) β (β1/30)(β1) = 1/30 β 1/30 = 0. It vanishes exactly, in fractions, with no rounding anywhere.
-
The second vector is three times the first, so H is three times as far from O as G is, and G lies between them. That makes HG two parts to GO's one. In lengths, GO = β(1/9 + 1/900) = β101/30 = 0.334996 and HG = β(4/9 + 1/225) = β101/15 = 0.669992. The HG : GO row reads 2.000, and the β101 cancels rather than being rounded away.
-
The fourth centre does not join in. With a = |BC| = β41, b = |CA| = β29 and c = |AB| = 6, the incentre is (aA + bB + cC)/(a + b + c) = (2.491, 1.687). The Incentre off the line row reads 0.0372 β small, and not zero. Drag C to x = 3 and it becomes 0.0000, because the triangle is then isosceles.
Answer
Exactly 2, and exactly 2 for every triangle you can draw. The centroid is not merely somewhere on the segment from the orthocentre to the circumcentre; it is two thirds of the way along it, always. What the tool cannot show you is why, because dragging a vertex is evidence and not a proof. The shortest proof takes the circumcentre as the origin, so that |A| = |B| = |C| = R, and looks at the single point P = A + B + C. Then P β A = B + C, and (B + C)Β·(C β B) = |C|Β² β |B|Β² = 0, so P sits on the altitude from A. The same two lines put it on the other two altitudes, which makes P the orthocentre. The centroid is P/3, one third of the way from the origin to P, and the origin was the circumcentre.
-
References (3)
- The paper the line is named after, in which Euler works out all four centres in coordinates and then notices that three of them are collinear: L. Euler, "Solutio facilis problematum quorundam geometricorum difficillimorum." Novi Commentarii academiae scientiarum Petropolitanae 11 (for 1765), printed 1767, pp. 103β123. Euler Archive E325; reprinted in Opera Omnia I.26, pp. 139β157.
- The nine-point circle, the fifth point this page draws and the one with the longest list of claimants: K. W. Feuerbach, Eigenschaften einiger merkwΓΌrdigen Punkte des geradlinigen Dreiecks. Wiessner, NΓΌrnberg, 1822.
- A modern textbook treatment of the four centres and the line, at the level this page is pitched: H. S. M. Coxeter and S. L. Greitzer, Geometry Revisited. Mathematical Association of America, New Mathematical Library 19, 1967, chapter 1.