Démontrez cos(2x) = 1 - 2sin^2 x