导数 变量替换∫f(x-t)dt