Original Taylor and Marr's Proof of Morley's Theorem

What is this about?

20 September 2013, Created with GeoGebra

Problem

If the trisectors of the angles of a triangle are drawn so that those adjacent to each side intersect, the intersections are vertices of an equilateral triangle.

Morley's theorem

Hint

Morley's theorem or, as it is often referred to, Morley's Miracle has a long history and multiple proofs, many - if not all of which - have been documented at this site. Each of the proofs (and one that follows is no exception) sheds an extra light on Morley's wonderful discovery. Anyone who has an ambition to add to the collection, should exercise his or her ingenuity. Good luck and enjoy.

Solution

Let $\alpha,$ $\beta,$ $\gamma$ stand for $\displaystyle\frac{A}{3},$ $\displaystyle\frac{B}{3},$ $\displaystyle\frac{C}{3},$ respectively, so that $\displaystyle\alpha +\beta +\gamma=\frac{\pi}{3}.$ The pairs of trisectors of $B$ and $C$ meet in $D$ and $L.$ Draw the incircle of $\Delta LBC,$ center $D.$ Let $H,$ $K$ be the images of $D$ in $BL$ and $CL$. Draw the tangent $KP$ and produce to meet $BL$ in $F;$ $Q$ is the point of contact of $BL.$

Morley's theorem - proof by Taylor and Marr

Since $\displaystyle DP=\frac{1}{2}DK,$ $\displaystyle\angle PKD=\frac{\pi}{6}$ and $\displaystyle\angle PDK=\frac{\pi}{3},$ $\displaystyle\angle QDR=\pi - L=2\beta +2\gamma=\frac{2\pi}{3}-2\alpha.$ It follows that

\( \begin{align}\displaystyle \angle FHQ=\angle FDQ=\frac{1}{2}\angle QDP &= \frac{1}{2}(\angle QDR-\frac{\pi}{3}) \\ &= \frac{\pi}{6}-\alpha. \end{align} \)

Also $\displaystyle\angle DHK=\angle DKH=\frac{1}{2}\angle L=\frac{\pi}{6}+\alpha,$ whence $\angle FHK=2\alpha,$ $\angle FKH=\alpha.$

Hence $\angle HFK=\pi -3\alpha =\pi - A,$ and $AHFK$ cyclic. It follows that $\angle HAF=\angle HKF=\alpha,$ and $AF$ is a trisector of $A.$ Similarly for $E,$ the meet of $CL$ and the tangent from $H.$

From the symmetry of the figure $DHK$ with respect to the circle it follows that $DF=DE$ and $\angle FDE$ is easily seen to be $\displaystyle\frac{\pi}{3}.$ Therefore, $\Delta DEF$ is equilateral.

Acknowledgment

This is the original proof as it appeared in the oft-quoted Taylor/Marr paper (Proceedings of Edinburgh Math. Society, 1914) which attributed it to W. E. Philip. I am grateful to Roger Smyth for bringing this proof to my attention.

The proof has appeared in Ross Honsberger's Mathematical Gems [p. 96-98] and in R. A. Johnson's Advanced Euclidean Geometry (Modern Geometry) [pp. 253-254], in the latter in a rather modified form which I reproduced in my earlier attempt, on seeing which Roger Smyth wrote to observe that the original proof is more transparent than that of Johnson's, in part because if Johnson's use of indices but also because of several elements drawn in the diagram that were not strictly necessary for the proof and thus cluttered the drawing. I think this is instructive to have both versions online to enable a curious reader easy comparison between the two.

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

Copyright © 1996-2017 Alexander Bogomolny

 61205416

Search by google: