Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Shopping at the store helps maintain the site. Thank you.
Math & English enrichment at SchoolPlus-Online
HoodaMath: games and movies
Sites for teachers
Sites for parents
Terms of use
Awards
Interactive Activities

CTK Exchange
CTK Wiki Math
CTK Insights - a blog
Math Help

III Millennium Olympiad

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
Other Math sites
Front Page
Movie shortcuts
Personal info
Privacy Policy

Guest book
News sites

Recommend this site

Games to relax

Sites for teachers
Sites for parents

Education & Parenting

Manifesto: what CTK is about Buying a book is a commitment to learning Table of content Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

Morley's Miracle

In 1899, almost a hundred years ago, Frank Morley, then professor of Mathematics at Haverford College, came across a result so surprising that it entered mathematical folklore under the name of Morley's Miracle. Morley's marvelous theorem states that

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

The applet below serves to demonstrate that, indeed, whatever the shape of the given triangle, the Morley triangle is always equilateral.

 

This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at http://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.


Morley's original proof stemmed from his results on algebraic curves tangent to a given number of lines. As usual in mathematics, numerous attempts have been made to find a simple, elementary proof that could match the level of knowledge and proficiency required to grasp the statement of the theorem. The simplest proofs proceed backwards starting with an equilateral triangle. They differ in subsequent steps. Most such proofs highlight some additional features of the configuration but complicate matters unnecessarily as a few most trivial proofs convincingly demonstrate.

Before giving several backward proofs, here is a direct one which, while logically absolutely transparent, requires some high school trigonometry.

Proof #1

In all likelihood, this proof first appeared in A.Letac, Solution (Morley's triangle), Problem No. 490, Sphinx, 9(1939) 46. I came across it in a Russian book D.O.Shklyarsky, N.N.Chentsov, Y.M.Yaglom, Selected Problems and Theorems of Elementary Mathematics, v. 2, problem 97, Moscow, 1952 and also in The Art of Mathematics by B. Bollobás (Cambridge University Press, 2006, p. 126-127.)

The idea of the proof is fairly straightforward.

  1. In triangles ARB, BPC, CQA, we know the bases - AB, BC, and AC - and the adjacent angles. The Law of Sines then yields the segments AR, BR, BP, CP, CQ, and AQ.
  2. Next we apply the Law of Cosines to triangles AQR, BPR, and CPQ to determine (and compare) the segments QR, PR, and PQ. The fact that they come out equal proves the theorem.

For simplicity, let (angles) A = 3a, B = 3b, and C = 3c. This implies that a + b + c = 60°. Also, assuming that the radius of the circle circumscribed around ΔABC equals 1, we get AB = 2sin(3c), BC = 2sin(3a), AC = 2sin(3b).

Consider now ΔBPC. By the Law of Sines,

 BP/sin(c)= BC/sin(180° - b - c)
  = 2sin(3a)/sin(b + c)
  = 2sin(3a)/sin(60° - a)

Therefore, BP = 2sin(3a)sin(c)/sin(60° - a). To simplify the expression note that

 
sin(3a) = 3sin(a) - 4sin3(a)
= 4sin(a)[(3/2)2 - sin2(a)]
= 4sin(a)[sin2(60°) - sin2(a)]
= 4sin(a)(sin(60°) + sin(a))(sin(60°) - sin(a))
= 4sin(a) 2sin[(60° + a)/2]cos[(60° - a)/2] 2sin[(60° - a)/2]cos[(60° + a)/2]
= 4sin(a)sin(60° + a)sin(60° - a)

Reaping the fruits of this effort,

  BP = 8sin(a)sin(c)sin(60° + a)

Similarly,
  BR = 8sin(c)sin(a)sin(60° + c)

Proceeding to the second step and the Law of Cosines,

  PR2 = BP2 + BR2 - 2 BP BR cos(b),

from where

  PR2 = 64sin2(a)sin2(c)[sin2(60° + a) + sin2(60° + c) - 2sin(60° + a)sin(60° + c)cos(b)].

Note, however, that (60° + a) + (60° + c) + b = 180°. Thus, there exists a triangle with angles (60° + a), (60° + c), and b. Indeed, there is a whole family of similar triangles with those angles. Out of this family, choose the one with the circumscribed radius equal to 1 (then, as above, by the Law of Sines, its sides have a very simple form.) In that triangle, apply the Law of Cosines:

  sin2(b) = sin2(60° + a) + sin2(60° + c) - 2sin(60° + a)sin(60° + c)cos(b)

Which gives

  PR = 8sin(a)sin(b)sin(c),

an expression which is symmetric in a, b, and c. QR and PQ are similarly found to be equal to the same expression. Therefore, PR = PQ = QR.


  • 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

    Copyright © 1996-2009 Alexander Bogomolny

  • 33058612Page copy protected against web site content infringement by Copyscape


    Search:
    Keywords:

    Google
    Web CTK