sin^2(x/2)dx (从pai/2到0) 怎么求?