『フェルマー予想の話』 木村健一郎 先生

『フェルマー予想の話』 木村健一郎 先生

フランスの数学者フェルマー(1601-1665)は、自分の持っていた本(ディオファントスの「数論」)の余白に次のような意味のことを書きました。

「nが3以上のとき、xⁿ+yⁿ=zⁿをみたす自然数x,y,zは存在しない」

また「私はこのことの真に驚嘆すべき証明を発見したが、この余白はそれを書くには狭すぎる」とも書いています。x²+y²=z²をみたす自然数x,y,zは無数にあるのに、nが3になったとたんに一つも無くなってしまうのです。フェルマーは彼の「証明」を書き残しませんでした。そのためこの主張はフェルマー予想と呼ばれます。その後300年以上にわたりこれを証明しようと多くの試みがなされましたが、誰も成功しませんでした。しかしその努力が数学の進歩のきっかけとなったこともあります（クンマーなど）。

最終的に証明を与えたのは、アンドリュー・ワイルスで、1994年のことです。しかし彼は直接証明したわけではありません。実はその何年か前に、フライとリベットという人たちが、「谷山-志村予想」という予想が正しければフェルマー予想が正しいことを示しました。谷山-志村予想は、一言でいうと「有理数体上の楕円曲線はモジュラーである」というものです。ワイルスはテイラーという人の協力を得て、谷山-志村予想（の重要な場合）の証明に成功したのです。谷山-志村予想（ワイルスの定理）は、20世紀の数学が達した一つの頂点と言えるものです。この講義では、その内容の不思議さを、実例の計算を通して感じてもらいたいと思います。ワイルスの仕事は、20世紀の初めに高木貞治が証明した「類体論」をさらに進めた「非可換類体論」への一歩を踏み出したものと言えます。類体論についても具体例を計算してもらい、その雰囲気を感じてみたいと思います。