Morley's Miracle
B. Bollobas' proof

This proof appears in The Art of Mathematics by B. Bollobás (Cambridge University Press, 2006, p. 127-128) accompanied by a remark that the author was used to offer Morley's theorem in the early 1970s as a problem to his better freshmen in Cambridge, who never found it easy. They were able to find the solution (and also the trigonometric one) after getting some hints.

Let us work backwards. To prove the theorem, it suffices to show that if PQR is an equilateral triangle and we erect on its sides triangles RQA, PQB and QPC as in the diagram then we get a triangle ABC with angles 3α, 3β, 3γ and appropriate trisectors.

Let us reflect P in BR to get R1, and Q in AR to get R2; construct the points P1, P2, Q1 and Q2 similarly as in the diagram. All we need then is that the points R1 and R2 are on AB (and so P1, P2, Q1 and Q2 are also on the appropriate sides). That this so is easily seen by computing some angles. For example, ∠ARR2 = β+, so ∠ARR1 = β+ - (π - 2γ+), where "+" is a shorthand for "+ π/3".

Let us assume that α + β ≥ γ, i.e., that the points R1 and R2 are in the order shown in the diagram. Then

 ∠R1RR2= β+ + α+ - γ++
  = β + α - γ
  = π/3 - 2γ,

so ∠RR2R1 = (π - (π/3 - 2γ))/2 = γ+. This implies that point R1 is on the segment AR2. Similarly, R2 is on the segment BR1, and we are done.

If α + β < γ then R1 and R2 are interchanged on AB; to see that, we note that ∠R1RR2 = 2γ - π/3 and ∠RR2R1 = π - γ+, so R1 is on BR2. Similarly, R2 is on AR1, completing the solution.

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