万能公式：sina=(2tana/2)/[1+(tana/2)^2]
cosa=[1－(tana/2)^2]/[1+(tana/2)^2]
代入,左边＝[1+2tana/2+(tana/2)^2]/[2+2tana/2]
=[(1+tana/2)^2]/2(1+tana/2)
=1/2*(1+tana/2)
=右边