Morley's Miracle
J. Conway's proof

John Conway (the inventor of the Game of Life) of Princeton University floated his proof on the geomtery.puzzles newsgroup in 1995. Following is his message (I only replaced his text-based graphics with something more decent and changed his notations to confirm with those I use in other proofs.)

I have the undisputedly simplest proof of Morley's Trisector Theorem. Here it is:

Let your triangle have angles 3a, 3b, 3c and let x* mean x +  60°, so that a + b + c = 0*. Then triangles with angles

a,b*,c* a*,b,c* a*,b*,c
a**,b,c a,b**,c a,b,c**

exist abstractly, since in every case the angle-sum is 180°. Build them on a scale defined as follows:

0*,0*,0*-this is equilateral - make it have edge 1
a,b*,c*-make the edge joining the angles b* and c* have length 1
-similarly for a*,b,c* and a*,b*,c
a**,b,c (and the other two like it)-let me draw this one:

Let the angles at B, P, C be b, a**, c, and draw lines from P cutting BC at angle a* in the two senses, so forming an isosceles triangle PYZ. Choose the scale so that PY and PZ are both 1.

Now just fit all these 7 triangles together! They'll form a figure like:-

(in which the points X,Y should really be omitted). The points Y,Z are what I meant.

To make it a bit more clear, let me say that the angles of ΔBPR are b (at B), c* (at P), a* (at R).

Why do they all fit together? Well, at each internal vertex, the angles add up to 360°, as you'll easily check. And two coincident edges have either both been declared to have length 1, or are like the common edge BP of triangles BPR and BPC.

But ΔBPR is congruent to the subtriangle BPZ of ΔBPC, since PR = PZ = 1, ∠PBR = ∠PBZ = b, and ∠BRP = ∠BZP = a*.

So the figure formed by these 7 triangles is similar to the one you get by trisecting the angles of your given triangle, and therefore in that triangle the middle subtriangle must also be equilateral.

     John Conway

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
  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