Como você resolve $2 {cos}^{2} x = 1$ $2cos ^ 2x = 1$ ?

$2 {cos}^{2} x = 1$ $2cos^2x=1$

$\Rightarrow cos x = \pm \frac{1}{\sqrt{2}}$ $=>cosx=+-1/sqrt2$

Quando $cos x = \frac{1}{\sqrt{2}} = cos (\frac{π}{4})$ $cosx=1/sqrt2=cos(pi/4)$