Prove that #(1+secx)/tanx=cot(x/2)#?