A short proof of Morley's theorem (Q5900426)

Morley's theorem states that if \(ABC\) is any triangle, then the triangle \(DEF\) formed by the trisectors of its angles is equilateral. Many of the existing proofs start with an equilateral triangle \(D'E'F'\) and build wing triangles \(A'E'F'\), \(D'B'F'\), \(D'E'C'\) in such a way that the configurations \((A',B',C',D',E',F')\) and \((A,B,C,D,E,F)\) can be proved to be similar. Usually this is done by a repeated application of the law of sines. The paper under review uses the same construction but proves that the aforementioned configurations are similar in a way that is shorter, more elegant, and more euclidean in spirit. It uses the fact that if \(\angle PBA = \angle PCA = 90^{\circ}\), then \(PB > PC\) if and only if \(\angle PAB > \angle PAC\). This is equivalent to saying that the sine function is increasing on \([0,90^{\circ}]\), but it is also the limiting case of Proposition 7 of Book III in Euclid's \textit{Elements}. The paper could have added a figure and a list of references such as [\textit{N.~Reed}, Math. Gaz. 65, 34--36 (1981); \textit{D.~J.~Newman}, Math. Intell. 18, No.~1, 31--34 (1996; Zbl 0849.51008)] and the website \url{http://www.cut-the-knot.com/triangle/Morley}.