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