Morley's Theorem

MorleysTheorem

The points of intersection of the adjacent angle trisectors of the angles of any triangle DeltaABC are the polygon vertices of an equilateral triangle DeltaDEF known as the first Morley triangle. Taylor and Marr (1914) give two geometric proofs and one trigonometric proof.

A line l is parallel to a side of the first Morley triangle if and only if

 ∡(l,BC)+∡(l,CA)+∡(l,AB)=0 (mod pi),

in directed angles modulo pi (Ehrmann and Gibert 2001).

MorleysTriangles

An even more beautiful result is obtained by taking the intersections of the exterior, as well as interior, angle trisectors, as shown above. In addition to the interior equilateral triangle formed by the interior trisectors, four additional equilateral triangles are obtained, three of which have sides which are extensions of a central triangle (Wells 1991).

MorleysTheoremExtension

A generalization of Morley's theorem was discovered by Morley in 1900 but first published by Taylor and Marr (1914). Each angle of a triangle DeltaABC has six trisectors, since each interior angle trisector has two associated lines making angles of 120 degrees with it. The generalization of Morley's theorem states that these trisectors intersect in 27 points (denoted D_(ij), E_(ij), F_(ij), for i,j=0, 1, 2) which lie six by six on nine lines. Furthermore, these lines are in three triples of parallel lines, (D_(22)E_(22), E_(12)D_(21), F_(10)F_(01)), (D_(22)F_(22), F_(21)D_(12), E_(01)E_(10)), and (E_(22)F_(22), F_(12)E_(21), D_(10)D_(01)), making angles of 60 degrees with one another (Taylor and Marr 1914, Johnson 1929, p. 254).

MorleysTheoremLMN

Let L, M, and N be the other trisector-trisector intersections, and let the 27 points L_(ij), M_(ij), N_(ij) for i,j=0, 1, 2 be the isogonal conjugates of D, E, and F. Then these points lie 6 by 6 on 9 conics through DeltaABC. In addition, these conics meet 3 by 3 on the circumcircle, and the three meeting points form an equilateral triangle whose sides are parallel to those of DeltaDEF.

A construction similar to that described above, but curiously not quite corresponding to exact trisections, appears on the cover of Coxeter and Greitzer (1967).

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computerbasedmath.org »

Join the initiative for modernizing math education.

Online Integral Calculator »

Solve integrals with Wolfram|Alpha.

Step-by-step Solutions »

Walk through homework problems step-by-step from beginning to end. Hints help you try the next step on your own.

Wolfram Problem Generator »

Unlimited random practice problems and answers with built-in Step-by-step solutions. Practice online or make a printable study sheet.

Wolfram Education Portal »

Collection of teaching and learning tools built by Wolfram education experts: dynamic textbook, lesson plans, widgets, interactive Demonstrations, and more.

Wolfram Language »

Knowledge-based programming for everyone.