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