How do you prove that # tan(x/2)-cot(x/2) = -2cotx #?

Redirected from "What is the freezing point depression?"