三角函数不定积分进阶：半角代换、高次幂与递推公式全解析

三角函数不定积分系列写到第三篇了。前两篇我们处理了基本积分公式、凑微分、以及 sin x 与 cos x 有理式的常规套路基础的几类题型应该已经比较顺手。到了这一步很多同学会发现一个尴尬的问题方法都认识公式也背了不少但拿到一道新题还是不知道从哪里下手尤其是遇到半角代换、高次幂、递推公式这些“进阶配置”的时候脑子里很容易一片空白。这篇博客要解决的就是这些“看着认识、用着不会”的难点把三角函数不定积分里真正拉分的几类问题逐一拆开讲透。这篇内容适合两类人看一类是正在复习高等数学期末考试、考研数学基础阶段的同学另一类是已经学完积分基础、但做题总是卡在“识别结构”这一步的读者。我会从几个典型的进阶方法入手只讲它们为什么这么设计、在什么情况下必须用、计算时最容易在哪里翻车。所有例题都会保留完整的推导过程不跳步。1. 内容整体设计与思路拆解1.1 从“记得公式”到“识别结构”的关键跨越三角函数不定积分学到最后本质上是在训练一种“结构识别”能力。很多人把积分学不好的原因归结为公式记得不熟、或者计算能力不够我实际带过不少学生之后发现真正的问题往往出在更前面看到一个积分式子不知道它属于哪一类自然也就不知道该调用哪一套方法。前两篇我们建立了两个基本判断被积函数里只有 sin、cos 的一次幂乘积时优先想积化和差被积函数是 sin、cos 的有理式时优先想“万能代换”。但这些方法都有各自的适用范围和代价。万能代换虽然“万能”但经常会带来一个高次有理分式积分过程中需要做大量拆项和配方积化和差虽然处理乘积很快但遇到 tan、sec 的乘积就无能为力。所以第三篇的内容安排就是要补齐前面两篇留下的缺口。半角代换解决的是“什么时候应该用、什么时候用了反而更麻烦”的判断问题高次幂积分策略解决的是“指数变大以后怎么降下来”的通用思路递推公式解决的是“一类相同结构的积分怎么批量处理”的问题组合积分法解决的则是“两个积分纠缠在一起时如何联立求解”的特殊技巧。这四个方向不是孤立存在的。半角代换会产生有理分式有理分式的积分又需要拆项递推公式的推导过程本质上就是分部积分的反复使用组合积分法本身也可以看成是“联立方程”思想在积分领域的一个应用。把它们放在一起学能明显感觉到自己的工具箱更完整了。1.2 第三篇在整条学习路线中的位置如果给三角函数不定积分的学习画一个进阶图前两篇是在解决“能不能积出来”的问题这篇的开始就要面对“怎么积得高效”的问题了。拿考研数学来讲三角函数相关的不定积分几乎年年都会出现但绝大多数题目不会直接考“用两个公式套一下就出结果”这种送分题而是会设置一些需要识别和转化的环节。比如说看到 ∫tan³x dx 这样的题目直接套公式是不行的因为公式表里根本没有 tan³x 的积分。这时候需要做的是拆出 tan x · tan²x再把 tan²x 换成 sec²x − 1分拆成两个可以处理的积分。这个过程需要的不是额外的“新公式”而是对已有恒等式的熟练调用。我见过很多同学做题慢并不是慢在最后的计算而是慢在“这一步到底能不能这样做”的犹豫上。所以我会在下面的讲解中特别强调每一类方法使用前你要在纸上确认哪些条件使用后你要检查哪些隐患。把这些确认动作变成习惯拿到新题时的判断速度会快很多。2. 半角代换万能公式是怎么“万能”的2.1 半角代换的来龙去脉半角代换的核心就一句话令 t tan(x/2)则sin x 2t/(1t²)cos x (1−t²)/(1t²)dx 2/(1t²) dt这三个式子里前两个来自 sin x 2sin(x/2)cos(x/2) 和 cos x cos²(x/2) − sin²(x/2) 分别除以 1 sin²(x/2) cos²(x/2) 得到的。dx 的表达式则是从 t tan(x/2) 反解出 x 2arctan t再求微分得到的。为什么叫“万能”因为它能把任何一个只由 sin x、cos x 以及它们的常数组合而成的有理函数统统转化成一个关于 t 的有理函数。有理函数的积分是有系统化处理方法的部分分式分解所以理论上任何三角函数有理式积分都能通过这一招做出来。这是它最厉害的地方也是它最坑的地方转化后的有理函数次数往往不低如果不会拆项和配方照样积不出来。从教学角度看半角代换不要求学生创造什么新思路它只是把问题“搬家”从一个你不太擅长处理的三角函数世界搬到一个可以用标准流程操作的有理函数世界。这个思想在整个积分学里极其重要——以后学换元法、分部积分法本质上都是“搬家”思想的不同变体。2.2 经典例题一个标准的半角代换全流程来看一个比较典型的例子∫ dx/(sin x cos x)。拿到这道题第一反应可能是“这俩相加怎么处理”可以尝试把 sin x cos x 写成 √2·sin(x π/4)然后通过换元 x π/4 u 来处理。这确实更快但为了演示半角代换的完整流程我们先用万能公式走一遍。令 t tan(x/2)代入后得到原积分 ∫ [2/(1t²)] / [2t/(1t²) (1−t²)/(1t²)] dt分母通分后是 (1 2t − t²)/(1t²)于是整个式子约去公因子 1/(1t²)得到 ∫ 2/(1 2t − t²) dt接下来就是把分母配方1 2t − t² 2 − (t − 1)²。于是 ∫ 2/[2 − (t−1)²] dt到这一步这个积分的结构就很清楚了它是形如 ∫ du/(a² − u²) 的标准形式结果是 1/(2a)·ln|(au)/(a−u)| 那类带对数的反双曲函数。具体计算得到 (1/√2)·ln|[√2 (t−1)]/[√2 − (t−1)]| C最后把 t tan(x/2) 代回去就得到了最终答案。注意半角代换的最终答案经常是对数形式对数里会出现绝对值这都是正常的。如果你算完发现没有绝对值大概率是中间某一步处理符号时出了问题。2.3 什么时候别轻易用半角代换这可能是比“怎么用”更重要的经验。半角代换虽然万能但它的代价是计算量。如果一个积分用两三次三角恒等变换就能解决你却执意走半角代换丢分风险会成倍增加——因为有理分式积分的出错率远高于简单的凑微分。我的建议是这样的先花几秒钟看看被积函数的分母和分子能不能通过和差化积、辅助角公式变成更简洁的形式。比如分母是 sin x cos x、sin x − cos x 这种结构优先考虑辅助角公式分母是 1 ± sin x 或 1 ± cos x 这种结构优先考虑直接换元 x π/2 ± u 或者使用“1±cos x 2cos²(x/2)”之类的半角公式“正向”化简只有在你尝试这些方法后依然卡住或者被积函数的结构是各种 sin、cos 的高次乘积混合时再考虑半角代换。一句话总结半角代换是你工具箱里的“重型武器”用来攻坚不要用来打苍蝇。3. 恒等变形与高次幂处理3.1 降幂公式的高阶用法∫sin²x dx 是每个人都会做的题但把指数改成 4、6、8很多人就开始发怵。这里的核心工具就是降幂公式sin²x (1 − cos2x)/2cos²x (1 cos2x)/2这两个公式的本质是余弦二倍角公式的改写。二倍角公式说 cos2x 1 − 2sin²x把 sin²x 解出来就是降幂公式cos²x 同理。处理 sin⁴x 时先写成 (sin²x)²然后展开sin⁴x [(1 − cos2x)/2]² (1 − 2cos2x cos²2x)/4这里的 cos²2x 又可以用一次降幂公式——注意此时公式里的 x 要整体换成 2x也就是cos²2x (1 cos4x)/2所以原式变为sin⁴x (1 − 2cos2x (1 cos4x)/2)/4 3/8 − (1/2)cos2x (1/8)cos4x到这一步每一个分量的积分都非常直接。sin⁴x 的积分是 3x/8 − (1/4)sin2x (1/32)sin4x C。实操心得很多同学做这类题展开到一半就急着往里代数字结果符号和系数全是乱的。我建议每次展开完先取特殊值验证一下比如代入 x 0看左右两边是否相等。这个检查只要十秒钟能拦住大量低级错误。3.2 积化和差与和差化积的实际使用原则积化和差公式在高次幂处理中扮演的角色是把“乘积型”转化为“加减型”。最典型的应用对象是 ∫sin mx·cos nx dx、∫sin mx·sin nx dx、∫cos mx·cos nx dx 这类结构。使用原则其实很朴素两个不同频率的三角函数相乘时优先考虑积化和差。举例sin3x·cos2x (1/2)[sin(3x2x) sin(3x−2x)] (1/2)(sin5x sin x)这个式子积分起来非常轻松。和差化积公式的作用方向相反它把 sin A ± sin B 这一类“加减型”转换成“乘积型”。在不定积分中和差化积最常用的场景其实是处理分母比如分母上出现 sin x sin 3x 时先用和差化积把分母写成 2sin2x·cos x然后通过约分整个被积函数会大幅简化。不过说句实话和差化积对解题的直接影响通常没有积化和差那么强。考研数学中更多是把和差化积当成准备步骤真正的得分点反而是经过它化简之后露出来的分子分母约分。3.3 奇数次幂和偶数次幂的不同处理策略sin 和 cos 的整数次幂处理策略要分开来看。对于 sin^m x · cos^n x如果 m 和 n 中至少有一个是奇数处理思路是“拆一个出来凑微分”。比如 sin³x·cos²x因为 sin 的次数是奇数拆出 sinx·dx −d(cos x)剩下 sin²x 1 − cos²x于是整个积分就变成了关于 u cos x 的多项式积分。如果 cos 的次数是奇数就拆 cosx·dx d(sin x)同理。只有当 m、n 都是偶数的时候才需要动用降幂公式把指数一路降到 1。这个过程比凑微分要繁琐一些但思路很清楚就是反复用降幂公式直到所有幂次都变成 1 次或者 0 次。这套策略的价值在于它让你不用每次拿到题目都从头猜方法。先看指数奇数就走“拆一个”偶数就走“降幂”判断路线非常明确。4. 递推公式把困难问题化成简单问题4.1 sec 的幂积分的递推是怎么来的考研和期末考试里有一类题目看起来很吓人比如 ∫sec⁶x dx 或者 ∫tan⁵x dx。你以为要背什么高级公式实际上它们都统一在一个递推框架下。先看 ∫secⁿx dx记为 I_n。常用的手段是把 secⁿx 拆成 sec²x·secⁿ⁻²x然后分部积分u secⁿ⁻²xdv sec²x dx于是 du (n−2)secⁿ⁻³x·secx·tanx dx (n−2)secⁿ⁻²x·tanx dxv tan x。代入分部积分公式后会出现 ∫secⁿ⁻²x·tan²x dx。再用 tan²x sec²x − 1 替换就能得到一个关于 I_n 和 I_(n−2) 的等式。整理后得到∫secⁿx dx (1/(n−1))·secⁿ⁻²x·tanx ((n−2)/(n−1))·∫secⁿ⁻²x dx这个递推公式可以把任意偶数次幂的 sec 积分一路降到 ∫sec²x dx tan x或者把奇数次幂一路降到 ∫secx dx ln|secx tanx|。4.2 递推公式的实际操作以 tan 的高次幂为例tan 的幂积分思路类似核心是 tan²x sec²x − 1。写出来感受一下∫tan⁵x dx ∫tan³x·tan²x dx ∫tan³x·(sec²x − 1) dx ∫tan³x·sec²x dx − ∫tan³x dx第一个积分里注意到 d(tan x) sec²x dx所以 ∫tan³x·sec²x dx (1/4)tan⁴x。第二个积分再降一次∫tan³x dx ∫tanx·tan²x dx ∫tanx·(sec²x − 1) dx (1/2)tan²x ln|cos x|所以最终∫tan⁵x dx (1/4)tan⁴x − (1/2)tan²x − ln|cosx| C你可以检验一下对右边求导会得到 tan⁵x 吗我建议每个读者都亲手做一次这个求导验证。能通过求导验证答案是否正确这本身就是积分学习里非常重要的一项基本功。4.3 递推公式使用时的“初值”问题使用递推公式必须注意起点条件。比如上面推导的 ∫secⁿx dx 的递推式子n 1 和 n 2 分别是两个不同的起点。n 是偶数时不断用递推最后会落到 n 2n 是奇数时最后会落到 n 1。如果题目只要求你算一个具体的 n比如 n 4 或 n 6你也可以不写出通用递推式而是直接对当前这道题“手动降阶”。写通项式的意义更多在于训练思维、应对综合性大题。就考试而言熟练掌握“降阶操作”的每一步比背下递推式的外在形式更有用。常见问题有些同学算出 ∫tan⁵x dx 后不喜欢留 ln|cos x|非要把 ln|cos x| 写成 −ln|sec x|。这两种写法本质相同但如果题目要求的是不定积分没有给出 x 的区间ln 后面务必保留绝对值否则严格来说是不完整的。5. 组合积分法对称结构的高级玩法5.1 联立方程思想在积分里的妙用组合积分法是一个容易被忽略但非常实用的技巧。它的核心思想是如果两个积分结构相似、互为“镜像”单独算一个很困难但把它们组合起来相加或相减却能出现极大的化简。思路来自解方程组的联想。你有两个未知数 I 和 J单个方程解不出来但如果你能构造出 I J 和 I − J而这两个组合是容易算的那么 I 和 J 自然就解出来了。在三角函数不定积分中最经典的一对组合是I ∫ sin x/(sin x cos x) dxJ ∫ cos x/(sin x cos x) dx单独计算 I 会让人抓狂但你看I J ∫ (sin x cos x)/(sin x cos x) dx ∫dx xI − J ∫ (sin x − cos x)/(sin x cos x) dx这个 I − J 怎么处理注意到 d(sin x cos x) (cos x − sin x)dx −(sin x − cos x)dx所以I − J −∫ d(sin x cos x)/(sin x cos x) −ln|sin x cos x|于是两个等式联立解得I (1/2)(x − ln|sin x cos x|) CJ (1/2)(x ln|sin x cos x|) C你感受一下如果不走组合积分法硬拆分母是相当痛苦的而且很容易陷入循环。5.2 更多组合积分构造思路组合积分法不局限在 sin 和 cos 的对称组合上。它的更一般形式是构造“你算不出来的积分 A”和“另一个算不出来但和 A 关系特殊的积分 B”使得 AB 或 A−B 好算。比如遇到分母是 e^x·sin x 那种涉及指数与三角函数的乘积时真正的解法其实是分部积分但用组合法也能起到类似效果。三角函数里如果被积函数是 sinx/(sinx−cosx)你当然可以互补地构造 ∫cosx/(sinx−cosx) dx。只要分母结构出现“对称的线性组合”这个方法多半都能奏效。组合积分法的好处是它会把两个“中等难度”的积分转化为两个“很基础”的积分。代价是你要多写几步联立求解的过程但跟硬刚原积分的复杂运算相比这个代价简直不值一提。5.3 组合积分法使用的边界条件组合积分法不是所有情况下都有效。它要求你构造出的 I J 和 I − J或者 I J 和某个已知积分必须能真正简单算出来。如果分母结构复杂组合后并不能有效约分成常数或简单的导数形式那就别硬套。还有一个值得提醒的点用组合积分法时两个积分的绝对收敛性、定义域问题在不定积分阶段通常不深究但在考试中要注意绝对值符号不要丢。另外I 和 J 解出来之后每个积分都要各自带一个任意常数 C不过实际做题时为了简洁很多人会合写一个 C这个过程在不定积分中是可以接受的——因为两个任意常数的差还是任意常数本质上是同一个任意常数的不同写法。6. 常见问题与排查技巧实录6.1 三角函数不定积分的典型错误速查错误一恒等式符号记反。sin²x 和 cos²x 的降幂公式右边一个带负号、一个是正号这个最基础也最容易写反。我推荐记法sin²x (1 − cos2x)/2记住“sin 跟负号有缘”因为 sin 是奇函数它的降幂公式里自然会留下一个负号。错误二分部积分选择 u 和 dv 时次序颠倒。很多同学计算 ∫x·cos x dx 这类简单混合型没问题但一到 ∫x²·sinx dx或者更复杂的 ∫x·sec²x dx就不知道谁当 u。口诀是指数函数、三角函数可以当 dv对数函数、反三角函数、幂函数当 u。这个口诀在绝大多数情况下有效。错误三换元之后忘记回代。半角代换、根式换元算到最后一步必须把 t 换回 x。考场上这个错误几乎不可自查因为答案带着 t 也能蒙混过一半步骤但阅卷绝对会扣分。我个人的习惯是每次换元都在草稿纸最上方写一行“t tan(x/2)回代时 x 2arctan t”提醒自己。错误四对数积分丢掉绝对值。∫ dx/x ln|x| C 这个基础知识到了 ∫tan x dx −ln|cos x| C 就应该知道同样要加绝对值。不定积分默认在定义区间内讨论但绝对值符号一定要保留这是严谨性的体现。6.2 拿到一道三角函数不定积分题的自查顺序我把自己做题的判断顺序分享出来这套顺序能覆盖大多数考试题型。第一步看被积函数里面有没有 u sinx 或 u cosx 的导数关系。如果有明显凑微分形态比如 ∫f(sinx)cosx dx直接凑。第二步看三角函数的次数。碰到 sin、cos 乘积先看有没有奇数次幂有就拆一个出来。第三步判断是否属于“有理式”也就是分母上有 sinx、cosx 的加减组合。这个时候考虑辅助角公式、半角代换以及组合积分法。第四步分析有没有余函数类型如 tanx、secx、cotx、cscx。遇到 tanx 和 secx 的高次幂果断走降阶或者递推的思路。第五步如果以上都没有头绪把被积函数里的所有三角函数用 sinx、cosx 表示出来通分看分子分母有没有能约掉的部分。第六步如果还是做不出来检查原题是不是真的可以积成初等函数。有些函数的不定积分确实写不出初等表达式比如 ∫sqrt(1 k²sin²x) dx这种题目一般不会出现在基础考试里。6.3 快速判断表不同题型选什么方法被积函数特征推荐处理方法解题信号sin x 与 cos x 的有理式分母线性组合半角代换 t tan(x/2)分母出现 sin ± cos 且无法直接化简sin^m x · cos^n xm/n 至少一个奇数拆一个因子凑微分出现单个 sin 或 cos 因子sin^m x · cos^n xm/n 均为偶数降幂公式反复化简全是偶数次幂sin mx · cos nx 等不同频率乘积积化和差两个角度不同m、n 不相等tan^n x 或 sec^n x拆 tan²x sec²x − 1 递推降阶出现高次正切或正割sin/(sin±cos) 型对称结构组合积分法分母是两个三角函数的线性组合分子是某个分母项分母可因式分解的有理式部分分式分解半角代换后得到的有理分式这张表不是万能的但它至少能帮你建立一个“第一反应”。拿到题目后先对号入座比对着公式发呆要高效太多。6.4 几个容易被忽略的细节习惯关于求导验证我再多说两句。不定积分的答案永远可以靠“求导回推”来验证对结果求导看能不能得到被积函数。这个方法不费时间甚至熟练之后十几秒就能完成。我见过太多同学算完就草草写下一个 C结果前面符号错了都毫无察觉。求导验证这个习惯比任何技巧都值钱。关于整理答案注意结果中如果有 ln|...| 和 arctan(...) 同时出现尽量用对数的运算规则把多个对数合并写成最简形式。阅卷时很多时候是踩点给分合并后的形式清晰、干净能避免老师漏看你的得分点。关于“硬算”和“巧算”的平衡我也提醒一句考试时间有限能巧算的尽量巧算但平时练习一定要把硬算的能力练出来。因为很多“巧”其实是因为你已经足够熟悉“硬”的流程才能看到别人看不到的机会。最后说一点个人的体会。三角函数不定积分这个板块最容易让人焦虑的地方不是方法数量多而是“方法太多不知道挑哪个”。我自己的经验是把上面这张判断表在纸上抄下来贴在手边每次做题都按这个顺序走连续做二十道题之后你就不再需要这张表了——因为那个判断的过程已经内化成了你的直觉。后面如果还有机会我可以再写一篇专门讲“有理函数积分”和“三角函数有理式积分”如何衔接的文章毕竟半角代换做完之后真正的考验其实是后面的有理分式拆项。先把这篇里的方法练熟那部分学起来会顺很多。