User:Jhoshen1/Sandbox

Proof
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.

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

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

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

Construct $\triangle BXZ$ such that

Construct $\triangle CYZ$ such that

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

$\angle AXB$ is calculated as follows

To proceed, it is necessary to prove that $ \triangle ABC \sim \triangle A'B'C'$. We shall provide two proofs for this preposition; a trigonometrical proof and a geometrical prooof.

Using trigonometry to prove $ \triangle ABC \sim \triangle A'B'C'$

Applying the Sine Rule for $\triangle XBZ$ and $\triangle XAY$, we have:

Dividing $(1)$ by $(2)$ and noting that $XZ = XY$, we obtain:

Applying the Sine Rule to $\triangle A'B'X' $ (the given triangle), we get

Combining $(3)$ and $(4)$, yields

For $\triangle A'B'X' $, we have

and we have already shown that

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

In a similar fashion, we can obtain the following triangle similarities:

These similarities lead to: $\angle CAY = \alpha $, $\angle ACY = \gamma $, $\angle CBZ = \beta $ and $\angle BCZ = \gamma $.

Because


 * and

we have the following similarity

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

Furthermore,

In a similar fashion, we can also prove the following triangle similarities

which yield the following:

By construction

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