How do you prove #cot (x/2) = (1+cos x)/ sin x#?