User:Jhoshen1/Sandbox

Proof 2
Given Triangle $\triangle A'B'C'$
 * [[File:Morleys-Theorem-Fig1xxxx.png]]

Constructed Triangle $\triangle ABC$
 * [[File:Morleys-Theorem-Fig2xxxx.png]]

By comparing the given triangle $\triangle A'B'C' $ with the constructed triangle  $\triangle ABC $, we shall prove that  $ \triangle X'Y'Z' \sim \triangle XYZ $ where $\triangle XYZ $ is an equilateral triangle. The proof applies the Dijkstra's technique for the Morley's Theorem.

We begin by constructing $\triangle XYZ$, an equilateral triangle such that:
 * $XY = YZ = XZ$

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$

Construct $AB$, $BC$ and $AC$, the sides of $\triangle ABC$

$\angle AXB$ is calculated as follows

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 $\delta = \alpha$ and $\theta = \beta$. 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.

Because $ \angle AXB = 180 \degrees - \alpha -\beta =  180 \degrees - \delta -\theta $, we have
 * $ \alpha + \beta = \delta + \theta $

If we assume that $\alpha > \delta $ then $\beta < \theta$ and


 * $ \sin \alpha > \sin \delta$
 * and
 * $\sin \theta > \sin \beta  $


 * $\therefore \sin \alpha \sin \theta > \sin \delta \sin \beta $
 * $\leadsto \dfrac { \sin \alpha } { \sin \beta  }

> \dfrac {\sin \delta} {\sin \theta}$ which contradicts $(4)$.

Similarly, if we assume that $\alpha < \delta $ then $\beta > \theta$, we obtain
 * $\dfrac { \sin \alpha } { \sin \beta  }

< \dfrac {\sin \delta} {\sin \theta}$

Again we have a contradiction with $(4)$. Thus we conclude that $\delta = \alpha$ and $\theta = \beta$.

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

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

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$


 * $\triangle B'C'Z' \sim \triangle BCZ$

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' \;\;\;\;\;\;\;$ Angle-Angle

Using $ \triangle ABC \sim \triangle A'B'C' $, $\triangle A'B'X' \sim \triangle ABX$ and $\triangle A'C'Y' \sim \triangle ACY$ triangle similarities, we observe that
 * $\dfrac {AX} { A'X' } = \dfrac {AB} { A'B' } $
 * $\dfrac {AY} { A'Y' } = \dfrac {AC} { A'C' } = \dfrac {AB} { A'B' } $


 * $\leadsto \dfrac {AX} { A'X' } = \dfrac {AY} { A'Y' } $

Furthermore,
 * $\angle XAY = \angle X'A'Y' = \alpha $
 * $\therefore \triangle XAY \sim \triangle X'A'Y' \;\;\;\;\;\;\;$ Side-Angle-Side
 * $\leadsto \dfrac { XY } { X'Y' } = \dfrac {AX} { A'X' } = \dfrac {AB} { A'B' } $

In a similar fashion, we can also prove the following triangle similarities
 * $\triangle XBZ \sim \triangle X'B'Z' $
 * $\triangle YCZ \sim \triangle Y'C'Z' $

which together with $ \triangle ABC \sim \triangle A'B'C' $ yield the following
 * $\dfrac {XZ} { X'Z' } = \dfrac { BX } { B'X' } = \dfrac {AB} { A'B' }$
 * $ \dfrac {YZ} { Y'Z' } = \dfrac { CY } { C'Y' } = \dfrac {AC} { A'C' } = \dfrac {AB} { A'B' }$
 * $\therefore \dfrac {XY} { X'Y' } = \dfrac {XZ} { X'Z' } = \dfrac {YZ} { Y'Z' } $

By construction
 * $ XY = XZ = YZ $
 * $\therefore \dfrac {XY} { X'Y' } = \dfrac {XY} { X'Z' } = \dfrac {XY} { Y'Z' } $


 * $\leadsto X'Y' = X'Z' = Y'Z' $

Hence, $\triangle X'Y'Z'$ is an equilateral triangle, which proves the theorem.