cos^2 x - sin^2 x = cos 2x; cos 2x = sqrt(2)/2 2x = +-pi/4 + 2pi*k, k in Integers; x = +-pi/8 + pi*k, k in Integers.