定积分背后的物理直觉 想象一下，你要计算一块不均匀、形状怪怪的物体重心在哪儿。

要是这块物体是正数的，重心就在“质量中心”；要是是负数，重心反而像是在拉向“负质量中心”。在数学里，这对应到定积分里，就是求 $int_a^b f(x) dx$ 的时候，要是 $f(x)$ 变号了，结局就不只是大小了，还得是带符号的。

这就好比你在数正数和负数抵消之后，剩下的实际上是“净变化量”。

牛顿早就说清楚，积分就是面积，但要在面积里给负号一个合法的地位，只有当 $f(x)$ 在区间内既有正又有负，要么绝对值都不大时，才显得合理。 再看看求导的反向过程。我们要知道导数能把函数变回原函数，这就像把主键和副钥重新拼回去。反函数求导公式里，那个分母就是 $1/f'(x)$。

要是 $f(x)$ 在某个点附近是个完美的抛物线，比如 $x^2$，它的导数是 $2x$。

反过来，$(x^2)' = 2x$ 只是中间步骤，真正的 $x^2$ 得通过积分里加个常数 $C$ 才能变回来。

要是这个常数 $C$ 没定好，比如随意设了个 $5$，那结局依然是错的，出于 $x^2$ 和 $x^2+5$ 长得一模一样，它们导数自然一样，但积分出来的不一样。

故此，求导公式里的 $+C$ 是出于原函数不是唯一，导函数也不唯一，多出来的 $C$ 就是那个“自由度”。 回到不定积分公式的推导，这实际上是个关于“微分逆运算”的逆向游戏。根本积分公式的本质就是微分公式的逆推。

比如 $frac{d}{dx}(x^n) = nx^{n-1}$，这就是导数公式。

既然导数公式告诉我们某个函数对哪位求导等于多少，那反过来，这个函数对哪位求积分应当等于它。

比如对 $x^n$ 积分，就是找 $u$ 使得 $du = n x^{n-1} dx$，再凑出 $x^n$ 出来。

这个过程实际上挺直观的，就是把原函数“倒着写”一遍。 具体如何倒？我们看 $x^n$ 这个函数。

起初得把 $x^n$ 拆成根本项，比如 $x^2$ 拆成 $x cdot x$。

要是未知数 $n$ 不是整数，那能不能拆分？比如 $x^4$ 能不能拆成 $x cdot x cdot x cdot x$？能够，出于 $x cdot x cdot x cdot x = x^4$ 恒成立。

同理 $3x^2$ 也能够拆成 $x cdot 3x$，再拆成 $x cdot x cdot x$。

这样一拆，你会发现所有的项都变成了 $x$ 的乘方。 接下来是乘法。

如何把乘法变成加法？这是最艰难的一步，也是微积分最狡猾的地方。

你看 $(xy)' = y' x + x y'$ 这个公式，别看看起来好办，但要是在积分里卷积一下，变成 $int x y' dx$，那 $y'$ 如何单独出来？能不能把 $y'$ 当成一个整体？要是 $y$ 是指数函数，比如 $y = e^x$，那 $e^x$ 本身就是它自己的导数，这时候处理起来就顺了。

要是 $y$ 是 $x$ 的幂，比如 $y = x^2$，那 $y' = 2x$，这就变成 $int x^{n+1} dx$ 这种能直接积分的式子了。 再试一个例子。$int x sin x dx$。

要是直接套公式，$int u dv = uv - int v du$，那 $u=x, dv=sin x dx$，结局变成 $x cos x - int cos x dx = x cos x - sin x + C$。

看起来挺好办，是不是？但这只是利用了分部积分，并不是原始公式的直接推演。原始公式应当是 $int x e^x dx$ 这种。

这时候要是用分部积分，$u=x, dv=e^x dx$，拿到 $x e^x - int e^x dx = x e^x - e^x$，这彻底是符号变换，没有任何“还原”的过程。 真正的还原在于把乘积拆开，再把每一项单独处理。

比如 $int x^n y(x) dx$。

既然 $x^n$ 能够拆成 $x cdot x cdots x$，那整个积分就能够写成无穷多个“好办项”的和。每一项都是“乘积”乘以“导数”。

这时候，要是乘积局部能凑成某个函数的导数，那就忒好了。

比如 $int x e^x dx$ 要么 $int x^2 e^x dx$。

这时候就能够用“分部积分法”来一步步把乘积“分”开，直到最终剩下一个纯幂函数，比如 $x^k$ 乘以 $e^x$ 这种形式。 在这个过程中，你会发现微分公式和积分公式是互为逆操作的。微分公式给出了“上升”的规则，积分公式给出了“降落”的规则。当我们把微分公式里的变量 $x$ 换成积分里的未知数，把微分符号 $d$ 换成积分符号 $dx$，把导数符号换成积分号，把等号放在一边，把左边移到右边，自然就拿到了积分公式。 举个具体的例子。已知导数公式是 $(ln x)' = 1/x$。

这实际上是微分公式里 $ln u = ln x$ 的变形。

要是我们对两边求导，左边变成 $1/x$，右边变成 $1/x$，等号成立。

反过来，要是我们想积分，就是求 $(ln x)'$ 对应的原函数。为了验证公式对不对，我们能够反过来做：对 $ln x$ 求导。设 $v = ln x$，那么 $v' = 1/x$。

故此 $int frac{1}{x} dx = ln x + C$。

这个推导过程贼自然，逻辑链条是：导数公式成立 $rightarrow$ 对方程两边积分 $rightarrow$ 拿到积分公式。 再举个例子，$int sin^2 x dx$。我们知道 $sin^2 x$ 没法直接积分，得先变。利用三角恒等式，$sin^2 x = frac{1 - cos 2x}{2}$。

这时候积分就变成了 $int frac{1}{2} dx - int frac{cos 2x}{2} dx$。前一项直接得 $x/2$，后一项 $cos 2x$ 的积分需求换元，令 $u = 2x, du = 2dx$，最终得 $frac{1}{4} sin 2x$。合起来就是 $frac{1}{2}x - frac{1}{4} sin 2x + C$。

这就是通过恒等式把复杂的乘积“化”成了好办的单一函数，然后利用根本公式算出结局。 这里有个细节要注意，所有公式里的 $C$ 都要放右边。出于积分就是求原函数，原函数不唯一，多出来的那个常数 $C$ 务必在最外面。

要是公式写成 $x + C$，那 $x$ 和 $x+C$ 导数一样，都等于 $1$，故此 $x+C$ 也是原函数。但在书写不定积分时，务必把 $+C$ 放在右边，表示“还有一个未知的常数”。 最终总结一下，不定积分公式推导的核心思想实际上只有一条：微分公式是已知的真理，积分公式就是把这个真理倒过来写，加上那个务必存有的常数 $C$。

只要把乘积拆开，把每一项单独处理，把乘积凑成导数，剩下的就是好办的幂函数积分。

这就是微积分最底层的逻辑：从已知推导未知，从形式变换建立联系。