やさしいフェルマーの最終定理の証明Ⅱ
■ このスレッドは過去ログ倉庫に格納されています
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 >684
>>1
aの定義は何？
aは、rによって、決まります。 >687
x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)
x、zを有理数とすると、x、yが有理数とならないかどうかは、わかりません。
(3)によって、わかります。 >>689
(3)の解は、
Aグループ：yが無理数の(3)の解
Bグループ：yが有理数の(3)の解
この2通りで、これですべてです。
> 【証明】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,zを有理数とすると、(4)のx,yは整数比とならないので、yは無理数となる。
この時点で、Aグループに有理数比の解があるかどうか、調べてないので
(3)のすべての解を調べたことに、なりません。
(3)のすべての解を調べていないので、(4)に有理数の解がないかどうか、わかりません。
yが有理数の時は、xが無理数となると、あなたは式を展開してみて調べました。
yが無理数の時は、それすらやっていません。 【定理】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,zは有理数)
(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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)は成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)は成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 >>693
x,yが有理数の時、実際に(2)が(3)に変形できることを、証明してください。
(2)が(3)に変形できないなら、(3)を考えることに意味はありません。(2)を考えなければいけません。 >>688
aの性質を聞いているのではなく、aの定義を聞いている >>693
x,yは有理数,r^(n-1)=nのとき、zは無理数です。
(3)にx,yが有理数、zが無理数の解がないことは、x､y､zが有理数の解がないことの証明になりません。解の比が違うから。 たとえば
x^2+y^2=(x+2)^2…(3)
x,y,zが1:2:3になる解はありません。これは、x､y､zに有理数の解がないことの証明になりません。解の比が違うから。 >>694修正します
>>691
x,y,zが有理数の時で、r^(n-1)=nのときはないので、(2)は(3)に変形できません。
(2)が(3)に変形できないなら、(3)を考えることに意味はありません。(2)か(1)を考えなければいけません。 >>696修正します。
x,yは有理数,r^(n-1)=nのとき、zは無理数です。
(3)にx,yが有理数、zが無理数の解がないことは、x､y､zが有理数比の解がないことの証明になりません。解の比が違うから。 >690
この時点で、Aグループに有理数比の解があるかどうか、調べてないので
x,yが無理数で、整数比となる場合は、
s,t,uが成立することと、同じです。
693は、x,yを有理数とすると、成立しないので、
x,y,zを、s,t,uとしても、成立しません。 >694
x,yが有理数の時、実際に(2)が(3)に変形できることを、証明してください。
逆算してみて下さい。 【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)は成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 まとめます。
x,y,zを有理数とすると、r^(n-1)=nのときはないので、(2)は(3)にならない。
よって>>691は間違っている。
x,yを有理数とすると、r^(n-1)=nのとき、zは無理数である。このような(3)の解はない。しかしx､y､zが有理数比ではないので、x､y､zが有理数比の解がないことはいえない。
よって>>693は間違っている。 >695
aの性質を聞いているのではなく、aの定義を聞いている
aの定義の意味がわかりません。 >696
x,yは有理数,r^(n-1)=nのとき、zは無理数です。
(3)にx,yが有理数、zが無理数の解がないことは、x､y､zが有理数の解がないことの証明になりません。解の比が違うから。
x､y､zが有理数の解がないことの証明にはなりませんが、
(3)が成立しないことは、確かです。 >697
x^2+y^2=(x+2)^2…(3)
x,y,zが1:2:3になる解はありません。これは、x､y､zに有理数の解がないことの証明になりません。解の比が違うから。
そうですね。 >698
x,y,zが有理数の時で、r^(n-1)=nのときはないので、(2)は(3)に変形できません。
(x,yは有理数)とします。 >704
x,yを有理数とすると、r^(n-1)=nのとき、zは無理数である。このような(3)の解はない。しかしx､y､zが有理数比ではないので、x､y､zが有理数比の解がないことはいえない。
(3)は成立しません。
x､y､zが有理数比の解がないことは(3)が成立しないことに、よって、いえます。 (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も、成立しない。 【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)は成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+(a2))^2…(4)となる。
(3)はyを有理数とすると、x,zは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。 >>703
(2)はxが有理数、yが有理数の時の式で、r^(n-1)=nのとき、すなわちｚが無理数の時、(2)は(3)になります。つまり、(2)と(3)に同じ解があることになります。
(3)にxが有理数、yが有理数、zが無理数の解はないので、同じ解は(2)にもありません。しかし、これらは有理数比ではありません。
よって、(2)に有理数比の解があるかないかは、わかりません。
(2)はxが有理数、yが有理数、zが有理数の時は、r^(n-1)=nのときではないので、(2)は(3)になりません。
つまり、(3)にxが有理数、yが有理数、zが無理数の解はないことは、(2)に有理数比の解がないこととは、関係ありません。
よって、(2)に有理数比の解があるかないかは、わかりません。 【定理】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は自然数解を持たない。 685 名前：日高[] 投稿日：2021/02/28(日) 10:16:55.96 ID:07x7JPyj [1/19]
>680
n=2の時を考えてみましょう。
x^2+y^2=(x+4)…(4)
x=8,z=12の時、x,yは有理数となりません。
これで、(4)のx､y､zが有理数にならないことが言えますか？
n=2の時
全ての、x,y,zが有理数となるとは、限りません。
686 名前：日高[] 投稿日：2021/02/28(日) 10:27:00.86 ID:07x7JPyj [2/19]
>681
それは、今証明しようとしていること、そのものです。
証明の途中でそんなことは言えません。
A,Bを分けて、考えたらどうなるでしょうか？
688 名前：日高[] 投稿日：2021/02/28(日) 10:29:22.32 ID:07x7JPyj [3/19]
>684
>>1
aの定義は何？
aは、rによって、決まります。 【定理】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は自然数解を持たない。 689 名前：日高[] 投稿日：2021/02/28(日) 10:33:12.31 ID:07x7JPyj [4/19]
>687
x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)
x、zを有理数とすると、x、yが有理数とならないかどうかは、わかりません。
(3)によって、わかります。
691 名前：日高[] 投稿日：2021/02/28(日) 13:19:50.24 ID:07x7JPyj [5/19]
【定理】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,zは有理数)
(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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)は成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
693 名前：日高[] 投稿日：2021/02/28(日) 13:30:05.25 ID:07x7JPyj [6/19]
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)は成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 700 名前：日高[] 投稿日：2021/02/28(日) 14:51:16.78 ID:07x7JPyj [7/19]
>690
この時点で、Aグループに有理数比の解があるかどうか、調べてないので
x,yが無理数で、整数比となる場合は、
s,t,uが成立することと、同じです。
693は、x,yを有理数とすると、成立しないので、
x,y,zを、s,t,uとしても、成立しません。
703 名前：日高[] 投稿日：2021/02/28(日) 15:00:26.75 ID:07x7JPyj [9/19]
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)は成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
705 名前：日高[] 投稿日：2021/02/28(日) 15:02:32.49 ID:07x7JPyj [10/19]
>695
aの性質を聞いているのではなく、aの定義を聞いている
aの定義の意味がわかりません。
706 名前：日高[] 投稿日：2021/02/28(日) 15:09:03.25 ID:07x7JPyj [11/19]
>696
x,yは有理数,r^(n-1)=nのとき、zは無理数です。
(3)にx,yが有理数、zが無理数の解がないことは、x､y､zが有理数の解がないことの証明になりません。解の比が違うから。
x､y､zが有理数の解がないことの証明にはなりませんが、
(3)が成立しないことは、確かです。 707 名前：日高[] 投稿日：2021/02/28(日) 15:11:12.12 ID:07x7JPyj [12/19]
>697
x^2+y^2=(x+2)^2…(3)
x,y,zが1:2:3になる解はありません。これは、x､y､zに有理数の解がないことの証明になりません。解の比が違うから。
そうですね。
709 名前：日高[] 投稿日：2021/02/28(日) 15:13:48.19 ID:07x7JPyj [13/19]
>698
x,y,zが有理数の時で、r^(n-1)=nのときはないので、(2)は(3)に変形できません。
(x,yは有理数)とします。
710 名前：日高[] 投稿日：2021/02/28(日) 15:19:20.74 ID:07x7JPyj [14/19]
>704
x,yを有理数とすると、r^(n-1)=nのとき、zは無理数である。このような(3)の解はない。しかしx､y､zが有理数比ではないので、x､y､zが有理数比の解がないことはいえない。
(3)は成立しません。
x､y､zが有理数比の解がないことは(3)が成立しないことに、よって、いえます。
711 名前：日高[] 投稿日：2021/02/28(日) 15:20:55.78 ID:07x7JPyj [15/19]
(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も、成立しない。 712 名前：日高[] 投稿日：2021/02/28(日) 15:23:36.89 ID:07x7JPyj [16/19]
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)は成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
713 名前：日高[] 投稿日：2021/02/28(日) 15:24:45.90 ID:07x7JPyj [17/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+(a2))^2…(4)となる。
(3)はyを有理数とすると、x,zは有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
714 名前：日高[] 投稿日：2021/02/28(日) 15:25:40.84 ID:07x7JPyj [18/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。 716 名前：日高[] 投稿日：2021/02/28(日) 15:34:40.80 ID:07x7JPyj [19/19]
【定理】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は自然数解を持たない。
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう 735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう >715
(2)に有理数比の解があるかないかは、わかりません。
(3)に、整数比の解がないので、(2)にも、整数比の解は、ありません。 >>725
xが有理数、yが有理数で、zが有理数ならば、(2)は(3)になりません。
xが有理数、yが有理数で、zが有理数のとき、(2)と(3)は無関係です。 >>705
定義を聞かれて定義の言葉の意味すらわからないような人がスレ立てるのはやめてほしいね (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も、成立しない。 >726
xが有理数、yが有理数で、zが有理数ならば、(2)は(3)になりません。
xが有理数、yが有理数で、zが有理数のとき、(2)と(3)は無関係です。
n≧3、x,yが有理数のときは、(2),(3)は、成立しません。 >>725
> 【証明】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)の解は、2グループに分けられます。
Cグループ：zが有理数の(2)の解
Dグループ：zが無理数の(2)の解
x,yが有理数で、r^(n-1)=nのとき、zは無理数です。つまりDグループですが、(3)には解がありません。つまり、Dグループには解がありません。
x,yが有理数で、zが有理数の時、r^(n-1)=nのときではないので、(2)は(3)になりません。つまり、(2)と(3)は無関係です。
このCグループに解があるかどうかは、不明です。
よって、x^n+y^n=z^nは自然数解を持たないとはいえません。 【定理】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は自然数解を持たない。 >>729
あなたが調べたのは、(3)だけです。つまり(2)の解があるとして、そのなかでr^(n-1)=nとなるものだけです。
x、yは有理数という条件があるので、あなたが調べたのは、xが有理数、yが有理数、zが無理数になるものだけです。
(2)の解で、xが有理数、yが有理数、zが有理数になるものがあるならば、r^(n-1)=nとならないので(3)にはなりません。
もちろん(2)の解で、xが有理数、yが有理数、zが有理数になるものがあるかどうかを調べることも、していません。
よって、
n≧3、x,yが有理数のときは、(2))は、成立しないかどうか、わかりません。 >>731
あたらしく、(x,yは有理数)という条件を付けたことで、そもそも(2)のなかで(3)にも(4)にもならないケースが出てきたのです。
xが有理数、yが有理数、zが有理数の場合、x^n+y^n=(x+n^{1/(n-1)})^n…(3)にはならない
r^(n-1)=nのとき(2)は(3)になるが、xが有理数、yが有理数、zが無理数なので、x､y､zが有理数比のときをしらべたことにならない
(4)の解もxが有理数、zが有理数で(3)と同じ比なのでzも当然無理数で、x､y､zが有理数比の時を調べたことにならない。
xが有理数、yが有理数、zが有理数の場合を調べていないので、x^n+y^n=z^nは自然数解を持たないとは言えません。 >>733修正
あたらしく、(x,yは有理数)という条件を付けたことで、そもそも(2)のなかで(3)にならないケースが出てきたのです。
xが有理数、yが有理数、zが有理数の場合、x^n+y^n=(x+n^{1/(n-1)})^n…(3)にはならない
r^(n-1)=nのとき(2)は(3)になるが、xが有理数、yが有理数、zが無理数なので、x､y､zが有理数比のときをしらべたことにならない
(4)の解のうち(3)の解と同じ比のものはxが有理数、yが有理数、zが無理数なので、x､y､zが有理数比の時を調べたことにならない。
結局xが有理数、yが有理数、zが有理数の場合を調べていないので、x^n+y^n=z^nは自然数解を持たないとは言えません。 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は自然数解を持たない。 735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう 735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう >730
つまり、(2)と(3)は無関係です
(2)と(3)は無関係では、ありません。
(2)を、変形すると、(3)になります。
どちらも、成立しません。 >>738
今、x、yは有理数です。
もし、x､y､zが有理数ならば、r^(n-1)=nにはならないので、(2)は(3)になりません。(2)のままです。
よって、x､y､zが有理数の時、(2)と(3)は無関係です。 (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も、成立しない。 【定理】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は自然数解を持たない。 >732
あなたが調べたのは、(3)だけです。
(1)(2)(3)(4)は、同じです。
(3)が成立しないので、(1)(2)(4)も成立しません。 >>742
いいえ、違います。
x、yが有理数という条件のもとで、(3)で調べられるのは、xが有理数、yが有理数、zが無理数のものだけです。
(1)のｚは有理数か無理数か、決まっていません。
(2)のzは有理数か無理数か、決まっていません。
(4)のzは有理数か無理数か、決まっていません。
(2)が(3)になるのは、r^(n-1)=nの時だけ
よって、(3)のzは無理数と決まっています。zが無理数になると決まっているのは、r^(n-1)=nという条件を余分につけた(3)だけです。
(3)に、xが有理数、yが有理数、zが無理数の解はない
よって、(1)にも(2)にも(4)にも、xが有理数、yが有理数、zが無理数の解はない
それ以外の解については分かりません。 >734
結局xが有理数、yが有理数、zが有理数の場合を調べていないので、x^n+y^n=z^nは自然数解を持たないとは言えません。
(3)(4)で調べています。 >739
もし、x､y､zが有理数ならば、r^(n-1)=nにはならないので、(2)は(3)になりません。(2)のままです。
x､y､zが有理数ならば、(1)(2)(3)(4)は、成立しません。 >>744
いいえ、ちがいます。
x,yが有理数の時、(3)のｚは必ず無理数
よって(3)で調べられるのはxが有理数、yが有理数、zが無理数のものだけ
x,yが有理数の時、(4)のｚはaがかけられているので有理数にも無理数にもなることができる。
よって(4)で調べられるのはｘが有理数、yが有理数、zは有理数も無理数もどちらも調べられる。
このうち(3)と同じ比なのはxが有理数、yが有理数、zが無理数のものだけです。
xが有理数、yが有理数、zが有理数のものは、r^(n-1)=nにならないので(3)にならない(2)と同じ比です。 >>745
> x､y､zが有理数ならば、(1)(2)(3)(4)は、成立しません。
あなたは、そんなことを調べていません。
あなたが調べたのは、x、yが有理数の時zが必ず無理数になるという条件付きの(3)に、解がないということだけ
(1)にzが必ず無理数になるという条件は、ありません。
(2)にzが必ず無理数になるという条件は、ありません。
(4)にzが必ず無理数になるという条件は、ありません。 >743
(4)のzは有理数か無理数か、決まっていません。
(4)のzは有理数となり得ます。 740 名前：日高[] 投稿日：2021/02/28(日) 18:04:54.56 ID:07x7JPyj [26/31]
(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も、成立しない。
741 名前：日高[] 投稿日：2021/02/28(日) 18:06:06.89 ID:07x7JPyj [27/31]
【定理】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は自然数解を持たない。
742 名前：日高[] 投稿日：2021/02/28(日) 18:12:23.78 ID:07x7JPyj [28/31]
>732
あなたが調べたのは、(3)だけです。
(1)(2)(3)(4)は、同じです。
(3)が成立しないので、(1)(2)(4)も成立しません。 744 名前：日高[] 投稿日：2021/02/28(日) 18:24:22.29 ID:07x7JPyj [29/31]
>734
結局xが有理数、yが有理数、zが有理数の場合を調べていないので、x^n+y^n=z^nは自然数解を持たないとは言えません。
(3)(4)で調べています。
745 名前：日高[] 投稿日：2021/02/28(日) 18:29:29.52 ID:07x7JPyj [30/31]
>739
もし、x､y､zが有理数ならば、r^(n-1)=nにはならないので、(2)は(3)になりません。(2)のままです。
x､y､zが有理数ならば、(1)(2)(3)(4)は、成立しません。
748 名前：日高[] 投稿日：2021/02/28(日) 18:40:19.88 ID:07x7JPyj [31/31]
>743
(4)のzは有理数か無理数か、決まっていません。
(4)のzは有理数となり得ます。 735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう 735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう 735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう ふつうの人間は
少しぐらい分量が多くても正確な表現のほうが理解しやすいが
日高はそうではないから注意。 そもそも正確な表現できないでしょ
まともに数学学んだ形跡皆無だし 【定理】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,zは有理数)
(1)をr^(n-1){(y/r)^n-1}=n{x^(n-1)+…+r^(n-2)x}…(2)と変形する。
(2)はr^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(3)は成立しない。よって、(2)(1)も成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 (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が有理数の場合と同じとなる。 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。(x,y,zは有理数)
(1)をr{(y/r)^2-1}=2{x}…(2)と変形する。
(2)はr=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)はyを有理数とすると、x,zは有理数となる。よって、(2)(1)も成立する。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。 >746
いいえ、ちがいます。
757を見てください。 >747
あなたは、そんなことを調べていません。
757を見てください。 【定理】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}=n{x^(n-1)+…+r^(n-2)x}…(2)と変形する。
(2)はr^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(3)は成立しない。よって、(2)(1)も成立しない。(x,y,zは有理数)
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 (3)のx,yが無理数の場合は、x=sw、y=twとおく。(s,tは有理数、wは無理数)
(sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nとなる。
両辺を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が有理数の場合と同じとなる。 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=2{x}…(2)と変形する。
(2)はr=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)はyを有理数とすると、xは有理数となる。よって、(2)(1)も有理数解を持つ。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。 (3)のx,yが無理数の場合は、x=sw、y=twとおく。(s,tは有理数、wは無理数)
(sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nとなる。
両辺を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^n+y^n=z^nのx,y,zが有理数の場合と同じとなる。 >>763
(1)と(3)とは同値ではありません。間違いです。 >767
(1)と(3)とは同値ではありません。間違いです。
どうしてでしょうか？ >769
(1)から(3)は出ません。
どういう意味でしょうか？ 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。 【定理】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}=n{x^(n-1)+…+r^(n-2)x}…(2)と変形する。
(2)はr^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(3)は成立しない。よって、(2)(1)も成立しない。(x,y,zは有理数)
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 (3)は(1)とr^(n-1)=nとの連立方程式です。間違い。 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=5を代入する。
ピタゴラス数x=21、y=20、z=29を得る。 (3)のx,yが無理数の場合は、x=sw、y=twとおく。(s,tは有理数、wは無理数)
(sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nとなる。
両辺を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^n+y^n=z^nのx,y,zが有理数の場合と同じとなる。 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=2{x}…(2)と変形する。
(2)はr=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)はyを有理数とすると、xは有理数となる。よって、(2)(1)も有理数解を持つ。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。 >774
(3)は(1)とr^(n-1)=nとの連立方程式です。間違い
どうして、連立方程式となるのでしょうか？ 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=6を代入する。
ピタゴラス数x=4、y=3、z=5を得る。 757 名前：日高[] 投稿日：2021/03/01(月) 08:21:29.14 ID:QP/tkqO1 [1/19]
【定理】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,zは有理数)
(1)をr^(n-1){(y/r)^n-1}=n{x^(n-1)+…+r^(n-2)x}…(2)と変形する。
(2)はr^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(3)は成立しない。よって、(2)(1)も成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
758 名前：日高[] 投稿日：2021/03/01(月) 08:24:43.46 ID:QP/tkqO1 [2/19]
(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が有理数の場合と同じとなる。
759 名前：日高[] 投稿日：2021/03/01(月) 08:34:40.45 ID:QP/tkqO1 [3/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。(x,y,zは有理数)
(1)をr{(y/r)^2-1}=2{x}…(2)と変形する。
(2)はr=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)はyを有理数とすると、x,zは有理数となる。よって、(2)(1)も成立する。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
760 名前：日高[] 投稿日：2021/03/01(月) 08:35:35.84 ID:QP/tkqO1 [4/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。 763 名前：日高[] 投稿日：2021/03/01(月) 09:18:53.89 ID:QP/tkqO1 [7/19]
【定理】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}=n{x^(n-1)+…+r^(n-2)x}…(2)と変形する。
(2)はr^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(3)は成立しない。よって、(2)(1)も成立しない。(x,y,zは有理数)
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
764 名前：日高[] 投稿日：2021/03/01(月) 09:20:21.24 ID:QP/tkqO1 [8/19]
(3)のx,yが無理数の場合は、x=sw、y=twとおく。(s,tは有理数、wは無理数)
(sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nとなる。
両辺を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が有理数の場合と同じとなる。
765 名前：日高[] 投稿日：2021/03/01(月) 09:23:21.11 ID:QP/tkqO1 [9/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=2{x}…(2)と変形する。
(2)はr=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)はyを有理数とすると、xは有理数となる。よって、(2)(1)も有理数解を持つ。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。 766 名前：日高[] 投稿日：2021/03/01(月) 09:44:31.70 ID:QP/tkqO1 [10/19]
(3)のx,yが無理数の場合は、x=sw、y=twとおく。(s,tは有理数、wは無理数)
(sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nとなる。
両辺を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^n+y^n=z^nのx,y,zが有理数の場合と同じとなる。
772 名前：日高[] 投稿日：2021/03/01(月) 12:15:45.60 ID:QP/tkqO1 [13/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
773 名前：日高[] 投稿日：2021/03/01(月) 12:17:07.74 ID:QP/tkqO1 [14/19]
【定理】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}=n{x^(n-1)+…+r^(n-2)x}…(2)と変形する。
(2)はr^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(3)は成立しない。よって、(2)(1)も成立しない。(x,y,zは有理数)
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
775 名前：日高[] 投稿日：2021/03/01(月) 12:49:37.55 ID:QP/tkqO1 [15/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=5を代入する。
ピタゴラス数x=21、y=20、z=29を得る。 776 名前：日高[] 投稿日：2021/03/01(月) 12:50:43.21 ID:QP/tkqO1 [16/19]
(3)のx,yが無理数の場合は、x=sw、y=twとおく。(s,tは有理数、wは無理数)
(sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nとなる。
両辺を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^n+y^n=z^nのx,y,zが有理数の場合と同じとなる。
777 名前：日高[] 投稿日：2021/03/01(月) 12:53:15.06 ID:QP/tkqO1 [17/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=2{x}…(2)と変形する。
(2)はr=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(3)はyを有理数とすると、xは有理数となる。よって、(2)(1)も有理数解を持つ。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
778 名前：日高[] 投稿日：2021/03/01(月) 12:55:25.32 ID:QP/tkqO1 [18/19]
>774
(3)は(1)とr^(n-1)=nとの連立方程式です。間違い
どうして、連立方程式となるのでしょうか？
780 名前：日高[] 投稿日：2021/03/01(月) 13:42:30.63 ID:QP/tkqO1 [19/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=6を代入する。
ピタゴラス数x=4、y=3、z=5を得る。 735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう 735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう
735 名前：１３２人目の素数さん[sage] 投稿日：2021/01/30(土) 08:11:49.70 ID:m5CD2G+0
今日も日高は愚かですね
例え10年続けてもかわらないのでしょう 【定理】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}=n{x^(n-1)+…+r^(n-2)x}…(2)と変形する。
(2)はr^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(3)は成立しない。よって、(2)(1)も成立しない。(x,y,zは有理数)
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 ■ このスレッドは過去ログ倉庫に格納されています
