エルデシュ＝シュトラウス予想のソースを表示

{{unsolved|数学|2= 全ての整数 {{math|''n'' ≥ 2}} に対して {{sfrac|4|''n''}} = {{sfrac|1|''x''}} + {{sfrac|1|''y''}} + {{sfrac|1|''z''}} は正整数解を持つか？}}
'''エルデシュ＝シュトラウス予想'''（エルデシュ＝シュトラウスよそう、{{lang-en|Erdős–Straus conjecture}}）とは、[[数論]]上の[[数学上の未解決問題|未解決問題]]のひとつである。[[予想 (数学)|予想]]は、2以上の全ての[[整数]] {{mvar|n}} に対し、
<math display=block>\frac{4}{n}=\frac{1}{x}+\frac{1}{y}+\frac{1}{z}</math> 
を満たす正の整数 {{mvar|x}}、{{mvar|y}}、{{mvar|z}} が存在するというものである。
すなわち、{{math|4/''n''}} という数が3つの[[単位分数]]の[[加法|和]]として表せるかどうかということである。

エルデシュ＝シュトラウス予想という名称は[[1948年]]にこの予想を提唱した[[ポール・エルデシュ]]と{{仮リンク|エルンスト・G・シュトラウス|en|Ernst G. Straus}}に由来するが、その内容はより古い時代の数学と関連する。予想のような単位分数の和は[[エジプト数学]]で用いられたことから、[[エジプト式分数]]として知られる。エルデシュ＝シュトラウス予想は{{仮リンク|ポール・エルデシュによる予想の一覧|en|List of conjectures by Paul Erdős|label=エルデシュによって提唱された多くの予想}}のひとつであり、また[[ディオファントス方程式]]に関する数学上の多くの未解決問題のひとつでもある。

全ての {{mvar|n}} に対しての解が知られているわけではないものの、ある無限[[等比数列]]の無限の多くの値には解の簡単な公式があり、これらの既知の値をスキップすることで[[反例]]の探索を高速化することが可能である。さらに、すべての合成数の反例はその[[素因数]]により小さな反例を持つはずであるから、{{mvar|n}} が素数の場合についてのみ議論すればよい。計算機を用いた探索により、少なくとも {{math|''n'' ≤ 10<sup>17</sup>}} までは予想が成り立つことが知られている。

予想を負の単位分数まで拡張すれば成立することが知られている。また、分子が5以上となる分数に対する一般化についても研究されている。

== 背景と歴史 ==
[[有理数]]を単位分数の和に展開したものを[[エジプト式分数]]と呼ぶ。この表記法は、[[分数]]を現代的な {{sfrac|''a''|''b''}}（分子 {{mvar|a}} および分母 {{mvar|b}}）という形式ではなく、単位分数の和で表した[[エジプト数学]]に由来する。エジプト人は、{{仮リンク|リンド数学パピルス分数表|en|Rhind Mathematical Papyrus 2/n table}}などのような、単位分数に2をかけた数（現代的な表記では {{sfrac|2|''n''}} となる）に対応するエジプト式分数の表を作成していた。これらの表において、ほとんどの展開は2つか3つの項を用いていた{{sfnp|Graham|2013}}。当時のエジプト数学では分数の展開項がすべて異なることが求められており、自明な展開 {{sfrac|2|''n''}} = {{sfrac|1|''n''}} + {{sfrac|1|''n''}} が認められていなかったため、このような表が必要とされた。この（すべての項が異なるという）条件はしばしばエルデシュ＝シュトラウス予想にも付け加えられるが、{{math|''n'' > 2}} において、同じ単位分数が含まれるような {{sfrac|4|''n''}} = {{sfrac|1|''x''}} + {{sfrac|1|''y''}} + {{sfrac|1|''z''}} の解はすべて相異なる項をもつものに変換できることが知られており（[[#定式化|下記]]を参照せよ）<ref name=distinctness/>、そのような条件付けは深い意味を持たない。

エジプト人は必ずしもできるだけ少ない項数の展開を求めなかったものの、後世の数学者たちは展開に必要な最小項数に興味を持った。{{sfrac|''a''|''b''}} で表される分数は[[高々 (数学)|高々]] {{mvar|a}} 個の項の展開をもつから、{{sfrac|2|''n''}} は高々2個、{{sfrac|3|''n''}} は高々3個、{{sfrac|4|''n''}} は高々4個の項を持つ。{{sfrac|2|''n''}} は絶対に2個の項が必要であるが、{{sfrac|3|''n''}} は2項で表現できる場合と3項が必要な場合が存在する。しかしながら、{{sfrac|4|''n''}} の場合においては、すべての {{mvar|n}} に対して3項のみで展開できるのか、あるいは4項が必要な {{mvar|n}} が存在するのかは知られておらず、これがエルデシュ＝シュトラウス予想の内容となっている。それゆえ、予想はより一般化された問い（すべての {{mvar|a}} に対し、分数 {{sfrac|''a''|''b''}} の展開に必要な最小の項数はいくつか）の最初の未知な場合である{{sfnp|Graham|2013}}。

短い（ただし最短とは限らない）展開を探す方法として、[[1202年]]に[[レオナルド・フィボナッチ|フィボナッチ]]が『[[算盤の書]]』で発表した{{仮リンク|エジプト式分数の貪欲法|en|Greedy algorithm for Egyptian fractions}}が挙げられる。このアルゴリズムは各回の操作ごとに展開の和が対象の数より大きくならないような最大の単位分数を与える。各操作の後、まだ展開されていない分数の分子が小さくなるため、操作の総数は開始時の分子より大きくはなりえないが{{sfnp|Graham|2013}}、小さくなることはある。例えば、{{sfrac|3|''n''}} に対してこのアルゴリズムを適用すると、{{mvar|n}} が3を法として2と合同な際に2項を用いる展開を与えるが、実際には {{mvar|n}} の因数に3を法として2と合同なものが存在するという（より弱い条件下で）2項での展開が必ず存在する。{{sfrac|4|''n''}} という形式の場合、貪欲法は {{mvar|n}} が4を法として1と合同な際に4項の展開を与え、それ以外の場合は3項での展開を与える{{sfnp|Eppstein|1995}}。それゆえ、エルデシュ＝シュトラウス予想は {{sfrac|4|''n''}} をエジプト式分数で表す際に、貪欲法より少ない項数で表す方法があるのかという問いに言い換えられる{{sfnp|Graham|2013}}。

エルデシュ＝シュトラウス予想はポール・エルデシュとエルンスト・G・シュトラウスによって1948年に提唱され、{{harvtxt|Erdős|1950}} で発表された。{{仮リンク|オブラート・リバールド|hu| Oblath Richárd }}もまた、予想に関する初期の研究結果を1948年に執筆し、[[1950年]]に発表した論文内で述べている。その中で彼はシュトラウスとHarold N. Shapiroによる既存の計算結果を拡張し、{{math|''n'' ≤ 10<sup>5</sup>}} の場合において予想内容を検証している<ref>{{harvtxt|Obláth|1950}}; {{harvtxt|Elsholtz|Tao|2013}}</ref>。

== 定式化 ==
予想は整数 {{math|''n'' ≥ 2}} に対して、<math display=block>\frac4n = \frac1x + \frac1y + \frac1z</math>
を満たす正の整数 {{mvar|x}}、{{mvar|y}}、{{mvar|z}} が存在すると主張している。例えば、{{math|''n'' {{=}} 5}} の場合には、<math display=block>\frac45=\frac12+\frac14+\frac1{20}=\frac12+\frac15+\frac1{10}</math>という2つの解が存在する。

方程式 {{sfrac|4|''n''}} = {{sfrac|1|''x''}} + {{sfrac|1|''y''}} + {{sfrac|1|''z''}} の両辺に {{mvar|nxyz}} をかけると、問いと同値な[[多項式]] {{math|1=4''xyz'' = ''n''(''xy'' + ''xz'' + ''yz'')}} が得られる<ref group="注釈">{{mvar|x}}、{{mvar|y}}、{{mvar|z}} のうちどれが {{mvar|n}} で割り切れるかどうかを利用した、より複雑な予想法を用いたより単純なディオファントス方程式の例は {{harvtxt|Sander|1994}} を参照せよ。</ref>。

=== 相異なる単位分数 ===
古代エジプトのそれと同じように、整数 {{mvar|x}}、{{mvar|y}}、{{mvar|z}} が全て異なるという条件を付け加える研究者がいる一方で、それらが等しくてもかまわないとする研究者も存在する{{sfnp|Graham|2013}}。{{math|''n'' ≥ 3}} の場合、同じ単位分数が含まれるような解はすべて相異なる項をもつものに変換できることが知られており、{{mvar|x}}、{{mvar|y}}、{{mvar|z}} が全て異なるかどうかは問題ではない<ref name=distinctness>{{harvtxt|Eppstein|1995}}, [https://www.ics.uci.edu/~eppstein/numth/egypt/conflict.html conflict resolution section].</ref>。これは、2つの等しい単位分数が以下の2つの方法のどちらかによって置き換えることが可能だからである。
<math display=block>
\begin{align}
\frac{1}{2r}+\frac{1}{2r} &\Rightarrow \frac{1}{r+1}+\frac{1}{r(r+1)}\\
\frac{1}{2r+1}+\frac{1}{2r+1} &\Rightarrow \frac{1}{r+1}+\frac{1}{(r+1)(2r+1)}\\
\end{align}</math>
（得られる分数の分母が偶数か奇数かによって）この置き換えは、重複する分数がなくなるまで繰り返し実行できる<ref group="注釈">密接に関連した置き換え法（分数の数を減らすために、偶数分母に関して異なる展開を用いている）の証明は {{harvtxt|Eppstein|1995}} の [http://www.ics.uci.edu/~eppstein/numth/egypt/conflict.html conflict resolution] を参照せよ。</ref>。しかしながら、{{math|1=''n'' = 2}} の場合、{{sfrac|4|2}} = {{sfrac|1|2}} + {{sfrac|1|2}} + {{sfrac|1|1}} およびそれを並びかえたもののみが解となる{{sfnp|Graham|2013}}。

=== 負数解 ===
エルデシュ＝シュトラウス予想では、{{mvar|x}}、{{mvar|y}}、{{mvar|z}} のいずれもが正でなければならない。この条件は問題の難易度にとって不可欠なものとなっている。この条件がある場合でも、エルデシュ＝シュトラウス予想が困難なのは {{mvar|n}} が奇数の場合のみであり、もし負の解が認められれば、全ての奇数 {{mvar|n}} に対して以下の式が解となる<ref>{{harvtxt|Jaroma|2004}}.</ref>。
<math display=block>\frac{4}{n}=\frac{1}{(n-1)/2}+\frac{1}{(n+1)/2}-\frac{1}{n(n-1)(n+1)/4}</math>

== 計算結果 ==
もし予想が偽ならば、単に3項で展開できない {{sfrac|4|''n''}} を見つけるだけで偽であると示せる。このことを確かめるため、多くの研究者が[[力まかせ探索]]によって予想の反例を探そうと試みてきた<ref>{{harvtxt|Obláth|1950}}; {{harvtxt|Rosati|1954}}; {{harvtxt|Kiss|1959}}; {{harvtxt|Bernstein|1962}}; {{harvtxt|Yamamoto|1965}}; {{harvtxt|Terzi|1971}}; {{harvtxt|Jollensten|1976}}; {{harvtxt|Kotsireas|1999}}.</ref>。この類の探索によって、{{math|10<sup>17</sup>}} までの {{mvar|n}} において予想が成り立つことが知られている{{sfnp|Salez|2014}}。

このような探索においては、{{mvar|n}} が[[素数]]であるような {{sfrac|4|''n''}} のみを対象とすれば良い。なぜならば、{{sfrac|4|''n''}} が3項解を持つ時、全ての正の整数 {{mvar|m}} に対して {{sfrac|4|''mn''}} も同様に解が存在するからである。{{sfrac|4|''n''}} の解を見つける時は、{{sfrac|4|''n''}} の解を以下のように {{mvar|m}} で割ることで求められる。
<math display=block>\frac{4}{n}=\frac{1}{x}+\frac{1}{y}+\frac{1}{z}
\ \Rightarrow\ \frac{4}{mn}=\frac{1}{mx}+\frac{1}{my}+\frac{1}{mz}</math>

[[合成数]] {{mvar|n}} に対し、もし {{sfrac|4|''n''}} が予想の[[反例]]ならば、その任意の[[素因数]] {{mvar|p}} もまた（おそらくは力まかせ探索でより早く見つかるであろう）反例 {{sfrac|4|''p''}} を与える。それゆえ、合成数解を確かめることは不必要であり、探索において無視できる。その上、予想に対する既知の合同恒等式（[[#合同恒等式|下記]]を参照せよ）を用いることで、解を持つことが知られている値を飛ばし、探索をより効率化できる。例えば、貪欲法によって {{mvar|n}} が4を法として1と合同でない場合、{{sfrac|4|''n''}} は高々3項で展開できることが知られているため、4を法として1と合同な場合についてのみ検証すれば良い。この予想の解決に向けた取り組みの一つとして、より多くの合同算術上の特徴を調べ、研究者がより少ない試行でより高い限界まで探索できるようにすることが挙げられる。

{{sfrac|4|''n''}} 問題の相異なる解の数（{{mvar|n}} の函数と考える）も研究者によって {{mvar|n}} が小さい場合について調べられており、それによれば {{mvar|n}} が大きくなるにつれてやや不規則な増大を見せる。{{math|''n'' {{=}} 3}} の場合から数え始めると、分母が互いに異なる解の数は
: {{math|1, 1, 2, 5, 5, 6, 4, 9, 7, 15, 4, 14, 33, 22, 4, 21, 9, …}}（{{OEIS | id = A073101}}）
となる。たとえ {{mvar|n}} がより大きい場合であっても、解の数が比較的少なくなることがある。例えば {{math|1=''n'' = 73}} の時、わずか7個の解しか存在しない。

== 理論結果 ==
整数の変数を持つ[[代数方程式]] {{math|1=4''xyz'' = ''n''(''xy'' + ''xz'' + ''yz'')}} の形において、エルデシュ＝シュトラウス予想は[[ディオファントス方程式]]の一例である。[[局所大域原理]]はこれらの方程式の研究には[[合同算術]]が必要であることを示唆している。もし代数方程式が整数解をもつならば、任意の整数 {{mvar|q}} に対して法 {{mvar|q}} を取れば、法 {{mvar|q}} の際の解が得られる。逆に、もし方程式が全ての[[素数冪]] {{mvar|q}} に対して法 {{mvar|q}} 上での解を持つ場合、[[中国の剰余定理]]に関連した手法を用いてそれらの合同算術解をつなぎ合わせ整数解を得られる。与えられた問題が局所大域原理によって解くことができるかどうかは{{仮リンク|マニンの障害|en|Manin obstruction}}によって制限されるが、エルデシュ＝シュトラウス予想の場合にはこの制限は存在しない{{sfnp|Bright|Loughran|2020}}。

それにもかかわらず、この原理はエルデシュ＝シュトラウス予想の解決にはほとんど役に立たない。すべての {{mvar|n}} に対し、方程式 {{math|1=4''xyz'' = ''n''(''xy'' + ''xz'' + ''yz'')}} は任意の素数を法として容易に解くことができるが、これらの解をつなぎ合わせ、正整数解を得るのは不可能だと考えられている。しかしながら、合同算術およびそれを基にした恒等式はこの予想の研究において極めて重要な道具であることが示されている{{sfnp|Elsholtz|Tao|2013}}。

=== 合同恒等式 ===
特定の[[合同算術|合同関係]]を満たす {{mvar|n}} の値に対し、{{sfrac|4|''n''}} の展開は多項恒等式の例として即座に見つけられる。例えば、{{mvar|n}} が3を法として2と合同な際、{{sfrac|4|''n''}} は
<math display=block>\frac{4}{n} = \frac{1}{n} + \frac{1}{(n+1)/3} + \frac{1}{n(n+1)/3}</math>
と展開できる。この時、3つの分母 {{mvar|n}}、{{math|(''n'' + 1) / 3}}、{{math|''n'' (''n'' + 1) / 3}} はそれぞれ {{mvar|n}} の多項式であり、{{mvar|n}} が3を法として2と合同な限り整数となる。{{仮リンク|エジプト式分数の貪欲法|en|Greedy algorithm for Egyptian fractions}}によって {{mvar|n}} が24を法として1または17と合同な場合以外において常に3項以下の展開が得られ、また24を法として17と合同な場合においては3を法として2と合同な際の関係で補完できるため、これら2つの方法で3項以下の展開を得られない {{mvar|n}} は、24を法として1と合同となるような値のみである{{sfnp|Ionascu|Wilson|2011}}。

{{harvtxt|Mordell|1967}} によって列記された合同恒等式は、{{mvar|n}} が以下の条件のうちいずれかを満たす場合の3項でのエジプト式分数による {{sfrac|4|''n''}} の展開を与える。
*2 mod 3 (上記)
*3 mod 4
*2 または 3 mod 5
*3, 5, あるいは 6 mod 7
*5 mod 8
[[ルイス・モーデル|モーデル]]の恒等式を組み合わせることで、1, 121, 169, 289, 361, 529 mod 840 の場合以外のすべての {{mvar|n}} について {{sfrac|4|''n''}} が展開可能である。この恒等式の対象外となる最小の素数は1009である。より大きな類の合同恒等式を組み合わせることで、Webbらは予想の反例候補の{{仮リンク|自然密度|en|Natural density}}が0であると示した。変数 {{mvar|N}} が無限大に向かうと、区間 {{closed-closed|1, ''N''}} における反例候補の割合が極限において 0 に収束する傾向にある<ref name="sparse"/>。

=== 恒等式の不在 ===
もし、上記のような解が十分異なる剰余について見つけられ、合同性の完全な{{仮リンク|被覆系|en|Covering system}}を形成できれば、問題は解決される。しかし、{{harvtxt|Mordell|1967}} が示したように、{{mvar|r}} mod {{mvar|p}} に合同な {{mvar|n}} の値に対して解を与える恒等多項式は、{{mvar|r}} が {{mvar|p}} のsquare moduloに合同でないときだけ存在しうる（より正確に言うと、この種の恒等式は {{mvar|r}} が {{mvar|p}} の[[平方剰余]]でないときのみ存在しうる。）。例えば、2は3の平方でない剰余であるから、モーデルの結果によれば2 mod 3と合同な {{mvar|n}} に対して恒等式が存在しうる。しかしながら、1は3の平方剰余である（1および2 mod 3両者の二乗に等しい）から、1 mod 3と合同な「すべての」{{mvar|n}} に対して類似する恒等式は存在しえない。より一般的に、1が {{math|''n'' > 1}} となるすべての {{mvar|n}} に対して平方剰余となる以上、1が常に含まれないため合同恒等式の完全な被覆系は存在しえない{{sfnp|Mordell|1967}}。

モーデルの結果がこの問題に対する合同恒等式の形式を限定しているにもかかわらず、依然として合同恒等式を用いたエルデシュ＝シュトラウス予想解決の可能性が残されている。素数は立体数ではないため、[[ハッセ・ミンコフスキーの定理]]より、{{mvar|p}} が素数ならば、{{mvar|p}} が {{mvar|q}} の平方剰余とならないような、より大きな素数 {{mvar|q}} が存在する。証明を解決するための可能性あるアプローチのひとつとして、任意の素数 {{mvar|p}} に対してより大きな素数 {{mvar|q}} を探し、{{mvar|p}} と {{mvar|q}} に関して合同な、{{sfrac|4|''n''}} 問題の解となる {{mvar|n}} を見つけるというものがある。もしそのような例が見つかれば、全ての素数 {{mvar|p}} は予想の反例とならなくなり、したがって予想が正しいことになる{{sfnp|Ionascu|Wilson|2011}}。

=== 解の個数 ===
{{sfrac|4|''n''}} 問題に対する解の個数の平均（{{mvar|n}} までの素数について平均したもの）は{{仮リンク|上界 (数学)|en|Upper bound|label=上界}}で{{仮リンク|対数多項関数|en|Polylogarithmic function|label=対数多項的}}であると {{harvtxt|Elsholtz|Tao|2013}} によって示されている。他のディオファントス方程式に関する問題のうちいくつかに関して、解の存在は解の個数に関する[[漸近線|漸近]]{{仮リンク|下界 (数学)|en|Lower bound|label=下界}}によって示すことができるが、これは少なくとも解の個数が最低でも多項的増大を見せる時にうまく機能するもので、エルショルツとタオの結果（解の個数の増大がより遅い）からこの形の証明が成り立つ可能性は低いことがわかる。エルショルツとタオは解を {{mvar|x}}、{{mvar|y}}、{{mvar|z}} のうち1つか2つが {{mvar|n}} によって割り切れるかどうかによって分類している。{{mvar|n}} が素数の場合は、これらが唯一の可能性だが、（大概）{{mvar|n}} が合成数の場合は他の形をとる。彼らの証明は{{仮リンク|ボンビエリ＝ヴィノグラドフの定理|en|Bombieri-Vinogradov theorem}}、{{仮リンク|ブルン＝ティッチマーシュの定理|en|Brun–Titchmarsh theorem}}、および合同恒等式の仕組み（任意の[[互いに素 (整数論)|互いに素]]な2正整数 {{mvar|a}} および {{mvar|b}} と、{{math|''a'' + ''b''}} の任意の正因数 {{mvar|c}} に対して、 {{mvar|n}} が {{math|4''ab''}} を法として {{math|−''c''}} または {{sfrac|−1|''c''}} と合同な際に有効）を用いている。例えば {{math|''a'' {{=}} ''b'' {{=}} 1}} とおくと、{{mvar|n}} が4を法として3と合同な時に有効なモーデルの恒等式の1つが得られる<ref>[http://terrytao.wordpress.com/2011/07/07/on-the-number-of-solutions-to-4p-1n_1-1n_2-1n_3/ On the number of solutions to 4/p = 1/n_1 + 1/n_2 + 1/n_3]<!-- sic, unformatted math in title -->, [[テレンス・タオ|Terence Tao]], "What's new", July 7, 2011; [http://terrytao.wordpress.com/2011/07/31/counting-the-number-of-solutions-to-the-erdos-straus-equation-on-unit-fractions/ Counting the number of solutions to the Erdös-Straus equation on unit fractions], [[テレンス・タオ|Terence Tao]], July 31, 2011.
</ref>。

== 一般化 ==
{{sfrac|4|''n''}} 型の分数と同様に、すべての {{sfrac|5|''n''}} 型分数（{{math|''n'' > 1}}）が3つの正単位分数の和として表せられるだろうと予想されている。一般化された予想では、任意の正なる {{mvar|k}} に対して、有限個の例外を除いたすべての分数 {{sfrac|''k''|''n''}} が3つの正単位分数の和として表せられると主張している。{{sfrac|5|''n''}} 型に対する予想は[[ヴァツワフ・シェルピニスキ]]が[[1956年]]に論文で提唱し、その後彼の弟子である{{仮リンク|アンジェイ・シンツェル|pl|Andrzej Schinzel}}によって完全な予想に発展した<ref>{{harvtxt|Sierpiński|1956}}; {{harvtxt|Vaughan|1970}}.</ref>。

たとえ一般化された予想が任意の固定された値 {{mvar|k}} に対して偽であったとしても、1から {{mvar|N}} の間にある {{mvar|n}} に対して三項展開を持たないような {{sfrac|''k''|''n''}} の数は {{mvar|N}} の函数として劣線形的にしか増大しない<ref name="sparse">{{harvtxt|Webb|1970}}; {{harvtxt|Vaughan|1970}}; {{harvtxt|Li|1981}}; {{harvtxt|Yang|1982}}; {{harvtxt|Ahmadi|Bleicher|1998}}; {{harvtxt|Elsholtz|2001}}.</ref>。特にエルデシュ＝シュトラウス予想（{{math|''k'' {{=}} 4}} の場合）が偽だったとして、その反例の個数は劣線形的にしか増大しない。より強力に、任意の定数 {{mvar|k}} に対して、エジプト式分数で展開する際3以上の項が必要な {{mvar|n}} の個数は劣線形的にすぎない<ref>{{harvtxt|Hofmeister|Stoll|1985}}.</ref>。一般化された予想の内容は展開不可能な分数の個数は劣線形的だけでなく有界であることと等しい。

{{mvar|n}} が[[奇数]]のとき、エジプト式分数に対する{{仮リンク|奇数貪欲法|en|Odd greedy expansion}}からの類推で {{sfrac|''k''|''n''}} = {{sfrac|1|''x''}} + {{sfrac|1|''y''}} + {{sfrac|1|''z''}} （{{mvar|x}}、{{mvar|y}}、{{mvar|z}} は相異なる正奇数）の解を求められる。この方程式の解は {{math|''k'' {{=}} 3}} の時常に存在することが知られている<ref>{{harvtxt|Schinzel|1956}}; {{harvtxt|Suryanarayana|Rao|1965}}; {{harvtxt|Hagedorn|2000}}.</ref>。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist}}
=== 出典 ===
{{reflist|25em}}

== 参考文献 ==
{{refbegin|30em}}
*{{citation
 | last1 = Ahmadi | first1 = M. H.
 | last2 = Bleicher | first2 = M. N.
 | mr = 1666363
 | issue = 2
 | journal = International Journal of Mathematical and Statistical Sciences
 | pages = 169–185
 | title = On the conjectures of Erdős and Straus, and Sierpiński on Egyptian fractions
 | volume = 7
 | year = 1998}}.
*{{citation
 | last = Bernstein | first = Leon
 | mr = 0142508
 | journal = Journal für die Reine und Angewandte Mathematik
 | language = German
 | pages = 1–10
 | title = Zur Lösung der diophantischen Gleichung {{math|''m'' / ''n'' {{=}} 1 / ''x'' + 1 / ''y'' + 1 / ''z''}}, insbesondere im Fall {{math|''m'' {{=}} 4}}
 | volume = 211
 | year = 1962| doi = 10.1515/crll.1962.211.1
 | s2cid = 118098315
 }}.
*{{citation
 | last1 = Bright | first1 = Martin
 | last2 = Loughran | first2 = Daniel
 | doi = 10.1112/blms.12374
 | issue = 4
 | journal = Bulletin of the London Mathematical Society
 | mr = 4171399
 | pages = 746–761
 | title = Brauer–Manin obstruction for Erdős–Straus surfaces
 | volume = 52
 | year = 2020| arxiv = 1908.02526
 | s2cid = 218959757
 }}.
*{{citation
  | last = Elsholtz | first = Christian
  | title = Sums of {{mvar|k}} unit fractions
  | journal = {{仮リンク|アメリカ数学会報|en|Transactions of the American Mathematical Society|label=Transactions of the American Mathematical Society}}
  | volume = 353
  | issue = 8
  | pages = 3209–3227
  | year = 2001
  | mr = 1828604
  | doi = 10.1090/S0002-9947-01-02782-9| doi-access = free
  }}.
*{{citation
 | last1 = Elsholtz | first1 = Christian
 | last2 = Tao | first2 = Terence | author2-link = テレンス・タオ
 | arxiv = 1107.1010
 | issue = 1
 | journal = Journal of the Australian Mathematical Society
 | mr = 3101397
 | pages = 50–105
 | title = Counting the number of solutions to the Erdős–Straus equation on unit fractions
 | url = https://terrytao.files.wordpress.com/2011/07/egyptian-count13.pdf
 | volume = 94
 | year = 2013
 | doi = 10.1017/S1446788712000468
 | s2cid = 17233943
 }}.
*{{citation
 | last = Eppstein | first = David | authorlink = :en:David Eppstein
 | issue = 2
 | journal = Mathematica in Education and Research
 | pages = 5–15
 | title = Ten algorithms for Egyptian fractions
 | volume = 4
 | year = 1995}}. See in particular the [http://www.ics.uci.edu/~eppstein/numth/egypt/smallnum.html "Small numerators"] section
*{{citation
  | last = Erdős | first = Paul
  | authorlink = ポール・エルデシュ
  | title = Az <math>\tfrac1{x_1}+\tfrac1{x_2}+\cdots+\tfrac1{x_n}=\tfrac{a}{b}</math> egyenlet egész számú megoldásairól (On a Diophantine Equation)
  | language = Hungarian
  | journal = Mat. Lapok.
  | volume = 1
  | pages = 192–210
  | year = 1950
  | url = http://www.renyi.hu/~p_erdos/1950-02.pdf
  | mr = 0043117}}.
*{{citation
 | last = Graham | first = Ronald L. | author-link = ロナルド・グラハム
 | editor1-last = Lovász | editor1-first = László | editor1-link = ラースロー・ロヴァース
 | editor2-last = Ruzsa | editor2-first = Imre Z. | editor2-link = :en:Imre Z. Ruzsa
 | editor3-last = Sós | editor3-first = Vera T. | editor3-link = :en:Vera T. Sós
 | contribution = Paul Erdős and Egyptian fractions
 | contribution-url = https://www.math.ucsd.edu/~ronspubs/13_03_Egyptian.pdf
 | doi = 10.1007/978-3-642-39286-3_9
 | location = Budapest
 | mr = 3203600
 | pages = 289–309
 | publisher = {{仮リンク|ボーヤイ・ヤーノシュ数学協会|en|János Bolyai Mathematical Society|label=János Bolyai Mathematical Society}}
 | series = Bolyai Society Mathematical Studies
 | title = Erdös Centennial
 | volume = 25
 | year = 2013}}
*{{citation
  | authorlink = :en:Richard K. Guy | last = Guy | first = Richard K.
  | title = Unsolved Problems in Number Theory
  | edition = 3rd
  | publisher = [[シュプリンガー・サイエンス・アンド・ビジネス・メディア|Springer Verlag]]
  | year = 2004
  | isbn = 0-387-20860-7
  | pages = D11 }}.
*{{citation
  | last = Hagedorn | first = Thomas R.
  | title = A proof of a conjecture on Egyptian fractions
  | journal = {{仮リンク|アメリカ数学会月刊誌|en|American Mathematical Monthly|label=American Mathematical Monthly}}
  | volume = 107
  | pages = 62–63
  | year = 2000
  | mr = 1745572
  | doi = 10.2307/2589381
  | issue = 1
  | publisher = Mathematical Association of America
  | jstor = 2589381}}.
*{{citation
 | last1 = Hofmeister | first1 = Gerd
 | last2 = Stoll | first2 = Peter
 | mr = 809971
 | journal = Journal für die Reine und Angewandte Mathematik
 | pages = 141–145
 | title = Note on Egyptian fractions
 | volume = 362
 | year = 1985}}.
*{{citation
 | last1 = Ionascu | first1 = Eugen J.
 | last2 = Wilson | first2 = Andrew
 | arxiv = 1001.1100
 | issue = 1
 | journal = Revue Roumaine de Mathématiques Pures et Appliquées
 | mr = 2848047
 | pages = 21–30
 | title = On the Erdös–Straus conjecture
 | volume = 56
 | year = 2011}}.
*{{citation
 | last = Jaroma | first = John H.
 | issue = 1
 | journal = [[Crux Mathematicorum]]
 | pages = 36–37
 | title = On expanding {{math|4/''n''}} into three Egyptian fractions
 | url = https://cms.math.ca/publications/crux/issue/?volume=30&issue=1
 | volume = 30
 | year = 2004}}.
*{{citation
 | last = Jollensten | first = Ralph W.
 | contribution = A note on the Egyptian problem
 | mr = 0429735
 | location = Winnipeg, Man.
 | pages = 351–364
 | publisher = Utilitas Math.
 | series = Congressus Numerantium
 | title = Proceedings of the Seventh Southeastern Conference on Combinatorics, Graph Theory, and Computing (Louisiana State Univ., Baton Rouge, La., 1976)
 | volume = XVII
 | year = 1976}}.
*{{citation
 | last = Kiss | first = Ernest
 | mr = 0125069
 | journal = Acad. R. P. Romîne Fil. Cluj Stud. Cerc. Mat.
 | pages = 59–62
 | title = Quelques remarques sur une équation diophantienne
 | language = Romanian
 | volume = 10
 | year = 1959}}.
*{{citation
 | last = Kotsireas | first = Ilias
 | contribution = The Erdős-Straus conjecture on Egyptian fractions
 | mr = 1901903
 | location = Budapest
 | pages = 140–144
 | publisher = János Bolyai Math. Soc.
 | title = Paul Erdős and his mathematics (Budapest, 1999)
 | year = 1999}}.
*{{citation
  | last = Li | first = Delang
  | title = On the equation {{math|4/''n'' {{=}} 1/''x'' + 1/''y'' + 1/''z''}}
  | journal = {{仮リンク|数論誌|en|Journal of Number Theory|label=Journal of Number Theory}}
  | volume = 13
  | issue = 4
  | pages = 485–494
  | year = 1981
  | mr = 0642923
  | doi = 10.1016/0022-314X(81)90039-1 | doi-access = free}}.
*{{citation
  | last = Mordell | first = Louis J.
  | authorlink = Louis Mordell
  | title = Diophantine Equations
  | publisher = Academic Press
  | year = 1967
  | pages = 287–290}}.
*{{citation
 | last = Obláth | first = Richard
 | mr = 0038999
 | journal = {{仮リンク|普遍学 (雑誌)|en|Mathesis (journal)|label=Mathesis}}
 | quote = M. Strauss [sic] a vérifié l'hypothèse de M. Erdős pour toute valeur de n < 5.000, et M. Shapiro pour n < 20.000. Nos théorèmes donnent la solution pour tout nombre < 106.128
 | pages = 308–316
 | title = Sur l'équation diophantienne <math>\tfrac4n=\tfrac1{x_1}+\tfrac1{x_2}+\tfrac1{x_3}</math>
 | language = French
 | volume = 59
 | year = 1950}}.
*{{citation
 | last = Rosati | first = Luigi Antonio
 | mr = 0060526
 | journal = Boll. Un. Mat. Ital. (3)
 | language = Italian
 | pages = 59–63
 | title = Sull'equazione diofantea <math>4/n=1/x_1+1/x_2+1/x_3</math>
 | volume = 9
 | year = 1954}}.
*{{citation
 | last = Salez | first = Serge E.
 | title = The Erdős-Straus conjecture New modular equations and checking up to <math>N=10^{17}</math>
 | arxiv = 1406.6307
 | year = 2014| bibcode = 2014arXiv1406.6307S}}
*{{citation
 | last = Sander | first = J. W.
 | doi = 10.1006/jnth.1994.1008
 | issue = 2
 | journal = Journal of Number Theory
 | mr = 1269248
 | pages = 123–136
 | title = On {{math|4 / ''n'' {{=}} 1 / ''x'' + 1 / ''y'' + 1 / ''z''}} and Iwaniec' half-dimensional sieve
 | volume = 46
 | year = 1994| doi-access = free
 }}.
*{{citation
 | last = Schinzel | first = André | authorlink = :en:Andrzej Schinzel
 | mr = 0080683
 | journal = {{仮リンク|普遍学 (雑誌)|en|Mathesis (journal)|label=Mathesis}}
 | language = French
 | pages = 219–222
 | title = Sur quelques propriétés des nombres <math>3/n</math> et <math>4/n</math>, où <math>n</math> est un nombre impair
 | volume = 65
 | year = 1956}}.
*{{citation
 | last = Sierpiński | first = Wacław | authorlink = ヴァツワフ・シェルピニスキi
 | title = Sur les décompositions de nombres rationnels en fractions primaires
 | language = French
 | journal = {{仮リンク|普遍学 (雑誌)|en|Mathesis (journal)|label=Mathesis}}
 | year = 1956
 | volume = 65
 | pages = 16–32
 | mr = 0078385}}. Reprinted with additional annotations in {{citation
 | last = Sierpiński | first = Wacław
 | location = Warsaw
 | mr = 0414302
 | pages = 169–184
 | publisher = PWN—Éditions Scientifiques de Pologne
 | title = Oeuvres Choisies
 | volume = I
 | year = 1974}}.
*{{citation
 | last1 = Suryanarayana | first1 = D.
 | last2 = Rao | first2 = N. Venkateswara
 | mr = 0202659
 | journal = J. Indian Math. Soc. |series=New Series
 | pages = 165–167
 | title = On a paper of André Schinzel
 | volume = 29
 | year = 1965}}.
*{{citation
 | last = Terzi | first = D. G.
 | doi = 10.1007/BF01934370
 | mr = 0297703
 | journal = Nordisk Tidskr. Informationsbehandling (BIT)
 | pages = 212–216
 | title = On a conjecture by Erdős-Straus
 | issue = 2
 | volume = 11
 | year = 1971| s2cid = 124845157
 }}.
*{{citation
 | last = Vaughan | first = R. C. | author-link = :en:Bob Vaughan
 | doi = 10.1112/S0025579300002886
 | mr = 0289409
 | issue = 2
 | journal = {{仮リンク|Mathematika|en|Mathematika|label=Mathematika}}
 | pages = 193–198
 | title = On a problem of Erdős, Straus and Schinzel
 | volume = 17
 | year = 1970}}
*{{citation
  | last = Webb | first = William A.
  | title = On {{math|4 / ''n'' {{=}} 1 / ''x''<sub>1</sub> + 1 / ''x''<sub>2</sub> + 1 / ''x''<sub>3</sub>}}
  | journal = {{仮リンク|アメリカ数学会議録|en|Proceedings of the American Mathematical Society|label=Proceedings of the American Mathematical Society}}
  | volume = 25
  | issue = 3
  | pages = 578–584
  | year = 1970
  | mr = 0256984
  | doi = 10.2307/2036647
  | publisher = American Mathematical Society
  | jstor = 2036647}}.
*{{citation
 | last = Yamamoto | first = Koichi
 | mr = 0177945
 | journal = Memoirs of the Faculty of Science. Kyushu University. Series A. Mathematics
 | pages = 37–47
 | title = On the Diophantine equation {{sfrac|4|''n''}} = {{sfrac|1|''x''}} + {{sfrac|1|''y''}} + {{sfrac|1|''z''}}
 | volume = 19
 | year = 1965
 | doi = 10.2206/kyushumfs.19.37| doi-access = free
 }}.
*{{citation
 | last = Yang | first = Xun Qian
 | doi = 10.2307/2044050
 | mr = 660589
 | issue = 4
 | journal = Proceedings of the American Mathematical Society
 | pages = 496–498
 | title = A note on {{sfrac|4|''n''}} = {{sfrac|1|''x''}} + {{sfrac|1|''y''}} + {{sfrac|1|''z''}}
 | volume = 85
 | year = 1982
 | jstor = 2044050}}.
{{refend}}

== 関連項目 ==
*{{仮リンク|逆数の和の一覧|en|List of sums of reciprocals}}

{{DEFAULTSORT:えるてしゆしゆとらうすよそう}}
[[Category:予想]]
[[Category:数学のオープンプロブレム]]
[[Category:分数]]
[[Category:ディオファントス方程式]]
[[Category:ポール・エルデシュ|しゆとらうすよそう]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]