フェルマー＝カタラン予想

フェルマー＝カタラン予想（フェルマー＝カタランよそう、）とはフェルマーの最終定理とカタラン予想を結びつけて提起された数論の予想である。この2つの予想は、という方程式の特殊なケースと見なすことができる。フェルマー＝カタラン予想は、この方程式の一般的な解をすべて記述しようとする試みであり、1993年にアンリ・ダベンポートによって提唱された。それぞれフェルマー＝カタラン予想は「方程式

と不等式

を同時に満たす自然数の組 であって、が互いに素で、(am, bn, ck)の値が異なるものは、有限個しか存在しない」

という命題である。不等式から は全て 以上で、うち少なくとも2つは より大きいものに限られることが分かる。

のうち2つが である場合は上の不等式を満たさないためフェルマー＝カタラン予想の対象外であるが、実際に解の無限系列が知られている。特に の場合は はピタゴラス数であって、方程式を満たす組 は無数に存在することはよく知られる。

また で の場合は はフェルマーの最終定理の方程式（のうち指数が 以上のもの）を満たす自然数解であるが、そのような は存在しないことがワイルズによって証明されている。

知られている解と関連する予想 2014年現在、以下の10個の解が知られているポメランス(2008), "Computational Number Theory", ガワース; Barrow-Green, June; Leader, Imre, The Princeton Companion to Mathematics, Princeton University Press, pp. 361–362, ISBN 978-0-691-11880-2。

2002年にプレダ・ミハイレスクによって解決されたカタラン予想によると、最初の解 は のいずれかが となる唯一の解を与える。ここで、任意の はフェルマー＝カタラン予想の仮定の不等式を満たすので、 これは の無限個の解 を与えるが、三つ組(am, bn, ck) としてはただ一つの値 (1, 8, 9)しか与えていないため、フェルマー＝カタラン予想に反するわけではない。

ダーモン・グランヴィルの定理 (証明にはファルティングスの定理を使う) から、上記の不等式を満たす組 を一つ固定するごとに、解 が高々有限個しか存在しないことが知られている。。

今まで見つかっている解の中では、　のうち1つは である。また、その中では は互いに素である。 が全て 以上で が互いに素であるような解はないという予想（ビール予想）がある。 が より大きい公約数をもつ場合としては などがある（この場合は が公約数）。

脚注

関連項目 フェルマーの最終定理 ビール予想 m,n,kが3以上のとき互いに素な解が存在しないことを主張する予想で100万ドルの懸賞金がかけられている カタラン予想 数学上の未解決問題