怎样选择积分方法并用求导可靠回验?¶
先备知识¶
本单元默认你已经掌握:
- 第 14.5 单元中的基本求导、乘积法则和链式法则训练;
- 第 18.1 单元的原函数族、工作区间与常数差;
- 第 18.2 单元的换元法;
- 第 18.3 单元的分部积分法;
- 第 18.4 单元的多项式除法和部分分式。
题目不再标注方法名称。你需要先识别结构,再选择方法,并对失败路线作出诊断。
学习目标¶
完成本单元后,你应当能够:
- 在没有题型标签时识别线性、复合、乘积和有理结构;
- 说明选择方法的依据,而不只是写出方法名称;
- 在一次变形后判断复杂度是否真正下降;
- 区分“当前路线失败”“当前工具箱不足”和“原函数不存在”;
- 用完整求导回验、定义域检查与必要的数值点检验证结果。
牵引问题¶
同一个积分有时可以走多条路线,但这些路线并不等价。例如
既包含乘积,又包含复合。若仅看到乘积就分部,问题会变得更长;若先把 \(x^3\,dx=x^2(x\,dx)\) 与内层 \(x^2\) 配对,换元后就只剩一次多项式乘指数。
“看起来像什么”只是起点。可靠的选择必须回答:变形后是否更接近基本原函数?
探索与猜想¶
尝试给每道题写一张三行诊断卡:
- 识别结构: 哪个局部结构最稳定?
- 选择方法: 哪一步会使复杂度下降?
- 回验计划: 最后用哪条求导规则恢复被积函数?
若第一步后新积分更复杂,立即记录这条失败路线并返回,而不是继续机械计算。一个方法 恒等式可以完全正确,但用于当前拆分时没有提供进展。
概念与理论¶
方法选择算法¶
给定 \(\int f(x)\,dx\),按下列顺序工作:
- 固定区间。 找出被积函数定义域,并选定不跨越断点的工作区间。
- 代数标准化。 展开或因式分解要适度;有理假分式先做多项式除法。
- 识别结构。
- 是已知基本导数的线性组合吗?
- 出现 \(F(g(x))g'(x)\) 型的内层导数吗?
- 是一侧求导后会简化、另一侧容易恢复的乘积吗?
- 是可做实因式分解的有理函数吗?
- 选择方法并预测进展。 写出换元对象、分部拆分或部分分式一般形式,并说明新问题 为什么更简单。
- 只走一步再复核。 若复杂度未下降,返回第 2 或第 3 步,记录失败路线。
- 求出候选。 在同一工作区间上整理表达式,最后统一写一个 \(C\)。
- 求导回验。 对整个候选求导,化简到原被积函数。
- 检查边界。 核对定义域、绝对值、区间常数与方法未覆盖的情形。
算法并不保证每个函数都能由本章的有限方法写出初等表达式。它保证的是:每一步都有 可说明的选择依据和可执行的退出条件。
结构到首选路线¶
| 观察到的结构 | 首选动作 | 常见失败信号 |
|---|---|---|
| 基本导数的线性组合 | 逐项恢复 | 忘记常数倍或幂指数特例 |
| \(f(g(x))g'(x)\) | 换元 \(u=g(x)\) | 内层导数差了非恒定因子 |
| 多项式乘指数、三角或对数 | 分部积分 | 被求导一侧反而更复杂 |
| 有理函数 | 先除法,再实因式分解 | 漏重数项或二次因子一次分子 |
| 多种结构叠加 | 先做能明确降维的一层 | 一步后结构数量增加 |
| 没有可识别进展 | 停止并陈述边界 | 把搜索失败误写成不存在 |
回验层级¶
| 层级 | 要检查什么 | 能发现的错误 |
|---|---|---|
| 代数恒等 | 分解、配方、通分是否相等 | 系数与符号错误 |
| 定义域 | 候选与被积函数是否在同一区间讨论 | 跨断点共享常数、漏绝对值 |
| 完整求导 | 候选导数能否化回原式 | 链因子、乘积项和常数倍错误 |
| 原函数族 | 是否只在最后统一加 \(C\) | 重复或错误搬移积分常数 |
| 数值点检 | 在定义域内取若干非特殊点比较 | 快速暴露但不能证明恒等的错误 |
数值点检只是一道报警器,不能代替代数恒等与求导证明。
三个不同的问题¶
必须区分:
- 某条具体路线是否成功;
- 本章工具箱是否给出初等表达式;
- 函数是否存在原函数。
它们不是同一个命题。对于 \(e^{-x^2}\),常见结论说它“没有初等原函数”;这个结论 需要本书当前尚未建立的理论。本单元只要求识别:基本换元、分部积分与有理分解都没有 给出初等表示。我们不把方法搜索失败当作该结论的证明,也不在此处据此断言原函数 不存在。
例题与迁移¶
例 1:复合外层还需一次分部¶
求
识别结构。 \(e^{x^2}\) 的内层导数提供 \(x\,dx\),而剩余的 \(x^2\) 可随换元 成为 \(u\)。
令 \(u=x^2\),则 \(du=2x\,dx\),且
于是
换回得
求导回验:
答案
首先换元把复合层去掉,再对 \(ue^u\) 分部。若一开始直接按 \(x^3\cdot e^{x^2}\) 分部,\(e^{x^2}\) 本身并没有本章可直接使用的初等恢复式, 所以那是一条失败路线。
例 2:对数复合中的内层导数¶
求
令 \(u=1+x^2\),\(du=2x\,dx\)。因为 \(u>0\) 对所有实数成立,
故
答案
对候选求导,乘积法则产生的两个额外项相消,剩下 \(x\log(1+x^2)\)。本题虽含对数和乘积,但内层导数完整出现,因此先换元更短。
即时检验与回望¶
即时检验 1¶
对 \(\int x^2e^x\,dx\),换元和分部积分哪一种提供可见进展?
答案
没有非平凡内层函数可供换元。让 \(x^2\) 被求导并让 \(e^x\) 被恢复,每次都会降低 多项式次数,因此分部积分提供单调进展。
即时检验 2¶
若一个候选在 \(x=1,2,3\) 三点的导数值都与被积函数相等,能否宣布回验完成?
答案
不能。有限点相等不能证明两个函数在整个区间恒等;仍须符号求导并代数化简。数值点 检只能帮助发现错误。
习题与答案¶
以下题目刻意不标注方法。建议每题先写“结构—选法—回验”三行诊断。
练习 1:线性组合¶
求
答案
识别为幂函数的线性组合,逐项恢复:
求导立即回到 \(3x^2-4x+1\)。
练习 2:对数链¶
在实数轴上求
答案
分母内层 \(1+x^2\) 的导数完整出现。令 \(u=1+x^2\),得到
分母恒正,定义域是全体实数。
练习 3:线性内层¶
求
答案
令 \(u=3x\),或直接补链因子:
回验时必须保留外乘的 \(1/3\)。
练习 4:指数复合¶
求
答案
令 \(u=x^2\),得到
若按乘积分部,将要求先恢复 \(e^{x^2}\),反而没有进展。
练习 5:对数乘幂¶
在 \(x>0\) 上求
答案
取 \(u=\log x,\ dv=x\,dx\),则 \(du=dx/x,\ v=x^2/2\):
求导时两项 \(x/2\) 相消。
练习 6:重复分部¶
求
答案
两次让多项式降次:
对三项整体求导,交叉项依次相消,只剩 \(x^2\cos x\)。
练习 7:先除后拆¶
在不跨过 \(-1\) 的区间上求
答案
多项式除法给出
因而
练习 8:互异线性因子¶
在不跨过 \(-1,1\) 的区间上求
答案
分解为
所以
练习 9:发现分母导数¶
求
答案
分母导数是 \(2x+2\),恰为分子的两倍,故
分母 \((x+1)^2+4\) 恒正。
练习 10:有理式也可先做代数约化¶
求
答案
先写成
再对第二项换元,得到
练习 11:诊断失败路线¶
有人计算 \(\int xe^{x^2}\,dx\) 时取 \(u=x,\ dv=e^{x^2}dx\)。指出问题,并给出有效 路线。
答案
该拆分要求先知道 \(e^{x^2}\) 的原函数,因而没有把问题化到本章已知对象,是失败 路线。应令 \(u=x^2\),利用 \(du=2x\,dx\),答案为
练习 12:诚实陈述工具边界¶
面对
说明本章能得出什么,不能得出什么。
答案
被积函数不含与 \(-x^2\) 配套的 \(x\) 因子;分部积分也不产生复杂度下降;它不是 有理函数。因此本章方法没有给出初等表达式。不能由此证明“没有初等原函数”,也 不能由搜索失败推出原函数不存在。这里应停止计算,明确记录工具边界,把更强结论 留给后续理论。
常见误区与后续¶
- 见乘积就分部。 先检查是否存在更完整的复合—内层导数结构。
- 换元后仍混用 \(x,u\)。 必须把被积式与微分全部改写为新变量。
- 只写答案,不解释选法。 混合训练的核心是可迁移的结构判断。
- 一条路线失败就宣布无解。 路线失败、没有初等表示和不存在原函数是三个命题。
- 只做数值点检。 最终证据必须是工作区间上的完整求导恒等。
- 跨断点沿用同一个 \(C\)。 不同连通区间上的常数彼此独立。
第 19 章将转向“累积量如何由分割与逼近定义”的新问题。本章到此停止:此处的积分号 只承担寻找原函数族的记号,不预借后续定理解释。