How do you verify (sin x+cos x)^2=1+sin2x?