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