ｘ^2＋ｙ^2＝ｚ^2

に対して

　　ｘ^3＋ｙ^3＝ｚ^3

　　ｘ^4＋ｙ^4＝ｚ^4

には，等式を満たすような整数の組み合わせがないことをオイラーが証明．しかし，さすがのオイラーも５より大きいベキについては匙を投げた．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［１］ｘ^5＋ｙ^5＝ｚ^5　　（ディリクレ，１８２９年）

［２］ｘ^7＋ｙ^7＝ｚ^7　　（ラメ，１８３９年）

［３］ｘ^n＋ｙ^n＝ｚ^n，ｎ＜１００　　（クンマー，１８５７年）

には，等式を満たすような整数の組み合わせがないことが証明さえる．

［４］１９８０年代に入って，フライが，もし，ａ^n＋ｂ^n＝ｃ^nを満たす解があるとすると，楕円曲線

　　ｙ^2＝ｘ（ｘ−ａ^n）（ｘ＋ｂ^n）

が得られる．しかし，これは極めて異様なことと考えられた．

［５］リベットはフライの状況証拠説を証明，すなわち，谷山・志村予想が正しければフェルマー予想も正しい．

［６］ワイルズが谷山・志村予想を証明，したがって，フェルマー予想も正しい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝