Normalmente yo sólo mirar o recordar que $\cos(\pi/4)=\frac{\sqrt2}{2}$ o de tipo "$\cos(\pi/4)$" en WolframAlpha para comprobar la respuesta.
Pero, ¿qué acerca de la primera vez que alguien quería saber lo $\cos(\pi/4)$ fue? ¿Cómo podrían averiguar antes de tablas trigonométricas y WolframAlpha?
¿Cómo se puede demostrar que $\cos(\pi/4)=\frac{\sqrt2}{2}$?