The orthocentre is the intersection of the three altitudes. The proof of their concurrency uses a brilliant idea: build a larger triangle for which the altitudes become the perpendicular bisectors of the sides.

Theorem — Concurrency of the altitudes

The three altitudes of a triangle meet at a single point (orthocentre).

The altitudes of ABCABC (green) are the perpendicular bisectors of the sides of the outer triangle DEFDEF.

Proof — The altitudes are concurrent

  1. From each vertex of ABCABC we draw the parallel to the opposite side, forming the larger triangle DEFDEF.
  2. By construction, ABDCABDC is a parallelogram (ABCDAB\parallel CD, ACBDAC\parallel BD), hence ABCDAB\cong CD. Likewise, ABCEABCE is a parallelogram, hence ABCEAB\cong CE.
  3. It follows that CDCECD\cong CE, that is, CC is the midpoint of DEDE.
  4. Now comes the key idea: the altitude CHCH is perpendicular to ABAB, and ABDEAB\parallel DE (by construction), hence CHDECH\perp DE at the midpoint CC. But then CHCH is the perpendicular bisector of the side DEDE!
  5. Likewise, the other altitudes of ABCABC are perpendicular bisectors of the sides of DEFDEF. Since the perpendicular bisectors of a triangle are concurrent, the altitudes of ABCABC are concurrent.

Topics: Euclidean circle
Concepts: Altitude · Orthocentre
Skills: Proving · Synthetic geometry