【３】ミハイレスクの定理（２００２年）

　オイラー以後，カタラン予想の一般的な証明は多くの数学者たちの挑戦を退けてきたのですが，２００２年，ミハイレスクがすべてを解決しました．

　ミハイレスクは

　「カタラン方程式ｘ^p−ｙ^q＝１が非自明解をもつためには（ｐ，ｑ）がヴィーフェリッヒ対でなければならない」

すなわち，３^2−２^3＝１以外の解が存在するならば，ｐ，ｑはどちらもヴィーフェリッヒ素数の２倍，したがって，ｐ^(q-1)をｑ^2で割ると余りが１，ｑ^(p-1)をｐ^2で割ると余りが１にならなければならないことを証明しました．

　（ｐ，ｑ）がヴィーフェリッヒ対でなければならないこと，そして，ミハイレスクはクンマーがフェルマー予想の証明の試みの中での発展させた「円分体の理論」を利用して，１のｎ次複素根を使った巧みな証明によって，１５８年間進展の見られなかったこの問題の最後の穴をふさぐことができたのです．

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

【４】カタラン予想の一般化

　かくしてカタラン予想はミハイリスク定理となって，数学界を仰天させたのですが，ワイルスがフェルマー予想を証明したときのほどの興奮はなく解かれました．しかしまだ終わりではありません．

　カタラン予想をガウス整数を使って一般化すると

　　ｘ^p−ｙ^q＝±１，±ｉ

なる複素数ａ＋ｂｉが存在するかどうかという問題になります．

　現在のところ，

　　（７８＋７８ｉ）^2−（−２３ｉ）^3＝ｉ

以外の解があるかどうかについてはわかっていないそうです．

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