微积分的历史：从穷竭法到严格化革命
本文基于模型知识整理（生成时未联网核对），年代与人物贡献建议对照数学史文献（Boyer《The History of the Calculus》）复核。
一句话定义
微积分的诞生走了三段路：前史（阿基米德穷竭法与割圆术用"逼近"算面积，差一步极限概念）；发明（牛顿"流数术"与莱布尼茨"微分学"在 1660–1680 年代各自独立建立微积分并公开优先权之争，我们今天混用两人的记号遗产）；严格化（贝克莱主教"消失量的幽灵"之讥引发百年危机，柯西-魏尔斯特拉斯用 ε-δ 把直觉驯服为逻辑——kp-002 的 ε-δ 正是这场革命的遗产）。
为什么重要
微积分是被"先用后证"推动的学科：牛顿们靠不严格的微积分算出行星轨道、预言海王星——实用性的巨大成功倒逼出严格性。理解这段"发明在证明之前"的历史，既破除"数学=天生严谨"的迷思，也解释了为什么 kp-002 的 ε-δ 定义如此"反直觉地晚"——它是被批评者逼出来的补丁。
前置知识
kp-001（两个基本问题）。
核心概念（时间线）
- 古代：阿基米德（穷竭法算抛物线弓形面积、圆周率逼近——黎曼和与夹逼的先祖）；中国刘徽"割圆术"："割之弥细，所失弥少"——极限思想的东方独立表述。
- 17 世纪前夜：开普勒（体积/酒桶）、卡瓦列里（不可分量法——"线组成面"的粗糙积分，因严格性不足被骂"importing infinity"）、费马（切线方法——导数的雏形）、巴罗（牛顿的老师，切线-面积互逆的先声）。
- 发明期（1660s–1680s）：牛顿（流数术，1665–66 瘟疫年 conceive，物理驱动——把变化率用于运动学；迟至 1687《原理》才用几何语言发表）；莱布尼茨（1675 前后独立发明，记号驱动——dx、∫ 记号设计至今，1684 年首发论文）。优先权之争撕裂欧洲数学界（英国/欧陆两派对立近百年，英国固守牛顿记号而落后——记号的重要性被历史盖章，kp-007 的莱布尼茨记号红利）。
- 批评与危机：贝克莱《Analyst》（1734）讥"消失量的幽灵"（先非零后为零的 ∆x 到底是什么）——朴素极限（"无限趋近"的模糊直觉）在逻辑上确实千疮百孔。
- 严格化（19 世纪）：柯西（极限、连续、导数的现代定义雏形）、魏尔斯特拉斯（ε-δ 完全算术化——"分析穷尽算术化"；同时给出处处连续处处不可微函数震撼学界，kp-006 反例的出处）、戴德金/康托尔补实实数理论。
- 20 世纪分流：勒贝格积分（kp-012 可积性的升级答案）；鲁滨逊非标准分析（1961：用超实数让"无穷小"合法存在——莱布尼茨的直觉在逻辑上平反，流派之争的当代回声）。
原理与机制
为什么"先发明后严格"是常态而非丑闻：牛顿用 18 世纪的微积分算出了 19 世纪才严格化的正确答案——物理直觉+计算规则的有效性可以先于逻辑基础确立；数学史的常态是"实践成功→质疑→补基础"。这对学习者的启示：先建立直觉与运算力（牛顿式），再用 ε-δ（魏尔斯特拉斯式）收口——本库 01 模块的编排正是这条历史路径的微缩。
记号之争的胜负：牛顿的点记号 $\dot x$（物理学家仍在用）输给了莱布尼茨的 $\frac{dy}{dx}$ 与 ∫——因为后者记号携带"可运算性"（链式法则形似分数、∫像拉长的 S=求和）；好记号是思想的外骨骼（kp-007 莱布尼茨记号两次胜利的出处）。
两大流派的当代遗产：ε-δ 分析流派（主流教科书）vs 非标准分析流派（无穷小实在论）——逻辑上等价（保守扩展），直觉侧重不同；贝克莱的批评在 230 年后得到了一个"部分平反"式的回应。
图示
前史: 阿基米德/刘徽 (穷竭·割圆) → 卡瓦列里/费马 (不可分量·切线)
发明: 牛顿(流数术, 物理) ⊕ 莱布尼茨(微分记号, 形式) → 优先权之争
危机: 贝克莱"消失量的幽灵" (1734)
严格化: 柯西 → 魏尔斯特拉斯 ε-δ (19世纪)
当代: 勒贝格积分 | 非标准分析(无穷小平反)直观类比
微积分的历史像一栋"先入住后补图纸"的房子：牛顿莱布尼茨入住(房子好用)，贝克莱发现图纸缺失（幽灵批评），魏尔斯特拉斯按新规范补齐图纸（ε-δ），鲁滨逊后来证明"原设计图（无穷小）其实也画得通"（非标准分析）。
实例或案例
- 海王星的发现（1846）：勒维耶用牛顿微积分分析天王星摄动预测新行星位置——"不严格的工具算出可验证的预言"的巅峰案例。
- 1760s 欧拉的巨著：全书用"无穷小的代数"（不严格）却结论基本全对——大师直觉的可靠性 vs 逻辑缺口并存。
- 处处连续处处不可微函数（1872 魏尔斯特拉斯）：严格化不仅补洞，还推翻了"连续必大体光滑"的直觉——严格化带来新发现而非只是补票。
常见误区
- 误区一："牛顿和莱布尼茨一个抄了另一个"。学界共识：两人独立发明（路径不同：物理运动学 vs 几何切线/求和）；争的是优先权而非抄袭——尽管当时闹得极难看。
- 误区二："微积分发明后就是今天这样"。ε-δ 是 19 世纪产物——"微积分"与"严格微积分"相差近两百年。
- 误区三："非标准分析是伪科学"。它在数理逻辑上严格（模型论构造），只是社区接受度与教学惯性限制了流行——学术边缘≠错误。
与其他知识点的关系
自测题
- 微积分"双发明人"各自的贡献与记号遗产？
答：牛顿—流数术（物理驱动，点记号）；莱布尼茨—微分学（记号驱动，dx/∫ 记号沿用至今）。
- 贝克莱批评的要害是什么？谁最终回应？
答：朴素极限中 ∆x"先非零后为零"逻辑矛盾（消失量的幽灵）；魏尔斯特拉斯的 ε-δ 定义消除无穷小实体、完全算术化。
- "先发明后严格"对学习的启示？
答：直觉与运算先行、严格证明收口是历史验证的路径——与纯公理式起步相比更符合认知与学科史。
延伸阅读
- Carl B. Boyer. *The History of the Calculus and Its Conceptual Development*.（专题史标准读本）
- William Dunham. *The Calculus Gallery: Masterpieces from Newton to Lebesgue*.（名证明巡礼）
- 3Blue1Brown 与 Veritasium 的微积分史视频（通俗入口）。