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