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