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