Maths WorkshopMaths problems with full solutions
Exercise 1319Geometry › Analytic geometryOlympiadAdded 5 Nov 2026

The distance between the circumcentre and the orthocentre

#vectors#orthocentre#circumcentre#Euler line

Statement

Let ABCABC be a triangle with circumcentre OO, circumradius RR, orthocentre HH, centroid GG and sides a,b,ca,b,c.

  1. Using vectors with origin OO, prove that OH⃗=OA⃗+OB⃗+OC⃗\vec{OH}=\vec{OA}+\vec{OB}+\vec{OC}, and deduce that O,G,HO,G,H are collinear with OH=3 OGOH=3\,OG.
  2. Prove that OH2=9R2−(a2+b2+c2)OH^2=9R^2-(a^2+b^2+c^2).
  3. Deduce a2+b2+c2≤9R2a^2+b^2+c^2\le9R^2, with equality iff ABCABC is equilateral.
Hint

Set h=a+b+c\mathbf h=\mathbf a+\mathbf b+\mathbf c for the vectors a=OA⃗\mathbf a=\vec{OA}, etc., and show that h−a\mathbf h-\mathbf a is orthogonal to b−c\mathbf b-\mathbf c using ∣b∣=∣c∣=R|\mathbf b|=|\mathbf c|=R.

Show solutionHide solution

Solution

Write a,b,c\mathbf a,\mathbf b,\mathbf c for OA⃗,OB⃗,OC⃗\vec{OA},\vec{OB},\vec{OC}; ∣a∣=∣b∣=∣c∣=R|\mathbf a|=|\mathbf b|=|\mathbf c|=R.

1. Let h=a+b+c\mathbf h=\mathbf a+\mathbf b+\mathbf c and KK the point with OK⃗=h\vec{OK}=\mathbf h. Then
(h−a)⋅(b−c)=(b+c)⋅(b−c)=∣b∣2−∣c∣2=0,(\mathbf h-\mathbf a)\cdot(\mathbf b-\mathbf c)=(\mathbf b+\mathbf c)\cdot(\mathbf b-\mathbf c)=|\mathbf b|^2-|\mathbf c|^2=0,
so AK⊥BCAK\perp BC; by symmetry BK⊥CABK\perp CA and CK⊥ABCK\perp AB. So K=HK=H. The centroid is OG⃗=a+b+c3\vec{OG}=\frac{\mathbf a+\mathbf b+\mathbf c}3, hence OH⃗=3OG⃗\vec{OH}=3\vec{OG}.

2. Expanding,
OH2=3R2+2(a⋅b+b⋅c+c⋅a),OH^2=3R^2+2(\mathbf a\cdot\mathbf b+\mathbf b\cdot\mathbf c+\mathbf c\cdot\mathbf a),
and a2+b2+c2=6R2−2(a⋅b+b⋅c+c⋅a)a^2+b^2+c^2=6R^2-2(\mathbf a\cdot\mathbf b+\mathbf b\cdot\mathbf c+\mathbf c\cdot\mathbf a), so OH2=9R2−(a2+b2+c2)OH^2=9R^2-(a^2+b^2+c^2).

3. OH2≥0OH^2\ge0 gives the inequality, with equality iff H=OH=O, i.e. iff the triangle is equilateral.

Check. Right triangle 33-44-55, R=2.5R=2.5: OH=2.5OH=2.5 and formula gives 9⋅6.25−50=6.25=2.529\cdot6.25-50=6.25=2.5^2 ✓.

Lesson. Placing the origin at the circumcentre makes ∣a∣=∣b∣=∣c∣|\mathbf a|=|\mathbf b|=|\mathbf c| and turns the orthocentre into the vector sum.