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