 | ※X^n+Y^n=Z^nのnは、4または奇素数の倍数なので、4と奇素数の場合を考える。
※AB=CDが成り立つならば、A=kCのとき、B=D/kとなる。(A,B,C,Dは式)
n=4のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^4+Y^4=Z^4をy^4=(x+1)^4-x^4…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^3+y^2+y+1)=4(x^3+(3/2)x^2+x)…(2)とおく。
(2)は(y-1)=4のとき、xに4および、6を代入しても、成り立たない。
よって、(y-1)=k4のとき、(y^3+y^2+y+1)=(x^3+(3/2)x^2+x)/kとならない。
∴n=4のとき、X^n+Y^n=Z^nは自然数解を持たない。
nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^n+Y^n=Z^nをy^n=(x+1)^n-x^n…(1)とおく。(y,xは有理数)
(1)を(y-1)(y^(n-1)+…+y+1)=n(x^(n-1)+…+x)…(2)とおく。
(2)は(y-1)=nのとき、左辺は奇数、右辺は偶数となるので、成り立たない。
よって、(y-1)=knのとき、(y^(n-1)+…+y+1)=(x^(n-1)+…+x)/kとならない。
∴nが奇素数のとき、X^n+Y^n=Z^nは自然数解を持たない。
|
このスレッドをツリーで一括表示