用一下变量代换就出来了
设a-x=t
dx=d(a-t)=-dt
f(a-x)dx=-f(t)dt
注意x从0到a,t从a到0,积分的时候上下限互换,又产生个负号,就能够把上面的负号抵消了