JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

反导数:把导数倒过来走

上一条学习线你学会了求导。现在把这台机器倒着开:给你一个斜率,找出一个以它为斜率的函数。这就是**反导数**,而它给出的不是单独一个答案,而是一整个**函数族**——这是积分学的第一个大思想。

把导数倒着走

在上一条学习线里,你从一个函数 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。这个自检就是你的安全网——每一次都用上它。

  1. integral x^3 dx:把幂升到 4 再除以 4,得到 x^4 / 4 + C。验算:d/dx (x^4 / 4) = 4x^3 / 4 = x^3。正确。
  2. 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。正确。
  3. integral 5 dx:常数 5 不过是 1 的反导数的 5 倍,所以答案是 5x + C。验算:d/dx (5x) = 5。正确。

从求导那边沿用过来的两个习惯让这件事毫不费力。第一,你可以逐项积分——和的积分等于积分的和。第二,常数因子可以直接穿过去:3x^2 的积分等于 3 乘以 x^2 的积分。有了这两招外加那套入门工具包,你已经能反向处理相当多种类的函数了。