ｘ^a＋ｙ^b＝ｚ^c，１／ａ＋１／ｂ＋１／ｃ＜１

の解は以下の１０個しか知られていない．

［１］１＋２^3＝３^2

［２］２^5＋７^2＝３^4

［３］７^3＋１３^2＝２^9

［４］２^7＋１７^3＝７１^2

［５］３^5＋１１^4＝１２２^2

［６］１７^7＋７６２７１^3＝２１０６３９２８^2

［７］１４１４^3＋２２１３５９^2＝６５^7

［８］９２６２^3＋１５３１２２８３^2＝１１３^7

［９］４３^8＋９６２２２^3＝３００４２９０７^2

［10］３３^8＋１５４９０３４^2＝１５６１３^3

　フェルマー・カタラン方程式（ｘ，ｙ，ｚ）には，公約数をもたない整数解は有限個しかない．１９９７年にダルモンとメレルがｃ＝３で，ａ≧３，ｂ≧３であれば，解は存在しないことを証明した．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】イェスマノヴィッツ予想

　（ａ，ｂ，ｃ）をピタゴラス数で，ａ^2＋ｂ^2＝ｃ^2を満たすものとする．このとき，

　　ａ^x＋ｂ^y＝ｃ^z

を満たす正の整数組（ｘ，ｙ，ｚ）は（２，２，２）のみである．

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

　（ａ，ｂ，ｃ）＝（３，４，５）の場合はシェルピンスキによって証明された（１９９５５年）．同年，イェスマノヴィッツがこの予想を提唱し，（ａ，ｂ，ｃ）＝（５，１２，１３），（７，２４，２５），（）９，４０，４１），（１１，６０，６１）の場合を証明した．しかし、現時点では予想が一般に正しいかわかっていない．

　（ａ，ｂ，ｃ）をひとつ固定したとき，（ｘ，ｙ，ｚ）が有限個しかないことはモーデル・ファルティングスの定理を使って証明できる．しかし，解が有限個あると解がひとつしかないの間には雲泥の差があるのである．

［補］アルティンの原始根予想，すなわち，ａを原始根にもつ素数は無限個存在するという予想は，一般化されたリーマン予想を仮定すれば成立することがわかっている．また，アルティンの原始根予想の関数体版はすでに証明されている．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】おまけ（ブロカールの問題）

　　４！＋１＝２５＝５^2

　　５！＋１＝１２１＝１１^2

　　７！＋１＝５０４１＝７１^2

　１を足して平方数になる階乗はほかに存在するだろうか？

　ラマヌジャンも１９１３年に独自に同じ問題を提起した．１０億までの数の階乗についてはコンピュータを使ってこれ以上解は存在しないことが示されている．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝