第11章 微积分基本定理(FTOC)
微积分基本定理(Fundamental Theorem of Calculus)是那个"啊哈!"的大时刻,也是你可能一直都注意到的东西:
- X射线和延时视觉让我们把一个现有模式看作一系列累积的变化
- 这两种视角是对立的:X射线把东西拆开,延时视觉把东西拼起来
这可能看起来"显而易见",但这只是因为我们已经探索了几个例子。我们真的能把一个圆拆成圆环来求面积,这是显而易见的吗?微积分基本定理温柔地提醒我们,我们有几种方式来看待一个模式。("我可以建议一下逐环的视角吗?我想这样测量起来更容易。")
11.1 第一部分:定积分的捷径
如果导数(Derivative)和积分(Integral)是对立的,我们就可以避开定积分中费力的累积过程。
例如,1 + 3 + 5 + 7 + 9等于多少?困难的方法,也就是直接计算定积分,是直接把这些项加起来。(那50项呢?500项呢?)
简单的方法是意识到这种数字模式来自一个不断增长的正方形。我们知道最后一次变化(+9)发生在\( x=4 \),所以我们已经建立了一个5×5的正方形。因此,整个序列的和是25:

棒极了!如果我们有原始模式,我们就有一个测量步长大小的捷径。
那像5 + 7 + 9这样的部分序列呢?嗯,只要用总累积量减去我们缺少的部分(在这个例子中,缺少的1 + 3代表缺少的一个2×2正方形)。

没错,部分序列的和是:5×5 - 2×2 = 25 - 4 = 21。
我希望这个策略能让你豁然开朗:通过找到原始模式来避免手动计算定积分。
下面是用华丽的语言表述的FTOC第一部分。如果我们有步长模式和原始模式,定积分的捷径是:
直觉上,我把它读作"把从a到b的所有变化加起来,等于得到a和b之间的差值"。正式地,你会看到\( f(x) = \textit{steps}(x) \)和\( F(x) = \textit{Original}(x) \),我觉得这很令人困惑。把步长标记为步长,把原始标记为原始。
为什么这很酷?定积分是一个枯燥的机械计算,而不定积分是一个漂亮、干净的公式。只要取端点之间的差值,就能知道中间发生的净结果!(这说得通,对吧?)
11.2 第二部分:寻找不定积分
好的。第一部分说,如果我们有原始函数,就可以跳过手动计算步长。但是我们如何找到原始函数呢?
FTOC第二部来救场了!
让我们假设有某个原始函数(目前未知)追踪着累积量:
FTOC说,那个神奇函数的导数就是我们拥有的步长:
现在我们可以倒推了。如果我们能找到某个随机函数,对它求导,注意到结果与我们拥有的步长相匹配,我们就可以用那个函数作为我们的原始函数!
跳过思考什么函数能产生我们拥有的步长这个痛苦的过程。只要拿一堆函数,把它们拆开,看看哪个匹配。这是我们的花瓶类比,还记得吗?FTOC给了我们"官方许可"来倒推。在我的脑海里,我想"总累积的下一步就是我们当前的数量!这就是为什么累积量的导数与我们拥有的步长相匹配。"
从技术上讲,导数等于当前步长的函数被称为反导数(Anti-derivative)(2的一个反导数是2x;另一个是2x + 10)。FTOC告诉我们,任何反导数都将是原始模式(当然是+C)。
这很令人惊讶——这就像说任何表现得像史蒂夫·乔布斯的人就是史蒂夫·乔布斯。但在微积分中,如果一个函数拆分后的片段与我们拥有的片段相匹配,那它就是来源。
实际的结论是积分和微分是互逆运算。有步长模式?积分得到原始函数。有原始函数?微分得到步长模式。想跳来跳去多少次都行。
11.3 后续步骤
呼!这几课理论性很重,旨在为官方微积分课程中的主题提供直觉基础。关键洞见是:
- 无穷(Infinity):一个有限的结果可以用无穷步的序列来观察。
- 导数(Derivative):我们可以从一个有已知缺陷的测量开始,找到它指向的理想结果。
- 微积分基本定理(Fundamental Theorem of Calculus):原始函数让我们可以跳过把亿万个小碎片加起来的过程。
在接下来的课程中,我们将学习一些著名的微积分规则和应用。真正的目标是弄清楚,对我们自己来说,如何实现这一点:

到现在为止,我们已经知道上面的策略是可能的。到最后一章,你将能够自己完成确切的计算。
下一篇 → 第12课:微积分的基本运算