■オイラー予想とその反例(その2)
オイラーは,フェルマー予想の一般のn乗ベキに対する証明に拡張する望みはまず見いだせないと書いています.
さらに,オイラーは,フェルマー予想の条件をゆるめて一般化した問題
『x1^n+x2^n+・・・+xn-1^n=xn^n,たとえば,x^4+y^4+z^4=w^4にも自然数解がない』と予想しました.
この不定方程式には整数解がないであろうことが長い間予想されていて,モーデルはコンピュータを使ってw<220000の範囲でこの問題は成立することを紹介しています.
ところが,オイラーの推測からおよそ200年後,コンピュータを使って
27^5+84^5+110^5+133^5=144^5 (1966年、ランダーとパーキン)
95800^4+217519^4+414560^4=422481^4 (1988年)
2682440^4+15365639^4+18796760^4=20615073^4 (1988年、エルキース)
などのオイラー予想に対する反例が発見されました.
さらに,エルキースにより,x^4+y^4+z^4=w^4には無数の解があることが楕円曲線の理論に基づいて示されました(1988年).
===================================
4乗の場合には無限の反例が見つかりましたが、5乗についてはわずか3例が見つかっただけです。
27^5+84^5+110^5+133^5=144^5 (1966年、ランダーとパーキン)
85282^5+28969^5+3183^5+55^5=85359^5 (2004年、フライ)
については
27=3^3
84=2^2・3・7
110=2・5・11
133=7・19
144=12^2=2^4・3^2
これらの素因数は高々19です。
===================================
n乗の場合、n-1個の数を加えますが、n個の数を加えるなら
3^2+4^2=5^2
3^3+4^3+5^3=6^3
30^4+120^4+272^4+315^4=353^4
19^5+43^5+46^5+47^5+67^5=72^5
21^5+23^5+37^5+79^5+84^5=94^5
7^5+43^5+57^5+80^5+100^5=107^5
など無数の例があります。
===================================