微积分基本定理：Newton-Leibniz 的会师
本文基于模型知识整理（生成时未联网核对），定理条件与证明建议对照 Stewart §5.3 复核。
一句话定义
微积分基本定理（FTC）分两半：① 变上限积分 $F(x)=\int_a^x f(t)dt$ 的导数是 $f(x)$（连续 f 必有原函数）；② 若 F 是 f 的任一原函数，则 $\int_a^b f(x)dx=F(b)-F(a)$（Newton-Leibniz 公式）——求面积的问题坍缩成"找原函数、做减法"，微分与积分正式会师为互逆运算。
为什么重要
这是整门微积分的中央枢纽（kp-001 预告的互逆性的定理化）：没有 FTC，每个积分都要回黎曼和硬算；有了它，"∫ 的值=原函数差"使积分从几何问题变成代数问题——现代科学与工程公式里每一个 ∫ 的可计算性，都欠这张"通票"。
前置知识
kp-006（导数）、kp-009（MVT 推论）、kp-012（定积分）。
核心概念
- 原函数（不定积分）：$F'=f$，记 $\int f(x)dx=F(x)+C$；原函数不唯一（差常数——由 kp-009 的"导数相同只差常数"保证）。
- FTC 第一部分（变上限积分）：f 连续 ⇒ $F(x)=\int_a^x f(t)dt$ 可微且 $F'=f$。含义：面积函数的变化率=曲线高度（kp-001 的互逆直觉定理化）；顺带证明连续函数必有原函数。
- FTC 第二部分（Newton-Leibniz）：f 在 [a,b] 连续、F' = f ⇒ $\int_a^b f=F(b)-F(a)$。
- 复合上限：$\frac{d}{dx}\int_a^{u(x)}f(t)dt=f(u(x))u'(x)$（链式法则 kp-007 叠加 FTC1）。
- 积分表：导数表（kp-011）反向抄写——$\int x^\alpha=\frac{x^{\alpha+1}}{\alpha+1}+C$、$\int\frac{dx}{1+x^2}=\arctan x+C$ 等。
原理与机制
FTC1 为什么成立：$F(x+h)-F(x)=\int_x^{x+h}f(t)dt\approx f(\xi)h$（f 连续时 ξ 点的值逼近 f(x)）——除以 h 取极限得 f(x)。直觉：面积函数在 x 处的瞬时增长速度=该处的高度。
FTC2 的三行证明：设 F'=f（给定原函数），G(x)=∫ᵃˣf（FTC1 的面积函数）；则 F' = G' ⇒ F = G + C（kp-009 推论）；代入 b 与 a 相减消 C：$\int_a^b f=G(b)-G(a)=F(b)-F(a)$。互逆性不是巧合，是两半定理的咬合。
为什么"先微分后积分"的表能反向用：导数表（kp-011）每行反向抄写即积分表——$\int\cos x\,dx=\sin x+C$。但反向会遭遇"非初等原函数"（如 $e^{-x^2}$，$\frac{\sin x}{x}$）——FTC 保证原函数存在（FTC1），却没保证它长得"初等"（kp-017 数值方法的用武之地）。
图示
FTC1: F(x)=∫ᵃˣ f(t)dt ⇒ F'(x) = f(x) (面积函数的斜率=高度)
FTC2: ∫ᵃᵇ f(x)dx = F(b) − F(a) (找原函数, 做减法)
复合: d/dx ∫ᵃ^{u(x)} f = f(u(x))·u'(x)
积分表 = 导数表反向 ; 非初等原函数存在(数值兜底 kp-017)直观类比
FTC 像"水表与水管的互逆"：把水龙头从 a 开到 x，水表读数 F(x) 的瞬时增速=当前水流 f(x)（FTC1）；想知道总共放了多少水，不必监控每一瞬——找一条"反水流记录"（原函数），首尾相减即得（FTC2）。
实例或案例
- $\int_0^1 x^2dx = \frac{1^3-0^3}{3}=\frac13$——kp-012 的黎曼和硬算被两行取代：FTC 的生产力演示。
- $\frac{d}{dx}\int_0^{x^2}\sin(t^2)dt=2x\sin(x^4)$——复合上限考点。
- 期望计算：连续分布 $E[X]=\int xf(x)dx$——概率论用 FTC2 把"加权平均"变成可算对象（kp-030）。
常见误区
- 误区一："牛顿-莱布尼茨万能"。前提 f 连续（或可积+原函数存在）；跳跃间断点上分段处理；非初等原函数时公式名义上成立但写不出 F。
- 误区二："原函数唯一"。差个常数；不定积分的 +C 不是装饰，丢 C 在解微分方程（kp-031）时直接丢掉解族。
- 误区三："∫ᵃᵇ f=F(b)−F(a) 对任意 F 都行"。F 必须是该区间上 f 的原函数（处处可导且导数为 f）——分段拼凑的原函数要在接缝处验证可导。
与其他知识点的关系
自测题
- 叙述 FTC 两部分并说明各自解决了什么。
答：FTC1 给出连续函数的原函数存在性（变上限积分）；FTC2 把定积分计算化为原函数端点差。
- 求 $\frac{d}{dx}\int_x^1 e^{-t^2}dt$。
答：$-e^{-x^2}$（上限在下、变号；或写成负的变上限）。
- $\int_{-\pi}^{\pi}\sin x\,dx=0$ 的两个解释？
答：奇函数对称抵消（几何）；原函数 −cos x 在 ±π 同值（代数，FTC2）。
延伸阅读
- 3Blue1Brown《Essence of Calculus》第 8–9 集（FTC 的最佳可视化）。
- Stewart《Calculus》§5.3–5.4。
- Spivak《Calculus》第 14 章（FTC 的严格证明）。