この出版物では、数学で最も人気のある定理の XNUMX つを検討します。 フェルマーの最終定理、1637年に一般的な形で定式化したフランスの数学者ピエール・ド・フェルマーに敬意を表してその名前が付けられました.
コンテンツ
定理のステートメント
任意の自然数に対して n> 2 方程式：
an + Bn = cn
ゼロ以外の整数には解がありません a, b и c.
証拠発見の歴史
フェルマーの最終定理は単純な学校の算数のレベルで簡単に定式化されたにもかかわらず、その証明を探すのに 350 年以上かかりました。 これは、著名な数学者とアマチュアの両方によって行われたため、定理が誤った証明の数のリーダーであると考えられています。 その結果、イギリスとアメリカの数学者アンドリュー・ジョン・ワイルズがそれを証明することに成功しました。 これは 1994 年に行われ、結果は 1995 年に発表されました。
XNUMX世紀にさかのぼり、証拠を見つけようとしました N = 3 タジクの数学者で天文学者であるアブ・マフムード・ハミド・イブン・アル・ヒズル・アル・コジャンディによって着手されました。 しかし、彼の作品は今日まで生き残っていません。
フェルマー自身が定理を証明したのは N = 4、それは彼が一般的な証明を持っていたかどうかについていくつかの疑問を提起します.
また、さまざまな定理の証明 n 次の数学者を提案しました。
- for N = 3人物: レオンハルト・オイラー（スイス、ドイツ人、数学者、機械工）、1770年。
- for N = 5人物: Johann Peter Gustav Lejeune Dirichlet (ドイツの数学者) と Adrien Marie Legendre (フランスの数学者) (1825 年)。
- for N = 7: Gabriel Lame (フランスの数学者、機械工、物理学者、エンジニア);
- すべてのシンプルな n <100 (不規則な素数 37、59、67 を除く可能性あり): Ernst Eduard Kummer (ドイツの数学者)。