帮忙证明tan(x/2)=(1-sinx)/cosx