エジプト分数計算機
古代の貪欲アルゴリズムを使って、任意の分数を相異なる単位分数の和に変換します。これは 3500 年以上前のエジプト数学者が用いた方法です。
分子と分母を入力すると、分数を相異なる単位分数(1/n の形)に分解します。
エジプト分数計算機
古代の貪欲アルゴリズムを使って、任意の分数を相異なる単位分数の和に変換します。これは 3500 年以上前のエジプト数学者が用いた方法です。
エジプト分数について
エジプト分数とは、有理数を相異なる単位分数の和として表したものです。単位分数とは 1/n の形をした分数で、n は正の整数です。たとえば 2/3 = 1/2 + 1/6、4/5 = 1/2 + 1/4 + 1/20 です。3500 年以上前の古代エジプトの数学者は、このような表し方だけを用いていました。ラインド数学パピルス(紀元前 1650 年ごろ)とモスクワ数学パピルスには、書記が土地、穀物、労働などの実務計算に使ったエジプト分数の分解表が多数収録されています。
エジプト人は、整数の分母の上に特別な象形文字(「ro」と呼ばれる楕円または口の形の字形)を置いて、単位分数 1/n を表しました。彼らはそのような記号を足し合わせることしかできず、分子が 1 以外の分数を書く方法はありませんでした。この制約が、洗練された分解表やアルゴリズムの発展を促しました。現代数学では、1 未満の任意の正の有理数は有限個の相異なる単位分数の和で表せることが示されているため、エジプト分数表示は常に可能です。
エジプト分数を計算する最も有名な方法は貪欲アルゴリズムで、フィボナッチ–シルベスター法とも呼ばれます。手順は次の通りです。分数 p/q が与えられたら、p/q を超えない最大の単位分数を求めます。つまり n = ⌈q/p⌉ とし、p/q から 1/n を引いて新しい分数を得ます。それを約分して繰り返し、余りが単位分数になるまで続けます。貪欲アルゴリズムは必ず停止し、常に相異なる単位分数を生成しますが、最短や最も美しい表現を必ず見つけるわけではありません。
例として 2/3 を貪欲アルゴリズムで分解すると、⌈3/2⌉ = 2 なので 1/2 を引きます。2/3 − 1/2 = 4/6 − 3/6 = 1/6。結果は 2/3 = 1/2 + 1/6 です。4/5 では、⌈5/4⌉ = 2 なので 1/2 を引き、4/5 − 1/2 = 3/10。次に ⌈10/3⌉ = 4 なので 1/4 を引き、3/10 − 1/4 = 6/20 − 5/20 = 1/20。したがって 4/5 = 1/2 + 1/4 + 1/20 です。
エジプト分数は今も活発な研究対象です。エルデシュ–ストラウス予想(1948)は、4/n は常にちょうど 3 つの単位分数の和で表せると主張します。これは少なくとも 10^14 までの n で検証されていますが、一般の場合の証明はまだありません。エジプト分数表示における最小項数、最適表現での最大分母、短い表現を効率よく求めるアルゴリズムなども継続的な研究テーマです。
純粋数学を超えて、エジプト分数表示は公平分割の問題にも応用できます。土地、時間、お金のような資源を全体の単位分数に対応する割合へ分けるのは、明確で扱いやすい方法です。また、エジプト分数は特定の組合せゲームの解析や、完全数や調和級数に関係する数論の問題にも現れます。
エジプト分数の例
代表的な 4 つの分数を、貪欲アルゴリズムと段階的な追跡付きで分解します。
| 分数 | エジプト分数 | 注記 |
|---|---|---|
| 2/3 | 1/2 + 1/6 | ⌈3/2⌉ = 2 → 1/2 を引く → 余り 1/6。古典的な 2 項分解。ラインド・パピルスの表にも見られます。 |
| 5/8 | 1/2 + 1/8 | ⌈8/5⌉ = 2 → 1/2 を引く → 余り 5/8 − 4/8 = 1/8。貪欲アルゴリズムによるすっきりした 2 項結果です。 |
| 7/12 | 1/2 + 1/12 | ⌈12/7⌉ = 2 → 1/2 を引く → 7/12 − 6/12 = 1/12。別の美しい 2 項表現です。 |
| 4/5 | 1/2 + 1/4 + 1/20 | 3 項が必要です。手順 1: 1/2。手順 2: 3/10 − 1/4 = 1/20。結果: 1/2 + 1/4 + 1/20 = 10/20 + 5/20 + 1/20 = 16/20 = 4/5 ✓。 |
エジプト分数計算機の使い方
- 「分子」欄に分数の分子(上の数)を入力します。正の整数である必要があります。
- 「分母」欄に分数の分母(下の数)を入力します。分子より大きい正の整数である必要があります。
- 「エジプト分数に変換」をクリックします。結果パネルには、分解結果、和が元の分数と一致することの検証、貪欲アルゴリズムの手順、総項数が表示されます。
- 段階的な追跡を読んで、貪欲アルゴリズムが各単位分数をどのように順番に引いていくかを確認します。
- 「計算機をリセット」をクリックすると入力が消去され、別の分数を試せます。
エジプト分数計算機 FAQ
エジプト分数とは何ですか?
エジプト分数とは、有理数を相異なる単位分数の有限和として表したものです。単位分数は 1/n の形をした分数で、n は正の整数です。たとえば 3/4 = 1/2 + 1/4 です。古代エジプト人は、分子が 1 以外の分数を表せる記法を持っていなかったため、この表記法だけを使っていました。
すべての分数にエジプト分数表示はありますか?
はい。すべての正の有理数は、有限個の相異なる単位分数の和として表せます。これは、有限回で必ず終了する貪欲アルゴリズムによって証明されています。表現は一意ではなく、多くの分数には項数の異なる複数の有効な分解があります。
エジプト分数の貪欲アルゴリズムとは何ですか?
貪欲アルゴリズム、またはフィボナッチ–シルベスター法は、残りの値を超えない最大の単位分数を繰り返し引く方法です。分数 p/q では、最初の項は 1/⌈q/p⌉(⌈⌉ は切り上げ)になります。残りを約分して、この残りが単位分数になるまで繰り返します。
貪欲アルゴリズムは常に最短表現を見つけますか?
いいえ。貪欲アルゴリズムは必ず終了し、有効な表現を与えますが、項数が最少とは限りません。たとえば、貪欲アルゴリズムでは 5/121 = 1/25 + 1/757 + ... となりますが、より短い別表現があります。大きな分子に対して最小項表現を求めるのは計算的に困難です。
分子が分母より大きくてもいいですか?
古典的なエジプト分数表示は真分数(分子 < 分母)に適用されます。1 より大きい分数は、まず整数部分を取り出し、残りの分数部分をエジプト分数で表せます。この計算機は分子が分母より小さい真分数を扱います。
エルデシュ–ストラウス予想とは何ですか?
エルデシュ–ストラウス予想(1948)は、すべての整数 n ≥ 2 について、4/n はちょうど 3 つの単位分数の和として 4/n = 1/a + 1/b + 1/c と書けると述べています。これは少なくとも 10^14 までのすべての n で計算的に確認されていますが、一般的な証明は数論の未解決問題の一つです。