How do you prove #[(cotx+1)/(cotx-1)]=[(1+tanx)/(1-tanx)]#?