How do you prove that # cot^2x = (1+cos2x)/(1-cos2x) #?