human
フェルマトの最終定理の歴史を教えてください。
gpt
Fermatの最終定理は次のように述べています。A^n + b^n = c^nを満たす0 a、b、c以外の既存の解はありません。ここで、nは2より大きい整数の多くです。定理は、ピタゴラスの定理（n = 2）とディオファントの方程式によって述べられました。1637年、フェルマットは、後に最後のフェルマト定理が証明されていないアリスメティカブックの右マージンにある前述の定理について書いた。
17世紀から19世紀にかけて、数学者はnの場合しか証明されていません。たとえば、n = 3（1770）、legendre and Peter Gustav Lejeune Dirichlet for N = 5（1825）、GabrielLaméfor N = 7（1839（1839） ）、 すぐ。上記のすべての証明は、その定理が数字で正しい場合、カウンターアタックを見つけるまで、それがより小さな数に当てはまる必要があることを証明することにより、無限の減少方法を使用します。
19世紀に、ソフィー・ゲルマンはモジュロの動作でフェルマトの定理に連絡し、同じ名前の定理を与え、エルンスト・クマーは仮想数を使用して、nがプライム番号であるいくつかのケースを証明しました。20世紀初頭のコンピューターは、フェルマトの最終定理の終わりを絞り込むために使用されました。ただし、コンピューターをどのいくら見ても、削除されずにNには常に大きな数があります。1993年から1994年にかけて、アンドリュー・ウィルズがタニヤマシムラの定理（エリプとモジュロの関係を築く）の特別な事例を証明したときにのみ、大きなフェルマット定理が証明されました。