阿梅斯是否找到了 2/n 的最优展开式？

来源：Hacker News / Mark Dominus (陶敏修) 日期：2026年3月17日

背景

几年前，作者 Mark Dominus（陶敏修）曾深入探讨过《莱因德数学纸草书》（Rhind Mathematical Papyrus, 简称 RMP）。这部古埃及数学文献中包含了一张著名的表格，其核心功能是将分数 $\frac{2}{n}$ 表示为一系列分子为 1 的分数之和（即“单位分数”，unit fractions）：

$$ \frac{2}{n} = \frac{1}{a_1} + \frac{1}{a_2} + \dots + \frac{1}{a_k} $$

在之前的讨论中，作者指出，获取高质量的 $\frac{2}{n}$ 表示法并非易事，它需要搜索、数论知识以及大量的试错。例如，$\frac{2}{105} = \frac{1}{90} + \frac{1}{126}$ 这一等式是否成立，在当时看来并不直观。

带着对古埃及数学智慧的敬意，作者提出了一个核心疑问：古埃及数学家阿梅斯（Ahmes，RMP 的抄写者/作者）是否为所有的 $\frac{2}{n}$ 值找到了理论上最优的展开式？或者说，埃及人是否遗漏了一些可以改进的空间？

核心内容

经过查证，答案可能是“是的”，但也伴随着重要的保留意见。

作者引用了 Abdulrahman A. Abdulaziz 的文章《论埃及人将 2/n 分解为单位分数的方法》（On the Egyptian method of decomposing 2/n into unit fractions），其中指出了一个具体的案例：

对于 $\frac{2}{95}$，RMP 给出的展开式为： $$ \frac{2}{95} = \frac{1}{60} + \frac{1}{380} + \frac{1}{570} $$

然而，从纯数学角度看，后两项可以合并： $$ \frac{1}{380} + \frac{1}{570} = \frac{1}{228} $$

因此，$\frac{2}{95}$ 本可以写成更简洁的形式： $$ \frac{2}{95} = \frac{1}{60} + \frac{1}{228} $$

这看起来像是一个“错误”或“非最优解”，但作者指出，这可能并非失误，而是基于计算习惯的考量。

1. 埃及人的计算习惯：乘以 10 的便利性 古埃及人在进行乘法运算时，经常需要乘以 10。事实上，RMP 在 $\frac{2}{n}$ 表格之后，紧接着就提供了一个较短的 $\frac{n}{10}$ 展开表。

• 展开式 A ($\frac{1}{60} + \frac{1}{380} + \frac{1}{570}$)：每一项的分母都能被 10 整除，因此在乘以 10 时极其方便。
• 展开式 B ($\frac{1}{60} + \frac{1}{228}$)：分母 228 不能被 10 整除，乘以 10 时会变得复杂。

2. 分母奇偶性的偏好 有迹象表明，阿梅斯倾向于使用偶数分母的分数。这是因为埃及人常用的乘法方法是“重复加倍法”（repeated doubling），处理偶数分母会更加容易。

然而，埃及人在乘法中有时也会使用“乘以 10”的方法。在这种情况下，展开式 A 同时兼顾了“加倍”和“乘以 10”的便利性，而展开式 B 则在后者上处于劣势。

结论的局限性 由于阿梅斯并未解释他选择特定展开式的标准或偏好，我们很难断定从阿梅斯的视角来看，某个条目究竟是“最优”还是“次优”。他的选择标准至今仍是未解之谜。

关键要点

• 数学上的非最优性：从现代纯数学角度看，RMP 中部分 $\frac{2}{n}$ 的展开式并非项数最少或分母最小的“最优解”。例如 $\frac{2}{95}$ 的三单位分数展开可以简化为两单位分数展开。
• 计算工具的制约：古埃及数学是实用导向的。埃及人依赖“加倍”和“乘以 10”作为基本运算手段。
• 分母设计的策略性：阿梅斯可能特意选择了那些分母能被 10 整除的展开式，以便在后续涉及 $\times 10$ 的乘法运算中简化步骤。
• 偶数分母的偏好：为了适应“重复加倍”的乘法算法，埃及人可能更青睐偶数分母，尽管这有时会增加单位分数的数量。
• 标准的不透明性：由于缺乏阿梅斯本人的理论说明，我们无法完全还原其“最优”的定义。他的“最优”可能指的是“计算过程中的最便捷”，而非“数学形式上的最简洁”。

意义与影响

这一讨论揭示了古代数学文献解读中的一个核心挑战：不能用现代数学的“简洁性”标准去简单评判古代数学家的“正确性”。

1. 算法与表示法的分离：现代数学往往追求表达式的极简（如最少项数），而古代实用数学可能追求计算过程的极简。RMP 中的表格不仅是数学结果，更是计算工具的一部分。
2. 历史语境的重要性：理解古埃及数学必须结合其当时的算术体系（如埃及分数系统、加倍法、乘以10法）。脱离这些语境，看似“错误”或“冗余”的记录，实际上可能是经过深思熟虑的优化选择。
3. 对“最优解”定义的反思：在算法设计和数学史研究中，“最优”是一个多维度的概念。它可能涉及项数、分母大小、奇偶性、以及与其他运算（如乘法表）的兼容性。阿梅斯的工作提醒我们，数学优化往往受制于当时的计算基础设施。

总之，阿梅斯是否找到了“最好”的展开式，取决于我们如何定义“好”。如果定义为“项数最少”，答案是否定的；但如果定义为“在埃及算术体系中最便于后续计算”，那么他的选择很可能就是当时语境下的最优解。