# Morley's Theorem: A Proof That Needs Fixing

Morley's theorem asserts that in the diagram below $\Delta A'B'C'$ is equilateral, whatever $\Delta ABC.$

The proof below is taken verbatim from a recent book on problem-solving.

Let $\angle BAC=3\alpha,$ $\angle ABC=3\beta,$ $\angle ACB=3\gamma.$ Let $B',$ $T,$ $S$ be the points of intersection of the trisectors.

If we assume that $2\alpha +2\gamma\le 60^{\circ},$ $2\alpha +2\beta\le 60^{\circ},$ and $2\beta +2\gamma\le 60^{\circ}$ then

$4\alpha +4\beta+4\gamma\le 180^{\circ},$

i.e., $\alpha +\beta+\gamma\le 45^{\circ},$ which implies $3\alpha +3\beta+3\gamma\le 135^{\circ},$ or, equivalently, $180^{\circ}\le 135^{\circ},$ a contradiction. We conclude that one of the sums $2\alpha +2\gamma,$ $2\alpha +2\beta,$ $2\beta +2\gamma$ should exceed $60^{\circ}.$ Suppose $2\alpha +2\gamma\gt 60^{\circ},$ then $\angle ABC\lt 90^{\circ}.$

Let $B'B_{1}\perp AC$ and $B'B_{3}\perp AT.$ Then, since every point of the angle bisector is equidistant from both sides of the angle, we get

$B'B_{3}=2B'D=2B'B_{1}.$

Similarly, if we consider $B'B_{2}\perp CS,$ we obtain $B'B_{2}=2B'B_{1},$ and thus

$B'B_{2}=B'B_{3}.$

We also observe that $\angle B_3B'B_{2}=2\alpha+2\gamma\gt 60^{\circ}.$

Consider the points $A',$ $C'$ on the semi-straight lines $AT$ and $CS,$ respectively, so that triangle $A'B'C'$ is isosceles. We obviously have

$\angle A'B'B_{3}=\angle C'B'B_{2}=s,$

therefore

$2s=2\alpha +2\gamma - 60^{\circ}.$

Observe that $A'B_{3}=A'B'$ (due to symmetry) and $C'B_{2}=C'B'.$ It follows that

$s=\alpha +\gamma - 30^{\circ}$

and

$2h+2\alpha +2\gamma=180^{\circ},$

hence $h=\angle B_{2}B{3}B'=\angle B'B_{2}B_{3}.$ Consequently, we have $h=90^{\circ}-\alpha -\gamma,$ thus

$\begin{align} h - s &= 120^{\circ}-2\alpha -2\gamma\\ &= 120^{\circ}-\frac{2}{3}(3\alpha +3\gamma)\\ &= 120^{\circ}-\frac{2}{3}(180^{\circ}-3\beta)\\ &= 2\beta, \end{align}$

and thus $u=2b,$ where $u=\angle B_{2}B_{3}A'=\angle SB_{2}B_{3}.$ At this point, we observe that

$B_{2}A'=A'C'=C'B_{2}$

because of the isosceles triangle $A'B'C',$ and thus

$\begin{align} \angle B_{3}C'B_{2} &= 180^{\circ}-u-\frac{u}{2}\\ &= 180^{\circ}-\frac{3u}{2}\\ &= 180^{\circ}-3\beta. \end{align}$

It follows that the quadrilateral $B_{3}C'B_{2}$ is inscribed in a circle, and similarly, we obtain that the quadrilateral $BB_{2}A'B_{3}$ can be inscribed in a circle, as well. Consequently the straight lines $BA',$ $BC'$ trisect $\angle ABC,$ hence $T=A'$ and $S=C'.$

### References

- S. E. Louridas, M. Th. Rassias,
*Problem-Solving and Selected Topics in Euclidean Geometry*, Springer, 2013 (65-68)

### Morley's Miracle

#### On Morley and his theorem

- Doodling and Miracles
- Morley's Pursuit of Incidence
- Lines, Circles and Beyond
- On Motivation and Understanding
- Of Looking and Seeing

#### Backward proofs

- J.Conway's proof
- D. J. Newman's proof
- B. Bollobás' proof
- G. Zsolt Kiss' proof
- Backward Proof by B. Stonebridge
- Morley's Equilaterals, Spiridon A. Kuruklis' proof
- J. Arioni's Proof of Morley's Theorem

#### Trigonometric proofs

- Bankoff's proof
- B. Bollobás' trigonometric proof
- Proof by R. J. Webster
- A Vector-based Proof of Morley's Trisector Theorem
- L. Giugiuc's Proof of Morley's Theorem
- Dijkstra's Proof of Morley's Theorem

#### Synthetic proofs

- Another proof
- Nikos Dergiades' proof
- M. T. Naraniengar's proof
- An Unexpected Variant
- Proof by B. Stonebridge and B. Millar
- Proof by B. Stonebridge
- Proof by Roger Smyth
- Proof by H. D. Grossman
- Proof by H. Shutrick
- Original Taylor and Marr's Proof of Morley's Theorem
- Taylor and Marr's Proof - R. A. Johnson's Version
- Morley's Theorem: Second Proof by Roger Smyth
- Proof by A. Robson

#### Algebraic proofs

#### Invalid proofs

- Bankoff's conundrum
- Proof by Nolan L Aljaddou
- Morley's Theorem: A Proof That Needs Fixing

|Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

65991816