\cos 45^\circ = \frac{\sqrt{2}}{2}