Cosine of 225 Degrees

Theorem

 * $\cos 225 \degrees = \cos \dfrac {5 \pi} 4 = -\dfrac {\sqrt 2} 2$

where $\cos$ denotes cosine.