(1+cos2t)/2在[π/2,0]上的积分