Submitted Successfully!
To reward your contribution, here is a gift for you: A free trial for our video production service.
Thank you for your contribution! You can also upload a video entry or images related to this topic.
Version Summary Created by Modification Content Size Created at Operation
1 handwiki -- 1203 2022-11-17 01:43:55 |
2 layout -39 word(s) 1164 2022-11-17 02:39:57 | |
3 layout Meta information modification 1164 2022-11-17 02:40:43 | |
4 format correct Meta information modification 1164 2022-11-17 02:47:11 |

Video Upload Options

Do you have a full video?

Confirm

Are you sure to Delete?
Cite
If you have any further questions, please contact Encyclopedia Editorial Office.
HandWiki. Morley's Trisector Theorem. Encyclopedia. Available online: https://encyclopedia.pub/entry/34946 (accessed on 22 July 2024).
HandWiki. Morley's Trisector Theorem. Encyclopedia. Available at: https://encyclopedia.pub/entry/34946. Accessed July 22, 2024.
HandWiki. "Morley's Trisector Theorem" Encyclopedia, https://encyclopedia.pub/entry/34946 (accessed July 22, 2024).
HandWiki. (2022, November 17). Morley's Trisector Theorem. In Encyclopedia. https://encyclopedia.pub/entry/34946
HandWiki. "Morley's Trisector Theorem." Encyclopedia. Web. 17 November, 2022.
Morley's Trisector Theorem
Edit

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.

equilateral trisector trisectors

1. Proofs

There are many proofs of Morley's theorem, some of which are very technical.[1] Several early proofs were based on delicate trigonometric calculations. Recent proofs include an algebraic proof by Alain Connes (1998, 2004) extending the theorem to general fields other than characteristic three, and John Conway's elementary geometry proof.[2][3] 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[4] and hyperbolic geometry.

Fig 1.   Elementary proof of Morley's trisector theorem. https://handwiki.org/wiki/index.php?curid=2031724

One proof uses the trigonometric identity

sin ( 3 θ ) = 4 sin θ sin ( 60 + θ ) sin ( 120 + θ )

which, by using of the sum of two angles identity, can be shown to be equal to

[math]\displaystyle{ \sin(3\theta)=-4\sin^3\theta+3\sin\theta. }[/math]

The last equation can be verified by applying the sum of two angles identity to the left side twice and eliminating the cosine.

Points [math]\displaystyle{ D, E, F }[/math] are constructed on [math]\displaystyle{ \overline{BC} }[/math] as shown. We have [math]\displaystyle{ 3\alpha+3\beta+3\gamma=180^\circ }[/math], the sum of any triangle's angles, so [math]\displaystyle{ \alpha+\beta+\gamma=60^\circ. }[/math] Therefore, the angles of triangle [math]\displaystyle{ XEF }[/math] are [math]\displaystyle{ \alpha, (60^\circ+\beta), }[/math] and [math]\displaystyle{ (60^\circ+\gamma). }[/math]

From the figure

sin ( 60 + β ) = D X X E

and

sin ( 60 + γ ) = D X X F .

Also from the figure

[math]\displaystyle{ \angle{AYC}=180^\circ-\alpha-\gamma=120^\circ+\beta }[/math]

and

A Z B = 120 + γ .

The law of sines applied to triangles [math]\displaystyle{ AYC }[/math] and [math]\displaystyle{ AZB }[/math] yields

sin ( 120 + β ) = A C A Y sin γ

and

sin ( 120 + γ ) = A B A Z sin β .

Express the height of triangle [math]\displaystyle{ ABC }[/math] in two ways

[math]\displaystyle{ h=\overline{AB} \sin(3\beta)=\overline{AB}\cdot 4\sin\beta\sin(60^\circ+\beta)\sin(120^\circ+\beta) }[/math]

and

[math]\displaystyle{ h=\overline{AC} \sin(3\gamma)=\overline{AC}\cdot 4\sin\gamma\sin(60^\circ+\gamma)\sin(120^\circ+\gamma). }[/math]

where equation (1) was used to replace [math]\displaystyle{ \sin(3\beta) }[/math] and [math]\displaystyle{ \sin(3\gamma) }[/math] in these two equations. Substituting equations (2) and (5) in the [math]\displaystyle{ \beta }[/math] equation and equations (3) and (6) in the [math]\displaystyle{ \gamma }[/math] equation gives

[math]\displaystyle{ h=4\overline{AB}\sin\beta\cdot\frac{\overline{DX}}{\overline{XE}}\cdot\frac{\overline{AC}}{\overline{AY}}\sin\gamma }[/math]

and

[math]\displaystyle{ h=4\overline{AC}\sin\gamma\cdot\frac{\overline{DX}}{\overline{XF}}\cdot\frac{\overline{AB}}{\overline{AZ}}\sin\beta }[/math]

Since the numerators are equal

[math]\displaystyle{ \overline{XE}\cdot\overline{AY}=\overline{XF}\cdot\overline{AZ} }[/math]

or

[math]\displaystyle{ \frac{\overline{XE}}{\overline{XF}}=\frac{\overline{AZ}}{\overline{AY}}. }[/math]

Since angle [math]\displaystyle{ EXF }[/math] and angle [math]\displaystyle{ ZAY }[/math] are equal and the sides forming these angles are in the same ratio, triangles [math]\displaystyle{ XEF }[/math] and [math]\displaystyle{ AZY }[/math] are similar.

Similar angles [math]\displaystyle{ AYZ }[/math] and [math]\displaystyle{ XFE }[/math] equal [math]\displaystyle{ (60^\circ+\gamma) }[/math], and similar angles [math]\displaystyle{ AZY }[/math] and [math]\displaystyle{ XEF }[/math] equal [math]\displaystyle{ (60^\circ+\beta). }[/math] Similar arguments yield the base angles of triangles [math]\displaystyle{ BXZ }[/math] and [math]\displaystyle{ CYX. }[/math]

In particular angle [math]\displaystyle{ BZX }[/math] is found to be [math]\displaystyle{ (60^\circ+\alpha) }[/math] and from the figure we see that

[math]\displaystyle{ \angle{AZY}+\angle{AZB}+\angle{BZX}+\angle{XZY}=360^\circ. }[/math]

Substituting yields

[math]\displaystyle{ (60^\circ+\beta)+(120^\circ+\gamma)+(60^\circ+\alpha)+\angle{XZY}=360^\circ }[/math]

where equation (4) was used for angle [math]\displaystyle{ AZB }[/math] and therefore

[math]\displaystyle{ \angle{XZY}=60^\circ. }[/math]

Similarly the other angles of triangle [math]\displaystyle{ XYZ }[/math] are found to be [math]\displaystyle{ 60^\circ. }[/math]

2. Side and Area

The first Morley triangle has side lengths[5]

[math]\displaystyle{ a^\prime=b^\prime=c^\prime=8R\sin(A/3)\sin(B/3)\sin(C/3), \, }[/math]

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 [math]\displaystyle{ \tfrac{\sqrt{3}}{4}a'^2, }[/math] the area of Morley's triangle can be expressed as

[math]\displaystyle{ \text{Area} = 16 \sqrt{3}R^2\sin^2(A/3)\sin^2(B/3)\sin^2(C/3). }[/math]

3. Morley's Triangles

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 triangles that is also a 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 a 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 the 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.[6]

4. Related Triangle Centers

The centroid of the first Morley triangle is given in trilinear coordinates 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:[7] the lines each connecting a vertex of the original triangle with the opposite vertex of the Morley triangle concur at the point

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

References

  1. Bogomolny, Alexander, Morley's Miracle, Cut-the-knot, http://www.cut-the-knot.org/triangle/Morley/index.shtml, retrieved 2010-01-02 
  2. J. Conway's proof, from Bogomolny. http://www.cut-the-knot.org/triangle/Morley/conway.shtml
  3. 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, http://thewe.net/math/conway.pdf, retrieved 2010-10-08 
  4. Morley's Theorem in Spherical Geometry, Java applet. http://lienhard-wimmer.com/applets/dreieck/Morley.html
  5. Weisstein, Eric W. "First Morley Triangle." From MathWorld--A Wolfram Web Resource. [1]
  6. (Guy 2007).
  7. Fox, M. D.; and Goggins, J. R. "Morley's diagram generalised", Mathematical Gazette 87, November 2003, 453–467.
More
Information
Subjects: Others
Contributor MDPI registered users' name will be linked to their SciProfiles pages. To register with us, please refer to https://encyclopedia.pub/register :
View Times: 1.5K
Entry Collection: HandWiki
Revisions: 4 times (View History)
Update Date: 17 Nov 2022
1000/1000
Video Production Service