微积分基本定理怎么被证明出来：这篇博文难得把地基交代清了

4 月 22 日，David Álvarez Rosa 在个人网站发文，题目就是 Fundamental Theorem of Calculus。它不是新闻，不是新理论，也不是教你刷题提速的技巧文，而是一篇老派数学科普：从定义出发，把微积分基本定理认真证明一遍。

这篇文章最值得注意的点也在这里。它不卖“积分秒懂”，也不拿物理直觉糊过去，而是回答一个更硬的问题：为什么在合适条件下，积分真的等于原函数两点之差？对只想背公式的人，这篇文章偏难；对想补微积分地基的人，它很值。

它到底讲了什么，证明链条有多长

原文主线很清楚，几乎没有岔路。整条链条是：黎曼积分定义 → 费马命题 → 罗尔定理 → 中值定理 → 微积分基本定理。

核心结论也只有一句：若 \(F'=f\)，那么

\[

\int_a^b f(x)\,dx = F(b)-F(a).

\]

这句话平时太常见，常见到很多人把它当口号。原文做的事，是把口号拆回证明。

这里真正的传动轴是中值定理。没有它，导数只是点上的斜率；有了它，区间上的变化量才和函数值差真正挂钩。

很多教材喜欢一句话带过：积分和求导互为逆运算。话不算错，但太省略。更准确地说，定积分处理的是区间累积，导数处理的是局部变化率，而微积分基本定理给了两者一座严格可走的桥。这篇文章的价值，就在把桥墩一根根立出来。

它把“为什么成立”讲清了多少

我认为，讲清了七八成，已经高过大多数面向初学者的速成材料。

关键一步是这样的：把区间 \([a,b]\) 分成很多小段。对每一小段 \([x_{k-1},x_k]\)，由中值定理可得

\[

F(x_k)-F(x_{k-1}) = f(z_k)\Delta x_k

\]

其中 \(z_k\) 落在这个小区间里。然后把这些小段加起来，再和上下和做比较，最后逼到积分上。你会看到，积分不是一团“面积魔法”，而是靠分割、夹逼、求和成立的。

原文还顺手提到一个黎曼可积的判据：有界且几乎处处连续的函数是黎曼可积。这个点提得克制。它没有顺势跑去讲勒贝格积分，也没有把主题带偏。分寸是对的，因为本文目标就是经典微积分的证明，不是现代分析学综述。

但边界也要说清。文章证明的是这个方向：已知 \(F'=f\)，推出 \(\int_a^b f = F(b)-F(a)\)。很多学生更常碰到的另一半，是从

\[

G(x)=\int_a^x f(t)dt

\]

出发证明 \(G'=f\)。这一半更贴近日常课堂直觉，原文没有展开，只是提到更广义表述。少了它，读者会明白这座桥怎么修，却还没完全看到桥是双向通行的。

这不是硬伤，但确实是限制。想一次把“微积分为何成立”吃透的人，看完这篇还得再补半程。

值不值得读，谁读了最有用

最适合的不是所有人，而是两类读者。

• 学过微积分，但一直把基本定理当公式背的人
• 有数学、计算机科学、物理或工程基础，想补分析直觉的人

对第一类人，这篇文章的作用很直接：把“会算”往“会懂”推一步。如果你以前做题时看到 \(F(b)-F(a)\) 就机械代入，这篇文章会逼你回头看，原来这个等式不是老师发明出来的捷径，而是从定义和定理里长出来的。

对第二类人，动作层面的影响更实际。你可以把它当成补课材料，读完再回头看数值积分、优化、微分方程，很多地方会少一点神秘感。你不会立刻变成分析学高手，但至少知道哪些结论是在什么条件下成立，哪些只是课堂里的省写。

如果你只是想快速应付考试，或者只想找“积分怎么秒算”，那这篇大概率不合适。它不提供捷径，甚至有点逆潮流。今天太多知识写作求快，结论先端上来，证明一笔带过。省时是真省时，代价也很清楚：你以为自己会了，其实只是记住了操作口令。

我反而看重这种老派写法。牛顿和莱布尼茨把微积分架起来后，后来的分析学一直在补严谨性，补的正是这些地基。今天重读这种从定义到定理的证明，不是复古，是把被教程删掉的骨架接回去。古人说“为学之道，必本于思”，放到这篇文章上，很贴切。

接下来最该观察的，不是它还能不能写得更花，而是作者会不会把基本定理的另一半也完整补上。如果补上，这套内容对自学者会更完整；如果不补，它更像一篇扎实但偏单侧的证明笔记。

我的看法很明确：这篇文章不讨巧，但诚实。数学科普里，诚实比热闹稀缺得多。