Cosine of 45 Degrees

Theorem

 * $\cos 45^\circ = \cos \dfrac \pi 4 = \dfrac {\sqrt 2} 2$

where $\cos$ denotes the cosine.