How do you use the trig identity #cos2x = cos^2 x - sin^2 x # to verify that #cos 2x = 2 cos^2 x -1#?