Morley's Miracle
Remarks on J. Conway's proof

As other "backward" proofs, Conway's ends up with a triangle that at best is similar to ΔABC which is of course fine.

The seven triangles fit together for two reasons:

  1. At the vertices of the equilateral triangle the angles sum up to 360°.
  2. The line segments that are to be common sides of two triangles are equal by construction. This is clear for the sides of the equilateral triangle that have been chosen to be 1. The add-on points Y and Z allow to select triangles BPC, AQC, and ARB so that the potential trisectors also match each other.

The whole point of introducing points Y and Z is to eschew trigonometry. Building on the rigidity of the configuration and the fact that all angles in all triangles are known, it is possible to follow the chain of six triangles (the middle one excluded) using the Law of Sines:

Start, for example with ΔABR. Fix, say, AR. Then

(1)BR = AR·sin(a)/sin(b).

Construct ΔBPR with BR given above. Then

(2)BP = BR·sin(a*)/sin(c*).

Keep constructing triangles so that their sides match. By the Law of Sines, we'll sequentially get

(3)CP = BP·sin(b)/sin(c)
(4)CQ = CP·sin(b*)/sin(a*)
(5)AQ = CQ·sin(c)/sin(a)
(6)AR = AQ·sin(c*)/sin(b*)

The last one should actually read "AR' = AQ·sin(c*)/sin(b*)". For we do not know in advance whether it has the same length as AR. To see that it does, multiply (1)-(6): after reducing like factors we end up with AR' = AR. Therefore, putting together the six triangles fills a triangle with a triangular hole. Counting angles we see that the hole is equiangular. Which is what was needed.

One should appreciate the simplicity of Conway's proof that not only avoids the trigonometry but makes it also unnecessary to handle all 6 triangles separately. D.J.Newman's proof is a simplified trigonometric variant where only 3 (out of 6) triangles are handled with the Law of Sines.

Morley's Miracle

On Morley and his theorem

  1. Doodling and Miracles
  2. Morley's Pursuit of Incidence
  3. Lines, Circles and Beyond
  4. On Motivation and Understanding
  5. Of Looking and Seeing

Backward proofs

  1. J.Conway's proof
    • Remarks on J. Conway's proof
  2. D. J. Newman's proof
  3. B. Bollobás' proof
  4. G. Zsolt Kiss' proof
  5. Backward Proof by B. Stonebridge
  6. Morley's Equilaterals, Spiridon A. Kuruklis' proof
  7. J. Arioni's Proof of Morley's Theorem

Trigonometric proofs

  1. Bankoff's proof
  2. B. Bollobás' trigonometric proof
  3. Proof by R. J. Webster
  4. A Vector-based Proof of Morley's Trisector Theorem
  5. L. Giugiuc's Proof of Morley's Theorem
  6. Dijkstra's Proof of Morley's Theorem

Synthetic proofs

  1. Another proof
  2. Nikos Dergiades' proof
  3. M. T. Naraniengar's proof
  4. An Unexpected Variant
  5. Proof by B. Stonebridge and B. Millar
  6. Proof by B. Stonebridge
  7. Proof by Roger Smyth
  8. Proof by H. D. Grossman
  9. Proof by H. Shutrick
  10. Original Taylor and Marr's Proof of Morley's Theorem
  11. Taylor and Marr's Proof - R. A. Johnson's Version
  12. Morley's Theorem: Second Proof by Roger Smyth
  13. Proof by A. Robson

Algebraic proofs

  1. Morley's Redux and More, Alain Connes' proof

Invalid proofs

  1. Bankoff's conundrum
  2. Proof by Nolan L Aljaddou
  3. Morley's Theorem: A Proof That Needs Fixing

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

Copyright © 1996-2018 Alexander Bogomolny