tan(a/2)=sin(a/2)/cos(a/2)
上下同乘以2cos(a/2),
=2sin(a/2)cos(a/2)/2cos(a/2)^2
=sina/(1+cosa).
后面的等式直接可以证明.倒推.