<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>微积分 on kenji.blog</title><link>http://kenji.blog/zh-cn/tags/%E5%BE%AE%E7%A7%AF%E5%88%86/</link><description>Recent content in 微积分 on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>zh-cn</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 21:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/zh-cn/tags/%E5%BE%AE%E7%A7%AF%E5%88%86/index.xml" rel="self" type="application/rss+xml"/><item><title>飞行的箭是静止的？：芝诺的“飞矢”悖论</title><link>http://kenji.blog/zh-cn/p/zenos-arrow/</link><pubDate>Thu, 10 Sep 2026 21:00:00 +0900</pubDate><guid>http://kenji.blog/zh-cn/p/zenos-arrow/</guid><description>&lt;img src="http://kenji.blog/p/zenos-arrow/img/zenos_arrow.jpg" alt="Featured image of post 飞行的箭是静止的？：芝诺的“飞矢”悖论" />&lt;p>从弓中射出的箭在空中飞行。这支箭确实在运动。
然而，公元前5世纪的希腊哲学家芝诺，展开了如下可怕的逻辑推理。&lt;/p>
&lt;p>&lt;strong>“飞行的箭，实际上是静止的”&lt;/strong>&lt;/p>
&lt;p>这不是玩笑也不是诡辩，而是2500年来，数学家和哲学家们一直在认真讨论的**“飞矢悖论”**。&lt;/p>
&lt;h2 id="芝诺的论证">芝诺的论证
&lt;/h2>&lt;p>芝诺的论证，是以“时间的瞬间”这一概念为出发点的。&lt;/p>
&lt;ol>
&lt;li>时间是“瞬间”的连续。&lt;/li>
&lt;li>像“照片”一样截取某个瞬间（时间长度为零的一点），箭在空间中的特定一点“存在”。&lt;/li>
&lt;li>在那个瞬间，箭只是“占据”着那个位置，&lt;strong>并没有运动&lt;/strong>。（如果它在运动，那它应该需要一个“时间段”而不是“瞬间”）&lt;/li>
&lt;li>这对于提取出的任何一个瞬间都是一样的。&lt;/li>
&lt;li>如果在时间的所有瞬间箭都是静止的，那么&lt;strong>箭什么时候运动呢？&lt;/strong>&lt;/li>
&lt;/ol>
&lt;div class="mermaid">graph TD
A["飞行的箭"] --> B["时间是瞬间的连续"]
B --> C["瞬间 t1: 箭在位置 A 静止"]
B --> D["瞬间 t2: 箭在位置 B 静止"]
B --> E["瞬间 t3: 箭在位置 C 静止"]
C --> F{"在所有瞬间箭都是静止的"}
D --> F
E --> F
F --> G["结论: 箭没有运动！"]
style A fill:#2196F3,color:#fff
style F fill:#FF9800,color:#fff,stroke-width:2px
style G fill:#F44336,color:#fff,stroke-width:3px&lt;/div>
&lt;h2 id="直觉-vs-逻辑">直觉 vs 逻辑
&lt;/h2>&lt;p>“太荒谬了。箭不是实际在飞吗？”，这应该是大多数人的第一反应。
然而，要指出芝诺的论证在&lt;strong>逻辑上&lt;/strong>错在哪里，实际上是非常困难的。&lt;/p>
&lt;p>据说，古希腊哲学家第欧根尼在面对芝诺时，只是站起来在房间里走来走去，以此来表示“看，在动”。然而，这并不能算作对芝诺逻辑的&lt;strong>反驳&lt;/strong>。因为芝诺所问的，不是“能不能动”，而是“我们能否用我们的逻辑毫无矛盾地解释‘运动到底是怎么回事’”。&lt;/p>
&lt;h2 id="微积分学的解决尝试">微积分学的解决（尝试）
&lt;/h2>&lt;p>17世纪牛顿和莱布尼茨发明的&lt;strong>微积分学&lt;/strong>，为这个悖论提供了数学上的回答（至少是部分地）。&lt;/p>
&lt;p>在微积分学中，将“某个瞬间的速度（瞬时速度）”定义如下：&lt;/p>
$$ v(t) = \lim_{\Delta t \to 0} \frac{\Delta x}{\Delta t} $$
&lt;p>也就是说，将位置的变化量 $\Delta x$ 除以时间的变化量 $\Delta t$，并将 $\Delta t$ 无限趋近于零的“极限”定义为速度。&lt;/p>
&lt;p>这里的关键点在于，&lt;strong>“瞬时速度”并不是在零时间段内的移动距离&lt;/strong>。
它是作为该时刻前后微小变化的“趋势”，即被定义为**“极限”**的量。&lt;/p>
&lt;p>因此，从微积分学立场的回答如下：&lt;/p>
&lt;p>“确实，如果截取长度为零的瞬间，在那个瞬间‘内’箭是没有移动的。但是，箭在那个瞬间也具有‘瞬时速度（非零的极限值）’这一属性。‘静止’意味着‘瞬时速度为零’，由于飞行的箭的瞬时速度并不为零，所以不能说箭是‘静止的’。”&lt;/p>
&lt;h2 id="遗留的哲学问题">遗留的哲学问题
&lt;/h2>&lt;p>微积分学为芝诺的悖论提供了实用的解决方案，但在哲学上并没有完全了结。&lt;/p>
&lt;p>因为“极限”这个概念，归根结底只是一个数学工具（计算程序），并没有严格地回答诸如**“时间的最小单位（瞬间）在物理上到底是什么”“什么是连续”“运动的本质是什么”**这些根本性的问题。&lt;/p>
&lt;p>在现代物理学（量子力学）中，人们正在讨论时间和空间也可能存在最小单位（普朗克时间、普朗克长度）的可能性。如果时间不是“连续的”而是“离散的（数字化的）”，那么芝诺的悖论可能需要在完全不同的语境下被重新评估。&lt;/p>
&lt;p>芝诺的箭在2500年后的今天，仍在不断地向我们发出追问：“什么是运动？”“什么是时间？”&lt;/p></description></item><item><title>阿喀琉斯与乌龟：追不上，还是追得上？源自古希腊的“无穷”悖论</title><link>http://kenji.blog/zh-cn/p/achilles-and-the-tortoise/</link><pubDate>Thu, 10 Sep 2026 01:00:00 +0900</pubDate><guid>http://kenji.blog/zh-cn/p/achilles-and-the-tortoise/</guid><description>&lt;img src="http://kenji.blog/p/achilles-and-the-tortoise/img/achilles.jpg" alt="Featured image of post 阿喀琉斯与乌龟：追不上，还是追得上？源自古希腊的“无穷”悖论" />&lt;h2 id="1-芝诺悖论飞毛腿英雄赢不了乌龟">1. 芝诺悖论：飞毛腿英雄赢不了乌龟？
&lt;/h2>&lt;p>公元前5世纪，古希腊哲学家埃利亚的芝诺提出了一些完全违背我们直觉和常识的关于“运动”的悖论。其中最著名的便是**“阿喀琉斯与乌龟”**的悖论。&lt;/p>
&lt;p>希腊神话中首屈一指的飞毛腿英雄阿喀琉斯，与代表迟缓的乌龟进行徒步赛跑。
当然阿喀琉斯的速度具有压倒性优势，因此作为让步，乌龟获得了从前方不远处起跑的权利。&lt;/p>
&lt;p>比赛开始了。阿喀琉斯以极快的速度追赶乌龟。
然而，芝诺却提出了如下主张：&lt;/p>
&lt;p>&lt;strong>“阿喀琉斯永远也追不上乌龟”&lt;/strong>&lt;/p>
&lt;p>到底为什么呢？芝诺的逻辑是这样的：&lt;/p>
&lt;ol>
&lt;li>当阿喀琉斯到达乌龟的“初始起跑点（A点）”时，乌龟已经向前移动了一点，到达了“B点”。&lt;/li>
&lt;li>当阿喀琉斯到达“B点”时，乌龟又向前移动了一点，到达了“C点”。&lt;/li>
&lt;li>当阿喀琉斯到达“C点”时，乌龟又再向前移动了一点，到达了“D点”。&lt;/li>
&lt;/ol>
&lt;div class="mermaid">graph LR
subgraph "步骤1"
A1["阿喀琉斯 (起点)"] -->|追赶| T1["乌龟的初始位置"]
T1_Start["乌龟"] -->|移动| T2_Pos["向前一点"]
end
subgraph "步骤2"
A2["阿喀琉斯"] -->|追赶| T2["乌龟的下一个位置"]
T2_Start["乌龟"] -->|移动| T3_Pos["再向前一点"]
end
subgraph "步骤3"
A3["阿喀琉斯"] -->|追赶| T3["乌龟的再下一个位置"]
T3_Start["乌龟"] -->|无限继续...| Infinity["永远追不上!?"]
end&lt;/div>
&lt;p>这个过程将无限持续下去。因为每当阿喀琉斯到达“乌龟之前所在的位置”时，乌龟必然已经移动到了“稍微靠前一点的位置”。
距离虽然在不断缩短，但因为必须无限次重复这个步骤，所以阿喀琉斯永远也无法超越乌龟。&lt;/p>
&lt;p>在现实世界中，跑得快的人超越跑得慢的人是理所当然的事情。然而，要解释这个&lt;strong>文字逻辑戏法&lt;/strong>的漏洞在哪里，对当时的人们来说是非常困难的。&lt;/p>
&lt;hr>
&lt;h2 id="2-哪里出错了时间与无穷的错觉">2. 哪里出错了？“时间”与“无穷”的错觉
&lt;/h2>&lt;p>芝诺的逻辑巧妙之处在于，将**“无限次的步骤（空间的分割）”&lt;strong>偷换成了&lt;/strong>“无限的时间”**。&lt;/p>
&lt;p>的确，阿喀琉斯到达乌龟之前所在位置的“步骤数”是无限的。
但是，“步骤数无限”并不意味着**“其所需的总时间就是无穷大（永远）”**。&lt;/p>
&lt;p>后世的数学家们，为了解开这个悖论，创造出了“无穷级数求和”这一强大的武器。&lt;/p>
&lt;hr>
&lt;h2 id="3-数学解惑无穷级数求和与极限">3. 数学解惑：无穷级数求和与“极限”
&lt;/h2>&lt;p>让我们代入具体的数字，用数学的方法来计算一下这个问题。&lt;/p>
&lt;ul>
&lt;li>假设阿喀琉斯奔跑的速度是 &lt;strong>每秒 $10\text{m}$&lt;/strong>。&lt;/li>
&lt;li>假设乌龟步行的速度是 &lt;strong>每秒 $1\text{m}$&lt;/strong>。（阿喀琉斯速度的 $\frac{1}{10}$）&lt;/li>
&lt;li>作为让步，假设乌龟从阿喀琉斯&lt;strong>前方 $10\text{m}$ 处&lt;/strong>起跑。&lt;/li>
&lt;/ul>
&lt;h3 id="计算各个步骤的时间">计算各个步骤的时间
&lt;/h3>&lt;p>&lt;strong>步骤1：&lt;/strong>
阿喀琉斯到达乌龟的初始位置（前方 $10\text{m}$ 处）所需的时间是 $\frac{10\text{m}}{10\text{m/s}} =$ &lt;strong>$1\text{秒}$&lt;/strong>。
在这1秒钟内，乌龟前进了 $1\text{m}$。（现在阿喀琉斯和乌龟的差距是 $1\text{m}$）&lt;/p>
&lt;p>&lt;strong>步骤2：&lt;/strong>
阿喀琉斯到达乌龟的下一个位置（前方 $1\text{m}$ 处）所需的时间是 $\frac{1\text{m}}{10\text{m/s}} =$ &lt;strong>$0.1\text{秒}$&lt;/strong>。
在这0.1秒钟内，乌龟前进了 $0.1\text{m}$。（差距是 $0.1\text{m}$）&lt;/p>
&lt;p>&lt;strong>步骤3：&lt;/strong>
阿喀琉斯到达乌龟的再下一个位置（前方 $0.1\text{m}$ 处）所需的时间是 $\frac{0.1\text{m}}{10\text{m/s}} =$ &lt;strong>$0.01\text{秒}$&lt;/strong>。
在这0.01秒钟内，乌龟前进了 $0.01\text{m}$。（差距是 $0.01\text{m}$）&lt;/p>
&lt;p>像这样，阿喀琉斯到达乌龟前一个位置所需的“时间”，变成了一个如下的无穷数列：&lt;/p>
$$ 1\text{秒},\ 0.1\text{秒},\ 0.01\text{秒},\ 0.001\text{秒},\ \dots $$
&lt;p>芝诺说：“因为这个步骤将无限继续，所以阿喀琉斯永远也追不上。”
但是，如果我们&lt;strong>把每个步骤所需的时间全部加起来（求无穷级数的和）&lt;/strong>，会发生什么呢？&lt;/p>
$$ \text{总时间 } T = 1 + 0.1 + 0.01 + 0.001 + \dots $$
&lt;p>这是一个首项 $a = 1$、公比 $r = 0.1$ 的&lt;strong>无穷等比级数&lt;/strong>。
当公比 $r$ 的绝对值小于 1 时（$|r| &lt; 1$），无穷等比级数会收敛到一个固定的“有限值”。其求和公式如下：&lt;/p>
$$ S = \frac{a}{1 - r} $$
&lt;p>代入这个公式进行计算，&lt;/p>
$$ T = \frac{1}{1 - 0.1} = \frac{1}{0.9} = \frac{10}{9} = 1.1111\dots \text{秒} $$
&lt;p>也就是说，即使存在无限次的步骤，其所需的总时间也不会变成“无穷大”，而是&lt;strong>精确地收敛于 $\frac{10}{9}$ 秒（约1.11秒）&lt;/strong>。
阿喀琉斯在起跑约1.11秒后，便会成功追上并超越乌龟。&lt;/p>
&lt;div class="mermaid">pie title "阿喀琉斯追上乌龟所需的时间（合计 约1.11秒）"
"步骤1 (1秒)" : 90
"步骤2 (0.1秒)" : 9
"步骤3及以后的无穷和 (0.011...秒)" : 1&lt;/div>
&lt;hr>
&lt;h2 id="4-为什么我们会受骗">4. 为什么我们会受骗？
&lt;/h2>&lt;p>这个悖论的本质在于，它利用了&lt;strong>人类朴素直觉的误区：“把无限个东西加起来，答案也一定是无穷大”&lt;/strong>。&lt;/p>
$$ 1 + 1 + 1 + 1 + \dots = \infty $$
&lt;p>
像这样，无限地加上同一个数，结果当然是无穷大。&lt;/p>
$$ \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \dots = \infty $$
&lt;p>
著名的“调和级数”，虽然相加的数越来越小，但最终也会发散到无穷大。&lt;/p>
&lt;p>但是，如果相加的数&lt;strong>缩小得足够快&lt;/strong>（比如等比级数），那么即使将无限个数加在一起，也会恰好容纳在一个“有限的框架”内。&lt;/p>
$$ \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \frac{1}{16} + \dots = 1 $$
&lt;p>这就像吃蛋糕，吃掉一半，再吃掉剩下的一半，再吃掉剩下的剩下的一半……无限重复下去，最终也不会超过“原来的一整个蛋糕”。
芝诺刻意将时间无限分割，并且只在那些被分割的时间框架（1秒，0.1秒，0.01秒&amp;hellip;）内谈论事物，从而制造出了“永远追不上”的错觉。&lt;/p>
&lt;hr>
&lt;h2 id="5-用相对速度思考瞬间就能解开">5. 用相对速度思考，瞬间就能解开
&lt;/h2>&lt;p>顺便一提，只要不陷入芝诺的陷阱（空间和时间的无限分割），用初中数学来解这道题也非常简单。
只要使用“相对速度”就可以了。&lt;/p>
&lt;ul>
&lt;li>阿喀琉斯的速度：$10\text{m/s}$&lt;/li>
&lt;li>乌龟的速度：$1\text{m/s}$&lt;/li>
&lt;li>阿喀琉斯相对于乌龟的速度（阿喀琉斯接近乌龟的速度）：$10 - 1 = 9\text{m/s}$&lt;/li>
&lt;/ul>
&lt;p>乌龟初始领先阿喀琉斯 $10\text{m}$。
以 $9\text{m/s}$ 的速度缩短 $10\text{m}$ 的距离所需的时间是：&lt;/p>
$$ \text{时间} = \frac{\text{距离}}{\text{速度}} = \frac{10}{9}\text{秒} $$
&lt;p>这与刚才使用微积分（无穷级数的极限）求出的答案完全一致。&lt;/p>
&lt;hr>
&lt;h2 id="6-总结悖论推动了数学的发展">6. 总结：悖论推动了数学的发展
&lt;/h2>&lt;p>从现代人的角度来看，芝诺的“阿喀琉斯与乌龟”可能不过是文字游戏或诡辩。
然而，对于当时还没有“无穷”和“极限”概念的古希腊哲学家们来说，仅凭逻辑来反驳它是极其困难的。&lt;/p>
&lt;p>这个悖论所抛出的深刻问题：“什么是连续？”“可以无限分割意味着什么？”，成为了后来牛顿和莱布尼茨创立**“微积分学”**，乃至现代数学基础理论发展的重要原动力。&lt;/p>
&lt;p>伟大的悖论不仅能迷惑人，也是开启新数学大门的钥匙。&lt;/p></description></item></channel></rss>