sin^2(x/2) 0到π/2求定积分