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 ma, mb, mc, respectively. The medians are expressed in terms of the side lengths as follows
| (*) | 2 ma² | = b² + c² - a²/2, etc., |
meaning, for example, that
| |
AG² = (2ma/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 OH = 3OG, reducing (3) to the desired identity
| (4) |
9R² = (a² + b² + c²) + OH².
|
Now the task is to prove (1).
Solution
One solution makes use of the formula for the square of the median
| (*) | 2 ma² | = b² + c² - a²/2, etc., |
For the proof, let D be the midpoint of AG and A' the midpoint of BC. Then DA' = AG. Apply (*) to the medians in triangles MBC, MDA', MAG:
| | 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²,
|
References
- N. Altshiller-Court, College Geometry, Dover, 2007, pp. 70-71.
Copyright © 1996-2009 Alexander Bogomolny
|