エジプト式分数

**エジプト式分数**（エジプトしきぶんすう、単に**エジプト分数**とも、）とは、いくつかの異なる単位分数（分子が 1 の分数）の和、あるいは分数をそのように表す方式を意味する。例えば、通常  で表す分数を  +  などと表す。任意の正の有理数はこの形式で表すことができるが、表し方は一意ではない。この形式で分数を扱う方法は、古くは古代エジプトのリンド・パピルスに見られ、ヨーロッパでは中世まで広く用いられた。現代でも数論の分野において、エジプト式分数に端を発する数学上の未解決問題が多く残されている。

## 単位分数展開
以下、特に断らない限り、単に「分数」といった場合、正の真分数、すなわち 0 より大きく 1 より小さな分数のみを考えているものとする。

例えば  は単位分数の和として  +  と表せるが、エジプト式分数では同じ単位分数を繰り返し用いることはせず、 =  +  のように表す。いかなる分数に対してもこのような単位分数展開が必ず存在することは自明ではないが、後述するように今日ではあらゆる分数が無数に多くの単位分数展開を持つことが証明されている（#強欲算法の節参照）。さらに例を挙げると、 =  +  +  =  +  +  +  であって、前者の展開は項数が最小であり、後者の展開は最大分母の値が最小である。このように、どのような単位分数展開が最も「単純」であるか、は明らかではない。

## 古代エジプト

エジプト中王国では、ホルスの目を用いたそれ以前の不完全な分数体系（ (*k* = 1, 2, …, 6) の和で表す）に替わって、エジプト式分数による方法が発達した。エジプト式分数が見られる古い文献としては、エジプト数学革巻き、モスクワ・パピルス、、、がある。特に有名なリンド・パピルスは、紀元前1650年頃に書かれたものであり、5 以上 101 以下の奇数 *n* に対して  を単位分数の和で表している（#リンド・パピルスの展開一覧の節参照）。

古代エジプト人が、いちいちこのように単位分数の和で表した理由については、よく分かっていない。ただ、リンド・パピルスにはパンを分け合う問題がいくつもあって、実際にパンを分け合うにはエジプト式の表示が理に適っている場合がある。例えば、リンド・パピルスの問題3は、6斤のパンを10人で分け合うとき、1人分は  +  であることを答とする。6斤のパンをそれぞれ5等分するよりも、5斤を1斤づつ2等分して1片ずつ取り、残りの1斤を10等分する方が簡単である。一方では、合理的とは思えない表示を選ぶ場合もある。リンド・パピルスの問題4は、7斤のパンを10人で分け合う問題であるが、 +  ではなく、 +  を答としている。 は単位分数ではないから、この表示は狭い意味でエジプト式ではないが、古代エジプト人にとって  は特別な数であったらしい。 =  +  であることを知っていたにもかかわらず、好んでこの数を用いている。

リンド・パピルスにおける  の表を参照すれば、分母が 100 以下の奇数である多くの分数が、機械的に単位分数の和で表せる。例えば、表より  =  +  であるから、
: =  + ( + ) + ( + ) =  +  +  =  +  + 
と計算できる。リンド・パピルスにおいて、 に特に注意が払われているのは、アルゴリズムが2倍を基礎においているためであろう、とも考えられている。

### 表記
古代エジプト人たちは、 を唯一の例外として、単位分数のみを表記した。単位分数  を表すために、神官文字では点を、神聖文字では
D21
を *n* を表す記号の上に置いた。例えば

といった具合である。 と  のみ、特別なグリフ

を持つ。 のグリフは、正確には右の縦線が若干長い。長い方が 1 を、短い方が  を表し、全体としてはその和  の逆数を意味している。

### 計算方法
現代の数学史家は、リンド・パピルスなどの古文書を調べ、古代エジプト人のエジプト式分数による計算方法がどのようなものであったかを研究した。特に、リンド・パピルスに書かれた  の表現がどのように得られたのかに注目し、様々な説を立てている。古代エジプト人が、分数を単位分数の和に表す系統的な方法を知っていたかどうかは不明であるが、少なくとも単一の方法のみを用いたのではなさそうである。恒等式  =  +  を用いれば、単一の方法で2つの単位分数の和に表せるにもかかわらず、分母が大きくなるのを嫌ってか、リンド・パピルスでは3項あるいは4項の和に表しているものもある。数学史家たちの分析によれば、分母が素数の場合と合成数の場合で、リンド・パピルスの著者は異なる方法を用いており、それぞれの場合においても複数の方法を用いている。

#### 分母が奇素数の場合(1)
小さな奇素数 *p* = 2*m* + 1 (3, 5, 7, 11, 23) に対しては、恒等式  =  +  が用いられている。この方法は奇素数に限らず、任意の奇数に対して使用できる。

#### 分母が奇素数の場合(2)
大きめの奇素数 *p* (13, 17, 19, 29, …) に対しては、恒等式  =  +  が用いられている。ここで、*A* は  \frac{x}{y}=\frac{1}{\lceil y/x\rceil}+\frac{x-(y\,\bmod\, x)}{y\lceil y/x\rceil}
と、次々に置き換える方法である。ここで{\lceil y/x \rceil}の括弧は天井関数である。例えば、 に強欲算法を適用すると、
: =  +  + 
となる。

フィボナッチは、強欲算法の手続きが有限回で終了することの証明を与えてはいない。後にシルベスターはこの方法を再発見し、有限回で終了することの証明も与え、1880年に発表した。実際、一度の手続きで分子は少なくとも 1 小さくなるので、 は多くとも *a* 個の単位分数の和で表せる。2人の名を取って、強欲算法は「フィボナッチ＝シルベスターのアルゴリズム」とも呼ばれる。

フィボナッチ自身も注意したように、強欲算法はときに複雑な単位分数展開を与える。例えば、 に強欲算法を適用すると、
: =  +  +  +  + 
となるが、ずっと簡潔な単位分数展開
: =  +  + 
を持つ。強欲算法は単純で分かりやすく、任意の分数が異なる単位分数の和で表せることの易しい証明も与えるが、このように複雑な展開になる場合もあるため、フィボナッチ自身は、最初の分解の後は他の方法を適用することを勧めている。

単位分数  に強欲算法を適用すると、恒等式
: =  + 
を得る。これより、単位分数は2つの単位分数の和に表せるので、任意の分数は無数に多くの単位分数展開を持つ。

## 現代
現代の数論の研究者は、エジプト式分数に関する多くの問題について研究している。例えば、単位分数展開の項数や分母の大きさを評価すること、ある性質を持った単位分数に限った展開を与えること、単位分数展開のアルゴリズムを与えること、などである。の本『数論未解決問題の事典』第3版 D11 に、これまでの研究成果と未解決問題の概略がある。

### 研究成果
任意に与えられた分数  は、単位分数展開として、その最大分母が高々
:O \left( \frac{y\log^2 y}{\log\log y} \right)
であるものを持つ。また、項数が高々
:O \left( \sqrt{\log y} \right)
であるものを持つ。ここに、*O* はランダウの記号である。

グラハムは、2以上の任意の自然数 *n* に対し、分母を *n* 乗数に限った場合にエジプト式分数として表せるような有理数を特徴付けた。例えば、有理数 *q* がいくつかの平方数（1 を含める）の逆数の和として表せるための必要十分条件は、*q* が2つの半開区間の和集合
:\left[ 0,\frac{\pi^2}{6}-1 \right) \cup \left[ 1,\frac{\pi^2}{6} \right)
に含まれることである。ここに現れる \frac{\pi^2}{6} は、リーマンゼータ関数 *ζ* の特殊値 ''ζ''(2) である。

エルデシュとグラハムは、2 以上の整数の集合を有限個の集合に分割した場合、それがどのような分割であっても、そのうちの一つの集合の有限部分集合 *S* を取って
:\sum_{n\in S} \frac{1}{n} =1
とできると予想した。予想の内容は、よく次のように言い換えられる。「単位分数を有限個の色でどのように色分けしても、そのうちの単色のみを用いて 1 の単位分数展開が得られる。」この予想は2003年に証明された。

### 未解決問題

エジプト式分数に関するオープンプロブレムを以下に挙げる。

#### 複雑性クラス
任意の分数に対し、項数や最大分母が最小の単位分数展開を総当たり法で見つけることはできるが、この問題が計算複雑性理論においてどの複雑性クラスに属するのか、例えば多項式時間で見つけられるかは知られていない。

#### エルデシュ＝シュトラウス予想

エルデシュ＝シュトラウス予想は、すべての整数  に対し
:
  \frac{4}{n} = 
      \frac{1}{x} 
    + \frac{1}{y} 
    + \frac{1}{z}

は正の整数解を持つ、という予想である。エルデシュ＝シュトラウス予想が成り立つことは  まで確かめられている。また、 が  を法として , , , , ,  に合同な場合を除き、予想が成り立つことが示されている。

#### シェルピンスキー予想
ヴァツワフ・シェルピニスキは、2以上の任意の整数 *n* に対し、
: =  +  + 
は正の整数解を持つと予想した。さらに「任意の整数 *k* に対し、*n* が十分大きければ、真分数  は3つ以下の単位分数の和で表せる」とも予想した。

分母が奇数である単位分数に限れば、その和も分母が奇数になる。逆に、分母が奇数である分数は、分母が奇数である単位分数展開が可能であることが知られている。しかし、分母を奇数に限った場合に、強欲算法が有限回で終了するかどうかは知られていない。

### 数学パズル
単位分数展開は、しばしば数学パズルの題材にもなる。特に人気があるのは、1 の単位分数展開である。1 に対して強欲算法を用いると、有名な表示
:1 =  +  + 
を得る。

用いることができる単位分数に制限をかけると、より深みのある類似の問題が多く考えられる。例えば、分母を奇数に限ると、強欲算法によって 1 は13個の単位分数の和に表され、最後の項の分母は
:209525411280522638000804396401925664136495425904830384693383280180439963265695525939102230139815
となる。項数が最小なのは9項のものであり、そのようなものは全部で5通りあることが知られている。その中でも、最大分母が最小であるものは
:1 =  +  +  +  +  +  +  +  + 
である。項数を度外視した場合、最大分母が最小であるものは、11項の和
:1 =  +  +  +  +  +  +  +  +  +  + 
である。

1 の単位分数展開で分母の和が 50 および 100 となるものは、それぞれ
:1 =  +  +  +  + ,
:1 =  +  +  +  +  + .
および
:1 =  +  +  +  +  + ,
:1 =  +  +  +  +  +  + ,
:1 =  +  +  +  +  +  + .
である。

なお、正整数の逆数の和である調和級数は無限大に発散するから、（真分数に限らず）任意の正の有理数は単位分数の和で表すことができる。ただし、調和級数の発散は非常にゆっくりであるため、比較的小さな有理数であっても多くの単位分数が必要になる。例えば 10 を単位分数の和で表すには、2万個を超える項が必要である。

### 計算法の例

:: \frac{a}{\;n\;} = \frac{1}{\;x\;} + \frac{1}{\;y\;} + \frac{1}{\;z\;} 
              

に対して，次の計算法が報告されている。

:: x=\bigg\lfloor \frac{\;n\;}{a} \bigg\rfloor + b,  
              

:: y= \frac{\;2\,c\,n\,x\;}{d},  
              

:: z= \frac{\;2\,c\,n\,x\;}{\;2\,c\,(a\,x-n)-d\;\;},  
              

:: b=1,2,3,\cdots. \; \; \; \; c=1,2,3,\cdots. \; \; \; \; d=1,2,3,\cdots, c\,(a\,x-n).  
   

上記の記号で，\lfloor \star \rfloor は，床関数である。
*y* の右辺  および，
*z* の右辺  が整除されれば解を得る。

## 脚注

### 注釈

### 出典

## 参考文献
*
*
* - 原タイトル：*Unsolved Problems in Number Theory*、原著第3版の翻訳。原著は2004年発行でやや情報が古く、エルデシュ＝グラハムの問題が未解決とある。
*
*
*
*
*
**
*

## 関連文献

*.
*.
*.
*.
*.
*.
*
*.
*.
*.
*.
*
*.
*.
*.
*.
*.

## 関連項目

*アルマゲスト
*算盤の書
*調和数 (発散列) - 最初のいくつかの単位分数（ を含む）の和。
*調和級数
*半素数
*リンド数学パピルス

## 外部リンク
*
*
*WolframAlpha - 分数を入力すると、エジプト式分数を出力する（おそらく強欲算法を用いている）。
*Kevin Brown, Egyptian Unit Fractions
*David Eppstein, Egyptian Fractions
*R. Knott, Egyptian fractions