Two more proofs of the Morley trisector theorem

(Well, they can hardly be new, but here they are anyway)

1. Proof by trigonometry

Since putting this on the Web, I have found that essentially the same proof is given by A. Letac in Sphinx: revue mensuelle des questions récréatives, 9, 46 (1939).

Diagram for trigonometrical proof

Let the angles of triangle ABC be , 3β, 3γ and let PQR be the Morley triangle (see diagram). To prove: that PQR is equilateral.

The sides of ABC can be taken w.l.o.g. as sin3α, sin3β, sin3γ.  By the sine formula in triangle AQC,

AQ=sin3β×si/sin(α+γ).

Noting that

sin3β=sinβ(34sin2β)=sinβ(3cos2βsin2β),
sin(α+γ)=sin(π/3β)=(3cosinβ)/2,

we deduce that

AQ/4sisi=(3co+sinβ)/2=sin(π/3+β).

Similarly for AR, so that by the cosine formula in triangle AQR,

(QR/4sisinγ)2=sin2/3+β)+sin2/3+γ)2sin(π/3+β)sin(π/3+γ)co
 =1½[cos2(π/3+β)+cos2(π/3+γ)][cos(βγ)cos(2π/3+β+γ)]co
 =1cos(βγ)cos(2π/3+β+γ)cos(βγ)co+cos(2π/3+β+γ)co
 =1cos(βγ)cos(πα)cos(βγ)co+cos(πα)co
 =1cos2α=sin2α.

Hence QR=4sisisi, and the result follows by symmetry.

Hence also the well-known result that the side of the Morley triangle is 8Rsin(A/3)sin(B/3)sin(C/3), where R is the circumradius of ABC.

2. Proof by complex numbers

Points in the Euclidean plane can be identified with complex numbers, and it is well known that this leads to quite a neat proof of “Napoleon’s” theorem (see below). Can Morley’s theorem be proved by the same approach?

The first exercise is: Given the angles A,B,C of a triangle, and two of the vertices b,c as complex numbers, find the third vertex a. Assuming that A is not a multiple of π (else there is no unique answer) the answer is easily found to be

asinA=bsinBcis(C)+csinCcis(±B)
(1)

with the upper signs if a,b,c run anticlockwise, and the lower signs if clockwise. Using the fact that ci=1, we see that three points a,b,c form an anticlockwise equilateral triangle iff

a+bcis(2π/3)+ccis(4π/3)=0.
(2)

Digression: Napoleon’s theorem

Before tackling Morley’s theorem, we recall how these ideas can be used to prove Napoleon’s theorem.

Diagram for Napoleon’s theorem

Let a,b,c be an anticlockwise triangle and let a,b,c etc. be equilateral triangles on the outer sides of triangle a,b,c and therefore running clockwise. Let p,q,r be the centres of these equilateral triangles. The theorem states that triangle p,q,r is equilateral.

To prove this, we have from (1) that a=bcis(π/3)+ccis(−π/3), etc. and hence

p=(1/3)[b+c+bcis(π/3)+ccis(−π/3)]
q=(1/3)[c+a+ccis(π/3)+acis(−π/3)]
r=(1/3)[a+b+acis(π/3)+bcis(−π/3)]

Test (2) above leads to

p+qcis(2π/3)+rcis(4π/3)=(a/3)[cis(2π/3)+cis(π/3)+cis(4π/3)+cis(5π/3)]+
 =0,

which proves the theorem.

Back to Morley’s theorem

The following proof of Morley’s theorem is similar but more complicated.

Let triangle a,b,c have angles ,, as in the first proof. W.l.o.g. we may assume that a,b,c is anticlockwise with circumradius 1, and that a=1, b=cis6γ, c=cis(6β). Let p,q,r be the Morley triangle.

Diagram for proof by complex numbers

From (1), p is given by

psin(β+γ) =bsicis(−γ)+csici
  =sicis5γ+sicis(5β)
  =½[cis(5γ+β)cis(5γβ)]+½[cis(+γ)cis(γ)]
  =½[cis(5γ+β)cis(γ)]+½[cis(+γ)cis(5γβ)]
  =sin3(β+γ)cis(2γ2β)sin2(β+γ)cis(3γ3β).

Using the identities sin3θ=sinθ(1+2cos2θ) and sin2θ=2sico we get

p=[1+2cos(2β+2γ)]cis(2γ2β)2cos(β+γ)cis(3γ3β).

Clearly the value of q can be obtained from this by cyclic interchange and multiplication by b/a=cis6γ, whence

q=[1+2cos(2γ+2α)]cis(2α+4γ)2cos(γ+α)cis(3α+3γ).

Since α+β+γ=π/3, this can be rewritten in terms of β and γ as

q=[1+2cos(2π/32β)]cis(2π/3+2γ)+2cos(π/3β)cis(3β).

Similarly

r=[1+2cos(2π/32γ)]cis(/3+2γ)+2cos(π/3γ)cis3γ.

Test (2) for an anticlockwise equilateral triangle leads to

p+qcis(2π/3)+rcis(4π/3) =[1+2cos(2β+2γ)]cis(2γ2β)2cos(β+γ)cis(3γ3β)
  +[1+2cos(2π/32β)]cis(4π/3+2β)+2cos(π/3β)cis(2π/33β)
  +[1+2cos(2π/32γ)]cis(2π/3+2β)+2cos(π/3γ)cis(4π/3+3γ).

Since 1+cis(4π/3)+cis(2π/3)=0, the leading 1’s in the square brackets can be ignored. For the other terms, use 2co=ci+cis(−θ) to get

p+qcis(2π/3)+rcis(4π/3) =cis4γ+cis(4β)cis(4γ2β)cis(2γ4β)
  +cis(2π+4β)+cis(2π/3+2γ)+cis(π4β)+cis(π/32β)
  +cis(4π/32β)+cis(4γ2β)+cis(5π/3+2γ)+cis(π+ 4γ).

The terms on the right cancel in pairs. Hence p,q,r is an anticlockwise equilateral triangle, q.e.d.

3. Direct proof by geometry

By a direct proof I mean one that does not make the Morley triangle equilateral by construction and then deduce that certain lines are trisectors. A direct geometrical proof is not easy to find. The following two-part proof is essentially due to Taylor & Marr (I have changed some details).

Part 1

In Part 1 we assume that BAR=CAQ=α, say, but not yet that α=π/3; similarly at the vertices B and C. The first step is to prove that AP, BQ, CR are concurrent. Let AP meet BC at U, and define V, W similarly. Then

BU CV WA  =  APB BQC CRA  =  CRA APB BQC
UC VA WB APC BQA CRB BQA CRB APC

Let H (resp. K) be the foot of the perpendicular from R to AC (resp. Q to AB). Then

CRA  =  ACRH
BQA ABQK

Because of the equal angles α, triangles ARH, AQK are similar, and triangles ARF, AQE are similar; hence RH/QK=AR/AQ=RF/QE. From this and the analogous results for β and γ we get

BU CV WA  =  ACRF BAPD CBQE  = 1.
UC VA WB ABQE BCRF CAPD

Hence AP, BQ, CR are concurrent by Ceva’s theorem.

Let BR, CQ meet at L, and define M, N similarly. Since AP, BQ, CR are concurrent, the six lines AQ, AR, etc. are tangents to a conic (converse of Brianchon’s theorem). Hence (direct form of the theorem) LP, MQ, NR are concurrent at a point O, say. This fact is the key to Part 2.

Part 2

We now assume that α=A/3, β=B/3, γ=C/3. Let LP meet BC at G. By the angle bisector theorem, BL/LG=LP/PG=CL/LG. Hence BL/CL=BG/CG. Hence LP bisects the hexagon angle RLQ. Similarly for MQ and NR.

Straightforward angle-chasing, along with the relation α+β+γ=π/3, now shows that the angles in the hexagon PNQLRM are as in the diagram. From congruent triangles (e.g. OLQ, OLR) we have that OP=OQ=OR; and since these lines make angles of /3 with each other, the Morley triangle PQR is equilateral, q.e.d.

Remark

It is possible to avoid the appeal to Brianchon’s theorem by using trigonometry, but I could not find a proof by elementary geometry.