フェルマーの最終定理
フェルマーの最終定理（フェルマーのさいしゅうていり、）とは、 以上の自然数 について、 となる自然数の組 は存在しない、という定理である。フェルマーの大定理とも呼ばれる。ピエール・ド・フェルマーが驚くべき証明を得たと書き残したと伝えられ、長らく証明も反証もなされなかったことからフェルマー予想とも称されたが、フェルマーの死後330年経った1995年にアンドリュー・ワイルズによって完全に証明され、ワイルズの定理またはフェルマー・ワイルズの定理とも呼ばれるようになった。