Distance between the Orthocenter and Circumcenter

Problem 2 from the 1994 Asian Pacific Mathematical Olympiad asked to

Prove that, for any triangle Δ, the inequality

HO ≤ 3R,

where H is the orthocenter, O the circumcenter and R the circumradius of Δ.

A stronger result can be easily proved with complex numbers: for any triangle Δ, with side lengths a, b, c the following identity holds:

(1) HO ² = 9R ² - (a² + b² + c²).

Solution

|Contact| |Front page| |Contents| |Algebra| |Store|

Set the origin of the complex plane at the circumcenter O of triangle Δ and let x, y, z be the complex number corresponding to the vertices of Δ opposite sides a, b, c. Then, as we know, the orthocenter H can be determined with

  1. | x | = | y | = | z | = R,
  2. H = x + y + z,
  3. a = | z - y |, b = | x - z |, c = | y - x |.

With these, (1) becomes

(2) | x + y + z |² = 9R ² - (| z - y |² + | x - z |² + | y - x |²).

With a little insight and an appeal to symmetry, we are led to establishing an identity from which (2) follows immediately.

| x + y + z |² = 3(| x |² + | y |² + | z |²) - (| z - y |² + | x - z |² + | y - x |²).

The left-hand side of (3) equals

| x + y + z |² = | x |² + | y |² + | z |² + (xy* + yz* + zx* + x*y + y*z + z*x).

The second term in the right-hand side of (3) equals

| z - y |² + | x - z |² + | y - x |² = 2(| x |² + | y |² + | z |²) - (xy* + yz* + zx* + x*y + y*z + z*x).

Together they make (3) obvious.

(The same identity is derived elsewhere from the relation between the medians and the side lengths of a triangle.)

Complex Numbers

  1. Algebraic Structure of Complex Numbers
  2. Division of Complex Numbers
  3. Useful Identities Among Complex Numbers
  4. Useful Inequalities Among Complex Numbers
  5. Trigonometric Form of Complex Numbers
  6. Real and Complex Products of Complex Numbers
  7. Complex Numbers and Geometry
  8. Remarks on the History of Complex Numbers
  9. Complex Numbers: an Interactive Gizmo
  10. Cartesian Coordinate System
  11. Fundamental Theorem of Algebra
  12. Complex Number To a Complex Power May Be Real
  13. One can't compare two complex numbers
  14. Riemann Sphere and Möbius Transformation
  15. Problems

|Contact| |Front page| |Contents| |Algebra| |Store|

Copyright © 1996-2012 Alexander Bogomolny

 40619160

A math books store at a unique math study site. Shopping at the store helps maintain the site. Thank you.
Sites for teachers
Sites for parents
Terms of use
Awards
Interactive Activities

CTK Exchange
CTK Wiki Math
CTK Insights - a blog
Math Help
Games & Puzzles
What Is What
Arithmetic
Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Stories for Young
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Old and nice bookstore
Other Math sites
Front Page
Movie shortcuts
Personal info
Privacy Policy

Guest book
News sites

Recommend this site

Sites for parents

Education & Parenting

Search:
Keywords:

Google
Web CTK
Supported by
3wVentures