部分分式与积分策略
前面几章分别建立了分部积分、三角积分和三角代换。现在轮到有理函数:
Q(x)P(x)
它的好消息是流程非常稳定;坏消息是流程少一步就会漏项。先看次数、再分解分母、写全分式形状、求系数,最后才积分。

有理函数要先看次数
部分分式分解直接适用于真分式:
degP<degQ
如果分子次数大于或等于分母次数,先做多项式长除:
Q(x)P(x)=S(x)+Q(x)
其中 degR<degQ。
长除例题
计算
∫x2+1x3+2xdx
长除得到
x2+1x3+2x=x+
因此
∫x2+1x3+2x
如果跳过长除,只分解真分式部分,就会漏掉多项式 x。
分母结构决定分解形式
在实数范围内,把分母完全分解成一次因子和不可约二次因子。每种因子都有固定的分子模板。

不重复线性因子
若
Q(x)=(x−a)(x−b)
则写成
(x−a)(x−b)P(x)=x−a
例如
(x−1)(x+2)5x+1=x−
通分后
5x+1=A(x+2)+B(x−1)
代入 x=1 得 A=2;代入 x=−2 得 B=3。所以
∫(x−1)(x+2)5x+1dx=
重复线性因子
若分母含 (x−a)m,从一次幂到最高次幂都要写:
x−aA1+(x
例如
x(x−1)21=x
不能只写最高次项。重复因子的每一层都代表一个独立自由度。
把这个例子算完。通分得到
1=A(x−1)2+Bx(x−1)+Cx
代入 x=0 得 A=1,代入 x=1 得 C=1。比较 x 系数:
A+B=0
所以 B=−1。因此
x(x−1)21=x
积分为
ln∣x∣−ln∣x−1∣−x−11+C
最后一项不是对数,因为分母是二次幂。
不可约二次因子
若 x2+px+q 在实数范围不能分解,分子必须写成一次式:
x2+px+qAx+B
即使最终 A 或 B 恰好为零,也不能一开始只写常数。
重复不可约二次因子
若有 (x2+px+q)m,同样要逐层写:
x2+px+qA1x
待定系数怎样求
通分后会得到一个多项式恒等式。常用两种求系数方法。
代入特殊值
对线性因子,代入使某个因子为零的值,可以迅速隔离一个系数。前面的 x=1,−2 就是这样。
比较系数
若没有足够多的方便代入点,就展开右边,比较 xk 的系数,得到线性方程组。
例如
(x−1)(x2+1)2x2+
通分:
2x2+3x+4=A(x2+1)+(B
展开并比较系数:
⎩⎨⎧A+B=2
解得
A=49,B=−41,C
特殊值代入和比较系数可以混用。先用能让大量项消失的值,再用系数方程补齐,通常最省计算。

部分分式积分的几种结局
分解只是代数步骤,积分时还要识别每一项的反导结构。
线性因子给出对数
∫x−aAdx=Aln∣x−a∣+C
重复线性因子的高次项给出幂函数
当 k≥2:
∫(x−a)kAdx=
只有一次幂产生对数。
不可约二次因子给出对数和反正切
考虑
∫x2+px+qAx+Bdx
把分子拆成“分母导数的一部分加常数”:
Ax+B=2A(2x+p)+(B−
第一部分给对数,第二部分配方后给反正切。
例如
∫x2+2x+53x+5dx
分母导数为 2x+2,所以
3x+5=23(2x+2)+2
并且
x2+2x+5=(x+1)2+4
于是
∫x2+2x+53x+5d

混合例题
计算
∫x(x2+1)x2+2dx
分母包含线性因子 x 和不可约二次因子 x2+1:
x(x2+1)x2+2=
通分:
x2+2=A(x2+1)+x(Bx+C)
比较系数得
A=2,B=−1,C=0
所以
∫x(x2+1)x2+2
=2ln∣x∣−21ln(x2+1)+
求导检查时,两项重新通分应回到原被积函数。
先换元再做部分分式
有些被积函数不是 x 的有理函数,却能通过换元变成有理函数。
例题:指数换元
计算
∫e2x−1exdx
令
u=ex,du=exdx
积分变成
∫u2−11du
分解:
u2−11=21
所以
∫e2x−1exdx=
回代:
=21lne
这题的第一步不是部分分式,因为原式还不是关于 ex 的微分形式;先换元后结构才完整。
例题:平方换元
计算
∫x4−1x3dx
这里直接令 u=x4−1 最短:
∫x4−1x3dx=
虽然分母能分解,部分分式却不是首选。这再次说明“有理函数”只是对象类型,不自动指定方法。
积分策略总览
部分分式只是工具箱的一格。面对一个新积分,建议按结构逐层排查。

先化简
约分、拆项、长除、配方、三角恒等变形,经常能让问题直接暴露。
再试简单换元
若出现 g′(x)f(g(x)),换元通常比其他方法短。
乘积结构考虑分部积分
一个因子求导后简化、另一个能积分时,才值得使用。
三角幂与根式看三角技巧
三角函数幂先看奇偶;平方和、平方差根式先整理成标准形状。
有理函数进入部分分式
先确保是真分式,再完全分解分母并写全模板。
组合方法
某些积分需要先换元,再对新变量做部分分式;也可能先分部积分,再用三角恒等式。每一步都应让结构更简单。
承认没有初等反导
若结构不属于初等反导可处理的范围,不要无限试招。根据任务改用数值积分、幂级数或保留定积分。
积分表与计算机代数系统
积分表把许多常见结构整理成模板,例如
∫uu2−a2
使用积分表时,通常仍要先完成代数整理和换元,让题目与模板完全匹配。表中变量 u 只是占位符,不能因为原题使用 x 就忽略内层函数的导数。
计算机代数系统可以:
- 做部分分式分解;
- 给出符号反导;
- 检查求导是否回到原式;
- 进行数值积分。
但它的输出需要人工核验。
定义域与等价形式
两个反导表达式可能只相差常数,也可能只在某个区间等价。例如
ln∣x−1∣−ln∣x+1∣
可以合并为
lnx+1x−1
绝对值不能随意删除,因为原被积函数可能在多个区间上定义。
复杂输出不代表更正确
系统可能给出反三角、复对数或分段表达式。最稳的验证是:
- 对输出求导并化简;
- 检查原被积函数的定义域;
- 对定积分再做数值比较;
- 判断是否漏掉奇点导致跨区间使用反导公式。
若积分区间跨过被积函数的无穷间断点,不能只把一个反导函数代入两端。那已经是反常积分问题,必须在奇点处分开取极限。
数值积分:精确反导找不到时
设 [a,b] 等分成 n 段:
Δx=nb−a
节点为 xi=a+iΔx。
中点法
每段取中点 mi:
Mn=Δxi=1∑nf(mi
它用矩形近似曲线下的面积。
梯形法
每段用端点连成的弦构成梯形:
Tn=2Δx[f(
辛普森法
当 n 为正偶数时,用二次多项式分段拟合:
Sn=
权重是
1,4,2,4,2,…,4,1
辛普森法要求子区间数 n 为偶数。这里的 n 是小区间数量,不是节点数量;节点共有 n+1 个。
例题:近似 ∫02e−x2dx
取 n=4,Δx=0.5。辛普森法使用
x0=0, x1=0.5, x
因此
S4=30.5[f(0)+
代入 f(x)=e−x2 得近似
S4≈0.8821
这不是“差不多看起来对”,而是可继续用误差界判断精度。
数值误差与凹凸性
绝对误差和相对误差分别为
Eabs=∣精确值−近似值∣
Erel=∣精确值∣Eabs
若 ∣f′′(x)∣≤K,则中点法与梯形法的误差满足
∣EM∣≤24n2K(b−a)
∣ET∣≤12n2K(b−a)
若 ∣f(4)(x)∣≤K 且 n 为偶数,辛普森法满足
∣ES∣≤180n4K(b−a)
这些界通常不是实际误差,但能保证最坏情况下的精度。
凹凸性还提供方向判断:
- f′′>0 时,弦在曲线上方,梯形法倾向于高估;
- f′′<0 时,梯形法倾向于低估;
- 中点法的方向通常相反。
例题:怎样保证误差小于 10−4
用梯形法近似
∫01exdx
在 [0,1] 上,
f′′(x)=ex
所以可取 K=e。要使
12n2e(1−0)3≤10
需满足
n2≥12×10−4e
右侧约为 2265.2,因此
n≥48
这给出保证,不表示 47 段一定不够;它只是说用 48 段时,基于该误差界一定安全。
比较中点与梯形
同一个函数上,两者误差界只差一个系数:
∣EM∣≤24n2K(b−a)
∣ET∣≤12n2K(b−a)
在相同 n 下,中点法的保证通常更紧。但实际误差还取决于函数形状;误差界是上界,不是精确误差公式。
数据表只有离散值时
如果只知道实验节点上的函数值,没有解析公式,梯形法仍能使用,因为它只需要端点值。辛普森法需要等距节点且子区间数为偶数。此时无法轻易计算导数上界,误差评估可能要借助加密采样、重复计算或外部测量误差。
选择数值方法的策略
- 函数值计算便宜、只要中等精度:中点法或梯形法足够。
- 函数很光滑且能取等距节点:辛普森法通常收敛更快。
- 数据来自表格:先检查节点是否等距,再决定梯形或辛普森。
- 函数有尖点、无穷间断或剧烈振荡:先分段或变换问题,不能盲目加大 n。
- 需要可靠位数:使用误差界或把不同分段数的结果比较,同时说明依据。
数值积分不是把困难藏进计算器,而是把“求反导”换成“求函数值并控制误差”。
常见错误
- 假分式没有先长除。
- 重复因子只写最高次项。
- 不可约二次因子的分子只写常数。
- 二次分母的每一项都误判成对数,忘记反正切部分。
- 辛普森权重排列错误或 n 取奇数。
- 数值近似只报小数,不说明方法、分段数和误差控制。
- 计算机代数系统给出复杂结果后不求导验证,也不检查定义域。
练习
- 分解并积分 (x+1)(x−2)4x+7。
- 分解 。
(x+1)(x−2)4x+7=−x
小结
有理函数积分的流程高度可复用:次数检查、长除、分母分解、写全模板、求系数、逐项积分。更广的积分策略则始终从结构出发。若精确反导不现实,数值积分提供有误差保证的答案。下一章会面对另一种障碍:积分区间无穷,或函数在区间内无界。