微积分发明史

微积分发明史不应该被压成一句“牛顿和莱布尼茨同时发明”。这个说法太短，容易把真正困难的地方遮掉。微积分要解决的不是某一个技巧，而是三个长期问题怎样汇合：曲线面积怎样算，瞬时变化怎样说，无穷过程怎样不把证明弄散。

古典入口仍要从阿基米德读起。阿基米德的穷竭法没有现代极限、函数和实数语言，但它已经懂得一件极重要的事：曲线图形不能靠眼睛说“差不多”，必须用可以任意压小的差距逼出结论。《圆的度量》《抛物线求积》里，面积被夹在可计算图形之间，反证负责排除偏大和偏小。这不是微积分，却给了微积分以后必须继承的严密感。

十七世纪的问题压力变了。天文学、力学、光学、切线、求积和曲线分类同时把数学推向“变化”。笛卡尔已经把几何问题改写成方程，费马和巴罗等人也在切线与极值问题上铺路。真正的变化是：数学家开始把曲线、运动和变量看成同一套语言可以处理的对象。求切线不再只是画图，求面积不再只是拼图，而是可以和代数式互相转译。

牛顿的流数语言来自运动直觉。量被看成随时间流动，流数就是流动的率。这个想法和《自然哲学的数学原理》里的力学世界紧密相连：速度、加速度、面积扫过、曲线切线都可以放到变化率里理解。牛顿 1687 年的《原理》不是 1707 年《广义算术》；前者属于力学和几何证明的宏大系统，后者更像代数讲义。历史地图把它们拆开，是为了避免一见“牛顿”就把所有内容揉在一起。

莱布尼茨的贡献则首先体现在符号和微分语言。dx、dy、∫ 这些记号让计算可以独立流动。它们不仅是速记，更改变了问题的组织方式：复杂曲线可以局部化，面积可以写成小量的总和，变化率可以在符号层面操作。牛顿的“流动”更贴近运动图像，莱布尼茨的“微分”更适合形成可传播的演算技术。

争论当然存在，优先权争论也真实影响了英欧数学交流。但若只讲争论，微积分史会变成名人官司。更重要的问题是：这两套语言为什么都有效，又为什么都留下了基础不安？无穷小到底是不是量？一个正在消失的增量能否先参与除法，再在最后被丢掉？瞬时速度是不是一个几何对象，还是一个极限过程？早期微积分能大量成功，正说明算法抓住了结构；它持续引发疑问，也说明语言还没有完全说清。

十八世纪的欧拉把微积分和分析扩展成强大的计算机器。级数、指数、三角函数、微分方程和特殊函数在他手里互相连通。欧拉不是“不严谨”的代名词，他代表的是形式演算最有生产力的阶段。问题在于，形式操作越成功，越需要说明什么时候可以交换求和、求极限、求导和积分。成功本身制造了新的基础压力。

十九世纪初柯西的意义正在这里。他没有凭空发明严格性，而是把变量趋向、极限、连续、导数和级数收敛重新放到定义下面。柯西的《分析教程》让读者看到，分析不必永远依赖图形和运动隐喻；它可以从变量和数的关系出发组织。柯西还不是后来的完整 ε-δ 形式，但他让“无限逼近”不再只是直觉词。

微积分发明史因此不是一条从含混到清楚的直线。阿基米德的严密性很强，但对象具体；牛顿和莱布尼茨的算法极强，但基础语言混合；欧拉把形式演算推到极高效率；柯西开始重新整理概念边界。每一步都解决旧问题，也制造新问题。现代极限定义不是为了抹掉早期直觉，而是为了让这些成功技术在更复杂对象面前仍可审计。

站内阅读可以按三层走。第一层读 archimedes-selections/overview，训练夹逼和反证的古典节奏。第二层读 newton-arithmetica/overview 和 euler-algebra/part1-overview，理解早期近代符号和算法的扩张。第三层读 cauchy-cours/overview 与 hardy-pure-math/overview，看严格化如何进入课程文体。这样读，微积分就不只是公式表，而是一场关于变化、无限和证明责任的长期谈判。

还有一层常被忽略：微积分的发明依赖“问题共同体”。若只有面积问题，古典穷竭法已经很强；若只有速度问题，力学直觉也能给局部答案。真正需要新语言，是因为面积、切线、速度、极值、级数、轨道这些问题在十七世纪同时互相召唤。一个方法若只能解其中一类，就很难成为微积分；它必须让这些问题看起来像同一族问题。

这也解释了为什么笛卡尔的解析几何必须放进背景里。没有坐标和方程，曲线仍主要是图形；有了方程，曲线就能被代数式控制。切线问题可以转成方程的局部行为，面积问题可以转成某种累积，曲线族可以按式子比较。解析几何不是微积分本身，却替微积分准备了可计算的曲线语言。

牛顿的强处在统一力学问题。他关心的是量怎样生成，怎样在时间中流动，怎样由变化率反推出量。这种思路和行星运动、碰撞、轨道、中心力问题很自然地连在一起。若从《原理》读牛顿，会看到他仍大量使用几何证明；若从流数传统看牛顿，又会看到背后一套更适合演算的变化语言。两者并存，不是矛盾，而是十七世纪数学文体的真实状态。

莱布尼茨的强处在可传播的符号。d 和 ∫ 让“局部变化”和“累积”形成互逆关系，也让后来的伯努利兄弟、洛必达、欧拉更容易把方法扩散成分析技术。符号不是表面装饰，它会决定读者怎样拆问题。一个好符号能让复杂步骤变短，让类比变明显，也让错误更容易在形式层面复制。因此符号成功和基础疑问总是一起出现。

优先权争论之所以伤害很大，是因为它把一个共同发明过程压成所有权问题。牛顿和莱布尼茨确有不同文本、不同记号、不同发表路径；但微积分能成为共同数学，靠的是更宽的传播网络。伯努利、欧拉、达朗贝尔、拉格朗日、拉普拉斯等人把它推进微分方程、变分法、力学和天体计算。发明不是一个夜晚，成熟更不是。

早期微积分的含混也不能被简单嘲笑。现代人知道用极限定义导数，是因为后来的反例和严密化已经替我们付过学费。十七、十八世纪的数学家面对的是新问题爆炸，他们更需要能跑起来的算法。算法先行并非羞耻；问题在于，算法一旦进入更复杂的函数、级数和无穷过程，就必须逐步补上条件。

级数是最能暴露问题的地方。有限和可以重排，无穷和却可能因重排改变结果；有限多项式可以逐项操作，无穷级数却要问收敛半径和一致性。欧拉的大胆计算常常惊人正确，也常常逼后人解释为什么某些步骤可以成立、某些步骤不能。微积分史因此不是从几何突然跳到符号，而是从成功符号继续追问其合法性。

柯西给出的不是最后答案，而是新的纪律。他让读者开始习惯：说连续，要说明变量的小变化如何控制函数值的小变化；说级数，要说明部分和是否收敛；说无穷小，要把它理解成趋零变量，而不是神秘小实体。这些表述仍有十九世纪自身的空隙，但已经把十八世纪形式演算拉回定义和条件。

魏尔斯特拉斯后来把这种纪律推向量词化。任给 ε，存在 δ；任给误差，存在步数。初学者常觉得这像人为障碍，可历史说明它是在保护微积分免受直觉滥用。只要函数足够怪，图像直觉就会失效；只要级数足够复杂，形式类比就会误导。量词语言看似冷硬，实际是在替直觉划出可用范围。

所以微积分发明史的主线不是“谁第一”，而是“哪些问题需要同一种语言”。阿基米德给严密夹逼，笛卡尔给方程化曲线，牛顿给运动变化，莱布尼茨给微分符号，欧拉给分析扩张，柯西给定义纪律，魏尔斯特拉斯给量词标准。每个人都不是整条链的替身；他们各自解决链上不同环节。

这种读法也能避免另一种误会：现代微积分课不是历史终点的自然形态。课本按极限、导数、积分排列，是教学秩序；历史中的问题常常反过来出现。人们先会算面积和切线，再追问极限；先能写级数，再追问收敛；先用无穷小，再追问它到底是什么。读史时允许顺序倒过来，才能看见定义为什么后来才显得必要。

回到灯下的实践，读者遇到微积分概念时，可以问三句话：它解决的是面积、变化率还是无穷过程？它依赖图形、符号还是量词定义？它的合法性需要哪些条件？这三问足以把许多公式从背诵拉回历史现场。

还要给卡瓦列里和不可分量法留位置。十七世纪的求积技术并不是直接从阿基米德跳到牛顿，它中间有一批更大胆的算法实验：把面积想成无数条线的集合，把体积想成无数片面的堆叠。这个说法在现代严格意义上很危险，却很能推动计算。它告诉我们，数学史里常有一种临时语言：先让问题变得可算，再等待后来的严格化替它补票。

巴罗、费马、沃利斯等人的工作也说明，切线和面积在牛顿、莱布尼茨之前已经不断靠近。费马的极值法把“相近的两个位置”放进代数式，巴罗看见切线和求积之间的互逆关系，沃利斯用无穷级数和插值推进面积计算。若把这些人删掉，只剩两个名字，读者就会误以为微积分是突然从个人天才里掉出来的。

牛顿《广义算术》在本站被放成 1707 年代数讲义，不是为了说它发明了微积分，而是为了让“牛顿”这个名字不要只有一个面孔。读 newton-arithmetica/overview，看到的是方程、级数和代数训练；读微积分发明史，看到的是《原理》、流数、运动和几何证明。两条线有关联，但不能合成一个时间点。

莱布尼茨一侧也不只是符号漂亮。好的记号会制造共同体：学生能跟，书信能传，问题能套用。微分记号把局部变化写得很短，积分符号把累积过程写得很稳，这使十八世纪的分析技术能快速传播。也正因为传播快，含混处会被更多人反复使用，严格化的压力才越来越大。

柯西之后仍有一段路。柯西把极限、连续、收敛放到定义中，但十九世纪的函数反例继续逼问这些定义够不够精确。魏尔斯特拉斯、狄利克雷、黎曼、戴德金等人的贡献各不相同：有的整理函数概念，有的重造实数，有的重新定义积分和级数条件。微积分发明史走到这里，就接上了分析严格化和基础危机。

所以本专题和 math-meta/topic-limit-history 不是重复。极限思想史更像一条概念长线，从穷竭法、无穷小、级数到 ε-δ；微积分发明史则盯住一个历史事件群：求积、切线、速度、符号、优先权和教材化怎样在十七至十九世纪合流。前者问“极限怎么说清”，后者问“为什么这些问题需要一门新学科”。

读者最后应带走的不是一张英雄榜，而是一种判断方式：遇到一个微积分工具，先问它来自哪类问题，再问它当时用什么语言保证有效，最后问后来哪些条件被补上。这样读，早期算法不会显得幼稚，现代定义也不会显得凭空苛刻。

还可以把积分概念再放慢一点看。早期求积并不只是在找“面积公式”，它常常连接到物理量的累积：路程是速度的累积，功可以由力沿路径累积，质量和重心也常要把小片贡献合起来。这样的语境让积分比单纯几何面积更宽，也让微分和积分的互逆关系显得自然。可是只要对象从规则曲线扩展到不规则函数，问题就马上变尖锐：哪些小片可以相加，哪些极限允许交换，哪些分割方式不会改变结果？黎曼积分、后来的勒贝格积分，都在继续回答这类问题。本站此处不展开测度论，只提醒读者：微积分的发明不是只解决了“会算”，它还不断逼出“怎样算才不依赖偶然画法”的问题。

教育史也是微积分成熟的一部分。十八世纪的计算传统常通过例题和技巧传播，十九世纪以后，大学课程越来越要求先定义概念、再训练定理、最后处理应用。这种顺序并不等于历史本来如此，而是把几百年的争论压缩成教学路径。读者在现代课本里先见极限、再见导数、再见积分，容易误以为历史上也是先有严密定义，再有应用演算；事实上很多时候正相反，是应用把算法推出来，反例和争论再迫使定义变清楚。理解这一点，能让现代教材显得少一点冷硬，多一点来历。

这也是本专题的边界。