这个是恒成立的，即积分变量x可以用(a+b-t)去替代，其中a是积分下限，b是积分上限，本质这就是一个换元法，具体可以推广到任意积分上去证明。。但一般情况下，还是当被积函数是三角函数的时候使用的时候比较多，因为可以简化计算
