sina/(1+cosa)
=2sin(a/2)cos(a/2)/[1+2cos^2(a/2)-1]
=2sin(a/2)cos(a/2)/[2cos^2(a/2)]
=sin(a/2)/cos(a/2)
=tan(a/2)
成立