把导数倒着走
在上一条学习线里,你从一个函数 f 出发,求出它的导数 f'——也就是每一点处的斜率。反导数问的是相反的问题:我给你一个斜率函数 f,你去找一个函数 F,使它的导数恰好是 f。用符号写:当 F'(x) = f(x) 时,F 就是 f 的一个反导数。你不是在算一个新的斜率;你是在反过来寻找那条本来会产生这个斜率的原始曲线。
举个具体的画面。假设一辆车的速度(位置的变化率)稳定在 60 公里/时。求导本来会把「位置」降成「速度」。反求导则往回爬:已知速度,位置是多少?答案是 60t 再加上你当初恰好从哪里出发。那个剩下的出发点,正是答案不唯一的全部原因——它也直接引出了下一个想法。
为什么有无穷多个:+ C 这一族
取 f(x) = 2x。一个反导数是 F(x) = x^2,因为 x^2 的导数是 2x。但 x^2 + 1 也是,x^2 + 5 也是,x^2 - 100 也是。它们彼此之间只差一个常数,而任何常数的导数都是 0——所以加上一个常数完全不改变斜率。这就意味着反导数从来不止一个:有一整个函数族,写作 F(x) + C,其中 C 是任意常数。
把图像想出来:x^2、x^2 + 1、x^2 + 5 是同一条抛物线上下平移,像一摞一模一样的曲线。在任何一条竖直切片上,它们的陡峭程度都完全相同——切线斜率相同——这正是它们共享导数 2x 的原因。常数 C 不过是在这摞曲线里挑出你指的是哪一条。
记号与基本的反向公式
把「f 的全体反导数构成的族」一字一句写出来太笨拙了,于是数学家发明了一个符号:不定积分,写作 integral f(x) dx = F(x) + C。那个拉长的 S(积分号)意思是「汇集起来」,dx 表示「关于变量 x」,而 + C 提醒你这是一整族。关键在于:这是一族函数,而不是一个数——把这个对比记在心里,下一关里带有上下限的定积分才真的会是一个单独的数。
由于反求导不过是求导倒着跑,你早已熟悉的每一条求导法则,倒过来读就变成一条积分法则。对于幂函数,幂法则说的是「把指数拿下来,再减一」。倒过来,你做相反的事:把指数加一,再除以那个新指数。
integral x^n dx = x^(n+1) / (n+1) + C (for n != -1) integral 1/x dx = ln|x| + C (the n = -1 case) integral e^x dx = e^x + C integral cos x dx = sin x + C integral sin x dx = -cos x + C integral 1 dx = x + C
三个反向运算,做一遍并验算
我们来真正用一下这套工具包。反导数最美的地方在于你随时都能自己验算答案:把你得到的结果求导,看看是不是又回到了原来的 f。这个自检就是你的安全网——每一次都用上它。
- integral x^3 dx:把幂升到 4 再除以 4,得到 x^4 / 4 + C。验算:d/dx (x^4 / 4) = 4x^3 / 4 = x^3。正确。
- integral (3x^2 + cos x) dx:逐项处理。3x^2 的反导数是 x^3,cos x 的反导数是 sin x,所以答案是 x^3 + sin x + C。验算:d/dx (x^3 + sin x) = 3x^2 + cos x。正确。
- integral 5 dx:常数 5 不过是 1 的反导数的 5 倍,所以答案是 5x + C。验算:d/dx (5x) = 5。正确。
从求导那边沿用过来的两个习惯让这件事毫不费力。第一,你可以逐项积分——和的积分等于积分的和。第二,常数因子可以直接穿过去:3x^2 的积分等于 3 乘以 x^2 的积分。有了这两招外加那套入门工具包,你已经能反向处理相当多种类的函数了。