How do you prove tan(x/2)= sinx+cosxcotx-cotx?