MASTERY · MATHEMATICS
3.1.3 三角函数的不定积分
3.1.3 三角函数的不定积分
一、 三角有理式积分 的求解体系
1. 特殊性质优先判定法(三大奇偶性判别)
三条判据排在万能代换之前,理由是成本差异:判据只做代数替换和一次凑微分,被积函数始终保持在三角函数范围内;万能代换必然把分式的幂次抬高,后续还要处理有理分式裂项。所以顺序是”先判性质,再决定是否换元”。
| 序号 | 奇偶性判定关系式 | 代数特征 / 几何含义 | 核心换元法 | 凑微分目标 | 适用场景与特征 |
|---|---|---|---|---|---|
| (1) | 关于 为奇函数 | 令 | 凑 | 式中含 的奇数次幂 | |
| (2) | 关于 为奇函数 | 令 | 凑 | 式中含 的奇数次幂 | |
| (3) | 关于 为偶函数 | 令 | 凑 | 式中均为偶数次幂或正切同次式 |
2. 通用方法:万能代换(半角代换)
二、 三角有理式典型题型与求解范例
1. 满足奇偶性:凑微分与直接换元
这一组题目的共同点:判据成立,因此只需”提出一个因子 + 同角恒等式”就把被积函数化为单一三角函数的有理式,剩下的工作是常规的有理分式裂项。
2. 不满足奇偶性:万能代换与多解比较
这一组题目的共同点:三条判据都不成立,或者需要先做同角化简才可能成立。此时按”先找便宜的恒等变形,再退到万能代换”的顺序试。
三、 三角函数特殊类型:分子线性组合配凑法
1. 经典模型与秒杀公式
针对形如 正余弦一次齐次分式 的积分:
2. 典型例题
四、 三角函数积分考场决策树
graph TD
Start["遇到三角函数不定积分 ∫ R(sin x, cos x) dx"] --> PreCheck["先化同角化简 (如 sin 2x = 2sin x cos x)"]
PreCheck --> Q1{"是否为线性组合齐次式<br/>(C sin x + D cos x) / (A sin x + B cos x) ?"}
Q1 -- "是,且 A² + B² ≠ 0" --> ActionLinear["【线性组合配凑法】<br/>分子 = M·分母 + N·(分母)'<br/>结果 = M x + N ln|分母| + C"]
Q1 -- "否" --> Q2{"检查三大奇偶性"}
Q2 -- "关于 sin x 为奇函数<br/>R(-sin x, cos x) = -R(sin x, cos x)" --> ActionSin["【凑 d(cos x)】<br/>分子分母同乘 sin x,令 u = cos x"]
Q2 -- "关于 cos x 为奇函数<br/>R(sin x, -cos x) = -R(sin x, cos x)" --> ActionCos["【凑 d(sin x)】<br/>分子分母同乘 cos x,令 u = sin x"]
Q2 -- "关于两者均为同号偶函数<br/>R(-sin x, -cos x) = R(sin x, cos x)" --> ActionTan["【凑 d(tan x) / 三角恒等变形】<br/>令 u = tan x 或分子配 (sin²x+cos²x)"]
Q2 -- "均不满足" --> Q3{"分母能否化成单项式?<br/>(分母有理化 / 二倍角降幂)"}
Q3 -- "能" --> ActionEasy["【恒等变形 / 降幂】<br/>如 1+sin x 乘 (1-sin x) 让分母变单项"]
Q3 -- "不能" --> ActionUniversal["【万能代换(保底)】<br/>令 t = tan(x/2),转为普通有理真分式"]
我的总结
- 这一节的解题顺序我固定成三步:先化同角(有倍角、半角就先统一)→ 再验三条奇偶性判据 → 都不成立才用万能代换。顺序不能颠倒,因为万能代换必然把分母抬高一次幂,能避免就避免。
- 三条判据我是按”提出一个因子”来记的:关于 为奇就提 (连带 ),关于 为奇就提 (连带 ),两者同为偶或同奇就同除 换成 。验证只需做替换,不必真的积分。
- 万能代换我把它当作验算工具和兜底:它保证结果一定算得出来,但裂项量大。例 3.11 那种 、 系数对称的情形是例外,代入后 项自动抵消,反而很快。
- 判据 (2) 做完之后常常还剩一个根式(如例 3.8 的 ),需要再补一次”整个根式设为 “,这说明判据只负责把被积函数降为单一三角函数的有理式,不一定一步到位。
- 分子分母都是一次齐次式时,我优先用 分母 分母的导数 配凑:只解两个未知数,对数项直接读出。成立条件是分母不恒为零()且分子必须是一次齐次组合,分子出现常数项或二次项时不能直接套。
- 我错过的地方集中在两处符号: 的对数符号,以及凑微分时漏掉括号内变量变化的系数(例 3.10 方法二要配 )。回代后凡 、 可正可负的对数项,绝对值都不能省。
参考资料
- 考研数学历年真题(年份与卷种随题标注)
- 常见考研数学教材与辅导资料
- 本人课程学习笔记;三条奇偶性判据的检验顺序与”分子 分母 分母的导数”这一配凑格式、以及”让分母尽可能简单”的化简取向,参考自某考研数学课程讲义
Discussion
Comments
Thoughts, corrections, and follow-up notes are welcome here.