Proof of Morley’s Theorem

(using reflections)

Theorem:

Let the trisectors of the three angles of a triangle ABC meet as shown in three points. Then the three points are the vertices of an equilateral triangle.

Proof:

1) Preliminary. As the angles of the triangle are 3a, 3b and 3c, it must be the case that 3a+3b+3c = π, therefore a+b+c = π/3. Let ancillary angles be defined as follows:
● = a+2π/3;
◊ = b+2π/3;
○ = c+2π/3;

2) Consider the triangle BPC. From the apex P draw a line to the base BC, making a triangle with angles b, ○, and ●, as shown. (Note that b+○+● = b+c+a+2π/3 = π by 1.) Call this triangle 'the first triangle'.

3) Reflect the first triangle in its top side BP, then reflect the new triangle in its top side BR:

4) Do the same on the other side, starting from a triangle with angles c, ◊ and ●. Call this triangle ‘the second triangle’.

5) The short sides of the first triangle and the second triangle are equal: because they both descend from P to the base BC, and both make the same angle ● with the base. Therefore, all the thick lines in the figure are of equal length; call it s.

Moreover, the angle marked △ is π/3. For the angle at the apex P of BPC is π−b−c. Then △ = 2π−○− ◊−π+b+c = π−2π/3 = π/3. Therefore the dotted line RQ also has length s.

6) On RQ as base erect a triangle RQW with angles ◊ and ○ as shown. The third angle will be π−◊−○ = π/3−b−c = a.

7) In the following, let us take the phrase ‘the line BG’ to mean the infinite line of which BG is a finite line segment; and similarly with the other lines.

We claim that the reflection of the line QΩ in the line RΩ is the line BG. Consider first the angle between lines RΩ and BG. We can obtain the second line from the first as follows. First, rotate the line RΩ about R, clockwise, through the angle ◊+π/3+●+●. At this point the line will coincide with the line RG. Then rotate it about G, clockwise, through angle ○, so that is coincides with BG. The total angle of rotation is ◊+π/3+●+●+○ = 5π/3+b+a+a+c = 2π+a. Therefore the angle made by BG to RΩ is a. (The extra 2π is immaterial.) Therefore BG and QΩ make the same angle to RΩ.

Consider, secondly, the perpendicular distances of R from the lines BG and QΩ, respectively. As RG and RQ have the same length s, and make the same angle ○ with BG and QΩ, respectively, the perpendicular distances are the same. Therefore BG and QΩ are images in the line RΩ and all three lines must be concurrent.

8) The same on the other side: CF, QΩ and RΩ must be concurrent.

9) As both BG and CF pass through Ω, this must be their point of intersection, or meet. But the meet of BG and CF is also A, the third vertex of the original triangle, because these two lines make the correct angles (3b and 3c, respectively) with the base BC. Therefore Ω and A are the same point. Therefore P, Q and R are the three meets of the trisectors. But the sides of the triangle PQR are already known to be equal; therefore, the three meets of the trisectors are indeed the vertices of an equilateral triangle.

Q.E.D.

This proof is closely based on J.H.Conway's well-known proof: see the web page on Morley's Theorem at cut-the-knot.org . There Conway's proof is described as a 'backwards' proof because it starts from an equilateral triangle and shows how to construct a triangle with angles 3a, 3b and 3c that is similar to the given triangle ABC. My idea was to turn the proof into a 'forwards' proof, starting from the given triangle.

For an account of Conway's proof from the horse's mouth see this note by Conway.