728 名前：日高[] 投稿日：2021/02/28(日) 15:50:50.36 ID:07x7JPyj [22/24]
(3)のx,yが無理数の場合は、x=sw、y=twとおく。
(sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nとなる。(s,tは有理数、wは無理数)
両辺をw^nで割ると、s^n+t^n=(s+n^{1/(n-1)}/w)^n…(A)となるので、
s+n^{1/(n-1)}/w=u…(B)となるかを検討する。(uは有理数)
(A)より、w=n^{1/(n-1)}/(s^n+t^n)^(1/n)-sとなるので、(B)に代入すると、
(s^n+t^n)^(1/n)=u、s^n+t^n=u^n…(C)となる。
(C)はx,y,zが有理数の場合と同じとなるが、(4)はx,y,zが有理数のとき、
成立しないので、(sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nも、成立しない。

729 名前：日高[] 投稿日：2021/02/28(日) 15:58:33.50 ID:07x7JPyj [23/24]
>726
xが有理数、yが有理数で、zが有理数ならば、(2)は(3)になりません。
xが有理数、yが有理数で、zが有理数のとき、(2)と(3)は無関係です。

n≧3、x,yが有理数のときは、(2),(3)は、成立しません。

731 名前：日高[] 投稿日：2021/02/28(日) 16:00:42.51 ID:07x7JPyj [24/24]
【定理】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)とする。(x,yは有理数)
(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)は成立しない。(4)の解は(3)の解のa^{1/(n-1)}倍となるので、(4)も成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。