结果族 025：Short Egyptian fractions · 学科：Number theory · 验证状态：主结果已 Lean 形式化
古埃及人记分数只用”几分之一”，还不许重复——好比口袋里只有一套面额互不相同的硬币，要刚好凑出任意金额。这篇论文解决的埃尔德什老问题是：金额（分母 b）再大，最少要几枚硬币？答案是对数再取一次对数那么少，而且证明了不可能更省。
关键词卡片
看个具体例子
4/5 = 1/2 + 1/4 + 1/20，三项搞定。主定理说：任何真分数都能用”常数 × ln ln b”项拆完。代入 b = 10^100：ln b ≈ 230，再取一次对数只剩约 5.4——分母大到天文数字，所需项数也只是个位数乘一个常数；而 1985 年的旧上界 √ln b ≈ 15，随 b 爬升快得多。
图中横轴是分母 b，纵轴是所需项数的上界：红色旧界稳步上升，绿色新界几乎躺平。
为什么值得关心
一个 1950 年提出的猜想被一次说死：ln ln b 这个阶既够用又最优（分子取 b−1 时恰好逼出匹配的下界），上下界在同一篇里闭合，数论中难得的干净利落。
已 Lean 形式化
第一级台阶
导读把单位分数想成一套面额互不相同的硬币：要凑的对象是真分数，操作是挑若干枚”几分之一”恰好凑齐，且同一面额不许用第二次。于是问题只剩一个量：金额（分母）固定、找零方式任选时，最坏要动用几枚硬币。
第二级台阶
换成标准语言：把介于 0 与 1 之间的有理数写成互不相同的单位分数之和，叫一个埃及分数展开，所需的最少项数记为该分数的”长度”。贪心算法保证展开总是存在，但长度会失控；固定分母、让分子取遍所有可能，取最坏情形的长度，就得到衡量”硬币到底要几枚”的那个函数。目标是说明它与”对数再取对数”同阶。
第三级台阶
定理的语境是：存在绝对常数与阈值，使得分母超过阈值后，这个最坏长度被双对数从上下两侧夹住。”分母充分大”挡住小情形的零星例外；”对每个分子一致”挡住的是贪心这类对个别分子失灵的做法；下界一侧是 Erdős 的经典观察——分子取分母减一即可逼出，因此全部难点集中在一致上界。结论即：导读里”几枚硬币”的谜底双对数既够用又不可能更省，1950 年以来的悬案就此闭合。
证明了 Erdős 的短埃及分数猜想：对充分大的 @@M@@b@@，任何真分数 @@M@@a/b@@ 都能写成至多 @@M@@O(\log\log b)@@ 个互不相同的单位分数之和，且这一双对数阶已是最优；附带确定了 1 的 @@M@@k@@ 项展开个数与”指定分母”缺失量均按双指数增长。
埃及分数（Egyptian fraction）指把正有理数写成互不相同的单位分数（unit fraction）之和的展开。贪心算法（greedy algorithm）保证展开存在，但项数可能很长。对整数 @@M@@1\le a<b@@，令 @@M@@N(a,b)@@ 为 @@M@@a/b@@ 所需的最少项数，@@M@@N(b)=\max_{1\le a<b}N(a,b)@@ 度量分母固定、分子变化时的最坏情形。1950 年，Erdős 报告了 de Bruijn 的上界 @@M@@N(b)\ll\log b/\log\log\log b@@，随后自己改进为 @@M@@N(b)\ll\log b/\log\log b@@，并猜想正确的阶是双对数 @@M@@O(\log\log b)@@；他同时用分子 @@M@@a=b-1@@ 证明了匹配的下界。此后最优的一致上界长期停留在 Vose 1985 年的 @@M@@N(b)\ll\sqrt{\log b}@@（Tenenbaum–Yokota 1990 年则是在同时限制分母大小的前提下做短）。该问题被整理为 Erdős 问题 304，本文彻底解决它。
主定理：存在绝对常数 @@M@@c_1,c_2>0@@ 与 @@M@@b_0@@，使得对一切整数 @@M@@b\ge b_0@@，
@@M@@Dc_1\log\log b\le N(b)\le c_2\log\log b.@@
上界对每个分子 @@M@@1\le a<b@@ 一致成立，展开各项分母互不相同且无大小限制；当分子可以变化时，该阶已无法改进。
计数推论：记 @@M@@F(k)@@ 为将 1 写成恰含 @@M@@k@@ 个互不相同单位分数之和的方式数，则存在绝对常数 @@M@@c,C>0@@，对一切充分大的 @@M@@k@@ 有
@@M@@Dck\le\log\log F(k)\le Ck,@@
即 @@M@@F(k)@@ 呈双指数增长（doubly exponential），回答了 Erdős–Graham 的计数估计问题。
指定分母推论：记 @@M@@v(k)@@ 为最小的、从不出现在 1 的任何 @@M@@k@@ 项互异展开之分母中的整数（@@M@@\ge2@@；prescribed denominator，指定分母问题），则对充分大的 @@M@@k@@，
@@M@@D\exp\bigl(\exp(k/600)\bigr)\le v(k)\le 1+k^{2^{k-1}},@@
且 @@M@@\frac{\log 2}{257}\le\liminf_{k\to\infty}\frac{\log\log v(k)}k\le\limsup_{k\to\infty}\frac{\log\log v(k)}k\le\log 2@@，故 @@M@@\log\log v(k)=\Theta(k)@@。
下界是经典乘法论证：把 @@M@@(b-1)/b@@ 的 @@M@@k@@ 项展开补上 @@M@@1/b@@，对分母逐项累乘可推出 @@M@@b\le(k+1)^{2^k}@@，故 @@M@@k\gtrsim\log\log b@@；全部困难在一致上界，分三步走。
先做贪心预处理：置 @@M@@S=\log b@@，执行 @@M@@O(\log S)@@ 步贪心算法后，余项要么化为零，要么呈 @@M@@A/C@@，且 @@M@@C@@ 落入预设区间 @@M@@[e^{D_CS},e^{2D_CS}]@@。再证”稠密族”命题：可构造辅助整数 @@M@@M@@（@@M@@e^S<M\le e^{D_MS}@@）及占 @@M@@\{1,\dots,X\}@@（@@M@@X=e^{D_XS}@@）至少八分之七的集合 @@M@@G@@，使每个 @@M@@u\in G@@ 对应的 @@M@@u/(MC)@@ 都有 @@M@@O(\log S)@@ 项展开。最后由稠密通向全体：令 @@M@@g=\lfloor X/(AM)\rfloor@@，则 @@M@@n=gAM\in[X/2,X]@@，在 @@M@@n@@ 的全部二拆分中躲开例外集，选出两端都落在 @@M@@G@@ 内的一组，两段展开相加表示 @@M@@n/(MC)=gA/C@@，把每个分母同乘 @@M@@g@@ 便得 @@M@@A/C@@ 的展开；拼上贪心前缀，用 Takenouchi 的经典恒等式消除重复分母（项数不减），总长 @@M@@O(\log\log b)@@。
稠密族靠逐层下降（descent）：分子上限自 @@M@@X_0=e^{D_XS}@@ 起每层乘 @@M@@\rho=e^{-\eta m}@@（@@M@@m=S/\log S@@），共 @@M@@O(\log S)@@ 层；高层分母因子取 @@M@@Q=C@@，低层取 @@M@@Q=1@@（低层展开的分母全体乘 @@M@@C@@ 即可搬回）。发动机是一条初等恒等式：对 @@M@@t\mid M@@，取 @@M@@z=\lceil Qt/u\rceil@@、@@M@@h=uz-Qt@@，则 @@M@@\frac{u}{MQ}=\frac1{(M/t)z}+\frac1z\cdot\frac{h}{MQ}@@——每吃掉一个单位分数，分子就换成 @@M@@-Qt\bmod u@@ 的最小非负剩余。@@M@@M@@ 由区间 @@M@@[S^{100},2S^{100}]@@ 内约 @@M@@m@@ 个素数之积、一千组独立随机子积与一个大 @@M@@2@@ 的幂拼成：确定性子积表配合 Erdős–Turán 偏差不等式与倒相位指数和 @@M@@\sum e(Z/n)@@ 的 van der Corput 差分估计覆盖高层；随机表覆盖低层与每个终端分子；最小的分子直接按二进制展开，用 @@M@@2@@ 的幂因子 @@M@@2^k/M=1/(M/2^k)@@。真正的难点是阻止例外分子跨层累积：剩余 @@M@@h@@ 的任何前驱 @@M@@u@@ 必整除 @@M@@C_jt+h@@，故个数受截断除数函数（truncated divisor function）@@M@@d_X(\cdot)@@ 控制。作者以 Erdős 素因子分裂法加 Rankin 加权证得一致矩估计 @@M@@\sum_{h\le Y}d_X(N+h)^r\le Ye^{S^{1/4}}@@（矩阶 @@M@@r@@ 可预先取任意大，且对平移 @@M@@N@@ 与短区间一致），经 Hölder 不等式化为例外比例递推 @@M@@\delta_j\le\epsilon+A\delta_{j+1}^{1-1/r}@@；取 @@M@@r@@ 足够大使 @@M@@d@@ 层幂次衰减可控，自底端 @@M@@\delta_d=0@@ 反向展开即得 @@M@@\delta_0\le 1/8@@，例外集全程不失控。
两个推论均由主定理派生。计数：取前 @@M@@r@@ 个奇素数之积 @@M@@Q@@，对 @@M@@(Q-1)/Q@@ 用主定理并补上 @@M@@1/Q@@，清理重复后得到 1 的短展开，其中含 @@M@@Q@@ 之倍数的分母 @@M@@n@@，因子数 @@M@@\tau(n)\ge 2^r@@；对每个真因子 @@M@@d@@ 施行分裂 @@M@@\frac1n=\frac1{n+d}+\frac1{n+n^2/d}@@，得约 @@M@@2^r@@ 个互异展开，再用单射的填充 @@M@@\frac1v=\frac1{v+1}+\frac1{v(v+1)}@@ 把长度补到一切更大的 @@M@@k@@；上界由逐项累乘的计数框给出。指定分母：预留 @@M@@1/m@@ 并让贪心前缀绕开 @@M@@m@@，余项小于一切被保留的倒数，故其任何展开自动避开这些分母，主定理负责把尾部变短，填充操作保持标记分母不丢；数值斜率 @@M@@257/\log 2@@ 出自以三素数定理为原料的直接构造，该部分技术性较强，此处从略。
按官方仓库的形式化文档（lean/docs/025.md），主定理 @@M@@N(b)=\Theta(\log\log b)@@、计数阶 @@M@@\log\log F(k)=\Theta(k)@@ 以及 @@M@@v(k)@@ 的双侧界（含 @@M@@e^{e^{k/600}}\le v(k)\le 1+k^{2^{k-1}}@@ 与斜率 @@M@@\log 2/257@@）均已在 Lean 中形式化，验证强度高。本族仅此一篇论文，三个结果同源一体：两个推论都直接调用主定理，主定理的稠密族构造同时供给了计数所需的”多因子分母”。OpenAI 官方声明”未经形式化的结果可能有问题”，本文主要结果已落入形式化范围，风险较低；论文中其余辅助性细节仍建议照常以社区核验为准。
问 1：证明里最关键也最脆弱的一步是哪里？
（答：从”稠密族”到全体分子的过渡。稠密族只覆盖长约 X 的区间里八分之七的分子，作者取 g=⌊X/(AM)⌋，在 n=gAM 的二拆分中躲开例外集。这之所以可行，全靠例外集在整条下降链上不累积——即引理由 Hölder 不等式得到的例外比例递推 δⱼ≤ε+Aδⱼ₊₁^(1−1/r)，它是全文的技术心脏，也是最该被逐行核验的地方。）
问 2：为什么必须完全不限制分母大小？
（答：Tenenbaum–Yokota 1990 在”分母不超过 4b(log b)²log log b”的同步约束下只能做到长度 (1+ε)log b/log log b；Vose 的 √log b 同样受制于构造方式。本文的下降构造允许分母指数级膨胀，正是这种自由度才把长度压进双对数。约束分母与最短长度是一对此消彼长的目标，论文明确只优化后者。）
问 3：”分母充分大”这一假设能去掉吗？
（答：构造常数 D_C、D_M、D_X 与矩阶 r、S=log b 的下界是按顺序固定的，小 b 处构造确实可能失真。但 N(b) 是确定的整数函数，有限多个小例外不影响任何渐近结论；论文不给出显式 b₀，这一假设是便利而非实质障碍。）
问 4：相对 Vose 1985，真正的新意是什么？
（答：机制换了：此前的工作（Erdős 的阶乘除数、Tenenbaum–Yokota 的逐次逼近）按”大小”选除数，本文按”残差”选除数——M 的除数 t 产生残差 −Qt mod u，用素数积与随机子积的残差分布保证多数分子有许多小残差可选，再配合平移一致的除数函数矩估计压制例外累积。这不是常数打磨，而是选择策略的更换。）
问 5：这种 AI 生成证明最可能以什么方式出错？
（答：典型风险在常数依赖链：构造常数、矩阶 r、S 下界必须依次固定，任何一步循环依赖都会使递推失效；Erdős–Turán 偏差不等式与 van der Corput 差分估计的参数配合也是易错点。缓解因素是主定理与两条推论均已在 Lean 中形式化（lean/docs/025.md），核心声明机器可查。）
问 6：下游推论和谁会用到它？
（答：主定理直接供给两条推论：1 的 k 项展开个数 F(k) 的双对数阶 Θ(k)（闭合 Konyagin 的 k/log k 下界与 Elsholtz–Planitzer 的 O(k) 上界），以及指定分母函数 v(k) 的双指数增长（把 van Doorn–Tang 的 exp(ck²) 下界推进到 exp(exp(ck))）。做筛法、除数函数矩估计与加性数论的人会关注其技术遗产。）
总评
一项把 1950 年 Erdős 猜想连同两个 Erdős–Graham 计数问题一并闭合的工作，机制新、闭环干净、核心已形式化，分量十足；最大风险在未形式化的辅助细节，尤其是 257/log 2 斜率所依赖的显式构造，仍需社区核验。