How do you prove #2 cos^2 A - 1 = cos(2A)#?