フェルマーの最終定理
概要
を満たす正の整数
なのに、
エピソード
泣く子も黙るフェルマーの最終定理だが、なぜこんなに有名なのか考察してみよう。
- 中学生でも理解できる内容の定理なのに、証明されるのに約360年かかった
- 1995年にアンドリュー・ワイルズが証明するまでの数学者のドラマが面白い(詳しくは中田敦彦さんの動画や、サイモン・シンさんの本を見てみよう)
- フェルマー自身が、この内容とともに「この定理に関して、私は真に驚くべき証明を見つけたが、この余白はそれを書くには狭すぎる」と書き残していて、世界中の数学者の心をくすぐった
- 整数論の世界に「フェルマーの小定理」という有名な定理があって、とてもすごい定理なのに、この最終定理があることによって名前に「小」がつけられて可哀想
などなど、関連エピソードが多いことが要因として挙げられる。
※ フェルマーの最終定理は、1995年に最先端の数学理論をフル活用して証明されたので、フェルマーさんが17世紀に「真に驚くべき証明」を見つけていたのかは誰にもわからない。
※ このエピソードを知ると、テストの証明問題で必ず一度は「この問題に関して、私は真に驚くべき証明を見つけたが、この解答用紙は狭すぎる」と書きたくなる衝動に駆られる。
ABC予想
実はABC予想というものを用いると、
とする。このとき、
が常に成り立つ。これを「強いABC予想」という。
例えば、
とすると、
となるので、確かに
となり、強いABC予想が成り立っていることがわかる。
(注1)先日、京大の望月教授によりついにABC予想が示されたが、望月教授の「宇宙際タイヒミュラー理論」によって示されたのは「弱いABC予想」というものであって、上の形とは少し違うので注意(「弱い」と書いてあるが、「宇宙際タイヒミュラー理論」は数学的な全く新しい理論で、査読に8年もかかったとんでもなく強い理論。理解できる数学者が世界に10人くらいしかいないとか...)。ちなみに「強いABC予想」はまだ証明されていない。
(注2)「弱いABC予想」についてはいろんな方が解説・紹介動画を出されているので、このokedouのリンク先で見てみよう。
ABC予想を用いた証明
では、上の予想を用いて、
背理法で示す。
ある互いに素(注4)な正の整数の組
を満たすとすると、
を得る。ここで
よって、
となるが、
を満たす正の整数
(注3)
(注4)背理法の仮定で、互いに素でない解を持つとすると、その共通の素因数
補足
Creepy Nutsの「かつて天才だった俺たちへ」という曲で、「頭が悪いとか 思わなけりゃ きっとフェルマーの定理さえ解けた」という歌詞があるが、おそらくこのフェルマーの最終定理を示しているものと思われる。
が、360年もの間、幾多の天才数学者を弾いてきた定理なので、そう簡単ではない。