🔢 mathematics

Every natural number is a sum of distinct semiprime unit fractions

本文通过将 Butler-Erdős-Graham 归纳法应用于极具挑战性的 $\omega=2$ 情况，证明了每个自然数都可以表示为分母为半素数的互异单位分数之有限和，同时还将这些结果扩展到了有理数，并提供了 $\omega=3$ 情况的第一个完整证明。

原作者： Shisheng Li

发布于 2026-06-16

📖 1 分钟阅读🧠 深度阅读

CC BY 4.0

原作者： Shisheng Li

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

大局观： “乐高”难题

想象一下，你拥有无穷无尽的乐高积木。但有一个限制：你只能使用由恰好两种不同颜色的塑料熔合而成的积木。在数学术语中，这些被称为半素数（semiprimes，例如 6，即 $2 \times 3$ ，或者 15，即 $3 \times 5$ ）。

这篇论文探讨的是关于埃及分数（Egyptian Fractions）的问题。埃及分数是将一个数字表示为一系列简单分数（如 $1/2, 1/3, 1/4$ 等）之和的方法，其中所有的分母（底部的数字）都是互不相同的。

问题是： 你能否仅通过使用这些特殊的“双色”半素数积木，来构建出任何整数（1, 2, 3, 100 等）？

答案是： 可以。 作者李世盛（Shisheng Li）证明了你可以通过这种方式构建任何整数。

背景：一个未解之谜

这个问题并非由李教授发明。它源于数学家保罗·厄尔多斯（Paul Erdős）和罗纳德·格雷厄姆（Ronald Graham）提出的一个著名猜想。他们问道：“如果我们把积木限制在由恰好 $\omega$ （omega）种不同的素数组成的数字中，我们能否构建出任何数字？”

$\omega = 3$ （三种颜色）： 在 2015 年，其他数学家（Butler, Erdős, 和 Graham）证明了这是可行的。如果你的积木是由三种颜色组成的（例如 $2 \times 3 \times 5 = 30$ ），你就可以构建出任何数字。
$\omega = 2$ （两种颜色）： 他们猜想这也行得通，但无法给出证明。他们止步于此。

为什么这更难？
把它想象成一个建筑队。

当你有三种颜色（ $\omega=3$ ）时，你拥有一大堆厚实的积木。很容易找到合适的组合来填补缝隙。
当你降到两种颜色（ $\omega=2$ ）时，积木堆变得非常稀薄。你的“供应链”变弱了。
原本适用于“厚积木堆”的方法在“薄积木堆”上失效了，因为薄积木堆没有足够的种类来轻松填补缝隙。

解决方案：一种弥合差距的新方法

李教授的论文本质上是一本手册，教你如何在积木供应非常稀薄的情况下继续进行构建。

1. “喂养”问题
该证明使用了一种称为归纳法（induction）的方法。想象你在砌一面墙，你想证明你可以永远砌下去。你会展示：如果你能砌出一面高度为 $N$ 的墙，那么你一定能砌出高度为 $N+1$ 的墙。

为了做到这一点，你需要一个用来填充新层的积木“喂料”（feed）。
对于 $\omega=3$ ，这个喂料是丰富且充实的。
对于 $\omega=2$ ，这个喂料非常稀薄。旧的方法试图强迫这种稀薄的喂料表现得像厚实的喂料一样，结果失败了。

2. “窗口”技巧
李教授意识到，与其试图让稀薄的喂料看起来很厚，不如换个角度看问题。

想象一个沿着墙壁滑动的窗口。
李教授证明了，对于 $\omega=2$ 的情况，这个窗口总是比整个积木供应还要宽。
因为窗口足够宽，它必然会捕捉到第一个积木（0）或最后一个积木（最大和）。它无法从缝隙中溜走。
这意味着你不需要复杂的、厚实的积木堆；你只需要确保你积木堆的“起点”和“终点”覆盖了所有必要的数学“余数”（residues）。

3. 重体力活（计算与逻辑）
为了证明这对每一个数字都成立，李教授必须完成两件事：

“清单检查”（计算）： 他使用计算机手动检查了构建过程的前 300 步。这就像是用放大镜检查摩天大楼的前几层，以确保地基稳固。他验证了这种“稀薄喂料”在前几步中运行得非常完美。
“数学安全网”（分析）： 对于剩下的无限部分（第 300 步到无穷大），他使用了标准的数学不等式（切比雪夫界限/Chebyshev bounds）来证明积木的分布足够均匀，使得“窗口”总能捕捉到有效的组合。

研究结果：他们还发现了什么？

这篇论文并不止步于整数。它将逻辑扩展到了分数（有理数）。

阈值： 他们证明了对于分母为“无平方因子”（square-free，即分母不包含重复素因子的数字，如 6 或 10，但不包括 12）的分数，只要该分数足够大（具体来说大于约 1/5），就可以构建它们。
“核心深处”的谜团： 还留有一个微小的缺口。对于非常小的分数（如 1/1000），证明尚未完全触及。作者将这个剩余的谜团简化为一个特定的猜想：“如果你不断添加更多的积木，积木之间的间隙最终会消失。”如果这个猜想成立，那么对于所有数字，证明也就完成了。
“三色”红利： 作为解决“两色”问题的副产品，李教授也为“三色”问题（�ر谱数/sphenic numbers）提供了第一个完整的证明，而最初的作者们对此仅停留在猜想阶段。

总结类比

想象你正试图用一根水管往游泳池里注水。

旧方法： 试图使用一根只有在水压极高（有很多积木）时才起作用的水管。它对大泳池（3 种颜色）有效，但在狭窄紧凑的空间（2 种颜色）里失效了。
李教授的方法： 意识到即使使用一根较弱的水管（2 种颜色），只要你瞄准正确的角度，并仔细检查池底的前几英尺，水自然会填满整个泳池，因为水管实际上比泳池底部的缝隙要宽。

底线是： 李世盛解决了一个困扰数学界 10 年的谜题，证明了你可以仅使用分母为“两个素数乘积”的分数来构建任何整数。他通过巧妙结合计算机检查与数学逻辑，弥合了以往方法失效时的缺口。

技术摘要：“每个自然数皆可表示为互异半素数单位分数之和”

问题陈述
本文探讨了关于受限分母的埃及分数（Egyptian fractions）中一个特定的 Erdős–Graham 问题。一般性问题是：对于平方自由分母 $b$ ，是否每个有理数 $a/b$ 都可以表示为若干个互异单位分数 $1/n_i$ 之和，其中每个 $n_i$ 恰好是 $\omega$ 个不同质数的乘积。

背景： 对于 $\omega \ge 3$ ，整数情形（ $b=1$ ）已由 Butler, Erdős, 和 Graham (BEG15) 在 2015 年证明。他们曾猜想该结论对于 $\omega = 2$ （半素数分母）也成立，但无法给出证明，并指出随着 $\omega$ 的减小，驱动其归纳法的组合“馈送”（feed）机制会发生退化。
目标： 本文解决了 $\omega = 2$ 时的整数情形（ $b=1$ ），证明了每个自然数 $m \ge 1$ 都可以表示为互异半素数单位分数的有限和。此外，本文还将结论扩展到了大于某一显式阈值的有理数 $a/b$ （其中 $b$ 为平方自由数），并证明了 $\omega = 3$ 的完整有理数情形。

方法论
证明过程采用了并修改了 BEG15 建立的归纳框架。核心机制涉及分析由素数阶乘（primorials）导出的特定“原子”集合的子集和。

向子集和的归约：
将问题归约为：对于自然数 $m$ ，是否存在一个 $N$ ，使得 $P_N m$ （其中 $P_N$ 是第 $N$ 个素数阶乘）位于集合 $D_2(N) = \{ P_N / (p_i p_j) : 1 \le i < j \le N \}$ 的子集和集合 $L_2(N)$ 中。
归纳骨架：
证明依赖于建立以下事实： $L_2(N)$ 包含一个“中心块”整数区间 $[\lceil \sigma_2(N)/6 \rceil, \lfloor 5\sigma_2(N)/6 \rfloor]$ ，其中 $\sigma_2(N)$ 是 $D_2(N)$ 中元素的总和。

基础情况： 通过使用打包位集（packed bitset）检查 45 个原子的子集和可达性，在 $N_0 = 10$ 时通过计算验证。
归纳步骤 ( $N \to N+1$ )： 该步骤利用分裂递归式 $L_2(N+1) = L_1(N) + p_{N+1} L_2(N)$ ，其中 $L_1(N)$ 是单质数倒数之和的子集和（即“馈送”）。

克服 $\omega=2$ 的障碍：
在 $\omega=3$ 的情况下，馈送 $L_1(N)$ 是一个丰富的集合。而在 $\omega=2$ 的情况下，馈送退化为单质数的子集和，其结构表现得非常“稀疏”。BEG15 的方法在此失效，因为其“运行连接”（runs-connect）论证需要一个在退化情形下并不存在的剩余类完备（residue-complete）内部集。

新见解： 作者观察到，在 $\omega=2$ 的递归中，覆盖窗口（单个馈送元素覆盖的目标值区间）始终至少与整个馈送范围一样长。因此，该窗口必须包含馈送的一个端点（$0 $或$ \sigma_1(N)$）。
策略： 证明不再试图恢复稀疏馈送的内部结构，而是直接将馈送作为剩余类完备对象。如果馈送能在足够快的时间内（在特定的条带长度内）达到每一个剩余类模 $q = p_{N+1}$ ，则归纳法即可成功。

解析与计算验证：
证明将难度简化为单个不等式： $Y_0(N) \le \beta(N)$ ，其中 $Y_0(N)$ 是馈送剩余类完备性的起始半径，而 $\beta(N)$ 是可用的条带长度。

有限范围 ( $10 \le N \le 299$ )： 通过在剩余类群 $\mathbb{Z}_q$ 上使用类 Dijkstra 最短路径算法进行精确整数运算进行验证。
解析尾部 ( $N \ge 300$ )： 使用关于质数间隙的初等切比雪夫界限以及素数倒数和的单调性进行证明。
剩余类完备性： 对于 Olson 加法定理不严格适用的较小 $N$ ，通过计算验证其剩余类完备性。

关键结果

定理 1.2 (整数情形)： 每个自然数 $m \ge 1$ 都可以写成互异半素数分数的有限和。该证明是非构造性且有效的，但会导致分母的大小出现巨大的界限（大约 $N \sim \exp(\exp(O(\sqrt{m})))$ ）。
有理数扩展 (定理 7.1 & 7.4)： 对于任何平方自由分母 $b$ ，每个有理数 $a/b \ge \min\{B_{N_b}/6, 1/5\}$ 都可以表示为互异半素数分数的和。此处 $B_{N_b}$ 取决于 $b$ 的最大质因子。
有理数 $\omega=3$ 定理 (定理 8.1)： 每个正有理数 $a/b$ （ $b$ 为平方自由）都可以表示为互异的斯芬克斯数（sphenic numbers，三个不同质数的乘积）单位分数的和。这是通过“提升”论证实现的：将目标值乘以一个大质数 $r$ 以将其移动到 $\omega=2$ 定理的可表示范围内，然后再除以 $r$ 。
一般 $\omega \ge 3$ (推论 8.6)： 通过下降法，该结果扩展至所有 $\omega \ge 3$ 。

意义与开放问题

解决猜想： 本文提供了第一个完整的 $\omega=2$ 整数情形证明，这是一个由 BEG15 留下的猜想。它表明，通过调整归纳法使其依赖于端点覆盖而非内部结构，可以处理“稀疏馈送”机制。
无条件结果： 所有结果均为无条件的，依赖于初等数论和经独立脚本验证的有限计算。
剩余的开放核心： 本文指出 $\omega=2$ $ω = 2$ 问题中唯一剩余的开放情况是：低于阈值 $\min\{B_{N_b}/6, 1/5\}$ $min {B_{N_{b}} /6, 1/5}$ 的有理数 $a/b$ $a / b$ 。
- 作者将其归约为一个单一的显式猜想：无间隙底限猜想 (Gap-Free Floor Conjecture, GFF)，该猜想认为，当 $N \to \infty$ 时，半素数子集和集的无间隙底限趋于零。如果该猜想成立，将解决 $\omega=2$ 情况下的所有有理数问题。
范围： 本文明确指出，其并不处理带有平方因子的分母（这在约束下是不可能表示的）或使用固定有限质数集的表示。研究重点严格限于半素数倒数的普遍加法基。

这项工作被描述为一个“引擎”，它推动证明尽可能深入，从而隔离出导致 $\omega=2$ 情况下的较小有理数无法完全解决的特定结构性困难（即无间隙底限问题）。