三角函数公式推导公式tanα/2=sinα/(1+cosα)=(1-cosα)/sinα是如何推导而成的