定积分综合计算怎样处理端点、对称与错误诊断？¶

先备知识¶

本单元默认你已经掌握：

第 18.5 单元的不定积分结构识别与求导回验；
第 19.4 单元的保序、绝对值估计和区间可加性；
第 20.3 单元的 Newton–Leibniz 公式；
第 20.4 单元的定积分换元、分部积分、端点与分段条件。

题目不再标注“换元”“分部”或“对称”。你需要先检查区间与定义域，再根据结构选择路线；若路线失败，必须定位首个非法步骤或无进展步骤。

学习目标¶

完成本单元后，你应当能够：

在无题型标签时选择定积分计算路线；
先处理分段点、绝对值和参数边界；
用中点反射推出奇函数、偶函数与配对恒等式；
用区间可加和换元处理周期函数；
组合换元、分部积分与代数整理；
完成循环分部积分而不丢失原积分项；
用符号、保序与绝对值估计回验结果；
找到错误解答中的首个非法步骤。

牵引问题¶

定积分比不定积分多出三类结构：

区间端点会随换元改变方向；
区间本身可能具有反射或周期结构；
最终结果是一个数，可以用符号与上下界进行强回验。

如果只盯着被积式而忽略区间，就会错过对称性；如果只套公式而不检查定义域，就可能在端点变换或逆函数分支处失去合法性。

探索与猜想¶

统一采用：

\[ \text{区间与定义域} \longrightarrow \text{结构识别} \longrightarrow \text{路线选择} \longrightarrow \text{端点或边界项} \longrightarrow \text{完整计算} \longrightarrow \text{符号与估计回验}. \]

这条流程不保证每道题都有初等闭式，但它能明确告诉我们：当前路线为何合法、是否产生进展、最终结果是否与已知界相容。

概念与理论¶

方法选择与退出条件¶

路线	结构信号	进入前检查	退出或改道信号
分段	绝对值、分段定义、符号改变	拆分点是否在区间内	每段公式仍未固定
换元	复合结构及链式因子	像区间、端点、方向、分支	仍含新旧两个变量
分部积分	乘积且一项求导后简化	边界项、复杂度变化	新积分更复杂且无循环闭合
中点反射	\(x\) 与 \(a+b-x\) 可配对	区间是否保持不变	配对后没有消去或简化
奇偶性	对称区间与 \(f(-x)\)	区间是否真为 \([-a,a]\)	函数既非奇也非偶
周期平移	区间长度等于整周期	周期是否对所有点成立	区间长度不是整周期

“路线较长”不等于非法；“逆分支未定义”“端点未变换”“边界项丢失”才是非法。若路线没有降低复杂度，应记录原因并改道，而不是继续形式操作。

中点反射恒等式¶

定理。 若 \(f\) 在 \([a,b]\) 上连续，则

\[ \int_a^b f(x)\,dx = \int_a^b f(a+b-x)\,dx. \]

证明。 在左侧作换元

\[ x=a+b-t,\qquad dx=-dt. \]

当 \(x=a\) 时 \(t=b\)，当 \(x=b\) 时 \(t=a\)。因此

\[ \begin{aligned} \int_a^b f(x)\,dx &=-\int_b^a f(a+b-t)\,dt\\ &=\int_a^b f(a+b-t)\,dt. \end{aligned} \]

把哑变量 \(t\) 改写为 \(x\) 即得结论。证毕。

这个公式把每个 \(x\) 与关于区间中点

\[ \frac{a+b}{2} \]

对称的 \(a+b-x\) 配成一对。

奇偶函数推论¶

在对称区间 \([-a,a]\) 上，中点反射就是 \(x\mapsto-x\)。

若 \(f\) 是偶函数，即 \(f(-x)=f(x)\)，则

\[ \int_{-a}^a f(x)\,dx =2\int_0^a f(x)\,dx. \]

若 \(f\) 是奇函数，即 \(f(-x)=-f(x)\)，则

\[ \int_{-a}^a f(x)\,dx=0. \]

这些结论同时依赖函数变换和区间对称。奇函数在 \([0,a]\) 上的积分一般不为 \(0\)。

周期平移推论¶

推论。 若 \(f\) 连续且以 \(T>0\) 为周期，则对任意 \(s\in\mathbb R\)，

\[ \int_s^{s+T}f(x)\,dx=\int_0^T f(x)\,dx. \]

证明。 先设 \(0\le s<T\)。由区间可加性，

\[ \int_s^{s+T}f =\int_s^T f+\int_T^{s+T}f. \]

第二项令 \(x=u+T\)，由 \(f(u+T)=f(u)\)，得到

\[ \int_T^{s+T}f(x)\,dx=\int_0^s f(u)\,du. \]

故两项拼成 \(\int_0^T f\)。

对一般 \(s\)，写成 \(s=kT+r\)，其中 \(k\in\mathbb Z\)、\(0\le r<T\)。先作整数周期平移 \(x=u+kT\)，再使用上一结果即可。证毕。

若区间长度为 \(nT\)，可分成 \(n\) 个整周期，积分等于

\[ n\int_0^T f. \]

例题与迁移¶

例 1：反射后两项恰好互补¶

计算

\[ I=\int_0^1 \frac{e^x}{e^x+e^{1-x}}\,dx. \]

作中点反射 \(x\mapsto1-x\)：

\[ I=\int_0^1 \frac{e^{1-x}}{e^{1-x}+e^x}\,dx. \]

两式相加，

\[ 2I=\int_0^1 1\,dx=1, \]

所以

\[ I=\frac12. \]

回验：原被积函数严格介于 \(0\) 与 \(1\) 之间，所得结果也在 \(0\) 与 \(1\) 之间。

例 2：绝对值必须先分段¶

计算

\[ \int_0^1|2x-1|\,dx. \]

符号改变点是 \(x=1/2\)，因此

\[ \begin{aligned} \int_0^1|2x-1|\,dx &=\int_0^{1/2}(1-2x)\,dx +\int_{1/2}^1(2x-1)\,dx\\ &=\frac14+\frac14\\ &=\frac12. \end{aligned} \]

若不先拆分，单一原函数表达式会把两侧不同符号混在一起。

例 3：循环分部积分¶

令

\[ I=\int_0^{\pi/2}e^x\sin x\,dx,\qquad J=\int_0^{\pi/2}e^x\cos x\,dx. \]

第一次分部积分取 \(u=\sin x\)、\(dv=e^x\,dx\)：

\[ I=[e^x\sin x]_0^{\pi/2}-J =e^{\pi/2}-J. \]

第二次对 \(J\) 取 \(u=\cos x\)、\(dv=e^x\,dx\)：

\[ J=[e^x\cos x]_0^{\pi/2}+I =-1+I. \]

代回：

\[ I=e^{\pi/2}-(-1+I), \]

故

\[ I=\frac{e^{\pi/2}+1}{2}. \]

循环不是失败，因为第二次分部后原积分以可解的代数方式返回。

例 4：非法全局反解¶

有人计算

\[ \int_{-1}^1 1\,dx \]

时令 \(u=x^2\)，写 \(x=\sqrt u\)。由于两个端点都映到 \(u=1\)，他得到积分为 \(0\)。

首个非法步骤是把 \(x^2\) 在 \([-1,1]\) 上当作一一映射并全局选取 \(x=\sqrt u\)。负半轴分支 \(x=-\sqrt u\) 被丢失，且 \(x=0\) 处逆关系也需单独处理。正确做法可以先拆成 \([-1,0]\) 与 \([0,1]\)，或直接用常值函数积分，结果为 \(2\)。

即时检验与回望¶

即时检验 1¶

区间 \([2,5]\) 的中点反射把 \(x\) 变成什么？

答案

端点和为 \(2+5=7\)，所以反射为

\[ x\mapsto7-x. \]

它把 \(2\) 与 \(5\) 互换，并保持整个区间不变。

即时检验 2¶

若 \(f\) 是连续奇函数，判断

\[ \int_{-3}^{3}f(x)\,dx \]

的符号和值。

答案

值恰好为 \(0\)。区间关于 \(0\) 对称，且 \(f(-x)=-f(x)\)，左右贡献配对抵消。不能只说“可能为正或负”。

即时检验 3¶

计算 \(\int_{-1}^2|x|\,dx\) 前，合法拆分点是什么？

答案

绝对值内部 \(x\) 在 \(0\) 改变符号，且 \(0\in[-1,2]\)，所以必须在 \(0\) 拆分：

\[ \int_{-1}^0(-x)\,dx+\int_0^2x\,dx. \]

即时检验 4¶

有人写

\[ \int_a^b u\,v' =[uv]_a^b+\int_a^b u'v. \]

首个非法步骤是什么？

答案

从乘积法则移项时符号错误。正确公式是

\[ \int_a^b u\,v' =[uv]_a^b-\int_a^b u'v. \]

习题与答案¶

练习 1：重建反射证明¶

不用图像，完整写出换元 \(x=a+b-t\) 的端点、微分因子和方向，证明中点反射恒等式。

答案

当 \(x=a\) 时 \(t=b\)，当 \(x=b\) 时 \(t=a\)，且 \(dx=-dt\)。因此

\[ \int_a^b f(x)\,dx =-\int_b^a f(a+b-t)\,dt =\int_a^b f(a+b-t)\,dt. \]

改写哑变量即可。三个要素是两个新端点、负的微分因子和随后反转的积分方向。

练习 2：漏换端点¶

有人对

\[ \int_0^1 2x e^{x^2}\,dx \]

令 \(u=x^2\)，却写成 \(\int_0^1e^u\,du\)，“因为原端点就是 \(0,1\)”。他的结果碰巧正确。这个步骤是否合法？

答案

推理不完整。换元后必须重新计算端点：

\[ x=0\Rightarrow u=0,\qquad x=1\Rightarrow u=1. \]

本题新旧端点数值碰巧相同，不能因此省略检查。首个问题是以巧合代替端点变换依据；结果正确不使步骤自动合法。

练习 3：对称配对¶

计算

\[ I=\int_{-1}^{1}\frac{e^x}{e^x+e^{-x}}\,dx. \]

答案

反射 \(x\mapsto-x\) 后，

\[ I=\int_{-1}^{1}\frac{e^{-x}}{e^{-x}+e^x}\,dx. \]

两式相加得

\[ 2I=\int_{-1}^{1}1\,dx=2, \]

所以 \(I=1\)。原被积函数在 \(0\) 处为 \(1/2\)，配对和恒为 \(1\)。

练习 4：参数定义域¶

对实参数 \(\lambda\)，判断

\[ \int_0^1\frac{1}{x+\lambda}\,dx \]

何时属于本章的正常闭区间定积分，并在合法范围内写出结果。

答案

分母在区间上不能为零。零点 \(x=-\lambda\) 落在 \([0,1]\) 当且仅当 \(\lambda\in[-1,0]\)。因此合法参数为

\[ \lambda<-1\quad\text{或}\quad\lambda>0. \]

在每个合法工作区间上，

\[ \int_0^1\frac{dx}{x+\lambda} =\log|1+\lambda|-\log|\lambda| =\log\left|\frac{1+\lambda}{\lambda}\right|. \]

练习 5：先换元再分部¶

计算

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

答案

先令 \(u=x^2\)，则 \(du=2x\,dx\)，且 \(x^3dx=u\,du/2\)。端点仍为 \(0,1\)，所以

\[ \int_0^1x^3e^{x^2}\,dx =\frac12\int_0^1ue^u\,du. \]

再分部：

\[ \frac12[ue^u-e^u]_0^1 =\frac12. \]

原被积函数非负，结果为正；且 \(x^3e^{x^2}\le e\)，结果也低于粗略上界 \(e\)。

练习 6：错误使用奇函数¶

有人说 \(f(x)=x^3\) 是奇函数，所以

\[ \int_0^2x^3\,dx=0. \]

指出首个非法步骤并给出正确值。

答案

奇函数积分为零还要求区间关于 \(0\) 对称；\([0,2]\) 不满足。正确计算为

\[ \int_0^2x^3\,dx =\left[\frac{x^4}{4}\right]_0^2=4. \]

练习 7：整周期平移¶

设 \(f\) 连续且以 \(2\) 为周期，已知

\[ \int_0^2f(x)\,dx=3. \]

求 \(\int_5^9f(x)\,dx\)。

答案

区间 \([5,9]\) 长度为 \(4=2\cdot2\)，包含两个完整周期。每个整周期积分都为 \(3\)，因而

\[ \int_5^9f(x)\,dx=2\cdot3=6. \]

练习 8：分段后换元¶

计算

\[ \int_{-1}^{1}|x|e^{x^2}\,dx. \]

答案

被积函数是偶函数，也可先按绝对值在 \(0\) 拆分。于是

\[ \int_{-1}^{1}|x|e^{x^2}\,dx =2\int_0^1xe^{x^2}\,dx. \]

令 \(u=x^2\)，\(du=2x\,dx\)，得到

\[ 2\int_0^1xe^{x^2}\,dx =\int_0^1e^u\,du=e-1. \]

结果为正，符合非负被积函数的保序检查。

练习 9：平方换元的分支¶

在什么区间上可以把 \(u=x^2\) 与 \(x=\sqrt u\) 配套使用？若原区间为 \([-2,1]\)，应怎样处理？

答案

\(x=\sqrt u\) 对应非负分支，所以可在 \(x\ge0\) 的单调区间上使用；负半轴应使用 \(x=-\sqrt u\)。原区间 \([-2,1]\) 跨过 \(0\)，必须先拆成 \([-2,0]\) 与 \([0,1]\)，分别选择分支，不能全局反解。

练习 10：丢失边界项¶

有人把

\[ \int_0^1x e^x\,dx \]

写成 \(-\int_0^1e^x\,dx\)，理由是“分部积分后把 \(x\) 求导为 \(1\)”。指出首个非法步骤。

答案

首个非法步骤是丢掉边界项。正确公式为

\[ \int_0^1xe^x\,dx =[xe^x]_0^1-\int_0^1e^x\,dx. \]

第一项等于 \(e\)，所以最终结果是 \(e-(e-1)=1\)，不是负数。非负被积函数也立即排除了原答案。

练习 11：另一组循环分部¶

计算

\[ \int_0^{\pi/2}e^x\cos x\,dx. \]

答案

记该积分为 \(J\)，并令

\[ I=\int_0^{\pi/2}e^x\sin x\,dx. \]

分部积分给出

\[ J=[e^x\cos x]_0^{\pi/2}+I=-1+I, \]

以及

\[ I=[e^x\sin x]_0^{\pi/2}-J=e^{\pi/2}-J. \]

代入得

\[ 2J=e^{\pi/2}-1, \qquad J=\frac{e^{\pi/2}-1}{2}. \]

练习 12：用界回验结果¶

某计算给出

\[ \int_0^1\frac{1}{1+x^2}\,dx=2. \]

不用重新求原函数，判断结果是否可能正确。

答案

在 \([0,1]\) 上

\[ \frac12\le\frac1{1+x^2}\le1. \]

由保序性，

\[ \frac12\le \int_0^1\frac{1}{1+x^2}\,dx \le1. \]

所以结果 \(2\) 不可能正确。这个界已经足以报警，无需先定位具体代数错误。

常见误区与后续¶

看到复合就立刻换元。 先检查链式因子、像区间和端点。
看到奇函数却不看区间。 奇偶公式依赖对称区间。
绝对值不分段。 先找内部符号改变点，再决定是否还能使用对称性。
循环分部一见原积分就停止。 若原积分以可解的线性方式返回，循环正是闭合信号。
路线得到正确数值就认为合法。 端点巧合可能掩盖漏检步骤。
只靠计算器接受答案。 数值点检只能作为报警器，不能证明积分恒等式。
把本章公式用于越界对象。 无界端点、无穷区间、数值求积误差与积分号下求导都需要后续章节的独立条件。

本章到此建立了累积、导数、原函数和定积分计算的完整闭环。第 21 章才把这些工具用于几何与物理模型。