先证明：当0这是定积分的性质,区间长度π/2，另外不知道你学过级数没，可将sinx展开成级数再估值