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