新人求助关于远征的问题

df(x) = f'(x)dx
积分结果为f(x) + C
或者，用换元法，令t = f(x)
原式化为∫1dt = t + C，其中t是微分变量，f(t)为常函数1