How do you prove #cos(2x + pi) = cos^2 (x - pi/2) + cos(x + pi) sin(x + pi/2)#?