求定积分a^2 ∫ (1+cos2t)/2 dt 0到π/2