How do you verify the identity cos(pi/2-x)/sin(pi/2-x)=tanx?