Morley's Miracle
Dijkstra's Proof

I lifted this proof from the site of E. W. Dijkstra Archives at the University of Texas at Austin.

An open letter to Ross Honsberger.
University of Waterloo.

30 December 1975

Dear Sir,

the other day I encountered your delightful booklet "Mathematical Gems". On account of Chapter 8, I concluded that you might be interested in the following proof of Morley's Theorem "The adjacent pairs of the trisectors of a triangle always meet at the vertices of an equilateral triangle."

Dijkstra's proof of Morley's theorem

Choose $\alpha,$ $\beta$ & $\gamma \gt 0$ such that $\alpha + \beta + \gamma = 60^{\circ}.$ Draw an equilateral triangle $XYZ$ and construct the triangles $AXY$ and $BXZ$ with the angles as indicated. Because $\angle AXB = 180^{\circ} – (\alpha +\beta ),$ it follows that, if $\angle BAX = \alpha +x,$ $\angle ABX = \beta – x.$ Using the rule of sines three times (in $\Delta AXB,$ $\Delta AXY,$ and $\Delta BXZ),$ we deduce

$\begin{align}\displaystyle \frac{\sin (\alpha +x)}{\sin (\beta – x)}&=\frac{BX}{AX}\\ &=\frac{XZ\cdot\sin (60^{\circ}+\gamma)/\sin (\beta )}{XY\cdot\sin (60^{\circ}+\gamma)/\sin (\alpha )}\\ &=\frac{\sin (\alpha )}{\sin (\beta )}. \end{align}$

Because in the range considered, this equation has a left-hand-side which is a monotonically increasing function of $x$ (on account of the monotonicity of $\sin(\phi )$ in the first quadrant) we conclude $x = 0.$ Thus Morley’s Theorem is proved without any additional lines. I found this proof in the early sixties, but am afraid that I did not publish it. Yours ever,

Edsger W.Dijkstra

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

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