作变量替换t=π-x,代入可得原式=∫（π-t)f(sinx)d(-t) （积分限是从π到0）,化简一下得 ∫（从π到0）t*f(sint)dt + π∫（从0到π）f(sint)dt ,第一项与原式相差一下负号,移到等式左边,两边同除以2即得结论. 这种积分的证明题好像一般都是用变量替换的方法.
