tan的半角证明如何证 tan(α/2)=sinα/(1+cosα)=(1-cosα)/sinα