Sum of Squares of Distances to Vertices
Elsewhere we established the identity
HO² = 9R² - (a² + b² + c²), |
where H is the orthocenter, O the circumcenter and R the circumradius of triangle ΔABC with side lengths a, b, c.
Another way to obtain this result is via another identity that holds for any point M in the plane of the triangle
(1) | AM² + BM² + CM² = AG² + BG² + CG² + 3 MG², |
where G is the centroid of ΔABC.
The derivation is as follows. Let M be O, the circumcenter of the triangle. Then (1) implies that
(2) | 3R² = AG² + BG² + CG² + 3 OG², |
AG, BG, and CG are two thirds of the medians m_{a}, m_{b}, m_{c}, respectively. The medians are expressed in terms of the side lengths as follows
(*) | 2 m_{a}² | = b² + c² - a²/2, etc., |
meaning, for example, that
AG² = (2m_{a}/3)² = (2b² + 2c² - a²)/9, |
and similarly for BG and CG. Substituting these into (2) gives
(3) | 3R² = (a² + b² + c²)/3 + 3 OG², |
Three centers O, G, and H lie on the Euler line such that
(4) | 9R² = (a² + b² + c²) + OH². |
Now the task is to prove (1).
|Contact| |Front page| |Contents| |Algebra|
One solution makes use of the formula for the square of the median
(*) | 2 m_{a}² | = b² + c² - a²/2, etc., |
For the proof, let D be the midpoint of AG and A' the midpoint of BC. Then
MB² + MC² | = 2MA'² + BC²/2, | |
MD² + MA'² | = 2MG² + DA'²/2, | |
MA² + MG² | = 2MD² + AG²/2. |
Multiplying the second of these by 2 and adding, we arrive, after simplification, at
MA² + MB² + MC² - 3MG² | = (BC² + 3AG²)/2. |
Considering the medians BB' and CC' leads to analogous identities. Adding the three yields
(5) | 3(MA² + MB² + MC² - 3MG²) | = (a² + b² + c²)/2 + 3(AG² + BG² + CG²)/2. |
However, from (*),
a² + b² + c² | = 3(GA² + GB² + GC²), |
which, combined with (5), gives the desired result
AM² + BM² + CM² = AG² + BG² + CG² + 3 MG², |
Corollary
The sum of squares of the distances from a point to the vertices of a triangle is constant for points lying on a circle with center G. In particular, for an equilateral triangle, the sum of squares of the distances to the vertices for points on the incircle is constant and the same holds for points on the circumcircle, the 9-point circle, Adams' circle, and the rest. This remark complements a result by Leo Moser.
References
- N. Altshiller-Court, College Geometry, Dover, 2007, pp. 70-71.
|Contact| |Front page| |Contents| |Algebra|
Copyright © 1996-2018 Alexander Bogomolny