381 名前：日高[] 投稿日：2021/02/22(月) 06:56:16.55 ID:PZMTv96e [8/9]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+1)^2…(A)
x^2+y^2=(x+√3)^2…(B)
(B)の解は、(A)の解の√3倍となる。
(A),(B)とも、ピタゴラス数x=3、y=4、z=5を得る。

382 名前：日高[] 投稿日：2021/02/22(月) 08:13:59.12 ID:PZMTv96e [9/9]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyを有理数とすると、x,zは無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
(4)のx,yは整数比とならないので、(4)はx,zを有理数とすると、yは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。

390 名前：日高[] 投稿日：2021/02/22(月) 12:11:37.60 ID:PZMTv96e [10/34]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyを有理数とすると、x,zは無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
(4)のx,yは整数比とならないので、(4)はx,zを有理数とすると、yは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。