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