tan a/2=(1-sin a)/cos 源自同济高数第六版习题3-1的第3题.