$\cos2x=\frac1{\sqrt2}$ es el problema original, y que tengo que resolver para $x$. Sin embargo, no estoy seguro de qué hacer después de que me sustituir el doble ángulo de fórmulas para $\cos2x$. Sé que $\frac1{\sqrt2}$ puede ser racionalizado a $\frac{\sqrt2}{2}$.