カタラン予想（カタランよそう、）とは、1844年にベルギー人の数学者・ウジェーヌ・シャルル・カタランが提示した予想である。2002年にプレダ・ミハイレスクによりその完全な証明が行われMihăilescu(2004). これに先立ってBull. AMS誌の記事 Metsänkylä, Tauno (2003) でその概略が解説されている。、さらに2005年には自身で証明を簡素化したREFLECTION, BERNOULLI NUMBERS AND THE PROOF OF CATALAN'S CONJECTURE(英語)。証明者の名をとってミハイレスクの定理()とも呼称される。
予想の内容 次の不定方程式について、 x − y = 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年、 は超越数論のベイカーの方法を適用して 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未満の累乗数について全ての解を示す（）。最小解（ > 0）は を参照せよ。 n解の個数k と k + n がいずれも累乗数となる数 kn解の個数k と k + n がいずれも累乗数となる数 k11833216, 2562125340none321, 1253531, 289, 1296434, 32, 12136264, 1728524, 2737327, 324, 60none3811331751, 9, 25, 121, 39425, 361, 961, 831, 8, 4049, 81, 216, 27049416, 27, 216, 4138, 128, 4001012187420none11416, 25, 3125, 33644314411224, 219744381, 100, 12513336, 243, 49004544, 36, 484, 9216140none4612431531, 49, 47681, 169, 196, 529, 1681, 1639, 16, 1284841, 16, 121, 219041778, 32, 64, 512, , , 49332, 576, 1839, 225, 343500none1958, 81, 125, 324, 51249, 62520216, 1965211442124, 100532676, 22227, 218754227, 2892344, 9, 121, 20255539, 729, 2451, 8, 25, 1000, 5648, 25, 169, 5776252100, 14457364, 343, 7842631, , 580none2739, 169, 2165918412874, 8, 36, 100, 484, , 6044, 196, , 29119661264, 9003016859620none3121, 2256341, 81, 961, 3244, 32, 49, 774464436, 64, 225, 512
ピライの予想
ピライの予想（）は、累乗数（）の一般的な違いに関するものである。これは、が最初に提示した未解決問題であり、累乗数の列の差は無限大になる傾向があるという予想である。この予想は、各正の整数が累乗数の差として有限回しか現れないと言い換えられる。より一般に、1931年に、ピライは、固定された正の整数 A, B, C に対して、方程式 は有限の数の解 (x, y, m, n) しか持たないことを予想した。ただし、解は (m, n) ≠ (2, 2) とする。ピライは、1未満の λ について、差 は m と n で均一になることを証明した。
この一般化された予想はABC予想から導かれると考えられている。
ポール・エルデシュは、いくつかの正の定数 c とすべての十分に大きな n に対して、累乗数の昇順列 が を満たすと予想した。
外部リンク Ivars Peterson's MathTrek
On difference of perfect powers Jeanine Daems: A Cyclotomic Proof of Catalan's Conjecture
参考文献
Section D9 in Richard K. Guy, Unsolved Problems in Number Theory, 3rd edition, Springer-Verlag, 2004.
Metsänkylä, Tauno (2003). Catalan's conjecture: another old Diophantine problem solved, Bull. (New Ser.) Amer. Math. Soc. 41 (1), 43–57.
Predates Mihăilescu's proof.
T. N. Shorey and R. Tijdeman, Exponetial Diophantine Equations, Cambridge Tracts in Mathematics, 87, Cambridge University Press, 1986.
脚注
関連項目 累乗 累乗数 平方数 立方数 フェルマー＝カタラン予想 ビール予想 方程式x^y=y^x モーデル曲線 ラマヌジャン・ナーゲル方程式