【１】カタラン予想

　ベルギーの数学者カタランは，１８４４年，

　　ｘ^p−ｙ^q＝１

の整数解が（ｘ，ｙ，ｐ，ｑ）＝（３，２，２，３）だけである，すなわち，８と９だけが唯一連続するベキ乗数であるということであると予想しました．　　３^2−２^3＝１

ですが，それに証明を与えることはできませんでした．

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

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

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

　ミハイレスクは

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

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

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

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