$\cos(\pi/4)=\sqrt2/2$.Suggest a slogan \[ \cos(\pi/4) = \frac{\sqrt 2}{2}. \] What is $\cos(\pi/4)$? What links to thisPrecalculus preliminaries