高一三角恒等变换证明tan(a/2)=sina/(1+cosa)求过程