微积分的故事

关键词#

微积分; 极限; 导数; 积分; 牛顿; 莱布尼茨; 柯西; 魏尔斯特拉斯; 微积分基本定理

第1页 · 古代的萌芽#

标题：穷竭法——微积分的远古先驱

微积分的核心思想——用无穷过程逼近精确结果——可以追溯到古希腊。欧多克索斯（Eudoxus，约前408—前355）发明了穷竭法：用内接正多边形逼近圆的面积。随着边数增加，多边形面积越来越接近圆面积——这就是极限思想的萌芽。

阿基米德（前287—前212）将穷竭法发展为强大的计算工具。他用内接和外切多边形逼近圆的面积，得到 $\pi$ 的近似值。他计算了抛物线弓形的面积——本质上就是现代定积分 $\int_0^a x^2 dx$。阿基米德的方法不仅给出了正确的结果，还用归谬法证明了结果的精确性——这在古代世界是无与伦比的严格性。

中国古代数学家刘徽（约225—约295）的割圆术同样蕴含了极限思想。他用圆内接正3072边形计算出 $\pi \approx 3.1416$。祖暅（约5世纪）提出了"祖暅原理"——等高处截面积相等的两个立体体积相等——这实质上是积分学的先驱。

穷竭法的逻辑不是“边数越多就越像”，而是双重归谬：先假设面积比某个值大，推出矛盾；再假设比它小，再推出矛盾。阿基米德《抛物线求积》把弓形拆成无穷多层内接三角形，面积构成公比为 $1/4$ 的几何级数，总和是大三角形的 $4/3$。他不用“无穷多项相加等于极限”这句话，而用穷竭法证明：任何比 $4/3$ 大或小的候选都会错。

刘徽注《九章》的割圆术同样从内接正多边形向外逼近。他说割得越细，所失越少，割到不可再割，就与圆周合体而无所失。极限的语言还没有，但“要多近有多近”已经在。

祖暅原理处理立体：等高处截面积相等则体积相等，这是积分里“切片相加”的几何前身。祖冲之后来把圆周率夹在 $3.1415926$ 与 $3.1415927$ 之间，用的仍是同一条割圆思路，只是把边数推得更远。

欧多克索斯的穷竭法依赖一条后来叫做阿基米德公理的性质：把较小的量加倍足够多次，可以超过较大的量。没有这条，内接多边形就无法保证“所余面积要多小有多小”。它还不是 $\varepsilon$-$\delta$，因为它用的是归谬而不是量词，但它已经拒绝了“无穷小既是零又不是零”这种说法。阿基米德把同一套手续用到球、锥和螺旋线，计算工具比哲学语言走得更远。

第2页 · 17世纪的突破#

标题：从切线问题到运动问题——微积分的诞生

17世纪，两个独立的问题推动了微积分的诞生。

切线问题：如何求一般曲线的切线？费马在1629年左右发展了一种求极值的方法——本质上就是令导数为零。笛卡尔和巴罗（Isaac Barrow，牛顿的老师）也研究了切线问题。

运动问题：如何描述变速运动的瞬时速度？伽利略通过实验发现自由落体的位移与时间的平方成正比——但如何定义"瞬时速度"？这一问题需要一种新的数学工具。

1660年代后期，牛顿和莱布尼茨独立发明了微积分。牛顿从运动学出发，将变量视为时间的函数，将导数视为"流数"（变化速率）。莱布尼茨从几何学出发，将导数视为无穷小增量之比 $\frac{dy}{dx}$，并发展了微分的运算法则。

他们的关键发现是微积分基本定理：微分和积分互为逆运算。这一定理将两个看似无关的问题——求切线和求面积——统一在一个框架下。

十七世纪的突破是把“逼近”变成可以反复使用的算法。牛顿从运动出发，把流量对时间的变化率叫流数；莱布尼茨从差分出发，把 $dx$、$dy$ 写成可以运算的符号，积分号 $\int$ 是把求和号拉长。两人独立走到微积分基本定理：求切线与求面积互为逆运算。

牛顿的结果在 1660 年代中后期已经写在手稿里，1687 年《自然哲学的数学原理》里却改用几何语言陈述。莱布尼茨 1684 年先把微分法印了出来。优先权争论后来闹到皇家学会 1712 年的《书信汇编》，那是学会政治与发表制度的产物，不是某封未经核验的私信日期能一锤定音的。

切线与面积互为逆运算，巴罗已经在几何里看见了。牛顿和莱布尼茨的贡献是把它写成可以机械执行的算法，并推广到任意次代数与超越式。两人之间确有经人转交的书信往来，细节应以当时刊行的书信集为准，不宜用未经核对的日期去编造一条“谁先告诉谁”的故事。

记号最终留下的是莱布尼茨的：链式法则看起来像约分，积分换元像把 $dx$ 一起带走。导数与积分今天的写法，来自这条选择。

第3页 · 贝克莱的挑战#

标题："已死量的幽灵"——微积分的逻辑危机

微积分虽然在计算上极为成功，但在逻辑上却有致命缺陷。牛顿和莱布尼茨都使用了"无穷小量"——既不为零又小于任何正数的量。贝克莱主教（George Berkeley）在1734年的《分析学家》中尖锐地指出：

"这些流数是什么？是消逝增量的速度。那么这些消逝的增量又是什么？它们既不是有限量，也不是零，也不是无穷小。难道我们不能称它们为已死量的幽灵吗？"

贝克莱的批评是完全正确的——无穷小量的概念在逻辑上并不严密。然而，微积分的计算结果总是正确的——这使得数学家们继续使用微积分，同时对逻辑基础感到不安。这一不安持续了150年——直到柯西和魏尔斯特拉斯用严格的ε-δ语言消除了无穷小量。

贝克莱针对的是概念有没有闭合，不是计算结果算错了。牛顿在证明里先把增量当成非零去除，再在最后令它消失；同一步里这个量既当除数又当零，逻辑上站不住。贝克莱挖苦神学家被数学家嘲笑不虔诚，却指出数学家自己的第一原理同样见不到、摸不着。

麦克劳林等人随后写了长篇辩护，计算继续成功，基础问题却被搁了下来。十八世纪的分析教科书仍然混用无穷小、流数与极限直觉。要再过将近一百年，柯西才把“极限”写成可以教学的定义，而把无穷小从第一原理的位置上挪走。参见贝克莱。

第4页 · 严格化运动#

标题：从柯西到魏尔斯特拉斯——分析的算术化

19世纪，数学家们开始系统地严格化微积分。

柯西（Augustin-Louis Cauchy）在1821年的《分析教程》中首次用极限概念定义了连续性、导数和积分。柯西消除了无穷小量的使用——将一切都建立在极限的基础之上。但柯西的定义仍然依赖于"无限接近"的直觉——不够严格。

魏尔斯特拉斯（Karl Weierstrass）在1860年代彻底消除了直觉成分。他用纯粹的ε-δ语言定义极限——将"无限接近"转化为算术不等式。他的定义完全不依赖于几何直觉或运动学想象——只涉及数的大小关系。这就是"分析的算术化"——将微积分建立在实数的严格理论之上。

戴德金和康托尔在1870年代给出了实数的严格构造——填补了柯西和魏尔斯特拉斯留下的最后一个漏洞。至此，微积分的基础完全严格化——从实数的定义到极限、连续性、导数和积分，每一步都有严格的逻辑依据。

柯西 1821 年《分析教程》的关键一步，是把连续、导数和级数收敛都改写成“变量趋于极限”，而不再把无穷小当成一种独立存在的数。他仍使用“无限变小的量”这种说法，也没有写出 $\delta$ 作为 $\varepsilon$ 的函数——现代教科书里那串量词，是魏尔斯特拉斯在 1860 年代柏林讲义里才钉死的。魏尔斯特拉斯的定义里没有运动、没有时间，只有：对任意正数 $\varepsilon$，存在正数 $\delta$，使得某串不等式成立。

戴德金 1872 年用有理数分割构造实数，康托尔用柯西列给出另一种构造。没有实数的完备性，$\varepsilon$-$\delta$ 语言会停在有理数上，许多“显然的”极限根本不存在。严格化因此是三件事叠在一起：极限的算术定义、实数本身的构造，以及一致收敛这类必须从朴素收敛里拆出来的新概念。参见连续性。

第5页 · 微积分的遗产#

标题：从微积分到现代分析——一个学科的诞生

微积分的严格化不仅解决了逻辑问题，还催生了整个现代分析学。极限概念的精确化使得数学家能够研究更复杂的问题：一致收敛、一致连续、函数空间、泛函分析。

微积分的影响远远超出了数学本身。在物理学中，微积分是描述变化和运动的语言——从牛顿力学到电磁学，从热力学到量子力学。在工程学中，微积分是分析和设计的基础——从电路分析到信号处理，从结构力学到流体力学。在经济学中，微积分是边际分析和优化理论的工具。

微积分的故事展示了数学发展的典型模式：直觉先行（阿基米德的穷竭法），计算工具先行（牛顿-莱布尼茨的微积分），逻辑基础后行（柯西-魏尔斯特拉斯的严格化）。这种模式在整个数学史中反复出现——计算的成功推动理论的发展，理论的深化又带来新的计算工具。

从穷竭法到极限，改变的不是阿基米德已经算对的抛物线面积，而是这句话能不能被证明。穷竭法用归谬把“无限接近”藏在双重否定里；$\varepsilon$-$\delta$ 把它翻成一句只含量词与不等式的话。贝克莱的攻击之所以有效，正是因为十七世纪的记号允许你对同一个增量先除后弃；十九世纪的改写堵住了这个漏洞，也逼出了处处连续却处处不可导的函数。

一致收敛被拆出来以后，逐项求导、逐项积分才有合法条件。魏尔斯特拉斯构造的处处连续却处处不可导的函数表明：连续并不自动可导，直觉上“光滑的曲线”并不是分析的默认对象。这些不是习题，而是严格化的代价：语言变精确了，原来以为当然成立的命题有一部分会倒下。

事实卡#

1. 卡1

   阿基米德用穷竭法计算了抛物线弓形的面积——本质上就是现代定积分。

2. 卡2

   牛顿和莱布尼茨在1660年代独立发明了微积分——这是数学史上最著名的"同时发现"。

3. 卡3

   贝克莱在1734年嘲讽无穷小量是"已死量的幽灵"——推动了150年后的严格化运动。

4. 卡4

   魏尔斯特拉斯的ε-δ语言（1860年代）彻底消除了微积分中的直觉成分——奠定了现代分析的基础。

第4页 · 严格化#

标题：无穷小被赶走之后，微积分才成为可教的证明

十七世纪的微积分能算，却很难说清自己在算什么。牛顿的流数、莱布尼茨的无穷小，在熟练者手里极其有效，在质疑者手里则像在除以零。贝克莱主教讥讽流数为“消失量的鬼魂”，挖苦的不是计算错误，而是概念未闭合。

十九世纪的回应不是发明更多技巧，而是换一套语言。柯西把极限写成：要多近有多近——给定任意正数 $\varepsilon$，总能找到足够小的 $\delta$。魏尔斯特拉斯去掉残存的运动隐喻，把变量、函数与极限全部放进不等式。无穷小不再是一种神秘量，而成了“可以任意小”的说话方式。

这次改写有一个容易被忽略的后果：它不改变阿基米德已经算对的抛物线面积，也不改变工程中每天在用的求导。它改变的是哪些命题可以被证明、哪些只是算出来了。微积分课上那些 $\varepsilon$-$\delta$ 练习看起来迂腐，正是因为它们在教这套新语言，而不是在教更会算。

严格化也暴露了新问题。处处连续却处处不可导的函数被构造出来；一致收敛与逐点收敛被分开；实数本身需要被重新定义。微积分的故事因此不是“牛顿发明、后人打磨记号”，而是一条计算传统被迫长出自己的基础。

引用#

跨域连接#

• 极限：严格化的落点，是把"无限接近"换成一句只含不等式与量词的话。推论是：这次改写不改变任何一个计算结果，只改变哪些命题能被证明——所以它属于基础工作而非技术改进，这也是它为何拖了一个半世纪才完成。
• 启蒙运动：学会、期刊与优先权制度在这一时期定型，"谁先发表"取代"谁先想到"成为承认的标准。推论是：新规则奖励公开、惩罚私藏，长期不发表在旧规矩下合理、在新规矩下必然吃亏——冲突由此结构性地产生，而不只是脾气问题。
• 问责：由利益相关方自己指定所谓中立委员会来裁决，程序上就已失去公信力，与结论对错无关。推论是：判断一次裁决可不可信，看的是委员的选任程序而非报告的措辞——这条标准独立于争议本身，因而可以事后复核。
• 编程语言设计：记号的表达力决定使用者能不假思索地做哪些变形，微分记号让换元与链式法则形似约分，因而更难出错。推论是：同一套语义换一套记号会改变错误率，这可以用同一批人做对照实验测出来，不必诉诸美感，也不必争论哪套写法"更本质"。
• 教育与文凭主义：课程与考试一旦锁定某套记号，师资与教材的沉没成本会让转换代价极高，于是技术上更差的方案照样长期存续。推论是：这种锁定不靠说服解除，通常要等一代人更替，或外部竞争压力大到无法忽视。

参考文献#

1. Boyer, Carl B. The History of the Calculus and Its Conceptual Development. Dover, 1949.
2. Grabiner, Judith V. The Origins of Cauchy's Rigorous Calculus. MIT Press, 1981.
3. Edwards, C.H. The Historical Development of the Calculus. Springer, 1979.
4. 齐民友. 《重温微积分》. 高等教育出版社, 2004.
5. 李文林. 《数学史概论》. 高等教育出版社, 2011.
6. 刘徽. 《九章算术注》. 约263年.
7. Berkeley, George. The Analyst; or, A Discourse Addressed to an Infidel Mathematician. London, 1734.
8. Cauchy, Augustin-Louis. Cours d'analyse de l'École Royale Polytechnique. Paris, 1821.
9. Dedekind, Richard. Stetigkeit und irrationale Zahlen. Braunschweig, 1872.