How do you prove #cos[(pi/2)-x]/sin[(pi/2)-x]=tanx#?