cos2x=2*（cosx的平方)-1
所以1/(1+cos2x)=1/(2*（cosx的平方))=(1/2)*(1/（cosx的平方))
积分得
0.5*tanx