sina/(1+cosa)=2sin(a/2)*cos(a/2)/2cos²(a/2)=tan(a/2)
sin²a=1-cos²a 两边同除(1+cosa)*sina 得sina/(1+cosa) =(1-cosa)/sina
则tan a/2 = sina/(1+cosa) =(1-cosa)/sina 成立