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