关键词
微积分; 极限; 导数; 积分; 牛顿; 莱布尼茨; 柯西; 魏尔斯特拉斯; 微积分基本定理
第1页 · 古代的萌芽
标题：穷竭法——微积分的远古先驱
微积分的核心思想——用无穷过程逼近精确结果——可以追溯到古希腊。欧多克索斯（Eudoxus，约前408—前355）发明了穷竭法：用内接正多边形逼近圆的面积。随着边数增加，多边形面积越来越接近圆面积——这就是极限思想的萌芽。
阿基米德（前287—前212）将穷竭法发展为强大的计算工具。他用内接和外切多边形逼近圆的面积，得到 的近似值。他计算了抛物线弓形的面积——本质上就是现代定积分 。阿基米德的方法不仅给出了正确的结果，还用归谬法证明了结果的精确性——这在古代世界是无与伦比的严格性。
中国古代数学家刘徽（约225—约295）的割圆术同样蕴含了极限思想。他用圆内接正3072边形计算出 。祖暅（约5世纪）提出了"祖暅原理"——等高处截面积相等的两个立体体积相等——这实质上是积分学的先驱。
第2页 · 17世纪的突破
标题：从切线问题到运动问题——微积分的诞生
17世纪，两个独立的问题推动了微积分的诞生。
切线问题：如何求一般曲线的切线？费马在1629年左右发展了一种求极值的方法——本质上就是令导数为零。笛卡尔和巴罗（Isaac Barrow，牛顿的老师）也研究了切线问题。
运动问题：如何描述变速运动的瞬时速度？伽利略通过实验发现自由落体的位移与时间的平方成正比——但如何定义"瞬时速度"？这一问题需要一种新的数学工具。
1660年代后期，牛顿和莱布尼茨独立发明了微积分。牛顿从运动学出发，将变量视为时间的函数，将导数视为"流数"（变化速率）。莱布尼茨从几何学出发，将导数视为无穷小增量之比 ，并发展了微分的运算法则。
他们的关键发现是微积分基本定理：微分和积分互为逆运算。这一定理将两个看似无关的问题——求切线和求面积——统一在一个框架下。
第3页 · 贝克莱的挑战
标题："已死量的幽灵"——微积分的逻辑危机
微积分虽然在计算上极为成功，但在逻辑上却有致命缺陷。牛顿和莱布尼茨都使用了"无穷小量"——既不为零又小于任何正数的量。贝克莱主教（George Berkeley）在1734年的《分析学家》中尖锐地指出：
"这些流数是什么？是消逝增量的速度。那么这些消逝的增量又是什么？它们既不是有限量，也不是零，也不是无穷小。难道我们不能称它们为已死量的幽灵吗？"
贝克莱的批评是完全正确的——无穷小量的概念在逻辑上并不严密。然而，微积分的计算结果总是正确的——这使得数学家们继续使用微积分，同时对逻辑基础感到不安。这一不安持续了150年——直到柯西和魏尔斯特拉斯用严格的ε-δ语言消除了无穷小量。
第4页 · 严格化运动
标题：从柯西到魏尔斯特拉斯——分析的算术化
19世纪，数学家们开始系统地严格化微积分。
柯西（Augustin-Louis Cauchy）在1821年的《分析教程》中首次用极限概念定义了连续性、导数和积分。柯西消除了无穷小量的使用——将一切都建立在极限的基础之上。但柯西的定义仍然依赖于"无限接近"的直觉——不够严格。
魏尔斯特拉斯（Karl Weierstrass）在1860年代彻底消除了直觉成分。他用纯粹的ε-δ语言定义极限——将"无限接近"转化为算术不等式。他的定义完全不依赖于几何直觉或运动学想象——只涉及数的大小关系。这就是"分析的算术化"——将微积分建立在实数的严格理论之上。
戴德金和康托尔在1870年代给出了实数的严格构造——填补了柯西和魏尔斯特拉斯留下的最后一个漏洞。至此，微积分的基础完全严格化——从实数的定义到极限、连续性、导数和积分，每一步都有严格的逻辑依据。
第5页 · 微积分的遗产
标题：从微积分到现代分析——一个学科的诞生
微积分的严格化不仅解决了逻辑问题，还催生了整个现代分析学。极限概念的精确化使得数学家能够研究更复杂的问题：一致收敛、一致连续、函数空间、泛函分析。
微积分的影响远远超出了数学本身。在物理学中，微积分是描述变化和运动的语言——从牛顿力学到电磁学，从热力学到量子力学。在工程学中，微积分是分析和设计的基础——从电路分析到信号处理，从结构力学到流体力学。在经济学中，微积分是边际分析和优化理论的工具。
微积分的故事展示了数学发展的典型模式：直觉先行（阿基米德的穷竭法），计算工具先行（牛顿-莱布尼茨的微积分），逻辑基础后行（柯西-魏尔斯特拉斯的严格化）。这种模式在整个数学史中反复出现——计算的成功推动理论的发展，理论的深化又带来新的计算工具。
事实卡
- 卡1：阿基米德用穷竭法计算了抛物线弓形的面积——本质上就是现代定积分。
- 卡2：牛顿和莱布尼茨在1660年代独立发明了微积分——这是数学史上最著名的"同时发现"。
- 卡3：贝克莱在1734年嘲讽无穷小量是"已死量的幽灵"——推动了150年后的严格化运动。
- 卡4：魏尔斯特拉斯的ε-δ语言（1860年代）彻底消除了微积分中的直觉成分——奠定了现代分析的基础。
第4页 · 严格化
标题：无穷小被赶走之后，微积分才成为可教的证明
十七世纪的微积分能算，却很难说清自己在算什么。牛顿的流数、莱布尼茨的无穷小，在熟练者手里极其有效，在质疑者手里则像在除以零。贝克莱主教讥讽流数为“消失量的鬼魂”，挖苦的不是计算错误，而是概念未闭合。
十九世纪的回应不是发明更多技巧，而是换一套语言。柯西把极限写成：要多近有多近——给定任意正数 ，总能找到足够小的 。魏尔斯特拉斯去掉残存的运动隐喻，把变量、函数与极限全部放进不等式。无穷小不再是一种神秘量，而成了“可以任意小”的说话方式。
这次改写有一个容易被忽略的后果：它不改变阿基米德已经算对的抛物线面积，也不改变工程中每天在用的求导。它改变的是哪些命题可以被证明、哪些只是算出来了。微积分课上那些 - 练习看起来迂腐，正是因为它们在教这套新语言，而不是在教更会算。
严格化也暴露了新问题。处处连续却处处不可导的函数被构造出来；一致收敛与逐点收敛被分开；实数本身需要被重新定义。微积分的故事因此不是“牛顿发明、后人打磨记号”，而是一条计算传统被迫长出自己的基础。
引用
莱布尼茨为微积分设计的记号——$dx$、$dy$ 与积分号 ——比牛顿的"流数"点记法更直观好用，最终成为全世界通用的写法。
"如果我看得更远，那是因为我站在巨人的肩膀上。" — 艾萨克·牛顿（1675 年致胡克的信）
跨域连接
- 极限：严格化的落点，是把"无限接近"换成一句只含不等式与量词的话。推论是：这次改写不改变任何一个计算结果，只改变哪些命题能被证明——所以它属于基础工作而非技术改进，这也是它为何拖了一个半世纪才完成。
- 启蒙运动：学会、期刊与优先权制度在这一时期定型，"谁先发表"取代"谁先想到"成为承认的标准。推论是：新规则奖励公开、惩罚私藏，长期不发表在旧规矩下合理、在新规矩下必然吃亏——冲突由此结构性地产生，而不只是脾气问题。
- 问责：由利益相关方自己指定所谓中立委员会来裁决，程序上就已失去公信力，与结论对错无关。推论是：判断一次裁决可不可信，看的是委员的选任程序而非报告的措辞——这条标准独立于争议本身，因而可以事后复核。
- 编程语言设计：记号的表达力决定使用者能不假思索地做哪些变形，微分记号让换元与链式法则形似约分，因而更难出错。推论是：同一套语义换一套记号会改变错误率，这可以用同一批人做对照实验测出来，不必诉诸美感，也不必争论哪套写法"更本质"。
- 教育与文凭主义：课程与考试一旦锁定某套记号，师资与教材的沉没成本会让转换代价极高，于是技术上更差的方案照样长期存续。推论是：这种锁定不靠说服解除，通常要等一代人更替，或外部竞争压力大到无法忽视。
参考文献
- Boyer, Carl B. The History of the Calculus and Its Conceptual Development. Dover, 1949.
- Grabiner, Judith V. The Origins of Cauchy's Rigorous Calculus. MIT Press, 1981.
- Edwards, C.H. The Historical Development of the Calculus. Springer, 1979.
- 齐民友. 《重温微积分》. 高等教育出版社, 2004.
- 李文林. 《数学史概论》. 高等教育出版社, 2011.
- 刘徽. 《九章算术注》. 约263年.