0:00:15.096,0:00:16.871
这是埃利亚的芝诺

0:00:16.871,0:00:18.377
一个古希腊哲学家

0:00:18.377,0:00:21.042
以发现了许多悖论而著名

0:00:21.042,0:00:22.560
这是指，一些看上去逻辑合理

0:00:22.560,0:00:25.779
但是结论却很荒谬或者自相矛盾的论证

0:00:25.779,0:00:27.103
两千多年来

0:00:27.103,0:00:29.084
芝诺具有欺骗性的谜题们

0:00:29.084,0:00:31.310
启发了数学家和哲学家们

0:00:31.310,0:00:33.746
更好地理解了“无穷”的本质

0:00:33.746,0:00:35.525
芝诺最著名的悖论之一

0:00:35.525,0:00:37.741
叫做两分法悖论

0:00:37.741,0:00:41.527
它在古希腊语中的意思是“分成两份的悖论”

0:00:41.527,0:00:43.315
它是这么说的

0:00:43.315,0:00:46.154
闲坐着思考了一天之后

0:00:46.154,0:00:48.950
芝诺决定从他的家走去公园

0:00:48.950,0:00:50.397
清新的空气能够使他的大脑更清醒

0:00:50.397,0:00:51.920
帮助他更好地思考

0:00:51.920,0:00:53.075
为了到达公园

0:00:53.075,0:00:55.428
他首先需要走完整段路程的前半段

0:00:55.428,0:00:56.601
这一段路程

0:00:56.601,0:00:58.443
将花费他一段有限的时间

0:00:58.443,0:01:00.452
当他到达整段路程的中点时

0:01:00.452,0:01:02.841
他又需要走完剩下路程的一半

0:01:02.841,0:01:05.868
同样的，这将花费他有限的一段时间

0:01:05.868,0:01:08.140
当他到达剩下路程的中点时，他还需要走

0:01:08.140,0:01:09.882
剩下路程的前半段

0:01:09.882,0:01:12.371
这又将花费他一段有限的时间

0:01:12.371,0:01:15.522
这个过程将会一次一次又一次地发生

0:01:15.522,0:01:18.195
你可以发现，我们可以无限地这样推导下去

0:01:18.195,0:01:19.857
将剩下的不论多少路程

0:01:19.857,0:01:21.772
分割成越来越短的路程

0:01:21.772,0:01:25.278
每一段都将花费他一段有限的时间

0:01:25.278,0:01:27.958
那么，芝诺到达公园要花多长时间？

0:01:27.958,0:01:29.317
要知道这个答案

0:01:29.317,0:01:32.284
你得将每一小段所花的时间加起来

0:01:32.284,0:01:36.616
问题是，有无限多个像这样有限长度的小段

0:01:36.616,0:01:39.750
那么，总时间不应该是无穷大吗？

0:01:39.750,0:01:42.548
顺便说一下，这个论题非常常见

0:01:42.548,0:01:45.092
它说的是从任何一个地点移动到任何另一个地点

0:01:45.092,0:01:47.254
需要花费无穷长的时间

0:01:47.254,0:01:51.006
换句话说，它的意思是，任何移动都是不可能实现的

0:01:51.006,0:01:52.785
这个结论显然很荒谬

0:01:52.785,0:01:54.784
但是，逻辑的瑕疵在哪呢？

0:01:54.784,0:01:55.966
为了解决这个悖论

0:01:55.966,0:01:58.731
把这个故事还原成一个数学问题会有所帮助

0:01:58.731,0:02:01.618
我们假设芝诺的家离公园有一英里

0:02:01.618,0:02:04.341
芝诺走路的速度是一英里每小时

0:02:04.341,0:02:06.692
常识告诉我们，整段路程的时间

0:02:06.692,0:02:08.205
应该是一小时

0:02:08.205,0:02:10.867
但是，让我们从芝诺的角度来看这个问题

0:02:10.867,0:02:13.196
把这整段路程分成许多小段

0:02:13.196,0:02:15.656
最先一半路程花费1/2小时

0:02:15.656,0:02:17.782
之后的一段花费1/4小时

0:02:17.782,0:02:20.064
第三段花费1/8小时

0:02:20.064,0:02:20.969
以此类推

0:02:20.969,0:02:22.266
把这些时间加起来

0:02:22.266,0:02:24.372
我们得到一个像这样的数列

0:02:24.372,0:02:25.624
“现在”，芝诺也许会说

0:02:25.624,0:02:27.964
“因为等式的右边

0:02:27.964,0:02:29.621
有无限项

0:02:29.621,0:02:31.883
而且每一项都是有限的

0:02:31.883,0:02:34.518
那么它们之和应该是无穷大，对吗？”

0:02:34.518,0:02:36.670
这就是芝诺论证的问题所在

0:02:36.670,0:02:38.855
数学家们后来发现

0:02:38.855,0:02:42.558
将无限个有限项加总

0:02:42.558,0:02:44.814
是有可能依然得到一个有限的数字的

0:02:44.814,0:02:45.989
“为什么？”你可能会问

0:02:45.989,0:02:47.486
让我们这样想一想

0:02:47.486,0:02:50.390
让我们从这个正方形开始，它的面积是1个单位

0:02:50.390,0:02:52.528
现在把这个正方形切成两半

0:02:52.528,0:02:54.909
然后再把剩下的一半切成两半

0:02:54.909,0:02:56.172
以此类推

0:02:56.172,0:02:57.239
当我们这么做的时候

0:02:57.239,0:03:00.380
让我们算一下每一部分的面积

0:03:00.380,0:03:02.169
第一刀分成了两份

0:03:02.169,0:03:04.028
每一份的面积是1/2

0:03:04.028,0:03:06.545
第二刀将其中的一份切成了两半

0:03:06.545,0:03:07.796
以此类推

0:03:07.796,0:03:10.227
但是，不论我们切多少次

0:03:10.227,0:03:14.814
总面积都是所有小份的面积之和

0:03:14.814,0:03:17.442
现在你可以看出我们为什么要用这样一种

0:03:17.442,0:03:18.971
切割正方形的方法

0:03:18.971,0:03:20.888
我们得到了和芝诺的路程

0:03:20.888,0:03:23.356
一样的无穷项的数列

0:03:23.356,0:03:25.791
当我们切割出一个又一个蓝色矩形的时候

0:03:25.791,0:03:27.314
用数学的行话来说

0:03:27.314,0:03:30.742
当n趋近于无限大时

0:03:30.742,0:03:33.356
整个正方形将被蓝色覆盖

0:03:33.356,0:03:35.427
但是正方形的面积就是一个单位

0:03:35.427,0:03:38.700
所以这无限项之和一定等于1

0:03:38.700,0:03:39.754
再回到芝诺的路程

0:03:39.754,0:03:42.370
我们现在就知道悖论怎么解开了

0:03:42.370,0:03:45.713
不仅仅是，无限项之和可以是有限的

0:03:45.713,0:03:47.745
这个有限的结果

0:03:47.745,0:03:50.172
还跟常识告诉我们的是相等的

0:03:50.172,0:03:52.877
芝诺的路程将花费一个小时