Cosine of 135 Degrees

Theorem

 * $\cos 135^\circ = \cos \dfrac {3 \pi} 4 = - \dfrac {\sqrt 2} 2$

where $\cos$ denotes cosine.