{
  "items": [
    {
      "question_id": "8d7ae43f-dbe5-407c-bca9-895e01abb0e4",
      "revision": 1,
      "title": "一起跑步的人，每个人都会有一刻远离所有其他人吗？——孤独跑者猜想",
      "body": "## 操场上的一个问题\n\n跑步时，你大概见过这样的情景：刚才还在身边的人慢慢跑远，另一位又从后面赶上。速度不同，人群就不断聚拢、散开。\n\n把这个场景稍微理想化：有一群人从环形跑道的同一个位置同时出发，沿同一方向一直跑。每个人保持自己的速度，而且任意两人的速度都不同。允许超越，不考虑体力、身体宽度和互相阻挡。\n\n**无论有多少人、速度怎样搭配，每个人是否都会等到这样一刻：自己与所有其他人都相隔至少“一圈长度 ÷ 总人数”？**\n\n距离沿跑道量，取前后两个方向中较短的那段。例如，一圈 400 米、8 个人时，标准就是离其他每个人至少 50 米。这个例子只是帮助理解；我们问的是任意人数。\n\n每个人等到的时刻可以不同，也没有规定必须在几分钟内发生。“至少”包括恰好等于。\n\n## 这是真正的开放问题吗？\n\n这是著名的**孤独跑者猜想（Lonely Runner Conjecture）**的生活化表述。我们在这里重新介绍一个已有的开放问题，方便更多人参与，不声称首次提出它。跑步是它的直观模型；它在数学史上源于丢番图逼近研究。\n\n截至本帖核查日期 **2026-10-14**，一般人数的情形仍未解决。已有许多特殊情形和有限人数的结果：\n\n- Perarnau 与 Serra 的[综述《The Lonely Runner Conjecture turns 60》](https://arxiv.org/abs/2409.20160)给出标准问题、等价形式及研究背景。\n- Sungkawichai 与 Trakulthongchai 的[2026 年预印本](https://arxiv.org/abs/2604.23906)报告了 11、12、13 人情形的计算机辅助证明。\n- Allikvere 的[《Fourteen and fifteen lonely runners》v2，2026-09-24](https://arxiv.org/abs/2609.02604v2)进一步报告了 14、15 人情形的证明，并提供代码和计算证书。这是预印本结果；本帖没有独立复核其全部计算。\n\n这些进展都不等于证明了任意人数的结论。本帖的目标是一般情形，也欢迎对已有结果进行复现与核查。\n\n## 为什么一句话的问题这么难？\n\n只盯着两个人，他们速度不同，迟早会拉开。但你刚远离甲，乙可能正好靠近；远离乙时，丙又赶了上来。需要证明的是：对于选定的一个人，远离每一位其他人的时间条件，总能在某一刻同时满足。\n\n难点在于控制所有可能的速度配合，包括速度之间存在精确整数比例的情况。随机挑几组速度，或把动画播放很久，都没有覆盖“任意人数、任意不同速度”。已知方法处理了不少情况，但尚没有完成这个全称命题。\n\n## 精确表述（想动笔或写程序时再读）\n\n把一圈长度归一化为 1。设总人数为 \\(n\\ge 2\\)，速度 \\(v_1,\\ldots,v_n\\) 是两两不同的正实数，所有人初始位置为 0。记\n\n\\[\n\\|x\\|_{\\mathbb R/\\mathbb Z}=\\min_{m\\in\\mathbb Z}|x-m|.\n\\]\n\n它表示绕圈后距起点的最短沿圈距离。要证明或推翻的是：\n\n\\[\n\\forall i\\in\\{1,\\ldots,n\\},\\quad \\exists t>0,\\quad\n\\forall j\\ne i,\\quad\n\\|(v_j-v_i)t\\|_{\\mathbb R/\\mathbb Z}\\ge\\frac1n.\n\\]\n\n请保留“同点同时出发”和“各自匀速”的假设；改变起点或允许变速会变成另一个问题。\n\n## 我们期待什么贡献？\n\n- **证明：**解决一般情形，或证明一个明确说明条件的速度族；请标明哪些步骤引用已有定理，哪些是新贡献。\n- **反例：**给出具体人数、不同速度和某位跑者，并严格证明他在所有时刻都至少有一位同伴距离小于 \\(1/n\\)。只展示若干时间点不够。\n- **数值实验：**提供代码、速度数据、搜索范围和精度，寻找接近临界的配置，或者复现已有计算证书。数值线索可以帮助研究，但请与证明区分。\n- **解释与核查：**做一个能调整速度的动画，找出一个论证的漏洞，或补充准确的文献与适用条件，也都是有用的贡献。\n\n一个可复现的实验入口：先选整数速度，固定观察第 \\(i\\) 个人。此时相对位置以 1 为周期，可以完整检查 \\(0\\le t\\le1\\)。令 \\(a_j=|v_j-v_i|\\)，对每个其他人构造闭区间并集\n\n\\[\nA_j=\\bigcup_{k=0}^{a_j-1}\n\\left[\\frac{k+1/n}{a_j},\\frac{k+1-1/n}{a_j}\\right].\n\\]\n\n\\(A_j\\) 正是两人距离达到标准的时间集合。用有理数精确计算所有 \\(A_j\\) 的交集：非空就给出这位跑者的见证时刻；若严格算出空集，就得到该整数速度配置下的反例。端点也必须保留，交集可能只剩一个时刻。\n\n这让一组具体速度可以被完整核查，但检查有限多组速度仍不能解决一般问题。普通读者可以先从 2、3 人的图画或程序开始；这些小人数情形已有答案，可作为理解问题和检查程序的练习。",
      "tags": [
        "日常数学",
        "数论",
        "组合数学",
        "动力系统",
        "孤独跑者猜想"
      ],
      "created_at": "2026-10-14T05:44:20.064Z",
      "url": "https://math.io99.xyz/questions/8d7ae43f-dbe5-407c-bca9-895e01abb0e4/history/1",
      "api_url": "https://math.io99.xyz/api/questions/8d7ae43f-dbe5-407c-bca9-895e01abb0e4/revisions/1"
    }
  ],
  "total": 1,
  "limit": 20,
  "offset": 0,
  "has_more": false,
  "next": null
}