微积分基本定理之“高斯教你如何优雅地装逼”

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

小象实战讲义 · 人工智能数学基础

在掌握了定积分的定义与性质后，我们面临一个核心问题：如何高效地计算定积分？难道每次都要回到极限定义，用黎曼和去逼近吗？本节将揭示微积分学中最核心的定理——微积分基本定理（牛顿-莱布尼茨公式），它将看似无关的“求原函数”与“求面积”两大问题完美统一，为我们提供了计算定积分的强大工具。学完本节，你将能轻松计算各类函数的定积分，并理解其背后深刻的数学思想。

💡 核心导读

• 历史公案：了解牛顿与莱布尼茨关于微积分基本定理发现权的争议，以及数学家高斯独特的“发表哲学”。
• 核心定理：掌握微积分基本定理的内容与前提条件：闭区间上的连续函数，其定积分等于其任一原函数在区间端点处的差值。
• 公式证明：理解定理的证明思路，关键在于利用“变上限积分”构造原函数。
• 定理应用：学习如何运用牛顿-莱布尼茨公式计算定积分，并将其应用于求解曲线围成的面积。
• 经典案例：探索“旋轮线”第一拱下面积的计算，并了解伽利略解决此问题的“流氓”方法。

历史插曲：定理冠名权之争

微积分基本定理，又称牛顿-莱布尼茨公式。关于它的发现，有一段跨越多年的学术争议。历史上的公论是，牛顿和莱布尼茨分别在大西洋的两岸独立地发现了这个定理。

牛顿有一个习惯：他发现新东西后，会写成手稿，但通常不正式发表，只与亲近的同事、朋友交流，以此展示自己的成果。而莱布尼茨则非常乐于发表自己的工作。因此，从发表时间上看，莱布尼茨更早。但牛顿后来拿出与朋友通信的信件作为证据，声称自己发现得更早。由于当时牛顿的声望主要在英国，而莱布尼茨在欧洲大陆更早发表了成果，双方就此展开了长时间的争论。

最终，这场争论没有绝对的定论，学术界普遍承认两人各自独立的贡献，因此定理以两人的名字共同命名（通常牛顿的名字在前）。这个故事也反映出早期学术交流的局限性与优先权认定的复杂性。

无独有偶，另一位数学天才高斯也有类似的“毛病”，甚至更甚。高斯只发表他认为“尽善尽美”的成熟理论，并且会在论文中刻意去掉所有的思考动机和推导过程，只呈现最终完美的结论。他曾比喻说：“大楼建好后，就要把脚手架拆掉。”当时的同行无奈地评论：高斯像一只狐狸，用尾巴扫掉自己所有的足迹，让人无法追踪。他甚至还曾对发表类似成果的同行说：“我不能赞美你，因为赞美你就是赞美我自己。”这种特立独行的风格，虽是天才的任性，但也提醒我们，在当今强调合作与开放的科学环境中，及时、透明的交流更为可贵。

微积分基本定理：连接微分与积分的桥梁

经过前面的铺垫，我们正式引入本节的核心——微积分基本定理。

定理（微积分基本定理 / 牛顿-莱布尼茨公式）： 设函数 $f(x)$ 在闭区间 $[a, b]$ 上连续，且 $F(x)$ 是 $f(x)$ 在 $[a, b]$ 上的一个原函数，即 $F’(x) = f(x)$，则有 $$\int_{a}^{b} f(x) , dx = F(b) - F(a).$$ 上式右端常简记为 $F(x) \big|${a}^{b}F(x)​ab​ 或 $[F(x)]${a}^{b}。

这个公式的深刻之处在于，它建立了定积分（求面积）与不定积分（求原函数）之间的本质联系。我们之前说，不定积分是求原函数，定积分是求曲边梯形的面积，二者看起来毫无关联。但微积分基本定理以极其简洁、对称的形式，将这两件大事统一了起来。

定理的证明

证明的关键在于利用我们上一节学过的 变上限积分函数。

1. 构造原函数：由于 $f(x)$ 在 $[a, b]$ 上连续，根据变上限积分的性质，函数 $$\Phi(x) = \int_{a}^{x} f(t) , dt$$ 是 $f(x)$ 在 $[a, b]$ 上的一个原函数，即 $\Phi’(x) = f(x)$。

2. 原函数族的结构：已知 $F(x)$ 是 $f(x)$ 的任意一个原函数。由于同一函数的任意两个原函数之间只相差一个常数，故存在常数 $C$，使得 $$F(x) = \Phi(x) + C, \quad \forall x \in [a, b].$$

3. 确定常数并代入：

   • 令 $x = a$，得 $F(a) = \Phi(a) + C$。而 $\Phi(a) = \int_{a}^{a} f(t) , dt = 0$，所以 $C = F(a)$。
   • 令 $x = b$，得 $F(b) = \Phi(b) + C = \Phi(b) + F(a)$。

4. 得出结论：由上式移项，并代入 $\Phi(b)$ 的定义，即得 $$F(b) - F(a) = \Phi(b) = \int_{a}^{b} f(t) , dt = \int_{a}^{b} f(x) , dx.$$ 证毕。

公式的应用：从计算到求面积

掌握了牛顿-莱布尼茨公式，我们计算定积分就转化为寻找被积函数的原函数。

基础计算示例

例1：计算定积分 $\int_{0}^{1} (e^x + x) , dx$。

解： 首先，找出被积函数 $f(x) = e^x + x$ 的一个原函数。易知 $F(x) = e^x + \frac{1}{2}x^2$ 满足 $F’(x) = e^x + x$。 根据牛顿-莱布尼茨公式： $$\int_{0}^{1} (e^x + x) , dx = F(x) \big|$${0}^{1} = \left( e^x + \frac{1}{2}x^2 \right) \bigg|{0}^{1} = (e^1 + \frac{1}{2}) - (e^0 + 0) = e + \frac{1}{2} - 1 = e - \frac{1}{2}. 从几何意义上看，这个值就是函数 $y = e^x + x$ 在区间 $[0, 1]$ 上与 $x$ 轴所围成的曲边梯形的面积。

例2：计算 $\int_{0}^{2\pi} \sin x , dx$。

解： $\sin x$ 的一个原函数是 $-\cos x$。因此， $$\int_{0}^{2\pi} \sin x , dx = (-\cos x) \big|_{0}^{2\pi} = (-\cos 2\pi) - (-\cos 0) = (-1) - (-1) = 0.$$ 这个结果与图像直观吻合：$\sin x$ 在 $[0, 2\pi]$ 的一个完整周期内，$x$ 轴上方的正面积和下方的负面积恰好相互抵消，净面积为0。

求曲线围成的面积

定积分的一个直接应用就是计算由曲线围成的平面图形的面积。

例3：求由曲线 $y = x^2$ 与 $y = \sqrt{x}$ 所围成图形的面积。

解：

1. 联立方程求交点： $$\begin{cases} y = x^2 \ y = \sqrt{x} \end{cases}$$ 解得 $x=0, y=0$ 和 $x=1, y=1$。所以两曲线交于 $(0,0)$ 和 $(1,1)$。
2. 确定上下曲线：在区间 $[0, 1]$ 内，对于同一个 $x$，有 $\sqrt{x} \ge x^2$。因此，$\sqrt{x}$ 是上曲线，$x^2$ 是下曲线。
3. 套用面积公式：所求面积 $S$ 为 $$S = \int_{0}^{1} (\text{上曲线} - \text{下曲线}) , dx = \int_{0}^{1} (\sqrt{x} - x^2) , dx.$$
4. 计算定积分： $$\begin{aligned} S &= \int_{0}^{1} (x^{\frac{1}{2}} - x^2) , dx \ &= \left( \frac{2}{3}x^{\frac{3}{2}} - \frac{1}{3}x^3 \right) \bigg|_{0}^{1} \ &= \left( \frac{2}{3} - \frac{1}{3} \right) - 0 = \frac{1}{3}. \end{aligned}$$ 所以，所求图形的面积为 $\frac{1}{3}$。

经典问题：旋轮线下的面积

旋轮线（又称摆线）是一个经典的几何曲线：一个半径为 $R$ 的圆盘在水平直线上无滑动地滚动时，圆盘边缘上一点 $A$ 所描绘出的轨迹。

问题：求旋轮线第一拱（即点 $A$ 滚动一周所形成的第一个拱形）与 $x$ 轴所围成的面积。

分析与求解：

1. 建立参数方程：设滚动角为 $\theta$（圆心角），以 $A$ 点接触地面时为起点（$\theta=0$）。可以推导出点 $A$ 的轨迹参数方程为： $$\begin{cases} x = R(\theta - \sin\theta) \ y = R(1 - \cos\theta) \end{cases} \quad (0 \le \theta \le 2\pi)$$ 其中，$x$ 表达式中的 $R\theta$ 是圆心水平移动的距离，$R\sin\theta$ 是 $A$ 点相对于圆心的水平分量；$y$ 表达式中的 $R(1-\cos\theta)$ 是 $A$ 点相对于地面的高度。

2. 利用定积分求面积：旋轮线第一拱下的面积 $S$ 为 $$S = \int_{x=0}^{x=2\pi R} y , dx.$$ 这里 $x$ 和 $y$ 都是 $\theta$ 的函数，因此进行换元积分，$dx = R(1-\cos\theta)d\theta$，积分限对应 $\theta$ 从 $0$ 到 $2\pi$。 $$\begin{aligned} S &= \int_{\theta=0}^{\theta=2\pi} y , dx \ &= \int_{0}^{2\pi} R(1-\cos\theta) \cdot R(1-\cos\theta) , d\theta \ &= R^2 \int_{0}^{2\pi} (1 - \cos\theta)^2 , d\theta \ &= R^2 \int_{0}^{2\pi} (1 - 2\cos\theta + \cos^2\theta) , d\theta. \end{aligned}$$

3. 计算积分：利用三角恒等式 $\cos^2\theta = \frac{1+\cos2\theta}{2}$，以及 $\cos\theta$ 和 $\cos2\theta$ 在一个完整周期内的积分为零，可得： $$\begin{aligned} S &= R^2 \int_{0}^{2\pi} \left(1 - 2\cos\theta + \frac{1+\cos2\theta}{2} \right) d\theta \ &= R^2 \int_{0}^{2\pi} \left( \frac{3}{2} - 2\cos\theta + \frac{1}{2}\cos2\theta \right) d\theta \ &= R^2 \left[ \frac{3}{2} \theta \right]_{0}^{2\pi} \quad (\text{因为后两项积分为0}) \ &= R^2 \cdot \frac{3}{2} \cdot 2\pi = 3\pi R^2. \end{aligned}$$

结论：旋轮线第一拱下的面积为 $3\pi R^2$，恰好是生成它的圆盘面积 $\pi R^2$ 的 3 倍。

历史趣闻：这个结论最早由伽利略得出。有趣的是，在牛顿和微积分基本定理诞生之前，伽利略使用了一种非常“物理”的方法：他找了一块均匀的金属板，用车床分别加工出一个圆形和一个旋轮线第一拱的形状，然后称重。他发现旋轮线拱形金属板的重量正好是圆形金属板重量的3倍，从而推断出面积也是3倍关系。这个“流氓”但有效的实验方法，展现了解决实际问题的灵活思维。

📝 动手练一练

1. 计算定积分：$\int_{1}^{e} \left( \frac{1}{x} + 2x \right) dx$。

   参考答案： $$\begin{aligned} \int_{1}^{e} \left( \frac{1}{x} + 2x \right) dx &= \left( \ln|x| + x^2 \right) \bigg|_{1}^{e} \ &= (\ln e + e^2) - (\ln 1 + 1^2) \ &= (1 + e^2) - (0 + 1) = e^2. \end{aligned}$$

2. 求面积：求由曲线 $y = \cos x$，直线 $x=0$，$x=\frac{\pi}{2}$ 以及 $x$ 轴所围成图形的面积。 （提示：注意 $\cos x$ 在 $[0, \frac{\pi}{2}]$ 上恒为正。）

   参考答案： 所求面积 $S = \int_{0}^{\frac{\pi}{2}} \cos x , dx = \sin x \big|_{0}^{\frac{\pi}{2}} = \sin\frac{\pi}{2} - \sin 0 = 1 - 0 = 1$。

# 使用Python验证微积分基本定理的应用
import numpy as np
import sympy as sp

# 示例1: 验证例1的结果 ∫(0 to 1) (e^x + x) dx = e - 1/2
print("=== 验证例1 ===")
x = sp.symbols('x')
f = sp.exp(x) + x
F = sp.integrate(f, x)  # 求不定积分，得到原函数族
print(f"f(x) = {f} 的一个原函数 F(x) = {F}")

# 计算定积分
definite_integral = sp.integrate(f, (x, 0, 1))
print(f"定积分 ∫_0^1 ({sp.latex(f)}) dx = {definite_integral}")
print(f"数值结果: {definite_integral.evalf()}")
print(f"验证 e - 1/2: {(sp.E - sp.Rational(1, 2)).evalf()}")
print()

# 示例2: 验证旋轮线面积计算中的积分 ∫(0 to 2π) (1-cosθ)^2 dθ = 3π
print("=== 验证旋轮线面积积分 ===")
theta = sp.symbols('theta')
R = sp.symbols('R', positive=True)
integrand = (1 - sp.cos(theta))**2
area_integral = sp.integrate(integrand, (theta, 0, 2*sp.pi))
print(f"∫_0^(2π) (1 - cosθ)^2 dθ = {area_integral}")
print(f"因此，面积 S = R^2 * {area_integral} = {sp.simplify(R**2 * area_integral)}")

本章小结

本节我们学习了微积分学的基石——微积分基本定理（牛顿-莱布尼茨公式）。它深刻地揭示了微分与积分这两个互逆运算之间的内在统一性，将复杂的极限求和（定积分）问题转化为相对容易的求原函数问题。

要点回顾：

1. 定理内容：若 $f(x)$ 在 $[a,b]$ 上连续，$F’(x)=f(x)$，则 $\int_a^b f(x)dx = F(b)-F(a)$。
2. 证明关键：利用变上限积分 $\Phi(x)=\int_a^x f(t)dt$ 作为桥梁，它既是 $f(x)$ 的原函数，其值又在端点处等于定积分。
3. 核心应用：
   • 计算定积分：找到原函数，代入上下限求差。
   • 求平面图形面积：面积 = $\int_a^b [上曲线(x) - 下曲线(x)] dx$。

行动清单：

1. 熟练运用公式：找3-5个包含多项式、指数、三角函数的定积分题目，用牛顿-莱布尼茨公式亲手计算一遍，并与几何直观（如正负面积）相印证。
2. 尝试参数方程面积：理解旋轮线面积的推导过程后，尝试推导圆心在滚动的圆内部或外部一点所生成的“短幅/长幅旋轮线”的参数方程，并思考其面积公式是否仍有简洁倍数关系。
3. 代码验证：运行讲义中的Python代码，并修改被积函数，验证其他定积分计算结果，感受符号计算与数值计算工具在数学学习中的辅助作用。

— 小象教研组