求证明高中数学三角公式证明求证:tan(a/2)=sina/(1+cosa)=(1-cosa)/sina