How do you prove #cos(2x + π) = cos^2 (x - π/2) + cos(x + π) sin(x + π/2)# using the double angle identity?