How do you prove #(1- cosx)/sinx = tan(x/2)#?