第 9 章　不定积分：导数的逆运算

9.1反问题：从变化率找回原函数

前面几章，我们的方向一直是「给函数，求导数」：

f(x) ⟶ f′(x)

现在反过来问：已知某个函数是导数 f′(x)，能找回原来的函数 f(x) 吗？

这个问题在现实里极其常见。比如你开车，仪表盘随时显示速度（这是路程的导数），但你真正关心的是「走了多远」（路程）。已知速度随时间的变化，怎么找回路程？这就是积分要解决的问题。

举个小例子热身：已知 f(x) = 2x，找它的原函数。因为 (x²)′ = 2x，所以 x² 是 2x 的一个原函数。但注意，不止一个——(x² + 5)′ 也等于 2x，(x² − 100)′ 也等于 2x，因为常数的导数是 0，加任何常数都不影响导数。

原函数存在问题：有，还是没有？

「已知导数找原函数」并不总能成功——这是逆运算的通病：乘方人人会算，开方在实数域里未必有解；乘法永远闭合，除法却会除出分数。求导也一样：可导函数求导必然得到一个导函数，但反过来，并不是每个函数都有原函数。经典反例是带跳跃间断点的函数：原函数必须处处可导，因而处处连续，可以严格证明「跳跃」无法从任何连续的求导过程中长出来——所以带跳跃间断的函数没有原函数（证明细节超出本书主线，记住结论即可）。

好消息是：连续函数一定有原函数——第 10 章的「变上限积分」将把这件事证明得明明白白。工程上遇到的变化率——速度、温度变化率、流量、电流——绝大多数都是连续的，所以「找原函数」这条路在工程实践中畅通。两句话合起来：连续 ⟹ 有原函数；有跳跃 ⟹ 没有。存在性问题想清楚，才轮到「怎么找」。

「怎么找」也不总是一帆风顺：就算原函数存在，也未必能写成初等表达式。e^(−x²)（概率与统计的常客）的原函数存在，但数学上可以证明：无论用多项式、指数、对数、三角怎样有限组合，都写不出它的原函数。工程的处理办法是数值积分、查「误差函数」表。原函数「存在」与「写得出来」是两回事，承认这一点，是工程数学成熟的表现（本章思考题还会正面遇到它）。

为什么逆运算天然更难？

把学过的运算放在一起看，一个规律浮现：「顺着做」往往只有一条路，「逆着做」常常岔路丛生，甚至无路可走。乘法是顺着做——3 × 7 唯一地等于 21；开方逆着做——21 = 3 × 7 = 21 × 1 = (−3) × (−7)，答案纷呈。求导积分也是同样的关系：求导每一步都有明确法则（和差积商链式），像流水线；积分却没有「除法法则」「链式法则」的直接版本——∫f·g dx ≠ (∫f dx)·(∫g dx)，见积就拆，必错。求导的每条法则逆过来都会出现「缺口」：乘法法则的逆用催生了分部积分（还附带一个甩不掉的 −∫v du）；链式法则的逆用催生了换元（还要求内层导数恰好「在场」）。

所以积分更像「解谜」而非「执行」：要认结构、试路子、验结果。工程里的类比是「正向设计 vs 逆向工程」——正向设计按规范一步步走，逆向工程要从不完整的信息倒推原始方案，靠经验库、模式识别和验证闭环。本章后面的两个大招（换元、分部），正是把「链式法则」和「乘法法则」的逆用工程化，变成可复用的标准动作。

工程视角：从变化率「重建总量」

惯性导航是积分思想在工程里的极限应用：加速度计每秒输出成百上千个加速度采样，对时间积分得到速度，再积分一次得到位移——「知道每一刻的变化率，就能重建全部历史」，飞机的惯性基准、手机的计步器、车辆的里程表都在做这件事。油路里的流量计测的是「体积的变化率」，对时间积分就得到总耗油；电网里的功率表测「能量的变化率」，积分得到电能。可以说：一半的工程仪表在测导数，另一半的仪表在做积分——把测到的变化率积回工程人关心的总量。

9.2不定积分与那个「+C」

上面发现：一个函数的原函数有一整族，彼此相差一个常数。于是我们把「所有原函数」整体记作不定积分：

∫ f(x) dx = F(x) + C

这里：

• ∫ 是积分号（读「积分」，像一个拉长的 S，是「求和 sum」的意思，第 10 章会揭开它的由来）。
• f(x) 是被积函数。
• dx 表示「对 x 积分」。
• F(x) 是任意一个原函数。
• C 是任意常数，叫「积分常数」。

「不定」两个字，正是对应那个未知的常数 C——因为没给定具体条件，所以结果「不确定」到相差一个常数。

把「只差常数」证出来：第 8 章的回礼

「原函数彼此只差一个常数」——上一节当经验用，现在用第 8 章的推论把它钉死。设 F、G 都是 f 的原函数，则 (F − G)′ = F′ − G′ = f − f = 0 在区间上恒成立；由第 8 章推论二（导数恒为零 ⟹ 函数为常数），F − G ≡ C。∎ 证明只有一行，但这一行踩在第 8 章拉格朗日定理的肩膀上——不定积分「+C」的合法性，是中值定理家族担保的。上一章埋的伏笔，这一章正式兑现，章节之间这样握手，正是整本教材的暗线。

几何上，「+C」意味着什么？把 y = x²、y = x² + 5、y = x² − 3 画在同一张图里：三条曲线形状完全相同，只是竖直方向平移。一整族原函数，就是一条「母曲线」沿竖直方向滑动扫出的所有副本；而且每条副本在同一横坐标处的切线斜率相同（都等于 f(x)），所以积分曲线族又叫「平行曲线族」。

读图要点有三：① 三条曲线之间是「平移」不是「变形」——形状由被积函数 2x 决定，竖移由 C 决定；② 同一横坐标处三条切线平行（图中 x = 1 附近画了三小段），因为切线斜率 = 2x 只与 x 有关、与 C 无关；③ 给定一个点（初始条件），整族中恰有一条曲线穿过——这就是「点名」机制。第 13 章微分方程的「通解曲线族 + 初值定唯一解」，图像层面完全复用这套读图法。

工程视角：+C 就是「初始条件」

积分曲线族里，到底哪一条才是「真实历史」？答案由初始条件给出：电容充电的电压曲线是一整族，初始电压挑出唯一一条；冷却曲线是一整族，初始温度决定走哪条。工程数据库里存的每一条「历史曲线」，都是积分曲线族中被初值选中的那一条。「+C」不是数学家的小尾巴，而是等待初值来认领的空位——第 13 章解微分方程时，「通解 + 初始条件 = 唯一解」的骨架在这里提前亮相。

再补一个使用细节：「+C」里的 C 可以取任何实数，验证答案时随便取个方便值（例题 2 取了 1）不影响正确性——常数求导恒为 0。这个小自由度在「已知曲线上一点求积分曲线」的题型里变成硬约束：给定点 (x₀, y₀)，代入 F(x₀) + C = y₀，C 当场现形。一句话：积分给出一族候选，条件负责点名。工程手册里「曲线族 + 一条实测曲线定标」的排版方式，正是这个数学结构的复刻。

顺带把「不定积分」四个字咬文嚼字拆开：「不定」指的不是「答案不确定」，而是「常数未定」——族中无数条曲线，条条合法；「积分」的「积」是「累积」之意：变化率的累积就是总量，第 1 章引例的思想在这里第一次落地为一种运算。理解了这四个字，也就理解了为什么批改积分题时「忘了 +C」要扣分：不是较真，是丢掉了「一族解」中的维度信息。

9.3基本积分表

既然积分是求导的逆，那把第 6 章的导数表反过来读，就得到基本积分表：

最有代表性的是第一条 ∫ xⁿ dx = xⁿ⁺¹/(n+1) + C。对比导数公式「指数搬下来、减一」，积分正好反过来：指数加一、再除以新指数。这是求幂函数积分的万能钥匙。

还有两条重要的「线性性质」，让积分可以拆开算：

• ∫ [f(x) + g(x)] dx = ∫ f(x) dx + ∫ g(x) dx　（和的积分 = 积分的和）
• ∫ k·f(x) dx = k·∫ f(x) dx　（常数可以提到积分号外）

逐条逆推：积分表的每一行都要能「双向翻译」

基本积分表不是新的公式，而是第 6 章求导表的镜像。检验每一行的正确性只有一个动作：对右边的原函数求导，看是否回到被积函数。比如第一行：[x^(n+1)/(n+1)]′ = (n+1)xⁿ/(n+1) = xⁿ ✓；指数行：[eˣ]′ = eˣ ✓。学习积分表的最佳方式，就是像这样把每行来回翻译两遍——积分表在你脑中就从「需要背的表格」变成「自动生成的常识」。

最值得单独讲的是 ln|x| 那一行：为什么 1/x 的原函数带绝对值？分两段验证：x > 0 时 (ln x)′ = 1/x，直接成立；x < 0 时 |x| = −x，ln|x| = ln(−x)，用链式法则求导得 (ln(−x))′ = (−1)·[1/(−x)] = 1/x，同样成立。两段合起来：对一切 x ≠ 0 都有 (ln|x|)′ = 1/x，所以 ∫dx/x = ln|x| + C 必须带绝对值——不带就丢掉了整个负半轴。

幂函数公式 ∫xⁿdx = x^(n+1)/(n+1) + C 有一个「断点」：n = −1 时指数加一变成 0、除以 0 无意义，公式失效。恰好这个断点由 ln|x| 补位——n = −1 的幂函数积分不是幂函数，而是对数。数学的不同分支在断点处握手，这种「参数取到临界值、公式换了一张脸」的现象，工程公式里也会反复出现（临界载荷、临界马赫数……），见到时不慌，先检查参数是否越过了断点。

工程视角：积分表是「标准件库」

工程师的手册里满是「标准件库」：螺栓规格表、型钢截面表、轴承型号表——设计时先查表，查不到才定制。基本积分表在数学里扮演同样的角色：先化简成标准形，再逐项查表。例题 3 的拆项、例题 4 的展开，都是「把非标准件改装成标准件」的动作。工程计算手册里的积分表动辄数百行（飞机强度计算、气动导数推导都靠它），但用法与本章完全一致：认结构 → 套条目 → 求导验证。查表文化的前提，是先在脑子里建好这张小表。

「先化简、再查表」的次序里还藏着一个工程隐喻：规范你的输入。软件接口设计要求调用方先清洗数据格式，库里才能保持简洁；积分里把假分式拆成真分式、把乘积展开、把根式有理化——都是「化成库认识的标准形」的清洗动作。第 12 章的有理函数积分（部分分式分解）将把这套「清洗」工艺发展到极致，而本章已经把它的思想内核演示完毕。

9.4换元积分法

基本积分表只能直接算最简单的积分。遇到复合函数（函数套函数），就要用到换元积分法——本质上是把链式法则反过来用。

回忆链式法则：(f(g(x)))′ = f′(g(x))·g′(x)。反过来读，就得到：

∫ f′(g(x))·g′(x) dx = f(g(x)) + C

看一个例子：求 ∫ 2x·cos(x²) dx。

观察被积函数的结构：cos(x²) 是「外层 cos 套内层 x²」，而 2x 恰好是内层 x² 的导数（(x²)′=2x）。这正是链式法则的形状！

我们做代换（换元）：令 u = x²，则 du/dx = 2x，即 du = 2x dx。于是：

∫ cos(x²)·2x dx = ∫ cos u du = sin u + C = sin(x²) + C

这就是换元积分法（也叫凑微分法）：把「内层函数的导数」和 dx 凑成 du，从而把复杂的复合积分，化成基本积分表里的简单形式。

凑微分清单：看见什么，凑什么

换元的全部功夫在于「认出 u′dx」。下表把最常见的凑法列成清单，每一条都对应一次链式法则的逆用，值得练到条件反射——看到左列的结构，右边自动浮现：

工程视角：换元 = 换视角（无量纲化的雏形）

工程师把带量纲的方程换成无量纲变量——流速换马赫数、粘性流动换雷诺数——本质就是数学换元：把「具体数字、具体单位」的问题翻译成「标准形」，一旦解出，结论可复用到整族相似问题。翼型分析中把物理坐标 x 换成弦向百分比 x̄ = x/c，是同一个动作：自变量换了，问题本身没换，但难易程度天差地别。凑微分法在工程计算中的角色类似——找到那个「让公式现形」的变量，复杂结构立刻坍缩成基本积分表里的一行。

换元还有一层软件工程的对应：函数式编程里的「抽象」——把反复出现的模式封装成短名，主流程立刻清爽。u = x² 这个替换，就是给「x² 这一坨」起了个简名 u：被积函数从 e^(x²)·x 简化成 e^u·(du/2)，结构一眼看穿。工程文档里的符号替换、单位归一、坐标旋转都是同族操作，内核都是同一句话：换名字不换内容，在最合适的坐标系里做计算。

9.5分部积分法

换元法对付「复合」，但遇到「两个函数相乘」的积分（比如 ∫ x·eˣ dx），换元就使不上劲了。这时用分部积分法——本质是把乘法求导法则反过来用。

回忆乘法法则：(u·v)′ = u′·v + u·v′。移项得到 u·v′ = (u·v)′ − u′·v，两边积分：

它的妙处在于：把「u 和 v′ 相乘」的积分，转化成「u′ 和 v 相乘」的积分。如果后者更好算，就成功了。

看例子 ∫ x·eˣ dx：

1. 选 u = x（求导会变简单），dv = eˣ dx（积分不变量）。
2. 那么 du = dx，v = ∫ eˣ dx = eˣ。
3. 代入公式：∫ x eˣ dx = x·eˣ − ∫ eˣ dx = x eˣ − eˣ + C = (x−1)eˣ + C。

关键的技巧是「选谁做 u」：一般让「求导后变简单」的那个做 u（比如多项式 x、ln x），让「积分不麻烦」的那个做 dv（比如 eˣ、sin x、cos x）。

分部的本质：转移复杂度

分部公式没有「消灭」复杂度，只是把复杂度从 v′（难积的一方）转移到 u′（好积的一方）：u 被求导一次（希望变简单），v 被积分一次（祈祷别变复杂）。两步操作之后，新积分 ∫v du 比原积分低一个难度档，于是「难积的乘积」被拆成了「好积的世界」。这就是「反对幂指三」口诀的底层逻辑：反三角、对数排最前——它们没有基本积分表条目，当 dv 无路可走，只能当 u 靠求导脱身（ln x 求导得 1/x，反三角求导得代数式）；幂函数居中——当 u 求导会降幂（越分越简单）；指数、三角垫底——它们求导积分都「不变复杂度」，当 dv 最省心。口诀是排序经验，不是铁律，唯一裁判是「新积分是否真的变简单」。

工程视角：乘积世界的积分工具

工程公式里乘积俯拾皆是：功 = 力×位移、功率 = 电压×电流、动能 = ½mv²、气动力 = ½ρv²SC_L。「变力做功」这类问题积分的对象常是「多项式×三角」「多项式×指数」的组合——载荷沿梁分布、推力随时间衰减、电压乘电流求电能——分部积分是当之无愧的主力工具。结构力学后处理里「弯矩图面积法」（弯矩是剪力的积分、挠度是弯矩的积分）也大量依赖分部技巧；材料力学教材里那些「图乘法」速算口诀，追到源头就是本章的分部积分。看到「乘积 + 凑微分无效」，直接上分部。