求证!(1 + cosx )/sinx = cot(x/2)