Morley's Miracle
H. D. Grossman's Proof

Theorem

  The three points of intersection of the adjacent trisectors of the angles of any triangle form an equilateral triangle.

Proof

This proof was published in The American Mathematical Monthly, Vol. 50, No. 9 (Nov., 1943), p. 552.

Let the triangle have base BC and angles 3α, 3β,3γ. Let BDK, BF, CDH, CE be angle trisectors. E is determined by making ∠CDE = 60° + β and F by making ∠BDF = 60° + γ. Then

  ∠EDF = 360° - (180° - β - γ) - (60° + β) - (60° + γ) = 60°.

Also

  ∠BFD = 180° - (60° + β + γ) = 60° + α.

Similarly, ∠CED = 60° + α.

  Grossman's proof of Morley's theorem

Since D is equidistant from BF and CE, DF = DE and ΔDEF is equilateral.

  ∠1 = (60° + α) - (β - γ) = 60° - β.

Similarly,

  ∠2 = 60° - γ.

Through F draw line r making ∠1' = ang'1. Through E draw a line s making angle ∠2' = ∠2.

  ∠3 = (60° + α) - (60° - β) = α + β

and

  ∠mr = (α + β) - β = α.

Similarly,

  ∠sn = (α + γ) - γ = α.

Further,

  ∠mn = (180° - 3β - 3γ) = 3α.

It remains only to prove that the lines m, n, r, and s converge to a point. The line KF joins the vertices of two isosceles triangles and therefore bisects ∠K. Then in triangle mBKs the bisector of ∠ms passes through F and being parallel to r, coincides with it. Similarly in triangle rHCn the bisector of ∠rn passes through E and being parallel to s, coincides with it.


Morley's Miracle

  1. J.Conway's proof
  2. D. J. Newman's proof
  3. Bankoff's proof
  4. B. Bollobás' proof
  5. Another proof
  6. Nikos Dergiades' proof
  7. G. Zsolt Kiss' proof
  8. M. T. Naraniengar's proof
  9. Doodling and Miracles
  10. Morley's Pursuit of Incidence
  11. Lines, Circles and Beyond
  12. On Motivation and Understanding
  13. Bankoff's conundrum
  14. Of Looking and Seeing
  15. Morley's Redux and More, Alain Connes' proof
  16. An Unexpected Variant
  17. Proof by B. Stonebridge and B. Millar
  18. Proof by B. Stonebridge
  19. Proof by Nolan L Aljaddou
  20. Proof by Roger Smyth
  21. Proof by H. D. Grossman
  22. Proof by R. J. Webster
  23. Proof by H. Shutrick

|Contact| |Front page| |Contents| |Geometry| |Store|

Copyright © 1996-2012 Alexander Bogomolny

 40617258

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