雑学たん、数学者達の伝説を語る

ピエール・ド・フェルマーの研究分野は、法学、言語学、光学、そして数学っす。
数学者として有名で「数論の父」とも呼ばれた彼の職業は意外にも弁護士だったっす。

Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet.

フェルマーは、このような書き込みを４８箇所にしていて、書き込みは「～と予想できる」というパターンと「～と証明した」というパターンに分けることができるっす。
「予想できる」に関しては多くの人間によって正誤が導き出されてきたっすが、「～と証明した」というパターンは、フェルマーの最終定理が正しかったという決着の後、全てが正しかったことが「証明」され、解決に３６０年かかった「立方数を2つの立方数の和に分けることはできない。4乗数を2つの4乗数の和に分けることはできない。一般に、冪（べき）が2より大きいとき、その冪乗数を2つの冪乗数の和に分けることはできない。」という定理をフェルマーは本当に証明していた可能性もあるとされっすが、現代になってやっとフェルマーの最終定理が解決された背景には、複数の分野に分かれてそれぞれで発展してきた数学の理論を組み合わせることによって証明が行われたっす。
Wikipediaから引用すると
「ワイルズは、代数幾何学（特に楕円曲線と群スキーム）や数論（モジュラー形式やガロア表現、ヘッケ環、岩澤理論）の高度な道具立てを用いて証明を試みたが、類数公式の導出に当り岩澤理論を用いる方向では行き詰まってしまった。そこでコリヴァギン＝フラッハ法（ヴィクター・コリヴァギンとマティアス・フラッハの方法）に基づくよう方針転換し—」
「谷山・志村予想を半安定な場合について解決したと突如発表し、その系として「フェルマーの最終定理」を証明したと宣言」
とあるっす。
このような点から察するに、フェルマー一人の手によってこの証明が解決されたとは考えにくく、「フェルマーが n = 4 の場合に用いた無限降下法による証明が全ての自然数に対して適用可能であるとの勘違いによるものとも考えられる。」（wiki）とのことっす。

アンドリュー・ワイルズは有名な数学者でしたが、ある時から自分の研究を全く口外しなくなったっす。
そして、長い沈黙の後、「谷山・志村の定理」の解決と「フェルマーの最終定理」を証明したと突然発表したっす。
情報は一切漏れてはいなかったはずが、その発表の場には多くの著名な数学者などが噂を聞いて駆けつけ会場は人で溢れかえったという逸話があるっす。

数学がわからなくても、その解決にまつわる逸話だけでも非常に面白いものは沢山あるっす。「ポアンカレ予想」なんかも凄く面白いっす。