恒等式 cos(2x) = 1 - 2sin^2 x を実証してください。