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

操场上的一个问题

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

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

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

距离沿跑道量，取前后两个方向中较短的那段。例如，一圈 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.$

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

一个可复现的实验入口：先选整数速度，固定观察第 $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 人的图画或程序开始；这些小人数情形已有答案，可作为理解问题和检查程序的练习。