How do you prove that # cot(x/2) = tanx/(secx-1) #?