版本历史 · 开放数学

一起跑步的人，每个人都会有一刻远离所有其他人吗？——孤独跑者猜想 · 当前第 1 版

所有版本公开。第 1 版为原始内容，其后为匿名公开编辑。原署名不代表后续修改者。

第 1 版 · 当前版本

2026-10-14T05:44:20.064Z · JSON

一起跑步的人，每个人都会有一刻远离所有其他人吗？——孤独跑者猜想

日常数学数论组合数学动力系统孤独跑者猜想

操场上的一个问题

跑步时，你大概见过这样的情景：刚才还在身边的人慢慢跑远，另一位又从后面赶上。速度不同，人群就不断聚拢、散开。

把这个场景稍微理想化：有一群人从环形跑道的同一个位置同时出发，沿同一方向一直跑。每个人保持自己的速度，而且任意两人的速度都不同。允许超越，不考虑体力、身体宽度和互相阻挡。

无论有多少人、速度怎样搭配，每个人是否都会等到这样一刻：自己与所有其他人都相隔至少“一圈长度 ÷ 总人数”？

距离沿跑道量，取前后两个方向中较短的那段。例如，一圈 400 米、8 个人时，标准就是离其他每个人至少 50 米。这个例子只是帮助理解；我们问的是任意人数。

每个人等到的时刻可以不同，也没有规定必须在几分钟内发生。“至少”包括恰好等于。

这是真正的开放问题吗？

这是著名的**孤独跑者猜想（Lonely Runner Conjecture）**的生活化表述。我们在这里重新介绍一个已有的开放问题，方便更多人参与，不声称首次提出它。跑步是它的直观模型；它在数学史上源于丢番图逼近研究。

截至本帖核查日期 2026-10-14，一般人数的情形仍未解决。已有许多特殊情形和有限人数的结果：

Perarnau 与 Serra 的综述《The Lonely Runner Conjecture turns 60》给出标准问题、等价形式及研究背景。
Sungkawichai 与 Trakulthongchai 的2026 年预印本报告了 11、12、13 人情形的计算机辅助证明。
Allikvere 的《Fourteen and fifteen lonely runners》v2，2026-09-24进一步报告了 14、15 人情形的证明，并提供代码和计算证书。这是预印本结果；本帖没有独立复核其全部计算。

这些进展都不等于证明了任意人数的结论。本帖的目标是一般情形，也欢迎对已有结果进行复现与核查。

为什么一句话的问题这么难？

只盯着两个人，他们速度不同，迟早会拉开。但你刚远离甲，乙可能正好靠近；远离乙时，丙又赶了上来。需要证明的是：对于选定的一个人，远离每一位其他人的时间条件，总能在某一刻同时满足。

难点在于控制所有可能的速度配合，包括速度之间存在精确整数比例的情况。随机挑几组速度，或把动画播放很久，都没有覆盖“任意人数、任意不同速度”。已知方法处理了不少情况，但尚没有完成这个全称命题。

精确表述（想动笔或写程序时再读）

把一圈长度归一化为 1。设总人数为 $n\ge 2$ ，速度 $v_1,\ldots,v_n$ 是两两不同的正实数，所有人初始位置为 0。记

$\|x\|_{\mathbb R/\mathbb Z}=\min_{m\in\mathbb Z}|x-m|.$

它表示绕圈后距起点的最短沿圈距离。要证明或推翻的是：

$\forall i\in\{1,\ldots,n\},\quad \exists t>0,\quad \forall j\ne i,\quad \|(v_j-v_i)t\|_{\mathbb R/\mathbb Z}\ge\frac1n.$

请保留“同点同时出发”和“各自匀速”的假设；改变起点或允许变速会变成另一个问题。

我们期待什么贡献？

**证明：**解决一般情形，或证明一个明确说明条件的速度族；请标明哪些步骤引用已有定理，哪些是新贡献。
**反例：**给出具体人数、不同速度和某位跑者，并严格证明他在所有时刻都至少有一位同伴距离小于 $1/n$ 。只展示若干时间点不够。
**数值实验：**提供代码、速度数据、搜索范围和精度，寻找接近临界的配置，或者复现已有计算证书。数值线索可以帮助研究，但请与证明区分。
**解释与核查：**做一个能调整速度的动画，找出一个论证的漏洞，或补充准确的文献与适用条件，也都是有用的贡献。

一个可复现的实验入口：先选整数速度，固定观察第 $i$ 个人。此时相对位置以 1 为周期，可以完整检查 $0\le t\le1$ 。令 $a_j=|v_j-v_i|$ ，对每个其他人构造闭区间并集

$A_j=\bigcup_{k=0}^{a_j-1} \left[\frac{k+1/n}{a_j},\frac{k+1-1/n}{a_j}\right].$

$A_j$ 正是两人距离达到标准的时间集合。用有理数精确计算所有 $A_j$ 的交集：非空就给出这位跑者的见证时刻；若严格算出空集，就得到该整数速度配置下的反例。端点也必须保留，交集可能只剩一个时刻。

这让一组具体速度可以被完整核查，但检查有限多组速度仍不能解决一般问题。普通读者可以先从 2、3 人的图画或程序开始；这些小人数情形已有答案，可作为理解问题和检查程序的练习。

查看 Markdown 原文

## 操场上的一个问题

跑步时，你大概见过这样的情景：刚才还在身边的人慢慢跑远，另一位又从后面赶上。速度不同，人群就不断聚拢、散开。

把这个场景稍微理想化：有一群人从环形跑道的同一个位置同时出发，沿同一方向一直跑。每个人保持自己的速度，而且任意两人的速度都不同。允许超越，不考虑体力、身体宽度和互相阻挡。

**无论有多少人、速度怎样搭配，每个人是否都会等到这样一刻：自己与所有其他人都相隔至少“一圈长度 ÷ 总人数”？**

距离沿跑道量，取前后两个方向中较短的那段。例如，一圈 400 米、8 个人时，标准就是离其他每个人至少 50 米。这个例子只是帮助理解；我们问的是任意人数。

每个人等到的时刻可以不同，也没有规定必须在几分钟内发生。“至少”包括恰好等于。

## 这是真正的开放问题吗？

这是著名的**孤独跑者猜想（Lonely Runner Conjecture）**的生活化表述。我们在这里重新介绍一个已有的开放问题，方便更多人参与，不声称首次提出它。跑步是它的直观模型；它在数学史上源于丢番图逼近研究。

截至本帖核查日期 **2026-10-14**，一般人数的情形仍未解决。已有许多特殊情形和有限人数的结果：

- Perarnau 与 Serra 的[综述《The Lonely Runner Conjecture turns 60》](https://arxiv.org/abs/2409.20160)给出标准问题、等价形式及研究背景。
- Sungkawichai 与 Trakulthongchai 的[2026 年预印本](https://arxiv.org/abs/2604.23906)报告了 11、12、13 人情形的计算机辅助证明。
- Allikvere 的[《Fourteen and fifteen lonely runners》v2，2026-09-24](https://arxiv.org/abs/2609.02604v2)进一步报告了 14、15 人情形的证明，并提供代码和计算证书。这是预印本结果；本帖没有独立复核其全部计算。

这些进展都不等于证明了任意人数的结论。本帖的目标是一般情形，也欢迎对已有结果进行复现与核查。

## 为什么一句话的问题这么难？

只盯着两个人，他们速度不同，迟早会拉开。但你刚远离甲，乙可能正好靠近；远离乙时，丙又赶了上来。需要证明的是：对于选定的一个人，远离每一位其他人的时间条件，总能在某一刻同时满足。

难点在于控制所有可能的速度配合，包括速度之间存在精确整数比例的情况。随机挑几组速度，或把动画播放很久，都没有覆盖“任意人数、任意不同速度”。已知方法处理了不少情况，但尚没有完成这个全称命题。

## 精确表述（想动笔或写程序时再读）

把一圈长度归一化为 1。设总人数为 \(n\ge 2\)，速度 \(v_1,\ldots,v_n\) 是两两不同的正实数，所有人初始位置为 0。记

\[
\|x\|_{\mathbb R/\mathbb Z}=\min_{m\in\mathbb Z}|x-m|.
\]

它表示绕圈后距起点的最短沿圈距离。要证明或推翻的是：

\[
\forall i\in\{1,\ldots,n\},\quad \exists t>0,\quad
\forall j\ne i,\quad
\|(v_j-v_i)t\|_{\mathbb R/\mathbb Z}\ge\frac1n.
\]

请保留“同点同时出发”和“各自匀速”的假设；改变起点或允许变速会变成另一个问题。

## 我们期待什么贡献？

- **证明：**解决一般情形，或证明一个明确说明条件的速度族；请标明哪些步骤引用已有定理，哪些是新贡献。
- **反例：**给出具体人数、不同速度和某位跑者，并严格证明他在所有时刻都至少有一位同伴距离小于 \(1/n\)。只展示若干时间点不够。
- **数值实验：**提供代码、速度数据、搜索范围和精度，寻找接近临界的配置，或者复现已有计算证书。数值线索可以帮助研究，但请与证明区分。
- **解释与核查：**做一个能调整速度的动画，找出一个论证的漏洞，或补充准确的文献与适用条件，也都是有用的贡献。

一个可复现的实验入口：先选整数速度，固定观察第 \(i\) 个人。此时相对位置以 1 为周期，可以完整检查 \(0\le t\le1\)。令 \(a_j=|v_j-v_i|\)，对每个其他人构造闭区间并集

\[
A_j=\bigcup_{k=0}^{a_j-1}
\left[\frac{k+1/n}{a_j},\frac{k+1-1/n}{a_j}\right].
\]

\(A_j\) 正是两人距离达到标准的时间集合。用有理数精确计算所有 \(A_j\) 的交集：非空就给出这位跑者的见证时刻；若严格算出空集，就得到该整数速度配置下的反例。端点也必须保留，交集可能只剩一个时刻。

这让一组具体速度可以被完整核查，但检查有限多组速度仍不能解决一般问题。普通读者可以先从 2、3 人的图画或程序开始；这些小人数情形已有答案，可作为理解问题和检查程序的练习。