第三部分 · 无穷与变化
芝诺的箭:无穷小、无穷和与极限
两千多年前,芝诺用三个小故事"证明"了运动不可能:阿喀琉斯追不上乌龟,飞行的箭其实静止。他的逻辑没有破绽——除非我们学会一件全新的事:把无穷多个步骤加起来,仍然得到一个确定的数。这件事的名字,叫极限。
留下的问题:可一旦要计算运动与变化(速度、面积、增长),就绕不开"无穷"。芝诺正是抓住这一点发难:要从这里走到那里,得先走一半,再走剩下的一半……要完成无穷多步,怎么可能在有限时间里走完?
本课新增:极限——给一个永不停止的无穷过程,指定一个确定的"目的地"。它把"无穷"从一个把人绕晕的悖论,变成一件能算的工具。
芝诺的三支箭
芝诺是古希腊埃利亚学派的哲学家,他不相信运动是真实的,于是设计了几个让人哑口无言的悖论。它们都长一个样:把一件简单的事,拆成无穷多步。
二分法。你想从房间这头走到那头。可在走到终点前,你得先走完全程的一半;在走完那一半前,又得先走完一半的一半……这样的"先走一半"有无穷多个。芝诺说:无穷多件事永远做不完,所以你根本动不了。
阿喀琉斯与乌龟。飞毛腿阿喀琉斯让乌龟先跑 100 米。等他跑完这 100 米,乌龟又向前爬了一点;等他补上这一点,乌龟又往前挪了一丁点……每次他到达乌龟"刚才"的位置,乌龟总已离开。追赶的步骤有无穷多个,于是芝诺断言:阿喀琉斯永远追不上乌龟。
飞矢不动。在任何一个瞬间,飞行的箭都占据着一个和它自己一样大的确定位置——也就是说,在那一瞬它是静止的。可时间由无数个瞬间组成,箭在每个瞬间都静止,那它整体怎么会动?(这一支箭我们先记下,它真正的解答要等到下一课的"瞬时速度"。)
核心困惑:无穷多个正数相加,难道不是无穷大?
直觉很强:每加一项,总和都变大;加无穷多次,岂不是要涨到天上去?对很多数列确实如此——比如 1 + 1 + 1 + …(每项一直读作"加一")显然要冲向无穷。
但芝诺的步骤不是这样。二分法里,每一步的长度是前一步的一半:先 1/2,再 1/4,再 1/8……项虽然有无穷多个,却越来越小,小得飞快。问题就变成:
要回答它,我们不去"加无穷多次"(那永远加不完),而是换一个聪明的问法:加到前 n 项,得到的"部分和"是多少?它随着 n 变大,往哪里去?
部分和:贴近 1,却永不越过
把加到第 n 项为止的总和记作 Sₙ(读作"S 下标 n",意思是"前 n 项之和")。我们一项一项加:
看出规律了吗?分子总比分母小 1。事实上可以一口气写出公式:
为什么是它?有个一行就懂的妙招:你站在数轴的 0 点,目标是 1。第一步走完到 1 的一半路,落在 1/2,离终点还差 1/2;第二步又走完剩下距离的一半,落在 3/4,离终点还差 1/4……每走一步,剩下的距离都恰好减半。走完 n 步后,剩下的距离就是 1/2ⁿ(读作"二的 n 次方分之一"),所以已走过的路是 1 − 1/2ⁿ。
关键来了:1/2ⁿ 永远是一个正数,所以 Sₙ 永远比 1 小一点点,永远到不了 1。可只要 n 够大,这"一点点"就能小得不能再小:n=10 时差 1/1024,n=30 时差不到十亿分之一。于是部分和像贴墙一样,无限地贴近 1,却从不越过、也从不真正抵达。下面的小实验让你亲手把 n 拉大,看这堵"1"的墙怎么被逼近。
极限:给无穷过程指定一个目的地
部分和有无穷多个,每一个都不等于 1,可它们挤在一起朝 1 涌去,要多近有多近。数学家于是做出一个决断:既然这串数有且只有一个"被无限逼近"的目标,那我们就把那个目标——而不是任何一个部分和——称为这个无穷和的值。这个目标,就叫极限。
于是我们才敢写下:1/2 + 1/4 + 1/8 + … = 1。这里的等号,是"无限逼近的目的地"这个意思,不是"加了无穷多次真的算出了 1"。
极限的直觉一句话:"要多近有多近,但可能永远不真的等于。" 给你任何一个小到离谱的误差(比如十亿分之一),我总能加到足够多的项,让部分和与 1 的差距比它还小——而且从此之后一直更近。一个数若有这种"被锁定"的待遇,它就是这串数的极限。
这正是对芝诺的回答。二分法里,无穷多步的长度加起来是有限的(极限 = 全程),无穷多步的时间加起来也是有限的——所以你当然走得完,运动没有被禁止。阿喀琉斯同理:他追赶的无穷多个步骤,对应的时间是一个收敛的无穷和,加起来是个确定的有限时刻;过了那一刻,他就把乌龟甩在身后。芝诺没有错在逻辑,他错在以为"无穷多步"必然"加不完"。极限拆穿了这个隐藏假设。
过程,不是终点:别把极限当成"最后一项"
这里有个微妙但要命的区分,请慢一点读。部分和 Sₙ 是过程中真实出现的数:0.5、0.75、0.875……它们每一个都不是 1。极限 1 则是这串过程的目的地,它不必、也通常不是这串数里的任何一项。
所以"极限是数列的最后一项"是错的——这串数根本没有最后一项(n 可以一直加大,永无尽头)。极限不是"加到最后那一个",而是"无论加到多后面,都越来越逼近的那个目标"。把过程和它的目的地分清楚,是理解后面所有微积分的钥匙。
常见误解
- "0.999… 比 1 小一点点。" 不。0.999… 的意思正是无穷和 9/10 + 9/100 + 9/1000 + …,它的部分和是 0.9、0.99、0.999……极限恰好是 1。所以 0.999… = 1,它们是同一个数的两种写法,不是两个挨得很近的数。哪怕你说"它们之间总差一点点",那个"一点点"比任何正数都小,只能是 0。
- "无穷多项相加,一定是无穷大。" 不一定。要看项缩小得有多快。1/2+1/4+1/8+… 收敛到 1;但 1 + 1/2 + 1/3 + 1/4 + …(每项是 1/n,读作"n 分之一")虽然项也越来越小,部分和却会缓慢但确凿地涨向无穷。"项趋于 0"是有限和的必要条件,不是充分条件。
- "极限是数列的最后一项。" 不。这串数没有最后一项;极限是它无限逼近的目标,常常不在数列之中。把"过程里的数"和"过程的目的地"分开,是关键。