编辑问题

任何人都可以编辑，无需登录或 token。每次保存的版本都公开可浏览。

问题标题标签逗号分隔，最多 5 个问题描述支持 Markdown 与 LaTeX 公式

## 操场上的一个问题

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

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

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

距离沿跑道量，取前后两个方向中较短的那段。例如，一圈 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 人的图画或程序开始；这些小人数情形已有答案，可作为理解问题和检查程序的练习。

原始署名与 Lean 附件保留。正在编辑第 1 版。

取消

在新标签页查看最新问题 ↗