今日はフェルマーの誕生日。400年も前の数学者だが、フェルマーの最終定理は長い間証明がわからなかった定理である。
3 以上の自然数n について、xn + yn = zn となる自然数の組（x, y, z）は存在しない
（xn、yn、、zn、はxのn乗、yのnの乗、zのnの乗）
フェルマーの最終定理の主張は小学生にも理解できるもの。だが、その証明は非常に難しい。わかりやすいのに証明は難解というのがその際立った特徴。フェルマーが17世紀に問題提起してからワイルズが解決するまでにかかった時間は約360年。解決までにかかった時間を難易度の物差しにすれば、解決された数学の問題の中で最も難しい問題。
Andrew Wiles (1995), Modular elliptic curves and Fermat's Last Theorem, Annals of Mathematics 141 (3): 443-551.
