换元积分法公式 · 变量代换的艺术
从“难啃的骨头”到“熟悉的赛道”，换元积分法让你重新认识积分。超过3000字深度解析，搭配卡片、选项卡、时间轴，层层递进。
核心思想 · 变量代换
? 换元即替身
换元积分法的核心逻辑就是一句话：变量代换。你不需要面对高耸入云的函数，只要找到那个“替身” u = g(x)，把难题挪到熟悉的领域。就像换个赛道跑马拉松，跑法没变，只需要调整节奏。
∫ x² e^{x²} dx → 令 u = x², du = 2x dx → ½∫ u e^u du
这就是换元法的魔力，它能把陌生的函数压扁，变成熟悉的 e^x 或 xⁿ。
? 剥洋葱哲学
嵌套函数如 sin(ln x)，令 u = ln x，则 x = e^u，整个式子变成 sin u。再令 v = sin u，积分直接化为 -cos v。这种化繁为简的过程，就是换元积分法最底层的哲学。
网友们还关心：遇到多层嵌套，优先尝试由内向外换元，逐层剥开。
⚠️ 细节与陷阱
导数算反、微分漏系数是常见错误。设 u = g(x)，求 du 时少写 dx 或系数搞错，后面全盘皆输。定积分换元时，积分区间必须跟着变：原区间 [a, b] 映射为 [g(a), g(b)]。记清楚映射关系，避免函数值偏掉。
经典示例 · 手把手换元
∫ x·e^{x²} dx → 令 u = x², du = 2x dx → ½∫ e^u du = ½ e^{x²} + C。 换元积分公式直接简化幂次与指数复合。
∫ √(1 - x²) dx → 令 x = sinθ, dx = cosθ dθ → ∫ cos²θ dθ = ½θ + ¼ sin2θ + C。适用于根号下平方差。
∫ 1/(x·ln x) dx → 令 u = ln x, du = (1/x)dx → ∫ 1/u du = ln|ln x| + C。 换元积分法在处理分式时尤为高效。
计算变速运动路程：∫ v(t) dt，若 v(t) = sin(ωt+φ)，令 u = ωt+φ，则 dt = du/ω，积分变为 (1/ω)∫ sin u du。
网友们还关心：换元后别忘了将结果代回原变量，并加上常数C。
换元技巧 · 进阶卡片
第一类换元法 (凑微分)
换元积分公式中最常用的形式：若 ∫ f(g(x))·g'(x) dx，令 u = g(x)，则 du = g'(x)dx，原积分化为 ∫ f(u) du。
- 典型例子：∫ 2x·cos(x²) dx → 令 u = x², du = 2x dx → ∫ cos u du = sin(x²)+C。
- 关键：观察被积函数中是否存在某个函数的导数因子。
- 网友们还关心：凑微分时系数可灵活调整，如 ∫ x·e^{x²} dx 需补上1/2。
∫ sin(ln x)/x dx → 令 u = ln x, du = dx/x → ∫ sin u du = -cos(ln x)+C
第二类换元法 (代入换元)
适用于被积函数含有根式、高次幂等。令 x = φ(t)，反解出 dx = φ'(t) dt，将积分变量换成 t。
- 常见代换：被积函数含 √(a² - x²) 令 x = a sin t；含 √(a² + x²) 令 x = a tan t；含 √(x² - a²) 令 x = a sec t。
- 注意：换元后需将结果用 x 表示，并考虑定义域。
∫ √(4 - x²) dx → 令 x = 2 sinθ, dx = 2 cosθ dθ → 4∫ cos²θ dθ = 2θ + sin2θ + C
角换元 · 深度示例
当遇到 换元积分法 与三角函数结合，常采用三角恒等式简化。
- 例：∫ dx / (x²√(x²+1))，令 x = tanθ, dx = sec²θ dθ，化简为 ∫ cosθ dθ = sinθ + C = x/√(x²+1) + C。
- 技巧：画直角三角形辅助回代，避免混淆。
网友们还关心：三角换元后常用倍角公式降幂，如 ∫ sin²θ dθ = ½θ - ¼ sin2θ。
换元积分法 · 学习路径
换元积分法公式不仅适用于不定积分，也广泛应用于定积分、广义积分和微分方程。掌握它，等于拥有了一把打开积分大门的万能钥匙。 网友们还关心：多练习凑微分，形成肌肉记忆。
? 综合示例 ∫ x³/(1+x²) dx
解法1：令 u = 1+x², du = 2x dx, 则 x³ dx = x²·x dx = (u-1)·(du/2) → ½∫ (u-1)/u du = ½∫ (1 - 1/u) du = ½(u - ln|u|)+C = ½(1+x² - ln(1+x²))+C。
换元积分法让分式积分变得条理清晰。
? 换元法对比表
- 多项式换元：令 u = 多项式部分
- 指数换元：令 u = e^x 或 a^x
- 角换元：x = a sinθ / tanθ / secθ
- 分式换元：令 u = 分母 或 分子