カタラン予想

カタラン予想（カタランよそう、Catalan's conjecture）とは、1844年にベルギー人の数学者・ウジェーヌ・シャルル・カタランが提示した予想である。2002年にプレダ・ミハイレスクによりその完全な証明が行われた。2005年に、自身で証明を簡素化した。

**予想の内容**
次の不定方程式について、
xa − yb = 1
x, a, y, b > 1
上記を満たす自然数解の組み合わせは
x = 3, a = 2, y = 2, b = 3
だけであるというものである。

**歴史**
この問題の歴史は、少なくともゲルソニデスにまでさかのぼる。ゲルソニデスは1343年に、この予想の特殊なケースとして (x, y) が (2, 3) または (3, 2) の場合を証明した。1850年にヴィクトル・アメデ・レベスグが b =2 の場合を扱ったのが、カタランが予想を立ててから最初の重要な進歩であった。
1976年、 Robert Tijdemanは超越数論のベイカーの方法を適用して a, b の境界を定め、 x, y を a, b で制限する既存の結果を用いて、 x, y, a, b の有効な上限を与えた。ミシェル・ランゲビンはこの上限を  と計算した。これにより、有限の数の場合を除いてカタラン予想が解決された。それにもかかわらず、定理を証明するために必要な有限の計算は、時間がかかりすぎるものであった。
カタラン予想は、2002年4月にプレダ・ミハイレスクによって証明され、2004年の Journal für die reine  und angewandte Mathematik に掲載された。この証明は円分体とガロワ加群の理論を多用している。証明の解説は、セミネール・ブルバキのユーリ・ビルが行っている。2005年、ミハレスクは簡略化された証明を公開した。

**一般化**
すべての自然数 n に対して、差が n となる累乗数のペアは有限にしか存在しないと考えられている。以下のリストで、 n ≤ 64 に対する1018未満の累乗数について全ての解を示す（id=A076427）。最小解（ > 0）はid=A103953 を参照せよ。

**ピライの予想**
ピライの予想（Pillai's conjecture）は、累乗数（id=A001597）の一般的な違いに関するものである。これは、Subbayya Sivasankaranarayana Pillaiが最初に提示した未解決問題であり、累乗数の列の差は無限大になる傾向があるという予想である。この予想は、各正の整数が累乗数の差として有限回しか現れないと言い換えられる。より一般に、1931年に、ピライは、固定された正の整数 A, B, C に対して、方程式  は有限の数の解 (x, y, m, n) しか持たないことを予想した。ただし、解は (m, n) ≠ (2, 2) とする。ピライは、1未満の λ について、差  は m と n で均一になることを証明した。
この一般化された予想はABC予想から導かれると考えられている。
ポール・エルデシュは、いくつかの正の定数 c とすべての十分に大きな n に対して、累乗数の昇順列  が  を満たすと予想したdate=May 2017。

**外部リンク**
 Ivars Peterson's MathTrek
*title=Catalan's conjecture-  On difference of perfect powers- Jeanine Daems:  A Cyclotomic Proof of Catalan's Conjecture

**参考文献**
Citation|title=Catalan's conjecture (after Mihăilescu)|last=Bilu|first=Yuri|year=2004|journal=Astérisque|volume=294|pages=vii, 1–26|mr=2111637- Citation|title=Note extraite d'une lettre adressée à l'éditeur|last=Catalan|first=Eugene|year=1844|url=https://zenodo.org/record/1448842|journal=J. Reine Angew. Math.|volume=27|pages=192|language=fr|doi=10.1515/crll.1844.27.192|mr=1578392- Section D9 in Richard K. Guy, Unsolved Problems in Number Theory, 3rd edition, Springer-Verlag, 2004.- pages=1–83- Metsänkylä, Tauno (2003).   Catalan's conjecture: another old Diophantine problem solved, Bull. (New Ser.) Amer. Math. Soc. 41 (1), 43–57.- Citation|title=Catalan's conjecture: another old Diophantine problem solved|last=Metsänkylä|first=Tauno|year=2004|url=https://www.ams.org/journals/bull/2004-41-01/S0273-0979-03-00993-5/S0273-0979-03-00993-5.pdf|journal=Bulletin of the American Mathematical Society|volume=41|number=1|pages=43–57|doi=10.1090/S0273-0979-03-00993-5|mr=2015449- Citation|title=Primary Cyclotomic Units and a Proof of Catalan's Conjecture|last=Mihăilescu|first=Preda|author-link=Preda Mihăilescu|year=2004|journal=J. Reine Angew. Math.|volume=2004|number=572|pages=167–195|doi=10.1515/crll.2004.048|mr=2076124- mr=2185753- mr=1259738  Predates Mihăilescu's proof.- Citation|title=On the equation of Catalan|last=Tijdeman|first=Robert|author-link=Robert Tijdeman|year=1976|url=https://www.impan.pl/shop/publication/transaction/download/product/100989?download.pdf|journal=Acta Arith.|volume=29|number=2|pages=197–209|doi=10.4064/aa-29-2-197-209|mr=0404137- T. N. Shorey and R. Tijdeman, Exponetial Diophantine Equations, Cambridge Tracts in Mathematics, 87, Cambridge University Press, 1986.

**脚注**

**関連項目**
累乗
*累乗数
**平方数
**立方数
*フェルマー＝カタラン予想- ビール予想- 方程式x^y=y^x- モーデル曲線- ラマヌジャン・ナーゲル方程式- Størmer's theorem- Tijdeman's theorem