Источник TeX:

cos\alpha = cos45^\circ = \frac{\sqrt 2}{2}