Cosine of 18 Degrees

From ProofWiki
Jump to navigation Jump to search

Theorem

$\cos 18 \degrees = \cos \dfrac \pi {10} = \dfrac {\sqrt {10 + 2 \sqrt 5} } 4$

where $\cos$ denotes the cosine function.


Proof

\(\ds \cos 18 \degrees\) \(=\) \(\ds \map \cos {90 \degrees - 72 \degrees}\)
\(\ds \) \(=\) \(\ds \sin 72 \degrees\) Cosine of Complement equals Sine
\(\ds \) \(=\) \(\ds \frac {\sqrt {10 + 2 \sqrt 5} } 4\) Sine of $72 \degrees$

$\blacksquare$