Sine of 144 Degrees

Theorem

 * $\sin 144 \degrees = \cos \dfrac {4 \pi} 5 = \sqrt {\dfrac 5 8 - \dfrac {\sqrt 5} 8}$

where $\sin$ denotes sine.