Morley's Miracle: An Unexpected Variant

Subject:Morley's theorem
From:Larry Hammick


Since CTK has such a good account of Morley's theorem, I thought I would point out this little sidelight on it:


Larry, thank you. I find it indeed amazing and think that F. Morley himself has not foreseen this variant.

One of the vertices of ΔABC, say C, is pushed off to infinity so that the two sides AC and BC and the trisector lines at C become parallel. In this case the angles at A and B are supplementary:

(1) ∠A + ∠B = 180°

As will be demonstrated below, in order that the "Morley triangle" be equilateral, the four lines need be equidistant.

I'll follow D. J. Newman's proof, but use J. Conway's notations.

We backtrack, i.e. start with an equilateral triangle PQR of side 1 and errect two triangles, AQR and BPR, with angles a, and 60°, b* and, respectively, b, 60°, and a*. As in the original proof, angle RAB is shown to be A, while angle RBA is shown to be b.

We now draw four parallel lines through the points B, P, Q, A, such that the added angle at vertex A is a and that at B is b. This is possible because of (1). Counting angles around P and Q we immediately get ∠PQ∞ = a* while ∠QP∞ = b*. (It is of course possible to draw lines at the indicated angles and prove them parallel afterwards. This would be closer to Newman's proof.)

Now the only thing that remains to be proven is the fact that the four lines are equidistant.

From the Law of Sines in ΔAQR,

AQ = sin(b*)/sin(a).

Therefore, if QT ⊥ AT, then QT = AQ·sin(a). Which gives QT = sin(b*). Similarly, BP = sin(a*)/sin(b) and PS = sin(a*), where PS ⊥ BS. However, from (1), a* + b* = 180°. We thus have

QT = PS.

Let QU ⊥ PU. Then QU = sin(b*), too. And all three distances coincide:

QT = PS = QU.

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