User talk:Jhoshen1/Sandbox

The proof given here for Morley's theorem is very elegant. However, it is incomplete. It starts with an equilateral triangle and proves that the intersecting lines trisect the vertices of the triangle, which is the converse Morley's theorem. In the following writeup I will complete the proof. I will also modify the existing proof to clarify some issues and make it more rigorous. And if there is an agreement on my approach, I will modify the existing proof accordingly. (However, I need help with figures)

Please note $\triangle A'B'C'$ is the given triangle and $\triangle ABC$ is the constructed triangle

=
========================================


 * Morleys-Theorem-2.png


 * Morleys-Theorem-Dijkstra-Proof.png

Noting that $\alpha + \beta + \gamma = 60 \degrees$, we construct $\triangle AXY$ such that


 * $\therefore \angle XAY = 180 \degrees - (60 \degrees + \beta + 60 \degrees + \gamma) = \alpha$

Construct $\triangle BXZ$ such that


 * $\therefore \angle XBZ = 180 \degrees - (60 \degrees + \alpha + 60 \degrees + \gamma ) = \beta$

Construct $\triangle CYZ$ such that


 * $\therefore \angle YCZ = 180 \degrees -( 60 \degrees + \beta + 60 \degrees + \alpha) = \gamma$

Also, $XY = YZ = XZ = X'Y'$ and therefore $\triangle XYZ $ is an equilateral triangle.

Because

it follows that:
 * if $\angle BAX = \alpha + x$ then $\angle ABX = \beta - x$

Using the Sine Rule, we have:

Substituting $BX$ and $AX$ from $(2)$ and $(3)$ into $(1)$, respectively, and noting that $XZ=XY$, yields

We shall show that for $(4)$ to hold, we must have $x = 0$. In the range in which these angles lie, from $0 \degrees$ to $60 \degrees$, the $sine$ function is a strictly increasing function of its argument.

Under the assumption $x > 0 $ and $\beta - x > 0 $
 * $\map \sin {\alpha + x} > \sin \alpha$
 * $\sin \beta > \map \sin {\beta - x} $
 * $\leadsto \map \sin {\alpha + x} \sin \beta > \sin \alpha \map \sin {\beta - x}$
 * $\leadsto \dfrac {\map \sin {\alpha + x} } {\map \sin {\beta - x} }

> \dfrac {\sin \alpha} {\sin \beta}$ which contradicts $(4)$. If we now assume $x < 0 $, we obtain
 * $\dfrac {\map \sin {\alpha + x} } {\map \sin {\beta - x} }

< \dfrac {\sin \alpha} {\sin \beta}$ Again we have a contradiction with $(4)$. Thus we conclude that $x = 0$.

Consequently, $\angle BAX = \alpha $ and $\angle ABX = \beta $.

Given that $\angle B'A'X' = \alpha $ and $\angle A'B'X' = \beta $ of $\triangle A'B'X'$, we can establish the following triangle similarity.
 * $\triangle A'B'X' \sim \triangle ABX$


 * $\therefore (5) \;\; \dfrac { AB } { A'B' } = \dfrac { BX } { B'X' } = \dfrac {AX} { A'X' } $

In a similar fashion, we can be shown that $\angle CAY = \alpha $, $\angle ACY = \gamma $, $\angle CBZ = \beta $ and $\angle BCZ = \gamma $, which leads to the following triangle similarities:
 * $\triangle A'C'Y' \sim \triangle ACY$
 * $\therefore (6) \;\; \dfrac { AC } { A'C' } = \dfrac { CY } { C'Y' } = \dfrac {AY} { A'Y' } $


 * $\triangle B'C'Z' \sim \triangle BCZ$
 * $\therefore (7) \;\; \dfrac { BC } { B'C' } = \dfrac { CZ } { C'Z' } = \dfrac {BZ} { B'Z' } $

Because
 * $\angle ABC =\angle ABX + \angle XBZ + \angle ZBC = 3 \beta \;\;\;$ and
 * $\angle BAC =\angle BAX + \angle XAY + \angle CAY = 3 \alpha $

We have the following similarity
 * $ \triangle ABC \sim \triangle A'B'C' $
 * $\therefore (8) \;\; \dfrac { AB } { A'B' } = \dfrac { AC } { A'C' } = \dfrac { BC } { B'C' } $

Combining $(8)$ with $(5)$ and $(6)$ yields
 * $\dfrac { AX } { A'X' } = \dfrac { AY } { A'Y' } $
 * $\leadsto \triangle AXY \sim \triangle A'X'Y' \;\;\;$ Side-Angle-Side
 * $\therefore \dfrac { AY } { A'Y' } = \dfrac { AX } { A'X' } = \dfrac { XY } { X'Y' }  $

By construction $XY=X'Y'$
 * $\therefore \dfrac { AY } { A'Y' } = \dfrac { AX } { A'X' } = \dfrac { XY } { X'Y' } = 1  $

which leads to
 * $AY = A'Y' $
 * $ AX = A'X' $

Consequently $(5)$, $(8)$, $(6)$and $(7)$ can be written, respectively, as:
 * $\dfrac { AB } { A'B' } = \dfrac { BX } { B'X' } = \dfrac {AX} {A'X'} = 1 $
 * $\dfrac { AB } { A'B' } = \dfrac { AC } { A'C' } = \dfrac { BC } { B'C' } = 1 $
 * $\dfrac { AC } { A'C' } = \dfrac { CY } { C'Y' } = \dfrac {AY} { A'Y' } = 1 $


 * $\dfrac { BC } { B'C' } = \dfrac { CZ } { C'Z' } = \dfrac {BZ} { B'Z' } = 1 $

The preceding relationships imply that
 * $ B'Z' = BZ $
 * $ B'X' = BX $
 * $ C'Z' = CZ $
 * $ C'Y' = CY $

and establish the following triangle congruences:
 * $ \triangle X'B'Z' \cong \triangle XBZ\;\;\;$ side-angle-side
 * $ \triangle Y'C'Z' \cong \triangle YCZ\;\;\;$ Side-Angle-Side

Thus
 * $Y'Z' = XY $

and
 * $Y'Z' = YZ$

Because by construction $XY=XZ=YZ=X'Y'$, we have
 * $Y'Z' = XY = X'Y' $
 * $Y'Z' = YZ = X'Y' $
 * $\therefore Y'Z' = X'Z' = X'Y' $

which proves that $\triangle X'Y'Z'$ is an equilateral triangle.