Morley's trisector theorem

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Morley triangle.svg

In plane geometry, Morley's trisector theorem states that in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle, called the first Morley triangle or simply the Morley triangle. The theorem was discovered in 1899 by Anglo-American mathematician Frank Morley. It has various generalizations; in particular, if all of the trisectors are intersected, one obtains four other equilateral triangles.

Proofs[edit]

There are many proofs of Morley's theorem, some of which are very technical.[1] Several early proofs were based on delicate trigonometric calculations. The first published geometric proof was given by M. T. Naraniengar in 1909.[2] Recent proofs include an algebraic proof by Alain Connes (1988, 2004) extending the theorem to general fields, and John Conway's elementary geometry proof.[3][4] The latter starts with an equilateral triangle and shows that a triangle may be built around it which will be similar to any selected triangle. Morley's theorem does not hold in spherical[5] and hyperbolic geometry.

Fig 1.   Elementary proof of Morley's trisector theorem

One proof uses the trigonometric identity

sin 3θ ≡ 4 sin θ sin(60°+θ) sin(120°+θ).

Points D,E,F are constructed on BC as shown. Clearly α+β+γ = 60° therefore ∠CYA = 120°+β and the angles of ΔXEF are α, 60°+β, 60°+γ. Now sin(60°+β) = DX/XE and AC/sin(120°+β) = AY/sin γ by the sine rule, so the height h of ΔABC is given by

h = AB sin 3β = 4AB.AC.DX sin β sin γ / (XE.AY)
  = AC sin 3γ = 4AC.AB.DX sin γ sin β / (XF.AZ).

As the numerators are equal, XE.AY = XF.AZ. But ∠EXF = ∠ZAY and the sides about these angles are in the same ratio (because XE/XF = AZ/AY) so the triangles XEF and AZY must be similar. Thus the base angles of ΔAZY are 60°+β and 60°+γ. Similar arguments yield the base angles of ΔBXZ and ΔCYX and all the angles in the figure can now be easily determined.

Side and area[edit]

The first Morley triangle has side lengths[6]

a^{'}=b^{'}=c^{'}=8R\sin(A/3)\sin(B/3)\sin(C/3), \,

where R is the circumradius of the original triangle and A, B, and C are the angles of the original triangle. Since the area of an equilateral triangle is \tfrac{\sqrt{3}}{4}a'^2, the area can be expressed as

Area = 16 \sqrt{3}R^2\sin^2(A/3)\sin^2(B/3)\sin^2(C/3).

Morley's triangles[edit]

Morley's theorem entails 18 equilateral triangles. The triangle described in the trisector theorem above, called the first Morley triangle, has vertices given in trilinear coordinates relative to a triangle ABC as follows:

A-vertex = 1 : 2 cos(C/3) : 2 cos(B/3)
B-vertex = 2 cos(C/3) : 1 : 2 cos(A/3)
C-vertex = 2 cos(B/3) : 2 cos(A/3) : 1

Another of Morley's equilateral triangle that is also central triangle is called the second Morley triangle and is given by these vertices:

A-vertex = 1 : 2 cos(C/3 − 2π/3) : 2 cos(B/3 − 2π/3)
B-vertex = 2 cos(C/3 − 2π/3) : 1 : 2 cos(A/3 − 2π/3)
C-vertex = 2 cos(B/3 − 2π/3) : 2 cos(A/3 − 2π/3) : 1

The third of Morley's 18 equilateral triangles that is also central triangle is called the third Morley triangle and is given by these vertices:

A-vertex = 1 : 2 cos(C/3 − 4π/3) : 2 cos(B/3 − 4π/3)
B-vertex = 2 cos(C/3 − 4π/3) : 1 : 2 cos(A/3 − 4π/3)
C-vertex = 2 cos(B/3 − 4π/3) : 2 cos(A/3 − 4π/3) : 1

The first, second, and third Morley triangles are pairwise homothetic. Another homothetic triangle is formed by the three points X on the circumcircle of triangle ABC at which the line XX −1 is tangent to the circumcircle, where X −1 denotes the isogonal conjugate of X. This equilateral triangle, called the circumtangential triangle, has these vertices:

A-vertex = csc(C/3 − B/3) : csc(B/3 + 2C/3) : −csc(C/3 + 2B/3)
B-vertex = −csc(A/3 + 2C/3) : csc(A/3 − C/3) : csc(C/3 + 2A/3)
C-vertex = csc(A/3 + 2B/3) : −csc(B/3 + 2A/3) : csc(B/3 − A/3)

A fifth equilateral triangle, also homothetic to others, is obtained by rotating the circumtangential triangle π/6 about its center. Called the circumnormal triangle, its vertices are as follows:

A-vertex = sec(C/3 − B/3) : −sec(B/3 + 2C/3) : −sec(C/3 + 2B/3)
B-vertex = −sec(A/3 + 2C/3) : sec(A/3 − C/3) : −sec(C/3 + 2A/3)
C-vertex = −sec(A/3 + 2B/3) : −sec(B/3 + 2A/3) : sec(B/3 − A/3)

An operation called "extraversion" can be used to obtain one of the 18 Morley triangles from another. Each triangle can be extraverted in three different ways; the 18 Morley triangles and 27 extravert pairs of triangles form the 18 vertices and 27 edges of the Pappus graph.[7]

Related triangle centers[edit]

The centroid of the first Morley triangle is given by

Morley center = X(356) = cos(A/3) + 2 cos(B/3)cos(C/3) : cos(B/3) + 2 cos(C/3)cos(A/3) : cos(C/3) + 2 cos(A/3)cos(B/3)

The first Morley triangle is perspective to triangle ABC, and the perspector is the point

1st Morley–Taylor–Marr center = X(357) = sec(A/3) : sec(B/3) : sec(C/3)

See also[edit]

Notes[edit]

  1. ^ Bogomolny, Alexander, Morley's Miracle, Cut-the-knot, retrieved 2010-01-02 
  2. ^ Coxeter (1967).
  3. ^ J. Conway's proof, from Bogomolny.
  4. ^ Conway, John (2006), "The Power of Mathematics", in Blackwell, Alan; Mackay, David, Power, Cambridge University Press, pp. 36–50, ISBN 978-0-521-82377-7, retrieved 2010-10-08 
  5. ^ Morley's Theorem in Spherical Geometry, Java applet.
  6. ^ Weisstein, Eric W. "First Morley Triangle." From MathWorld--A Wolfram Web Resource. [1]
  7. ^ Guy (2007).

References[edit]

External links[edit]