2026/06/16 8:37
エジプト分数
RSS: https://news.ycombinator.com/rss
要約▶
Japanese Translation:
古代のエジプト人は、Ahmes パピルス（約3800年前の文献）などに記録されているように、単位分数（$1/n$ 型の和）に依存する独自の算術体系を利用していました。この記号法には汎用的な分数記号がなく、反復ユニットの使用も制限されていましたが、最近の分析は彼らの方法が非効率的であったという見方を挑戦しています。代わりに、最適ではない貪欲法（不必要に長い結果をもたらす可能性）を用いるのではなく、エジプト人は乗算と倍増表に関する二進展開に基づく高度な技術を採用していました。例えば、$21 \times 23$のような複雑な計算においては、数を2のべき乗の和へと展開して偶数倍を効率的に計算しました。さらに、それらの単純な分数加算規則（表現の結合と偶数分母への対応）も現代の計算論理と合致します。究極的には、証拠はエジプトの体系が2のべき乗の展開を利用した根本的に洗練された方法であり、現代のアルゴリズムがこれらの古代戦略からの直接の改良であるとともに、彼らの数学的知恵を裏付けていることを示唆しています。
本文
アーム紙莎草書とエジプト分数のアルゴリズム再考
概要
アーム紙莎草書片（Ahmes papyrus）は、約 3800 年前に記された現存する最も古い数学文献の一つです。本書の主要な内容には、奇数 $n$ に対する分数 $\frac{2}{n}$ の値を示した表が含まれています。当時のエジプト人は単位分数 $\frac{1}{k}$ やその和のみを表現し、同じ単位分数を 2 つ以上使うことは禁じられていました（例：$\frac{3}{5} = \frac{1}{2} + \frac{1}{10} = [2, 10]$）。
既存のアルゴリズムと課題
一般的な分数を単位分数和に変換する単純な方法として「貪欲法（greedy algorithm）」があります。これは、対象分数より小さい最大の単位分数を見つけ、残りの分を再計算し続ける手法です。
- 常に解を導くが、最適ではない場合が多い
- 例：$\frac{2}{9}$ の場合
- 貪欲法：$\frac{1}{5} + \frac{1}{45} = [5, 45]$（分母が大きい）
- 実際：$\frac{1}{6} + \frac{1}{18} = [6, 18]$（計算しやすい）
- 例：$\frac{19}{20}$ の場合
- 貪欲法の結果は非常に複雑になる（$[2, 3, 9, 180]$ など）。
- より簡潔な解 $[15, 20]$ や $[2, 4, 5]$ などがある。
- 例：$\frac{2}{9}$ の場合
アーム紙莎草書の表の有用性
著者は、「なぜすべての可能な商ではなく、特に $\frac{2}{n}$ の形を強調するのか」という疑問を持ちましたが、以下の理由から $\frac{2}{n}$ の表さえあれば、任意の有理数を展開できる と結論付けました。
表を使う場合の計算ロジック
- 足し合わせ: 2 つの分数表現を連結する（重複した単位分数は除去または処理する）。
- 偶数の削除: $\frac{1}{2n} + \frac{1}{2n}$ は $\frac{1}{n}$ に変換できる。
- 倍算: 分数を 2 倍するには、加算操作の繰り返しを行う。
- 分子が偶数の場合 ($\frac{a}{b}$): まず $\frac{a/2}{b}$ を計算し、結果を 2 倍する。
- 分子が奇数の場合 ($\frac{a}{b}$): $\frac{a-1}{b}$ を計算した後、$\frac{1}{b}$ を足す。
実用例：$\frac{19}{20}$ の展開
表を利用し、上記の手順（試行錯誤・グライディング）を繰り返すことで以下のように導き出せます。
- $\frac{19}{20} \xrightarrow{+ \frac{1}{20}} \frac{18}{20} + \frac{1}{20}$
- ...（省略）...
- 表より $\frac{2}{5} = [3, 15]$, $\frac{2}{3} = [2, 6]$ を利用して構築する。
- 最終的な簡潔な表現: $\frac{19}{20} = [2, 4, 5]$
代替アルゴリズム：2 進数展開
エジプト人は乗算において 2 進数の概念（倍加と +1 の繰り返し）を用いていたと考えられます。これを利用すると、$\frac{19}{20}$ は以下のように分解できます。 $$ \frac{19}{20} = \frac{16}{20} + \frac{2}{20} + \frac{1}{20} $$
結論
- $\frac{2}{n}$ の表を基にすれば、あらゆる割り算問題の解は導き出せます。
- 最初から全ての商を表を作る必要はなく、$\frac{2}{n}$ を持つだけで十分です。
- この手法は本質的に、現代の「分子を 2 のべき乗の和に分解する」アプローチと類似しています。
補遺 (Addenda)
- 2026 年 3 月 17 日: トピックに関する追加情報。
- 2026 年 6 月 17 日: 提案したアルゴリズムは、古代エジプト人が乗算を行っていた方法（2 進数ベースの倍加）と非常に類似していることが判明しました。著者はより詳細な内容は別途新規の記事でまとめています。