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