积分法则参考
目录
1. 什么是积分
积分是微积分的两大核心运算之一，与微分互逆。它有两种基本形态：不定积分（求反导数/原函数）和定积分（求曲线下面积）。
不定积分 — 反导数
不定积分回答的问题是："哪个函数的导数等于 f(x)？" 如果 F'(x) = f(x)，那么 F(x) 就是 f(x) 的一个原函数。由于常数的导数为零，原函数总是包含一个任意常数 C：
不定积分定义
∫ f(x) dx = F(x) + C，其中 F'(x) = f(x)
定积分 — 曲线下面积
定积分计算函数 f(x) 在区间 [a, b] 上与 x 轴围成区域的"有符号面积"。黎曼 (Bernhard Riemann, 1854) 将其严格定义为矩形面积之和的极限：
定积分定义（黎曼和）
∫ₐᵇ f(x) dx = lim(n→∞) Σᵢ₌₁ⁿ f(xᵢ*) · Δx
其中 Δx = (b-a)/n，xᵢ* 是第 i 个子区间内的采样点。
2. 微积分基本定理
微积分基本定理 (Fundamental Theorem of Calculus, FTC) 是整个微积分中最重要的定理。它揭示了微分与积分——两个看似无关的运算——实际上互为逆运算。
第一部分（微分消除积分）
d/dx [ ∫ₐˣ f(t) dt ] = f(x)
含义：如果先对 f 做积分再求导，就回到 f 本身。积分的变上限函数的导数等于被积函数。
第二部分（牛顿-莱布尼茨公式）
∫ₐᵇ f(x) dx = F(b) - F(a)，其中 F'(x) = f(x)
含义：定积分可以通过求原函数在端点处的值之差来计算，无需做黎曼和的极限！
历史：牛顿和莱布尼茨在 17 世纪下半叶各自独立发现了这一关系。牛顿的老师巴罗 (Isaac Barrow, 1630-1677) 已在几何上知道微分与积分的逆关系，但未给出解析证明。柯西 (Augustin-Louis Cauchy, 1823) 给出了第一个严格的分析证明。
3. 基本积分法则
以下法则都是通过"反推导数"得来的——每条积分法则都对应一条求导法则。
| 法则 | 公式 | 为什么成立 |
|---|---|---|
| 常数法则 | ∫ c dx = cx + C |
因为 d/dx[cx] = c |
| 幂函数法则 | ∫ xⁿ dx = xⁿ⁺¹/(n+1) + C (n ≠ -1) |
求导的逆运算：d/dx[xⁿ⁺¹/(n+1)] = xⁿ。这是最常用的积分法则。 |
| 倒数法则 | ∫ 1/x dx = ln|x| + C |
填补了幂函数法则在 n = -1 时的空缺。因为 d/dx[ln|x|] = 1/x。 |
| 指数法则 | ∫ eˣ dx = eˣ + C |
因为 e 的定义使得 eˣ 是自己的导数。欧拉常数 e ≈ 2.71828 是唯一满足此性质的底数。 |
| 一般指数法则 | ∫ aˣ dx = aˣ/ln(a) + C (a > 0, a ≠ 1) |
因为 d/dx[aˣ] = aˣ · ln(a)，除以 ln(a) 即得原函数。 |
| 加减法则 | ∫ [f(x) ± g(x)] dx = ∫f dx ± ∫g dx |
导数的线性性的逆运算：(F ± G)' = F' ± G'。 |
| 常数倍法则 | ∫ c · f(x) dx = c · ∫f(x) dx |
常数可以提出积分号外，因为 d/dx[c·F] = c·F'。 |
基本对数积分
∫ ln(x) dx = x·ln(x) - x + C
这个结果需要用分部积分法推导。令 u = ln(x), dv = dx。
4. 三角函数积分表
所有三角函数积分公式都可以通过相应的求导法则逆推得到。
| 被积函数 f(x) | ∫ f(x) dx | 验证 / 说明 |
|---|---|---|
| sin(x) | -cos(x) + C | 因为 d/dx[-cos(x)] = sin(x) |
| cos(x) | sin(x) + C | 因为 d/dx[sin(x)] = cos(x) |
| tan(x) | -ln|cos(x)| + C = ln|sec(x)| + C | 令 u = cos(x)，化为 -∫du/u |
| cot(x) | ln|sin(x)| + C | 令 u = sin(x) |
| sec(x) | ln|sec(x) + tan(x)| + C | 经典技巧：乘以 (sec(x)+tan(x))/(sec(x)+tan(x)) |
| csc(x) | -ln|csc(x) + cot(x)| + C | 类似 sec(x) 的方法 |
| sec²(x) | tan(x) + C | 因为 d/dx[tan(x)] = sec²(x) |
| csc²(x) | -cot(x) + C | 因为 d/dx[-cot(x)] = csc²(x) |
| sec(x)·tan(x) | sec(x) + C | 因为 d/dx[sec(x)] = sec(x)·tan(x) |
| csc(x)·cot(x) | -csc(x) + C | 因为 d/dx[-csc(x)] = csc(x)·cot(x) |
反三角函数积分
| 被积函数 | 积分结果 |
|---|---|
| 1/√(1 - x²) | arcsin(x) + C |
| -1/√(1 - x²) | arccos(x) + C |
| 1/(1 + x²) | arctan(x) + C |
| 1/(x√(x² - 1)) | arcsec(|x|) + C |
5. 积分技巧
并非所有函数都能直接套用基本法则。以下四种高级技巧是解决复杂积分的核心武器。
5.1 换元积分法 (U-Substitution)
公式
∫ f(g(x)) · g'(x) dx = ∫ f(u) du，其中 u = g(x)
步骤： 1) 识别内层函数 g(x)，令 u = g(x)；2) 计算 du = g'(x) dx；3) 将整个积分改写为关于 u 的积分；4) 求出结果后回代 u = g(x)。
5.2 分部积分法 (Integration by Parts)
公式
∫ u dv = uv - ∫ v du
LIATE 选择法则：选 u 时按以下优先级——
L — 对数函数 (Logarithmic)：ln(x), log(x)
I — 反三角函数 (Inverse trig)：arcsin(x), arctan(x)
A — 代数函数 (Algebraic)：x², x, √x
T — 三角函数 (Trigonometric)：sin(x), cos(x)
E — 指数函数 (Exponential)：eˣ, 2ˣ
为什么这个顺序有效：排在前面的函数求导后会变简单（如 ln(x) → 1/x），排在后面的函数积分后不会变复杂（如 eˣ → eˣ）。
5.3 部分分式分解 (Partial Fractions)
思路
将有理函数 P(x)/Q(x) 分解为更简单分式之和，每个简单分式都有已知的积分公式。
例：∫ (2x+3)/((x+1)(x+2)) dx = ∫ [1/(x+1) + 1/(x+2)] dx = ln|x+1| + ln|x+2| + C
适用场景：被积函数是两个多项式之比（有理函数），且分母可因式分解。
5.4 三角换元 (Trigonometric Substitution)
| 被积函数含 | 令 | 利用的恒等式 |
|---|---|---|
| √(a² - x²) | x = a·sin(θ) | 1 - sin²θ = cos²θ → √(a² - x²) = a·cos(θ) |
| √(a² + x²) | x = a·tan(θ) | 1 + tan²θ = sec²θ → √(a² + x²) = a·sec(θ) |
| √(x² - a²) | x = a·sec(θ) | sec²θ - 1 = tan²θ → √(x² - a²) = a·tan(θ) |
6. 定积分性质
定积分具有许多重要的代数性质，在化简计算和证明中非常有用。
| 性质 | 公式 |
|---|---|
| 线性性 | ∫ₐᵇ [αf(x) + βg(x)] dx = α∫ₐᵇ f dx + β∫ₐᵇ g dx |
| 区间可加性 | ∫ₐᵇ f dx + ∫ᵇᶜ f dx = ∫ₐᶜ f dx |
| 反向性 | ∫ₐᵇ f dx = -∫ᵇₐ f dx |
| 零区间 | ∫ₐᵃ f dx = 0 |
| 比较性 | 若 f(x) ≥ g(x) 在 [a,b]，则 ∫ₐᵇ f dx ≥ ∫ₐᵇ g dx |
| 绝对值不等式 | |∫ₐᵇ f dx| ≤ ∫ₐᵇ |f(x)| dx |
积分中值定理
若 f 在 [a,b] 上连续，则存在 c ∈ [a,b] 使得 ∫ₐᵇ f(x) dx = f(c)·(b - a)
直观含义：连续函数在区间上的"平均值"一定在某个点被取到。
7. 反常积分
当积分区间无界（延伸到 ±∞）或被积函数在某点无界（有垂直渐近线）时，得到的积分称为反常积分（improper integral）。
第一类：无穷积分
∫ₐ^∞ f(x) dx = lim(b→∞) ∫ₐᵇ f(x) dx
若极限存在且有限，称积分收敛；否则发散。
第二类：瑕积分
若 f 在 x = a 处无界：∫ₐᵇ f(x) dx = lim(ε→0⁺) ∫ₐ₊εᵇ f(x) dx
收敛判别法
比较判别法： 若 0 ≤ f(x) ≤ g(x) 且 ∫g 收敛，则 ∫f 也收敛。
极限比较判别法： 若 lim(x→∞) f(x)/g(x) = L（0 < L < ∞），则 ∫f 和 ∫g 同时收敛或发散。
8. 积分的应用
8.1 两曲线之间的面积
A = ∫ₐᵇ |f(x) - g(x)| dx
当 f(x) ≥ g(x) 时简化为 ∫ₐᵇ [f(x) - g(x)] dx。
8.2 旋转体的体积
圆盘法 (Disk Method)
V = π ∫ₐᵇ [f(x)]² dx
绕 x 轴旋转，截面为圆盘。
圆柱壳法 (Shell Method)
V = 2π ∫ₐᵇ x · f(x) dx
绕 y 轴旋转，用同心圆柱壳求体积。
8.3 弧长
L = ∫ₐᵇ √(1 + [f'(x)]²) dx
曲线 y = f(x) 从 x = a 到 x = b 的弧长。
8.4 概率与积分
归一化： ∫₋∞^∞ f(x) dx = 1
区间概率： P(a ≤ X ≤ b) = ∫ₐᵇ f(x) dx
期望值： E[X] = ∫₋∞^∞ x · f(x) dx
8.5 物理中的积分
质心： x̄ = (1/M) ∫ₐᵇ x · ρ(x) dx，其中 M = ∫ₐᵇ ρ(x) dx
流体压力： F = ∫ₐᵇ ρg · h(y) · w(y) dy
9. 著名积分
高斯积分 (Gaussian Integral)
∫₋∞^∞ e^(-x²) dx = √π
等价形式：∫₀^∞ e^(-x²) dx = √π/2
巧妙的证明思路：令 I = ∫₋∞^∞ e^(-x²) dx，则 I² = ∫∫ e^(-(x²+y²)) dx dy。转换到极坐标 (r, θ)，利用 x² + y² = r²，积分变为 ∫₀^(2π) ∫₀^∞ e^(-r²) · r dr dθ = 2π · (1/2) = π，因此 I = √π。
狄利克雷积分 (Dirichlet Integral)
∫₀^∞ sin(x)/x dx = π/2
历史：此积分以狄利克雷 (Peter Gustav Lejeune Dirichlet, 1805-1859) 命名，他在傅里叶级数收敛性的严格研究中使用了它。
11. 常见问题 (FAQ)
不定积分 ∫f(x)dx 求的是函数的原函数（反导数），结果是一个函数族（含常数 C）。定积分 ∫ₐᵇf(x)dx 求的是曲线下的"有符号面积"，结果是一个确定的数值。微积分基本定理将二者联系起来：定积分等于原函数在端点的值之差。
因为常数的导数为零。如果 F(x) 是 f(x) 的一个原函数，那么 F(x) + 5、F(x) - 3 等也都是原函数。常数 C 代表了这一族原函数中的任意一个。在定积分中，C 被消去了：F(b)+C - (F(a)+C) = F(b) - F(a)。
LIATE 是一个经验法则，在绝大多数情况下有效，但不是绝对的。例如 ∫xⁿ·ln(x)dx 中，按 LIATE 选 u=ln(x) 确实简化了问题。但在某些特殊情况下可能需要灵活调整。关键原则始终是：选择的 u 求导后应变简单，dv 应容易积分。
是的，根据微积分基本定理第一部分，每个连续函数 f(x) 都有原函数 F(x) = ∫ₐˣ f(t)dt。但这并不意味着原函数总能用初等函数表示。例如 e^(-x²) 的原函数（误差函数 erf）就不能用有限个初等函数的组合来表达。刘维尔 (Joseph Liouville, 1809-1882) 发展了判定积分是否能用初等函数表示的理论。
反常积分收敛意味着当积分上限趋向无穷（或接近瑕点）时，积分值趋向一个有限的数。例如 ∫₁^∞ 1/x² dx = 1（收敛），但 ∫₁^∞ 1/x dx = ∞（发散）。直觉上，被积函数衰减得足够快时积分才会收敛。p-判别法给出了精确的分界线：1/xᵖ 在 p > 1 时收敛。