$cos\frac\pi4=$
$cos\frac\pi4=\frac{\sqrt2}2$
