How do you prove cos2x=1-2sin^2x using other trigonometric identities?