Morley's Theorem
M. T. Naraniengar's proof

This proof is one of the earliest. It has been appreciatively popularized by Coxeter and Greitzer. Morley's theorem was presented as a problem in Mathematical Questions and Their Solutions sections in the Educational Times (New Series), v 15 (1909), p. 47. One of the solutions sent in was by M. T. Naraniengar and is discussed below.

Naraniengar's proof depends on the following

Lemma

If four points Y', Z, Y, Z' satisfy the conditions

  1. Y'Z = ZY = YZ' and
  2. ∠YZY' = ∠Z'YZ = 180° - 2a > 60°

then they lie on a circle. Moreover, if a point A, on the side of the line Y'Z' away from point Y, is so situated that ∠Y'AZ' = 3a, then this fifth point A also lies on the same circle.

 

Following Coxeter and Greitzer, let the bisectors of angles YZY' and Z'YZ meet at O. Then triangles OY'Z, OZY, OYZ' are congruent and isosceles having base angles 90° - a. Their equal sides OY', OZ, OY, and OX' are radii of a circle with center O, and their angles at vertex O are all equal 2a. In other words, each of the equal chords Y'Z, ZY, YZ' subtends a central angle 2a and consequently subtends an angle a at any point on the arc Y'Z' not containing Y. This arc is the locus of points (on the side of the line Y'Z' away from Y) from which the chord Y'Z' subtends an angle 3a. One such point is A; therefore A lies on the circle.

 

Now for the proof of Morley's theorem. Morley's trisectors of angles B = 3b and C = 3g meet in points U and X as in the diagram. In ΔBCU angles B and C are bisected by BX and CX; hence X is the incenter of the triangle and UX is the bisector of the angle at U. Construct points Y and Z on BU and CU such that

  ∠ZXU = ∠YXU = 30°.

Then triangles ZXU and YXU are equal by ASA. Therefore, XY = XZ and ΔXYZ is equilateral.

In addition, ΔUZY is isosceles with base angles at Y and Z equal to b + g. Let also the angle at be 3a, then a + b + g = 60° and b + g = 60° - a. Thus,

  ∠YZU = 60° - a and
∠XZU = 120° - a.

Next, mark Y' on AB and Z' on AC so that

  BY' = BX and CZ' = CX.

This makes triangles BZX and BZY' congruent by SAS; and the same holds for triangles CYX and CYZ'. Thus we make a step towards the premises of Lemma:

  Y'Z = ZX = ZY = YX = YZ'.

We have to check the second condition:

 
∠YZY'= ∠YZU + ∠UZY'
 = (60° - a) + (180° - ∠BZY')
 = (60° - a) + (180° - ∠BZX)
 = (60° - a) + ∠XZU
 = (60° - a) + (120° - a)
 = 180° - 2a.

Similarly, ∠Z'YZ = 180° - 2a; and of course a = A/3 < 60°. By Lemma, the five points Y', Z, Y, Z', A lie on a circle. Since the equal chords Z'Y, YZ, ZY' subtend equal angles a at A, the lines AZ and AY trisect the angle A of ΔABC. In other words, the points X, Y, Z that were artificially constructed so as to form an equilateral triangle, are in fact the points of intersection of Morley's trisectors. Q.E.D.

References

  1. H. S. M. Coxeter, S. L. Greitzer, Geometry Revisited, MAA, 1967

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

71493804