证明：令x=π-t,则x由0到π,t由π到0,dx=-dt 原式记为I 则I=-即I=（π/2)∫f(sint)dt=(π/2)∫f(sinx)dx