Luquiesceneの小屋

背景介绍#

在古希腊的朴素认知中，运动是直观、真实、连续的自然现象，所有人都默认物体可以顺畅地从一点移动到另一点。但芝诺构造出了违背现实直觉的结论，其中最著名的就是阿喀琉斯追龟悖论。

悖论的核心设定非常简单：擅长奔跑的英雄阿喀琉斯，速度远快于乌龟，但若让乌龟提前出发一段距离，阿喀琉斯将永远无法追上乌龟。

芝诺的逻辑链条如下：

• 阿喀琉斯想要追上乌龟，必须先抵达乌龟此刻所在的位置；
• 可当他跑到该位置时，乌龟已经向前爬出了新的距离；
• 当阿喀琉斯再次追到新位置，乌龟又再次前进。如此循环往复，追赶过程可以拆分为无穷多个步骤。

在古人的认知局限里：无穷多个过程，必然需要无穷长的时间才能完成。因此芝诺得出结论：阿喀琉斯永远追不上乌龟，运动本身是虚假、不成立的。

这个悖论困扰了人类近两千年，直到微积分与收敛无穷级数诞生，人们才终于从数学层面彻底破解了这个千年佯谬，厘清了芝诺的核心逻辑漏洞。

模型构建#

我们可以先求普通时$t$和芝诺时$t'$的变换关系。

设开始时两者相距$L$，两者速度分别为$v_1, v_2$（$v_1>v_2$）。

在普通时间体系中，追上的总时间：

芝诺时$t'$的定义：$t'=n$，代表后一者到达前一者在$t'=n-1$时刻所在的位置。

• $t'=0,\quad t=0$
• $t'=1,\quad t=\frac{L}{v_1},\quad L_1=\frac{L}{v_1}\cdot v_2$
• $t'=2,\quad t=\frac{L}{v_1}+\frac{L}{v_1}\cdot\frac{v_2}{v_1},\quad L_2=\frac{L}{v_1}\cdot\frac{v_2}{v_1}\cdot v_2$
• $t'=3,\quad t=\frac{L}{v_1}+\frac{L}{v_1}\cdot\frac{v_2}{v_1}+\frac{L}{v_1}\cdot\left(\frac{v_2}{v_1}\right)^2,\quad L_3=\dots$

一般地，当$t'=n$时：

等比数列求和公式：

$a_1$为首项，$q$为公比，$n$为项数。

代入进行推导：

将$n$替换为芝诺时$t'$，得到变换关系：

当$t'\to\infty$时：

佯谬的本质#

用一句话概括：无限分割 ≠ 无限长的时间

芝诺混淆了时间可以无限细分和时间总量无限这两个概念。每一次“后者跑到前者上一轮所在的位置”，算作芝诺时的1个单位。在这套计时规则下，想要完成“追上”这件事，必须经过无穷多个阶段，也就是$t' \to \infty$。

但这里的关键是：无穷多个阶段，对应的真实物理时间总和是有限的。我们上面推导的等比级数是收敛级数，无穷多项相加，最终结果是一个有限数值。通俗来说，芝诺只是把一段有限长度的时间，切割成了无穷多小段。完成无穷多个步骤，并不意味着需要无穷久的时间。因为数学的无穷级数告诉我们，有限的时间区间，完全可以拆分为无穷多段更小的时间片段。

芝诺时$t'$趋向无穷，仅仅代表分割的次数无穷，并不代表真实物理时间$t$会变成无穷大。