フェルマーの最終定理
フェルマーの最終定理(フェルマーのさいしゅうていり、英: Fermat's Last Theorem)とは、3 以上の自然数 n について、x + y = z となる自然数の組 (x, y, z) は存在しない、という定理である。
フェルマーの大定理とも呼ばれる。ピエール・ド・フェルマーが「驚くべき証明を得た」と書き残したと伝えられ、長らく証明も反証もなされなかったことからフェルマー予想とも称されたが、フェルマーの死後330年経った1995年にアンドリュー・ワイルズによって完全に証明され、ワイルズの定理またはフェルマー・ワイルズの定理とも呼ばれるようになった。
Andrew Wiles (May 1995). “Modular elliptic curves and Fermat's Last Theorem(モジュラー楕円曲線とフェルマーの最終定理)” (PDF). Annals of Mathematics 141 (3): 443-551. http://scienzamedia.uniroma2.it/~eal/Wiles-Fermat.pdf.
Richard Taylor and Andrew Wiles (May 1995). “Ring-theoretic properties of certain Hecke algebras(ある種のヘッケ環の理論的性質)” (PDF). Annals of Mathematics 141 (3): 553-572. http://virtualmath1.stanford.edu/~rltaylor/hecke.pdf.