How do you prove #sin x = 1 - 2 cos^2x#?