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