How do you verify #sin^2(x) = (1/2)(1-cos2x)#?