跳转至

怎样选择积分方法并用求导可靠回验?

先备知识

本单元默认你已经掌握:

  • 第 14.5 单元中的基本求导、乘积法则和链式法则训练;
  • 第 18.1 单元的原函数族、工作区间与常数差;
  • 第 18.2 单元的换元法;
  • 第 18.3 单元的分部积分法;
  • 第 18.4 单元的多项式除法和部分分式。

题目不再标注方法名称。你需要先识别结构,再选择方法,并对失败路线作出诊断。

学习目标

完成本单元后,你应当能够:

  1. 在没有题型标签时识别线性、复合、乘积和有理结构;
  2. 说明选择方法的依据,而不只是写出方法名称;
  3. 在一次变形后判断复杂度是否真正下降;
  4. 区分“当前路线失败”“当前工具箱不足”和“原函数不存在”;
  5. 用完整求导回验、定义域检查与必要的数值点检验证结果。

牵引问题

同一个积分有时可以走多条路线,但这些路线并不等价。例如

\[ \int x^3e^{x^2}\,dx \]

既包含乘积,又包含复合。若仅看到乘积就分部,问题会变得更长;若先把 \(x^3\,dx=x^2(x\,dx)\) 与内层 \(x^2\) 配对,换元后就只剩一次多项式乘指数。

“看起来像什么”只是起点。可靠的选择必须回答:变形后是否更接近基本原函数?

探索与猜想

尝试给每道题写一张三行诊断卡:

  1. 识别结构: 哪个局部结构最稳定?
  2. 选择方法: 哪一步会使复杂度下降?
  3. 回验计划: 最后用哪条求导规则恢复被积函数?

若第一步后新积分更复杂,立即记录这条失败路线并返回,而不是继续机械计算。一个方法 恒等式可以完全正确,但用于当前拆分时没有提供进展。

概念与理论

方法选择算法

给定 \(\int f(x)\,dx\),按下列顺序工作:

  1. 固定区间。 找出被积函数定义域,并选定不跨越断点的工作区间。
  2. 代数标准化。 展开或因式分解要适度;有理假分式先做多项式除法。
  3. 识别结构。
  4. 是已知基本导数的线性组合吗?
  5. 出现 \(F(g(x))g'(x)\) 型的内层导数吗?
  6. 是一侧求导后会简化、另一侧容易恢复的乘积吗?
  7. 是可做实因式分解的有理函数吗?
  8. 选择方法并预测进展。 写出换元对象、分部拆分或部分分式一般形式,并说明新问题 为什么更简单。
  9. 只走一步再复核。 若复杂度未下降,返回第 2 或第 3 步,记录失败路线。
  10. 求出候选。 在同一工作区间上整理表达式,最后统一写一个 \(C\)
  11. 求导回验。 对整个候选求导,化简到原被积函数。
  12. 检查边界。 核对定义域、绝对值、区间常数与方法未覆盖的情形。

算法并不保证每个函数都能由本章的有限方法写出初等表达式。它保证的是:每一步都有 可说明的选择依据和可执行的退出条件。

结构到首选路线

观察到的结构 首选动作 常见失败信号
基本导数的线性组合 逐项恢复 忘记常数倍或幂指数特例
\(f(g(x))g'(x)\) 换元 \(u=g(x)\) 内层导数差了非恒定因子
多项式乘指数、三角或对数 分部积分 被求导一侧反而更复杂
有理函数 先除法,再实因式分解 漏重数项或二次因子一次分子
多种结构叠加 先做能明确降维的一层 一步后结构数量增加
没有可识别进展 停止并陈述边界 把搜索失败误写成不存在

回验层级

层级 要检查什么 能发现的错误
代数恒等 分解、配方、通分是否相等 系数与符号错误
定义域 候选与被积函数是否在同一区间讨论 跨断点共享常数、漏绝对值
完整求导 候选导数能否化回原式 链因子、乘积项和常数倍错误
原函数族 是否只在最后统一加 \(C\) 重复或错误搬移积分常数
数值点检 在定义域内取若干非特殊点比较 快速暴露但不能证明恒等的错误

数值点检只是一道报警器,不能代替代数恒等与求导证明。

三个不同的问题

必须区分:

  1. 某条具体路线是否成功;
  2. 本章工具箱是否给出初等表达式;
  3. 函数是否存在原函数。

它们不是同一个命题。对于 \(e^{-x^2}\),常见结论说它“没有初等原函数”;这个结论 需要本书当前尚未建立的理论。本单元只要求识别:基本换元、分部积分与有理分解都没有 给出初等表示。我们不把方法搜索失败当作该结论的证明,也不在此处据此断言原函数 不存在。

例题与迁移

例 1:复合外层还需一次分部

\[ \int x^3e^{x^2}\,dx. \]

识别结构。 \(e^{x^2}\) 的内层导数提供 \(x\,dx\),而剩余的 \(x^2\) 可随换元 成为 \(u\)

\(u=x^2\),则 \(du=2x\,dx\),且

\[ x^3\,dx=x^2(x\,dx)=\frac12u\,du. \]

于是

\[ \int x^3e^{x^2}\,dx =\frac12\int ue^u\,du =\frac12e^u(u-1)+C. \]

换回得

\[ \frac12e^{x^2}(x^2-1)+C. \]

求导回验:

\[ \frac{d}{dx}\left[\frac12e^{x^2}(x^2-1)\right] =xe^{x^2}(x^2-1)+xe^{x^2} =x^3e^{x^2}. \]
答案

首先换元把复合层去掉,再对 \(ue^u\) 分部。若一开始直接按 \(x^3\cdot e^{x^2}\) 分部,\(e^{x^2}\) 本身并没有本章可直接使用的初等恢复式, 所以那是一条失败路线。

例 2:对数复合中的内层导数

\[ \int x\log(1+x^2)\,dx. \]

\(u=1+x^2\)\(du=2x\,dx\)。因为 \(u>0\) 对所有实数成立,

\[ \int x\log(1+x^2)\,dx =\frac12\int\log u\,du =\frac12(u\log u-u)+C. \]

\[ \frac12\left[(1+x^2)\log(1+x^2)-(1+x^2)\right]+C. \]
答案

对候选求导,乘积法则产生的两个额外项相消,剩下 \(x\log(1+x^2)\)。本题虽含对数和乘积,但内层导数完整出现,因此先换元更短。

即时检验与回望

即时检验 1

\(\int x^2e^x\,dx\),换元和分部积分哪一种提供可见进展?

答案

没有非平凡内层函数可供换元。让 \(x^2\) 被求导并让 \(e^x\) 被恢复,每次都会降低 多项式次数,因此分部积分提供单调进展。

即时检验 2

若一个候选在 \(x=1,2,3\) 三点的导数值都与被积函数相等,能否宣布回验完成?

答案

不能。有限点相等不能证明两个函数在整个区间恒等;仍须符号求导并代数化简。数值点 检只能帮助发现错误。

习题与答案

以下题目刻意不标注方法。建议每题先写“结构—选法—回验”三行诊断。

练习 1:线性组合

\[ \int(3x^2-4x+1)\,dx. \]
答案

识别为幂函数的线性组合,逐项恢复:

\[ x^3-2x^2+x+C. \]

求导立即回到 \(3x^2-4x+1\)

练习 2:对数链

在实数轴上求

\[ \int\frac{2x}{1+x^2}\,dx. \]
答案

分母内层 \(1+x^2\) 的导数完整出现。令 \(u=1+x^2\),得到

\[ \log(1+x^2)+C. \]

分母恒正,定义域是全体实数。

练习 3:线性内层

\[ \int\cos(3x)\,dx. \]
答案

\(u=3x\),或直接补链因子:

\[ \frac13\sin(3x)+C. \]

回验时必须保留外乘的 \(1/3\)

练习 4:指数复合

\[ \int xe^{x^2}\,dx. \]
答案

\(u=x^2\),得到

\[ \frac12e^{x^2}+C. \]

若按乘积分部,将要求先恢复 \(e^{x^2}\),反而没有进展。

练习 5:对数乘幂

\(x>0\) 上求

\[ \int x\log x\,dx. \]
答案

\(u=\log x,\ dv=x\,dx\),则 \(du=dx/x,\ v=x^2/2\)

\[ \frac{x^2}{2}\log x-\frac{x^2}{4}+C. \]

求导时两项 \(x/2\) 相消。

练习 6:重复分部

\[ \int x^2\cos x\,dx. \]
答案

两次让多项式降次:

\[ x^2\sin x+2x\cos x-2\sin x+C. \]

对三项整体求导,交叉项依次相消,只剩 \(x^2\cos x\)

练习 7:先除后拆

在不跨过 \(-1\) 的区间上求

\[ \int\frac{x^2}{x+1}\,dx. \]
答案

多项式除法给出

\[ \frac{x^2}{x+1}=x-1+\frac1{x+1}. \]

因而

\[ \frac{x^2}{2}-x+\log|x+1|+C. \]

练习 8:互异线性因子

在不跨过 \(-1,1\) 的区间上求

\[ \int\frac1{x^2-1}\,dx. \]
答案

分解为

\[ \frac1{x^2-1} =\frac12\frac1{x-1}-\frac12\frac1{x+1}. \]

所以

\[ \frac12\log|x-1|-\frac12\log|x+1|+C. \]

练习 9:发现分母导数

\[ \int\frac{x+1}{x^2+2x+5}\,dx. \]
答案

分母导数是 \(2x+2\),恰为分子的两倍,故

\[ \frac12\log(x^2+2x+5)+C. \]

分母 \((x+1)^2+4\) 恒正。

练习 10:有理式也可先做代数约化

\[ \int\frac{x^3}{1+x^2}\,dx. \]
答案

先写成

\[ \frac{x^3}{1+x^2}=x-\frac{x}{1+x^2}, \]

再对第二项换元,得到

\[ \frac{x^2}{2}-\frac12\log(1+x^2)+C. \]

练习 11:诊断失败路线

有人计算 \(\int xe^{x^2}\,dx\) 时取 \(u=x,\ dv=e^{x^2}dx\)。指出问题,并给出有效 路线。

答案

该拆分要求先知道 \(e^{x^2}\) 的原函数,因而没有把问题化到本章已知对象,是失败 路线。应令 \(u=x^2\),利用 \(du=2x\,dx\),答案为

\[ \frac12e^{x^2}+C. \]

练习 12:诚实陈述工具边界

面对

\[ \int e^{-x^2}\,dx, \]

说明本章能得出什么,不能得出什么。

答案

被积函数不含与 \(-x^2\) 配套的 \(x\) 因子;分部积分也不产生复杂度下降;它不是 有理函数。因此本章方法没有给出初等表达式。不能由此证明“没有初等原函数”,也 不能由搜索失败推出原函数不存在。这里应停止计算,明确记录工具边界,把更强结论 留给后续理论。

常见误区与后续

  1. 见乘积就分部。 先检查是否存在更完整的复合—内层导数结构。
  2. 换元后仍混用 \(x,u\) 必须把被积式与微分全部改写为新变量。
  3. 只写答案,不解释选法。 混合训练的核心是可迁移的结构判断。
  4. 一条路线失败就宣布无解。 路线失败、没有初等表示和不存在原函数是三个命题。
  5. 只做数值点检。 最终证据必须是工作区间上的完整求导恒等。
  6. 跨断点沿用同一个 \(C\) 不同连通区间上的常数彼此独立。

第 19 章将转向“累积量如何由分割与逼近定义”的新问题。本章到此停止:此处的积分号 只承担寻找原函数族的记号,不预借后续定理解释。