定积分与微积分基本定理

探索连续变化的数学语言：从黎曼和的极限思想到牛顿-莱布尼茨公式的优雅连接，深入理解微积分的核心灵魂。

定积分的概念与定义

1.1 背景引入：曲边梯形的面积

在解决实际问题时，我们经常遇到需要计算不规则图形面积的情况，例如变速直线运动的路程、变力做功等。这些问题的共同特征是涉及“以直代曲”的极限思想。我们将这种通过分割、近似、求和、取极限四个步骤得到的和式极限定义为定积分。

1.2 严格定义（黎曼和）

设函数 f(x) 在区间 [a, b] 上有界。将区间 [a, b] 分成 n 个小区间，在每个小区间上任取一点 ξᵢ，作函数值的乘积 f(ξᵢ)Δxᵢ 并求和。当小区间的最大长度 λ 趋于零时，若该和式的极限存在，则称此极限为函数 f(x) 在区间 [a, b] 上的定积分，记作：

∫_a^b f(x) dx = lim_λ→0 Σ_i=1ⁿ f(ξᵢ)Δxᵢ

其中：

f(x) 称为被积函数。
x 称为积分变量。
a 称为积分下限，b 称为积分上限。
f(x)dx 称为被积表达式。

1.3 几何意义

定积分 ∫_a^b f(x) dx 的几何意义是表示由曲线 y=f(x)、直线 x=a、x=b 以及 x 轴所围成的曲边梯形的代数和面积。

当 f(x) ≥ 0 时，面积为正值。
当 f(x) ≤ 0 时，面积为负值。
总面积 = ∫ |f(x)| dx。

微积分基本定理（牛顿-莱布尼茨公式）

定积分的定义虽然严谨，但直接使用定义计算定积分（即求黎曼和的极限）非常繁琐，几乎不具备操作性。微积分基本定理揭示了微分学与积分学之间的内在联系，提供了计算定积分的简便方法。

2.1 变上限积分函数

如果 f(x) 在 [a, b] 上连续，则函数 Φ(x) = ∫_a^x f(t) dt 在 [a, b] 上可导，且 Φ'(x) = f(x)。这意味着连续函数的变上限积分是其原函数。

2.2 牛顿-莱布尼茨公式

设函数 F(x) 是连续函数 f(x) 在区间 [a, b] 上的一个原函数，即 F'(x) = f(x)，则有：

∫_a^b f(x) dx = F(b) - F(a) = [F(x)]_a^b

这个公式被称为牛顿-莱布尼茨公式（Newton-Leibniz Formula）。它表明：定积分的值等于被积函数的任意原函数在积分上限与下限处的函数值之差。

2.3 定理的意义

它将计算定积分的问题转化为求原函数的问题，大大简化了运算。
它揭示了微分（导数）与积分（面积）这两个看似无关的运算互为逆运算。
它是整个微积分学的理论基石。

定积分的计算方法与示例

方法一：直接利用牛顿-莱布尼茨公式

适用于被积函数可以直接找到原函数的情况。

示例：计算 ∫₀¹ (3x² + 2x) dx

找原函数： f(x) = 3x² + 2x 的原函数为 F(x) = x³ + x²。
代入上下限： F(1) = 1³ + 1² = 2，F(0) = 0³ + 0² = 0。
求差： ∫₀¹ (3x² + 2x) dx = F(1) - F(0) = 2 - 0 = 2。

方法二：第一类换元积分法（凑微分）

适用于被积函数呈现复合函数形式，且能凑出微分因子 g'(x)dx = dg(x) 的情况。

示例：计算 ∫₀¹ x e^x² dx

观察： 注意到 (x²)' = 2x，故 x dx = ½ d(x²)。
凑微分： 原式 = ∫₀¹ e^x² · ½ d(x²)。
换元（可选）： 令 u = x²，则当 x=0 时 u=0，当 x=1 时 u=1。
计算： ½ ∫₀¹ e^u du = ½ [e^u]₀¹ = ½ (e - 1)。

方法三：分部积分法

适用于被积函数是两类不同函数乘积的情况，遵循“反对幂指三”的选 u 原则。

公式： ∫_a^b u dv = [uv]_a^b - ∫_a^b v du

示例：计算 ∫₀¹ x e^x dx

设： u = x, dv = e^x dx，则 du = dx, v = e^x。
应用公式： 原式 = [x e^x]₀¹ - ∫₀¹ e^x dx。
计算： (1·e - 0) - [e^x]₀¹ = e - (e - 1) = 1。

定积分理论的发展脉络

公元前 3 世纪

阿基米德的“穷竭法”

古希腊数学家阿基米德在《抛物线求积法》中，利用穷竭法计算抛物线弓形的面积，这是积分思想的萌芽，通过内接和外切多边形逐步逼近真实面积。

17 世纪中叶

牛顿与莱布尼茨

艾萨克·牛顿（Isaac Newton）和戈特弗里德·威廉·莱布尼茨（Gottfried Wilhelm Leibniz）独立发现了微积分基本定理，建立了微分与积分的联系，并引入了现代的积分符号 ∫（由莱布尼茨提出，源于 summa 的 s）。

19 世纪初

柯西与黎曼

奥古斯丁-路易·柯西（Augustin-Louis Cauchy）给出了定积分的严格定义。随后，伯恩哈德·黎曼（Bernhard Riemann）在 1854 年提出了黎曼积分，利用黎曼和的极限来严格定义定积分，奠定了现代分析学的基础。

19 世纪末 - 20 世纪

勒贝格积分

亨利·勒贝格（Henri Lebesgue）提出了勒贝格积分，推广了黎曼积分，能够处理更广泛的函数类（如有理数集的特征函数），成为现代概率论和泛函分析的工具。

定积分的实际应用

5.1 几何应用：面积与体积

平面图形面积： 由 y=f(x)，x=a，x=b 及 x 轴围成的面积 A = ∫_a^b |f(x)| dx。
旋转体体积： 曲线 y=f(x) 绕 x 轴旋转一周生成的旋转体体积 V = π ∫_a^b [f(x)]² dx。

5.2 物理应用：功与功率

变力做功： 若力 F(x) 随位置变化，物体从 a 移动到 b 所做的功为 W = ∫_a^b F(x) dx。
液体压力： 垂直浸入液体中的平板所受的压力 P = ∫_a^{b ρg h(x) w(x) dx}，其中 ρ 为密度，h(x) 为深度，w(x) 为宽度。

5.3 经济应用：边际分析

若已知边际成本函数 MC(q)，则从产量 a 增加到 b 的总成本增加量为 ∫_a^b MC(q) dq。

常见问题解答 (FAQ)

Q1: 定积分的几何意义是什么？

定积分的几何意义是表示函数曲线、x 轴以及直线 x=a 和 x=b 所围成的曲边梯形的面积。当函数在 x 轴上方时面积为正，下方时为负。

Q2: 微积分基本定理为什么重要？

微积分基本定理建立了微分与积分之间的联系，将复杂的求和极限问题转化为简单的原函数求值问题，极大地简化了定积分的计算。

Q3: 定积分与不定积分有什么区别？

不定积分是求原函数的过程，结果是一个函数族（含常数 C）；而定积分是一个数值，表示区间上的累积量（如面积）。

Q4: 如果被积函数有间断点，还能用微积分基本定理吗？

如果间断点是第一类间断点（跳跃或可去），则原函数不存在，不能直接使用牛顿-莱布尼茨公式。如果函数在区间上只有有限个第二类间断点且可积，需分段讨论或使用广义积分概念。通常要求函数在积分区间上连续。

Q5: 为什么定积分的值与积分变量的符号无关？

因为定积分表示的是面积或累积量，只与被积函数的形式和积分区间有关，与表示变量的字母无关。即 ∫_a^b f(x) dx = ∫_a^b f(t) dt。