The idea: four ways to find the centre of a triangle

A circle has one centre. A triangle has several, and each answers a different question. Draw three lines of the same kind, one from each corner or side, and they always meet in one point. The page uses the triangle A = (0, 0), B = (14, 0), C = (5, 12), with sides 13, 14 and 15 and area 84, and lets you move C to other positions.

Four copies of the 13-14-15 triangle. Top left: three blue medians meet at G. Top right: three green dashed perpendicular bisectors meet at O, with the circle through A, B and C. Bottom left: three orange angle bisectors meet at I, with the circle touching the sides. Bottom right: three red altitudes meet at H.
Medians meet at G, perpendicular bisectors at O, angle bisectors at I, altitudes at H.
centrethree lineswhat is special about it13-14-15 triangle
centroid Gmedians: corner → midpoint of the opposite sidebalance point; cuts each median 2 : 1(6.33, 4)
circumcentre Operpendicular bisectors of the sidessame distance R from the three corners(7, 4.125), R = 8.125
incentre Iangle bisectorssame distance r from the three sides(6, 4), r = 4
orthocentre Haltitudes: corner → opposite side at 90°on the Euler line with O and G(5, 3.75)

Centroid: where the medians meet

A median joins a corner to the midpoint of the opposite side. The three medians meet at the centroid G, and G sits two thirds of the way along each median from the corner: the median from C to M = (7, 0) is 12.17 long, with CG = 8.11 and GM = 4.06 (Demo: medians meet at the centroid).

G is simply the average of the corners: ((0 + 14 + 5)/3, (0 + 0 + 12)/3) = (6.33, 4). That is why it is the balance point of a cardboard triangle, and why the "centroid" of a cluster in k-means is the average of its points. The three medians also cut the triangle into six small triangles of equal area (84 / 6 = 14 each).

Circumcentre: equally far from the corners

The points that are as far from A as from B form a line: the perpendicular bisector of AB, which crosses AB at its midpoint at 90°. Where the bisectors of AB and BC cross, a point is equally far from A, B and C, so it is on the third bisector too. That point is the circumcentre O, and the circle with centre O through the three corners is the circumscribed circle. Its radius is R = abc / (4 · area) = 15 · 13 · 14 / 336 = 8.125 (Demo: circumcentre and its circle).

Incentre: equally far from the sides

The points that are as far from side AB as from side AC lie on the angle bisector at A. The three angle bisectors meet at the incentre I, the same distance r from all three sides, so the circle with centre I and radius r touches each side once: the inscribed circle. Cutting the triangle into three triangles IAB, IBC, ICA, all of height r, gives area = r · s, where s is half the perimeter, so r = 84 / 21 = 4 (Demo: incentre and its circle). Unlike the other three, I is always inside the triangle.

Orthocentre: where the altitudes meet

An altitude goes from a corner to the opposite side, meeting it at 90°. The foot of the altitude is the projection of the corner onto that side (see vectors and dot product). The three altitudes meet at the orthocentre H = (5, 3.75). In vector form H = A + B + C − 2O (Demo: altitudes meet at the orthocentre).

The Euler line

In 1765 Euler showed that O, G and H always lie on one line, with G between them and GH = 2 · OG. For C = (2, 12): O = (7, 5), G = (5.33, 4), H = (2, 2), OG = 1.94 and GH = 3.89. Move C and the line turns, but the ratio stays 1 : 2 (Demo: Euler line while C moves).

The triangle A (0, 0), B (14, 0), C (2, 12) with the circumcentre O, centroid G and orthocentre H on one grey line; the purple part OG is 1.94 long and the teal part GH is 3.89 long. The incentre I lies off the line.
O, G and H on one line with GH = 2 · OG; the incentre I is not on it.

Why it works: join the midpoints of the sides to get a smaller triangle. It is the big triangle turned half a turn about G and shrunk to half. Its altitudes are the perpendicular bisectors of the big triangle, so its orthocentre is O. Shrinking by ½ about G takes H to O, so O is on the line HG on the other side of G, half as far. The incentre I is in general not on this line.

Right, obtuse, isosceles, equilateral

With A and B fixed and C moving along the line y = 12, the area stays 84, so G slides along y = 4 and O along the bisector x = 7. The shape decides where the centres are:

triangleOHon the page
acuteinsideinsideC = (5, 12)
right angle at Amidpoint of the hypotenuse BCat AC = (0, 12): O = (7, 6), R = BC/2 = 9.22
obtuse at Aoutside, beyond BCoutside, beyond AC = (−2, 12): O = (7, 7.33), H = (−2, −2.67)
isoscelesall four centres on the axis of symmetryC = (7, 12): all on x = 7
equilateralall four centres are the same pointC = (7, 7√3): (7, 4.04), R = 2r
Three triangles side by side. Obtuse: O above side BC and H below corner A, both outside the triangle. Right: O at the midpoint of the hypotenuse BC on the circle's diameter, H at the right-angle corner A. Equilateral: G, O, I and H at one point.
Obtuse: O and H leave the triangle. Right: O is the hypotenuse midpoint and H the right-angle corner. Equilateral: one point.

The right-angle case is Thales' theorem: the hypotenuse is a diameter of the circumscribed circle (see the Pythagorean theorem). In the obtuse case the altitudes from B and C land on the sides extended past A, and only the extended altitudes meet (Demos: right triangle, obtuse triangle, isosceles then equilateral).

What the page leaves out

The nine-point circle: its centre is the midpoint of OH, its radius is R/2, and it passes through the three side midpoints, the three feet of the altitudes and the midpoints of AH, BH, CH. Euler's formula OI² = R² − 2Rr, which gives R ≥ 2r with equality only for an equilateral triangle. The three excentres, the Fermat point and the many other centres (Kimberling's encyclopedia lists tens of thousands). Proofs that the lines meet (Ceva's theorem), barycentric coordinates, and dragging the corners freely. For more on shapes made from points, see convex hull; for angles and circles, the unit circle and proofs without words.