深度长文：无穷小等于零吗？看似简单的问题，困扰人类上千年！

有只乌龟，差点难倒了人类整整两千年。

你肯定很疑惑：一只乌龟能有多大能耐？随便一个小学生撒腿就能跑赢它。

但如果我说，就是这只慢吞吞的乌龟，引出了数学史上最著名的悖论之一，甚至间接催生了微积分这门改变整个世界的学科，你信吗？

公元前 464 年，古希腊哲学家芝诺抛出了一个气死人的问题：海神之子阿喀琉斯是出了名的飞毛腿，速度是乌龟的 10 倍。但如果让乌龟先跑 100 米，阿喀琉斯永远都追不上这只乌龟。

咋可能？

别着急，咱们跟着芝诺的逻辑走一遍。

比赛开始，乌龟先爬了 100 米，阿喀琉斯才动身。等阿喀琉斯跑完这 100 米、冲到乌龟的出发点时，乌龟没闲着，又往前爬了 10 米；阿喀琉斯只能接着追这 10 米，等他跑完这 10 米，乌龟又往前挪了 1 米；阿喀琉斯再追 1 米，乌龟又爬了 0.1 米；追 0.1 米，乌龟又爬 0.01 米……

就这么无限分下去，阿喀琉斯和乌龟之间永远隔着一小段距离。哪怕这段距离越来越小，只要乌龟不停下，阿喀琉斯就永远追不上。

其实芝诺还整过另一个更气人的悖论，叫二分法：

你永远也走不到房间的门口。因为你要走到门口，得先走完一半的距离；

走完一半，还得走完剩下一半的一半；

再走完一半的一半的一半……

这么无限分割下去，你和门口之间永远隔着一段距离，所以永远走不到。

看到这你肯定想拍桌子：这不是纯纯的诡辩吗？现实里走两步就到门口了，跑几步就能追上乌龟啊。

用小学的追及公式 t=s/(v₁-v₂) 一算，时间不就明明白白出来了？

没错，从生活经验看，芝诺就是在抬杠。

但从逻辑和数学的角度，这个悖论却像一根软刺，扎了数学家们两千多年。

因为它戳中了一个谁也说不清楚的核心问题：时间和空间能不能无限分割？分割之后的 “无穷小” 到底是不是 0？

如果无穷小等于 0，那无限个 0 加起来还是 0，怎么会凑出 100 米的完整距离？如果无穷小不等于 0，那无限个无穷小加起来岂不是无穷大？阿喀琉斯岂不是真的永远都追不完？

就这么一个看似抬杠的问题，牵扯出了 “无穷小” 这个让数学家们又爱又恨的概念。而最终把这个悖论彻底掰明白、把无穷小的秘密说透的，正是微积分的核心:牛顿 - 莱布尼茨公式。

其实你回头品，芝诺的思路本质上就是 “微分” 的雏形。

他把一段完整的路程，拆成了无穷多段无穷小的距离；把一段完整的时间，拆成了无穷多段无穷小的时间。

但他只做了一半：只拆不拼。

他知道怎么把一个整体拆成无穷小份，却不知道怎么把无穷小份再加回一个整体。

而 “拼起来” 这个动作，就是 “积分”。

在很长一段历史里，微分和积分就像两条平行线，各玩各的。

有人研究怎么把曲线拆成无穷小的线段，有人研究怎么把图形拆成无穷小的长条算面积，但没人意识到，这俩其实是一对逆运算，就像加法和减法、乘法和除法一样，是同一个东西的两面。

在牛顿和莱布尼茨之前，其实已经有不少数学家摸到了微积分的边。

比如费马早就会算曲线切线和极值了，相当于摸到了导数的门槛；

比如卡瓦列里提出了 “不可分量原理”，靠把图形拆成无穷多个薄片算面积，相当于早期的积分思想。

但他们都差了最关键的一步：没发现微分和积分是互逆的，没把这两个东西打通成一个体系。

就像一群人摸大象，有人摸到了鼻子，有人摸到了腿，但没人知道大象整体长什么样。

而牛顿和莱布尼茨，就是第一个说出 “这是一头大象” 的人。

他们各自独立地用一个公式，把微分和积分彻底焊在了一起。

这个公式，就是牛顿 - 莱布尼茨公式，也被称为 “微积分基本定理”。

别听名字吓人，说白了，这个公式就一句话：一个函数在区间上的定积分，等于它的原函数在区间两端点的差值。

写成公式就是：

就这么短短一行，怎么就敢叫 “基本定理”？它到底厉害在哪？

咱们先把几个概念掰扯清楚，你就知道这个公式的分量了。

先讲微分和导数。

很多人一听 “微分” 就头大，觉得是什么高深莫测的东西。

其实说白了，微分就是 “无穷小的增量”。

比如你开车走一段路，位移是 s，时间是 t。那一小段无穷小的位移 ds，就是位移的微分；一小段无穷小的时间 dt，就是时间的微分。

那导数呢？导数就是两个微分之比，也就是 ds/dt，位移的微分除以时间的微分。

说白了，就是瞬时速度。

你看，这不就是咱们生活里的东西吗？你开车仪表盘上跳出来的时速，本质上就是位移对时间的导数。

再举个例子：你往杯子里倒水，水面高度在上升。某一瞬间水面上升的快慢，就是高度对时间的导数；股票某一秒的涨跌速度，就是股价对时间的导数；甚至你长胖的速度，都可以看成体重对时间的导数。

从几何上看更直观。

给你一个函数 y=f (x)，画在坐标系里是一条曲线。

曲线上某一点的导数，就是过这一点的切线的斜率。

斜率越陡，说明函数在这一点变化得越快；斜率平成水平线了，说明变化率为 0，到了最高点或者最低点。

所以你看，导数根本不是什么虚无缥缈的概念，它描述的就是 “变化率”。

只要有变化的地方，就有导数。

那原函数又是啥？

简单说，就是把导数反过来算。

如果 F (x) 的导数是 f (x)，那 F (x) 就是 f (x) 的原函数。

比如刚才说的，速度 v 是位移 s 对时间 t 的导数，那反过来，位移 s 就是速度 v 的原函数。

你知道了每个时刻的速度，就能推出每个时刻的位移，这个推的过程，就是找原函数的过程。

找原函数的运算，就叫 “不定积分”。

为什么叫 “不定”？因为原函数不是唯一的。

比如 F (x) 是 f (x) 的原函数，那 F (x)+C（C 是任意常数）也一定是 f (x) 的原函数。毕竟常数的导数是 0，加不加都不影响导数结果。

就好比，你知道开车速度一直是 5m/s，那位移可以是 5t，也可以是 5t+10，还可以是 5t+100。区别只是初始位置不一样，速度是完全一样的。所以不定积分求出来的是一族函数，差个常数 C。

那 “定积分” 又是什么？

定积分，说白了就是求曲线下面围出来的面积。

比如 f (x) 是速度函数，那它在时间区间 [a,b] 上的图像，和时间轴围起来的面积，就是这段时间走的总位移。

你想啊，速度乘以时间就是位移。如果速度不变，那就是矩形面积，长乘宽，小学生都能算。但速度一直在变怎么办？

咱们就用芝诺的思路，把时间拆成无穷多份，每一份 dt 都无穷小。

在这无穷小的时间里，速度几乎没变，近似等于匀速，那这一小段的位移就是 v (t)*dt。然后把所有小段的位移加起来，就是总位移。

这个 “无穷多个无穷小求和” 的过程，就是定积分。

所以定积分算出来的是一个确定的数，是具体的面积、具体的位移，所以叫 “定” 积分。

好了，现在问题来了：

不定积分是求原函数族，是一堆函数；

定积分是求面积，是一个具体的数。

这俩看起来八竿子打不着，一个是函数集合，一个是数值，怎么会有关系呢？

这就是牛顿 - 莱布尼茨公式最牛的地方：它把这俩完全不一样的东西，硬生生画上了等号。

它告诉你：不用费劲去拆成无穷小份再加起来，不用去绞尽脑汁算不规则图形的面积。只要你能找到原函数，把上下限一代入、减一下，定积分的结果就出来了。

就这么一步，把复杂的无穷求和问题，变成了求导的逆运算。

举个最简单的例子：自由落体。

自由落体的速度公式是 v=gt，g 是重力加速度，大概 9.8m/s²。速度随时间均匀增加，画出来是一条过原点的直线。

现在问：从 0 秒到 2 秒，物体下落了多少距离？

用定积分的原始思路，就是求 v=gt 在 0 到 2 之间的面积。这是个三角形，底是 2，高是 2g，面积是 ½×2×2g=2g，也就是 19.6 米。

用牛顿 - 莱布尼茨公式呢？先找 v=gt 的原函数。谁的导数是 gt？很明显，½gt² 的导数就是 gt。

那代入上下限：F (2)-F (0)=½g×(2)² - ½g×0²=2g，和算面积的结果一模一样。

你看，就这么简单。

再复杂一点的函数，比如 y=x²，求从 0 到 1 之间曲线下的面积。要是用分割求和的原始方法，得把区间拆成 n 份，算每个小矩形的面积，再求 n 趋近于无穷的极限，麻烦得要死。

但用牛顿 - 莱布尼茨公式，先找原函数。x² 的原函数是 ⅓x³，代入上下限：⅓×1³ - ⅓×0³=⅓。一秒钟出结果。

这就是这个公式的魔力。

它就像一座桥，一头连着微分（导数），一头连着积分，让两个原本各走各路的领域，彻底变成了一个整体。

也正是因为有了这个公式，微积分才真正成了一门完整的学科，而不是零散的计算技巧。

芝诺那只跑了两千年的乌龟，也终于被阿喀琉斯追上了，因为我们终于搞懂了，无穷个无穷小加起来，到底是怎么算出有限值的。

说到这，你可能会问：微积分基本定理，为什么叫牛顿 - 莱布尼茨公式？是他俩一起发明的？

这就说来话长了。

这俩都是 17 世纪不世出的天才，牛顿比莱布尼茨大三岁，俩人各自独立搞出了微积分体系，却因为 “谁先发明” 的问题，吵了一辈子，甚至演变成了整个欧洲科学界的对立。

先说说牛顿。

牛顿搞微积分，出发点是物理。

他天天琢磨行星怎么绕太阳转、苹果怎么落地，这些全都是运动问题。运动就有速度，有加速度，有瞬时变化率。

为了描述 “瞬时” 这个看不见摸不着的概念，牛顿搞出了一套 “流数术”，把变化的量叫 “流”，变化率叫 “流数”，其实就是我们说的函数和导数。

大概在 1665 年到 1666 年，那时候牛顿才二十出头，英国闹鼠疫，大学停课，他躲回老家乡下。

就在这两年里，牛顿脑洞大开，不仅搞出了万有引力的雏形、光的色散实验，还搭好了微积分的基本框架。

但牛顿这人吧，性格孤僻敏感，还有点怕争议。他搞出来之后，没急着发表，只在私下和几个朋友通信交流过，手稿也压着。他总觉得这东西还不够完善，怕拿出来被人挑毛病。

这一压，就压了几十年。

再说说莱布尼茨。

莱布尼茨这个人，说他是天才都委屈他了，他是个 “百科全书式” 的人物。

数学、哲学、法律、历史、语言、机械发明，几乎就没有他不懂的。

他和牛顿不一样，他是从哲学和几何的角度切入微积分的。

莱布尼茨一直在思考 “无穷小” 和 “连续性” 的哲学问题。

他想，几何里的曲线，能不能拆成无穷多段无穷小的直线？图形的面积，能不能拆成无穷多个无穷窄的长条？

大概在 1673 年到 1676 年之间，莱布尼茨也独立搞出了微积分的完整体系。而且他特别重视符号设计，花了很多心思琢磨简洁好用的记号。

我们现在用的微分符号 dx、积分符号∫（其实就是拉长的字母 S，代表求和 Sum），全都是莱布尼茨发明的。

1684 年，莱布尼茨正式发表了第一篇关于微积分的论文，比牛顿公开自己的成果早了好几年。

一开始，俩人关系其实还不错。

他们隔着英吉利海峡通信，互相讨论数学问题，互相吹捧。

牛顿还在自己的书里提过莱布尼茨，说他是 “一流的几何学家”；莱布尼茨也夸牛顿，说 “从创世到现在，牛顿做的工作超过了一半”。

但好景不长。

随着微积分的影响力越来越大，到底谁才是第一个发明者，成了不能碰的敏感问题。

牛顿的粉丝们说：我们牛顿 1660 年代就搞出来了，只是没发表，莱布尼茨肯定是看了牛顿的私信抄的！

莱布尼茨的粉丝们说：谁先公开发表谁就是发明者，你自己压着不发表怪谁？

吵到后来，牛顿本人也亲自下场了。

那时候牛顿已经是英国皇家学会的会长，威望如日中天。他直接主导了一个调查委员会，出了一份官方报告，判定莱布尼茨抄袭。

甚至有历史学者说，这份报告根本就是牛顿自己动笔写的。

那时候的莱布尼茨，虽然也是大陆上的大人物，但论玩权术、论学术影响力，根本不是牛顿的对手。

他晚年过得十分凄凉，被整个英国学界骂成骗子、小偷，最后在 1716 年孤零零地去世了，葬礼只有他的秘书和马车夫参加。

而牛顿，在莱布尼茨死后，还跟朋友说，他 “终于出了这口恶气”。

现在回头看，这段历史其实挺让人唏嘘的。

两个不世出的天才，本来可以惺惺相惜，却因为优先权之争，反目成仇了一辈子。

但历史终究是公正的。

后来的人们发现，牛顿的手稿确实更早，1660 年代就有了完整的体系；而莱布尼茨虽然晚几年，但确实是独立发明的，而且他的符号体系更科学、更方便，一直沿用到今天。

反倒是牛顿用的 “点记号”（比如ẋ表示导数），因为不好用，慢慢被淘汰了。

所以现在，微积分基本定理就用两个人的名字共同命名，叫牛顿 - 莱布尼茨公式。

两个斗了一辈子的人，最后被一个公式永远绑在了一起，再也分不开。

有人说，到底谁是 “微积分之父” 重要吗？

其实真的不重要。

重要的是，他们给人类留下了一把打开新世界大门的钥匙。

不过，微积分刚诞生的时候，其实并不完美。

甚至可以说，它的地基是歪的，随时都有塌的风险。

问题就出在最核心的概念，无穷小量上。

刚才咱们讲导数的时候，举了 y=x² 的例子。怎么求导？就是给 x 加一个无穷小的增量 dx，算出 y 的增量 dy，然后用 dy 除以 dx。

计算过程是这样的：

dy = (x+dx)^2 - x^2 = 2x·dx + (dx)^2

dy/dx = (2x·dx + (dx)^2) / dx = 2x + dx

最后，把 dx 忽略掉，就得到导数是 2x。

哎，问题来了。

第一步，我们用 dx 当分母做除法。这说明 dx 肯定不等于 0，毕竟 0 不能当分母。

第二步，我们又把 dx 直接扔掉了，说它可以忽略。这又说明 dx 等于 0。

那 dx 到底是不是 0？

既是 0 又不是 0？这不是自相矛盾吗？

1734 年，英国的贝克莱主教专门写了一本书攻击微积分，就死死抓住了这个把柄。

他嘲讽说，你们这些数学家口口声声说自己严谨，结果连最基本的无穷小是什么都讲不清楚，这不是睁眼说瞎话吗？

贝克莱还说，这个无穷小量，就是 “已死量的幽灵”。

你说它是 0 吧，它刚才还在分母上活蹦乱跳；你说它不是 0 吧，它最后又凭空消失了。

这就是著名的贝克莱悖论。

你别觉得这是主教在无理取闹。这个问题非常致命。

因为整个微积分的大厦，都是建立在无穷小量的基础上的。如果无穷小量的定义都是自相矛盾的，那微积分里所有的公式、所有的结论，还可靠吗？

这就是数学史上的第二次数学危机。

第一次是无理数√2 的发现，差点掀翻了毕达哥拉斯学派；

这第二次，就是无穷小的矛盾，差点让整个微积分站不住脚。

那时候的数学家们，其实也心知肚明这里有漏洞。

但没办法，微积分太好用了。用它算行星轨道，算曲线面积，算变力做功，一算一个准。虽然基础不牢，但架不住它香啊。

所以大家就抱着 “能用就行” 的心态，接着用微积分。但心里总有点发虚，就像住在地基不稳的房子里，总担心哪天楼塌了。

这个问题，足足拖了近一个半世纪，才被彻底解决。

解决的思路说穿了也简单：抛弃 “无穷小量是一个固定的数” 的想法，用 “极限” 来重新定义导数和积分。

第一个系统做这件事的，是法国数学家柯西。

在 19 世纪初，柯西写了《分析教程》，第一次把极限概念放在了微积分的核心位置。

柯西说，导数不是两个无穷小量的比值，而是一个极限。

当自变量的增量 Δx 趋近于 0 的时候，函数增量 Δy 和 Δx 的比值，无限趋近于某个确定的数，这个数就是导数。

说白了，无穷小不是一个固定的很小的数，而是一个 “无限趋近于 0” 的过程。

dx 不是 0，它只是在走向 0 的路上。

我们求的，是它无限靠近 0 的时候，那个比值的极限。

这样一来，刚才的矛盾就顺了。

我们不是把 dx 当 0 扔掉，而是当 Δx 趋近于 0 的时候，(dx)² 是比 dx 高阶的无穷小，它趋近于 0 的速度快得多，所以整个式子的极限就是 2x。

不过柯西的极限定义，还是有点模糊。

什么叫 “无限趋近”？什么叫 “要多近有多近”？听起来还是有点玄乎，容易被人钻空子。

真正把极限彻底严格化、堵上所有漏洞的，是德国数学家魏尔斯特拉斯。

他搞出了一套ε-δ 语言，把极限用纯数学的不等式定义得明明白白，一点含糊的地方都没有。

简单说，魏尔斯特拉斯的极限定义是这样的：

你随便给一个正数 ε（不管它多小），我都能找到一个正数 δ，只要 x 和 x₀的距离小于 δ，那 f (x) 和 A 的距离就一定小于 ε。

如果能做到这一点，就说 A 是 f (x) 当 x 趋近于 x₀时的极限，用公式表示就是：

lim(x→x₀) f(x) = A

你看，这里面没有任何 “无限趋近”“无穷小” 这种模糊的词，全是严谨的不等式和逻辑。

就像玩游戏，你出招，我接招，你要多精确，我就能给你多精确。

这套定义一出，彻底把微积分从 “直观经验” 拉到了 “严格逻辑” 的轨道上。无穷小不再是飘来飘去的幽灵了，它就是一个以 0 为极限的变量。

第二次数学危机，就这么圆满解决了。

微积分终于有了坚实的逻辑基础，从一门 “好用但不严谨” 的技巧，变成了一门真正严谨的科学。

有意思的是，贝克莱主教本来是想推翻微积分，结果反而倒逼数学家们把微积分的基础打牢了。从这个角度说，他还歪打正着帮了数学一个大忙。

说到这，关于牛顿 - 莱布尼茨公式和无穷小的故事，差不多就讲完了。

但微积分的故事，远远没有结束。

从芝诺那只乌龟开始，人类花了两千多年，才真正搞懂了 “无穷小” 到底是怎么回事。

从最初的诡辩悖论，到牛顿莱布尼茨的天才发明，再到柯西魏尔斯特拉斯的严格化，这一路走来，充满了争论、困惑和突破。

很多人觉得数学是冷冰冰的公式，是死板的定理。

但其实不是，数学是活的，是一代代人不断质疑、不断探索、不断修正出来的。

而微积分，是人类数学史上最伟大的发明之一。

有了微积分，牛顿才能建立经典力学体系，才能精确计算行星的运行轨道；

有了微积分，麦克斯韦才能推导出电磁场方程组，预言电磁波的存在；

有了微积分，爱因斯坦才能写出广义相对论的场方程，描述时空的弯曲。

不止物理。工程上算桥梁的应力、算流体的流动，要用到微积分；

经济上算边际成本、算最优策略，要用到微积分；

生物上算种群的增长、算药物的代谢，要用到微积分；

甚至现在的人工智能、机器学习，背后的梯度下降、反向传播，核心全是求导和积分。

就拿我们最熟悉的手机来说，里面的芯片设计要做电磁场仿真，麦克斯韦方程组的求解全靠微积分；手机里的信号处理，傅里叶变换、小波变换，本质上都是积分变换；甚至你刷到的推荐算法，背后的优化逻辑也离不开求导找极值。

往小了说，你喝的奶茶配方优化，可能都用到了微积分求最优解；往大了说，火箭发射、卫星入轨、轨道计算，每一步都踩在微积分的基础上。

它就像空气一样，无处不在，你平时感觉不到它的存在，但所有现代科技，都建立在它的地基之上。

莱布尼茨曾经说过：“无穷小，是大自然的馈赠。”

它藏在芝诺的乌龟里，藏在牛顿的苹果里，藏在每一个变化的瞬间里。

它既是数学里最抽象的概念，又是现实中最有用的工具。

从一只乌龟引发的悖论，到改变世界的数学革命。这就是无穷小的秘密，也是牛顿 - 莱布尼茨公式背后的故事。

数学的魅力，大概就在于此吧。

它从最朴素的疑问出发，一步步走，最终能带你看到最广阔的世界。