use an angel sum identity to verify cos2theta = -2cos^@-1

cos(2x) = cos(x+x)

= cosx cosx - sinx sinx
= cos^2(x) - sin^2(x)
= cos^2(x) - (1-cos^2(x))
= 2cos^2(x) - 1