やさしいフェルマーの最終定理の証明Ⅲ
レス数が950を超えています。1000を超えると書き込みができなくなります。
【定理】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は自然数解を持たない。 >>850修正
2つ目の例
x:y=1:3の右辺は、分母を有利化してないだけで、左辺と同じです。
4つ目の例のところ、2行目以降が3つ目の例のままでした。正しくは
n=3、x=(8/27)(3^(1/2))+(4/27)(3^(1/2))(35^(1/3))+(2/27)(3^(1/2))(35^(2/3))、y=3x/2と置く
左辺
x^3+y^3=(35/8)x^3=(12635/729)(3^(1/2))+(3640/729)(3^(1/2))(35^(1/3))+(1190/729)(3^(1/2))(35^(2/3))
右辺
(x+3^{1/(3-1)})^3=(12635/729)(3^(1/2))+(3640/729)(3^(1/2))(35^(1/3))+(1190/729)(3^(1/2))(35^(2/3))
よってこのx、yはx^n+y^n=(x+n^{1/(n-1)})^n…(3)を満たす
x:y=2:3 日高さんに尋ねてみよう。
「x>2ならばx>1」と「x>2かつx>1」は同じですか？ (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)となる。
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が有理数の場合と同じとなる。
(4)はx,y,zが有理数の場合は、成立しないので、(C)および、
(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)とする。
(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は無理数となる。(3)の解x,y,zは整数比とならない。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。よって、(4)の解x,y,zも整数比とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 853 名前：日高[] 投稿日：2021/03/14(日) 06:57:29.42 ID:dHCCEzTf [1/2]
(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)となる。
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が有理数の場合と同じとなる。
(4)はx,y,zが有理数の場合は、成立しないので、(C)および、
(sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nも、成立しない。
854 名前：日高[] 投稿日：2021/03/14(日) 07:14:39.41 ID:dHCCEzTf [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)とする。
(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は無理数となる。(3)の解x,y,zは整数比とならない。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。よって、(4)の解x,y,zも整数比とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 >835
「x^n+y^n=(x+n^{1/(n-1)})^n…(3)」にも整数比の無理数解があります。
(3)の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}=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は自然数解を持つ。 >>856
> >835
> 「x^n+y^n=(x+n^{1/(n-1)})^n…(3)」にも整数比の無理数解があります。
>
> (3)のx,y,zが整数比となる無理数解が、あるでしょうか？
あー、 z まで言われると困っちゃいますね。フェルマーに反例は無いのですから。
では、日高氏のほうから、「(3) に整数比の無理数解がない」事の証明をお願いします。 >847
これで数学やろうなんてとうてい無理。っていうか、知的な議論はすべて無理です。
どうしてでしょうか？ >848
よって、6行目 (4)の解は整数比とならない。はインチキのウソです。
(4)の解x,y,zは整数比とならない。は、ウソでしょうか？ >849
Bグループに整数比の解がないことだけでは、(3)に整数比の解があるともないとも言えません。
Bグループに整数比の解x,y,zがないことが、解れば、Aグループにも、整数比の解x,y,zがないことが、
解ります。 >850
このように、(3)のx、yが整数比となる(3)の解はいくらでもあります。
その中に、x,y,zが整数比になるものがない、という証拠が、ありません。
(3)のx、y、ｚが整数比となる(3)の解があるかどうかは、不明です。
ただし、x、y、ｚが整数比となるx,yが有理数の解は、ありません。 >852
「x>2ならばx>1」と「x>2かつx>1」は同じですか？
この場合の、「ならば」と、「かつ」の意味を教えてください。 【定理】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は無理数となる。(3)の解x,y,zは整数比とならない。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。よって、(4)の解x,y,zも整数比とならない。
∴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)となる。
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が有理数の場合と同じとなる。
(4)はx,y,zが有理数の場合は、成立しないので、(C)および、
(sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nも、成立しない。 >858
では、日高氏のほうから、「(3) に整数比の無理数解がない」事の証明をお願いします。
864,865を見て下さい。 >>861
> Bグループに整数比の解x,y,zがないことが、解れば、Aグループにも、整数比の解x,y,zがないことが、
> 解ります。
では、「Bグループに整数比の解x,y,zがない」を前提として
「Aグループに整数比の解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}=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を得る。 >867
では、「Bグループに整数比の解x,y,zがない」を前提として
「Aグループに整数比の解x,y,zがない」を導出してください
x^n+y^n=z^nが存在しないならば、
(xw)^n+(yw)^n=(zw)^nも存在しない。(wは無理数) >>866
> >858
> では、日高氏のほうから、「(3) に整数比の無理数解がない」事の証明をお願いします。
>
> 864,865を見て下さい。
すみませんが、証明全体(864とか)を指すのではなく、具体的な事由・根拠を書いて下さい。
そうでないと議論がやりにくいです。
「(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)とする。
(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は無理数となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。よって、(4)の解x,y,zは整数比とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 >871
「(3) に整数比の無理数解がない」事の説明をお願いします。
872を見てください。
「(3) の整数比の無理数解」部分を、削除します。
865で、(3)の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)とする。
(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は無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
(4)の(an)^{1/(n-1)}、xが有理数のとき、yは、無理数となる。よって、解x,y,zは有理数とならない。
∴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)とする。
(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は無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
(4)の(an)^{1/(n-1)}、xが有理数のとき、yは、無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 >>873
> >871
> 「(3) に整数比の無理数解がない」事の説明をお願いします。
>
> 872を見てください。
> 「(3) の整数比の無理数解」部分を、削除します。
> 865で、(3)のx,yが無理数の場合を、見てください。
> 具体的な事由・根拠を書いて下さい。
と言ったのに聞いてくれないのですね。まあいいです。
>>865
> (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)となる。
> 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が有理数の場合と同じとなる。
> (4)はx,y,zが有理数の場合は、成立しないので、(C)および、
> (sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nも、成立しない。
> (4)はx,y,zが有理数の場合は、成立しないので、
については、どういう理由で言えるのでしょうか。 (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)となる。
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)となる。
(4)のx,y,zが有理数とならないので、(C)は成立しない。 >876
> (4)はx,y,zが有理数の場合は、成立しないので、
については、どういう理由で言えるのでしょうか。
875を見てください。 >>878
> >876
> > (4)はx,y,zが有理数の場合は、成立しないので、
> については、どういう理由で言えるのでしょうか。
>
> 875を見てください。
> (4)の解は(3)の解のa^{1/(n-1)}倍となる。
のが理由でしょうか。
ところで >>875 には「(3) に整数比の無理数解がない」事の証明がないのですが、
その証明をお願いします。 >>870
> >867
>
> では、「Bグループに整数比の解x,y,zがない」を前提として
> 「Aグループに整数比の解x,y,zがない」を導出してください
>
> x^n+y^n=z^nが存在しないならば、
> (xw)^n+(yw)^n=(zw)^nも存在しない。(wは無理数)
それで導出したつもりかね？
数学としてはまったく意味をなしてない記述だな
「存在しない」のははてさて、一体なんなんですかね
いちいち推測して補ったりはしてやらんぞ >>870
> (3)のx,y,zが整数比となる無理数解が、あるでしょうか？
01行目 【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
02行目 (1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
03行目 (2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
04行目 (2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
05行目 (3)はyが有理数のとき、xは無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
06行目 よって、(4)の解は整数比とならない。
(3)のx,y,zが整数比となる無理数解が、あるかもしれないし、ないかもしれません。
証明の1行目からが5行目までで、(3)のx,y,zが整数比となる無理数解が、あるかもしれないので、
つまり、(3)のx,y,zが整数比となる無理数解がないという証拠がこの証明の中にないので、
(3)のx,y,zが整数比となる無理数解がない、はインチキのウソです。証拠もないのにそんなこと言えません。
(3)のx,y,zが整数比となる無理数解がない、はインチキのウソなので、
インチキのウソを証拠にした、06行目 よって、(4)の解は整数比とならない。はインチキのウソです。
他の誰がどんな証明をしていようが、この証明の中でインチキのウソでない証拠がないので、(4)の解は整数比とならない。はインチキのウソです。 >>870
> x^n+y^n=z^nが存在しないならば、
> (xw)^n+(yw)^n=(zw)^nも存在しない。(wは無理数)
x^2+y^2=(x+√3)^2…(5)
(5)の解は、
Aグループ：yが無理数の(5)の解
Bグループ：yが有理数の(5)の解
この2通りで、これですべてです。
x=12、y=5、z=13は(5)の解ではありません。このような(5)の解は存在しません。
w=√3とします。
x=12w、y=5w、z=13wは(5)の解です。このような(5)の解が存在します。
>>870は間違いです。
同様に
x^n+y^n=(x+n^{1/(n-1)})^n…(3)
Aグループ：yが無理数の(3)の解
Bグループ：yが有理数の(3)の解
この2通りで、これですべてです。
(3)の無理数で整数比の解があるのかないのかわからないので、
想像として、x=sw,y=tw,(s,tは有理数)が(3)の解であるとします。
x=sw,y=tw,(s,tは有理数)が(3)の解であると想像しているときでも、
x=s,y=ｔ,は(3)の解ではありません。このような(3)の解は存在しません。
x=sw,y=tw,(s,tは有理数)が(3)の解であると想像しているのだから、
x=sw,y=ｔwは(3)の解です。このような(3)の解は存在する、と想像しているから。
(5)にx=12,y=5の解が存在しないがx=12ｗ、y=5wの解が存在するのと同じように、
(3)にx=s,y=tの解が存在しないがx=sｗ、y=twの解が存在する可能性があります。 857 名前：日高[] 投稿日：2021/03/14(日) 08:27:16.14 ID:dHCCEzTf [4/21]
【定理】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は自然数解を持つ。
864 名前：日高[] 投稿日：2021/03/14(日) 08:59:44.20 ID:dHCCEzTf [10/21]
【定理】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は無理数となる。(3)の解x,y,zは整数比とならない。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。よって、(4)の解x,y,zも整数比とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
865 名前：日高[] 投稿日：2021/03/14(日) 09:02:21.48 ID:dHCCEzTf [11/21]
(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)となる。
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が有理数の場合と同じとなる。
(4)はx,y,zが有理数の場合は、成立しないので、(C)および、
(sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nも、成立しない。 864 名前：日高[] 投稿日：2021/03/14(日) 08:59:44.20 ID:dHCCEzTf [10/21]
【定理】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は無理数となる。(3)の解x,y,zは整数比とならない。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。よって、(4)の解x,y,zも整数比とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
865 名前：日高[] 投稿日：2021/03/14(日) 09:02:21.48 ID:dHCCEzTf [11/21]
(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)となる。
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が有理数の場合と同じとなる。
(4)はx,y,zが有理数の場合は、成立しないので、(C)および、
(sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nも、成立しない。
872 名前：日高[] 投稿日：2021/03/14(日) 09:50:36.97 ID:dHCCEzTf [16/21]
【定理】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は無理数となる。
(4)の解は(3)の解のa^{1/(n-1)}倍となる。よって、(4)の解x,y,zは整数比とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 615 名前：日高[] 投稿日：2021/02/26(金) 15:56:14.42 ID:M74qMKvB [9/16]
【定理】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は自然数解を持たない。
616 名前：日高[] 投稿日：2021/02/26(金) 15:57:08.66 ID:M74qMKvB [10/16]
(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も、成立しない。 617 名前：日高[] 投稿日：2021/02/26(金) 15:58:45.19 ID:M74qMKvB [11/16]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=(x+√3)^3…(3)
x^3+y^3=(x+1)^3…(4)
(4)の解は、(3)の解の1/√3倍となる。
618 名前：日高[] 投稿日：2021/02/26(金) 15:59:45.32 ID:M74qMKvB [12/16]
【定理】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は自然数解を持つ。
619 名前：日高[] 投稿日：2021/02/26(金) 16:01:57.98 ID:M74qMKvB [13/16]
【定理】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を得る。
620 名前：日高[] 投稿日：2021/02/26(金) 16:02:55.83 ID:M74qMKvB [14/16]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。 631 名前：日高[] 投稿日：2021/02/26(金) 20:42:14.85 ID:M74qMKvB [18/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)とする。
(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は自然数解を持たない。
632 名前：日高[] 投稿日：2021/02/26(金) 20:44:14.15 ID:M74qMKvB [19/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も、成立しない。
633 名前：日高[] 投稿日：2021/02/26(金) 20:44:57.14 ID:M74qMKvB [20/24]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=(x+√3)^3…(3)
x^3+y^3=(x+1)^3…(4)
(4)の解は、(3)の解の1/√3倍となる。 634 名前：日高[] 投稿日：2021/02/26(金) 20:46:10.67 ID:M74qMKvB [21/24]
【定理】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は自然数解を持つ。
636 名前：日高[] 投稿日：2021/02/26(金) 20:47:22.37 ID:M74qMKvB [22/24]
【定理】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を得る。
637 名前：日高[] 投稿日：2021/02/26(金) 20:48:24.13 ID:M74qMKvB [23/24]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
638 名前：日高[] 投稿日：2021/02/26(金) 20:49:46.19 ID:M74qMKvB [24/24]
>635
> 最初の問題（フェルマーの最終定理）が正しいことが、わかります。
だから君がやっていることは証明じゃないんだってば。
どうしてでしょうか？ 1 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/02/16(火) 08:50:11.66 ID:3kd34q0c [1/13]
【定理】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は自然数解を持たない。
2 名前：日高[] 投稿日：2021/02/16(火) 08:51:18.72 ID:3kd34q0c [2/13]
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ
3 名前：日高[] 投稿日：2021/02/16(火) 08:52:05.36 ID:3kd34q0c [3/13]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。 >>863
> >852
> 「x>2ならばx>1」と「x>2かつx>1」は同じですか？
>
> この場合の、「ならば」と、「かつ」の意味を教えてください。
通常の意味です。回答願います。 33 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 17:54:38.01 ID:FbLTf6OQ [17/27]
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/05(金) 06:54:33.89 ID:oiQwpH62
>69
>AB=2*3のときAB=3*2でもあるわけですが、このときはどうなりますか？
AB=2*3のときは、A=2,B=3です。
AB=3*2のときは、A=3,B=2です。 >879
ところで >>875 には「(3) に整数比の無理数解がない」事の証明がないのですが、
その証明をお願いします。
877を見てください。 >881
他の誰がどんな証明をしていようが、この証明の中でインチキのウソでない証拠がないので、(4)の解は整数比とならない。はインチキのウソです。
875と877を見てください。 >882
(3)にx=s,y=tの解が存在しないがx=sｗ、y=twの解が存在する可能性があります。
x=s,y=t,z=uの解が存在するならば、x=sw,y=tw,z=uwの解が存在します。 >>893
> >880
> それで導出したつもりかね？
>
> はい。
そもそもが数学の記述として不正で、まったく導出になってない
数学がまったくできていないので、一から数学やり直すか、でなければ消えろ >890
通常の意味です。回答願います。
わかりません。教えてください。 >>894
01行目【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
02行目 (1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
03行目 (2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
04行目 (2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
05行目 (3)はyが有理数のとき、xは無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
06行目 (4)の(an)^{1/(n-1)}、xが有理数のとき、yは、無理数となる。
07行目 ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
08行目 (3)のx,yが無理数の場合は、x=sw、y=twとおく。
09行目 (sw)^n+(tw)^n=(sw+n^{1/(n-1)})^nとなる。(s,tは有理数、wは無理数)
10行目 両辺をw^nで割ると、s^n+t^n=(s+n^{1/(n-1)}/w)^n…(A)となる。
11行目 n^{1/(n-1)}/w=u…(B)となるかを検討する。(uは有理数)
12行目 (A)より、w=n^{1/(n-1)}/(s^n+t^n)^(1/n)-sとなる。
13行目 (B)に代入すると、(s^n+t^n)^(1/n)=u、s^n+t^n=u^n…(C)となる。
14行目 (4)のx,y,zが有理数とならないので、(C)は成立しない。
(3)のx,y,zが整数比となる無理数解が、あるかもしれないし、ないかもしれません。
証明の1行目からが5行目までで、(3)のx,y,zが整数比となる無理数解が、あるかもしれないので、
つまり、(3)のx,y,zが整数比となる無理数解がないという証拠がこの証明の中にないので、
(3)のx,y,zが整数比となる無理数解がない、はインチキのウソです。証拠もないのにそんなこと言えません。
(3)のx,y,zが整数比となる無理数解がない、はインチキのウソなので、
インチキのウソを証拠にした、06行目 (4)の(an)^{1/(n-1)}、xが有理数のとき、yは、無理数となる。はインチキのウソです。
06行目がインチキのウソなので、
インチキのウソを証拠にした、14行目 (4)のx,y,zが有理数とならないので、もインチキのウソです。
当然、(C)は成立しない。もインチキのウソです。
他の誰がどんな証明をしていようが、この証明の中でインチキのウソでない証拠がないので、
(4)の(an)^{1/(n-1)}、xが有理数のとき、yは、無理数となる。はインチキのウソです。 >>895
x^2+y^2=(x+2)^2…(3)
x^2+y^2=(x+√3)^2…(5)
s,t,uが有理数、wが無理数の時、
(3)にx=s,y=t,z=uの害が存在しますが、(3)にx=sw,y=tw,z=uwの解は存在しません。
(5)にx=s,y=t,z=uの解は存在しませんが、(5)にx=sw,y=tw,z=uwの解は存在します。
> x=s,y=t,z=uの解が存在するならば、x=sw,y=tw,z=uwの解が存在します。
は間違っています。
(5)にx=12,y=5の解が存在しないがx=12ｗ、y=5wの解が存在するのと同じように、
(3)にx=s,y=tの解が存在しないがx=sｗ、y=twの解が存在する可能性があります。 >>899最後2行間違い
x^2+y^2=(x+√3)^2…(5)
(5)にx=12,y=5の解が存在しないがx=12ｗ、y=5wの解が存在するのと同じように、
x^n+y^n=(x+n^{1/(n-1)})^n…(3)
(3)にx=s,y=tの解が存在しないがx=sｗ、y=twの解が存在する可能性があります。 >>892
> >879
> ところで >>875 には「(3) に整数比の無理数解がない」事の証明がないのですが、
> その証明をお願いします。
>
> 877を見てください。
>>877 の
> (4)のx,y,zが有理数とならないので、
については、どういう理由で言えるのでしょうか。 >>870
例として、n=2のとき
r=z-x
r{(y/r)^2-1}=a2{x}(1/a)…(2)
x^2+y^2=(x+2)^2…(3)
(2)には2通りの解があります。
r=2の(2)の解
r≠2の(2)の解
r=2のとき、(2)は(3)に変形できます。r=2のときの(2)の解は(3)の解です。
r≠2のとき、(2)は(3)に変形できません。r≠2のときの(2)の解は(3)の解ではありません。
つまり、(2)の解には2通りあります。
r=2のときの(2)の解、つまり(3)の解でもあるもの
r≠2のときの(2)の解、つまり(3)の解ではないもの
x=s,y=t,z=uのとき、r=2であるならば、絶対にx=sw,y=tw,z=uwのとき、r≠2です。
つまりx=s,y=t,z=uが(3)の解ならば、x=sw,y=tw,z=uwは(3)の解ではありません。
x=sw,y=tw,z=uwのとき、r=2であるならば、絶対にx=s,y=t,z=uのとき、r≠2です。
つまりx=sw,y=tw,z=uwが(3)の解ならば、x=s,y=t,z=uは(3)の解ではありません。 >>897
わかったよ。
【メタ定理】日高にとってはすべての命題は真である。
【証明】任意の命題をpとする。「pならばp」は真である。
日高には「pならばq」と「pかつq」との区別がつかない。
よって「pかつq」も真である。よってpは真である。 >>875 日高をまねると次が証明できる。
【定理】n=3のとき、x^n+7y^n=z^nは自然数解を持たない。
【証明】x^n+7y^n=z^nを、z=x+rとおいてx^n+7y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){7(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+7y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+7y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はyが有理数のとき、xは無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
(4)の(an)^{1/(n-1)}、xが有理数のとき、yは、無理数となる。
∴n=3のとき、x^n+7y^n=z^nは自然数解を持たない。
しかしn^3+7y^3=z^3は自然数解x=y=1,z=2を持つんだよなあ。 >>905
式が，違います。
と返ってくることまでがお約束w 【定理】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は無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
(4)の(an)^{1/(n-1)}、xが有理数のとき、yは、無理数となる。
∴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)となる。
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)となる。
(4)のx,y,zが有理数とならないので、(C)は成立しない。 【定理】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を得る。 907 名前：日高[] 投稿日：2021/03/14(日) 18:20:53.94 ID:dHCCEzTf [28/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)とする。
(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は無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
(4)の(an)^{1/(n-1)}、xが有理数のとき、yは、無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
908 名前：日高[] 投稿日：2021/03/14(日) 18:22:35.44 ID:dHCCEzTf [29/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)となる。
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)となる。
(4)のx,y,zが有理数とならないので、(C)は成立しない。
909 名前：日高[] 投稿日：2021/03/14(日) 18:27:17.23 ID:dHCCEzTf [30/31]
【定理】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は自然数解を持つ。
910 名前：日高[] 投稿日：2021/03/14(日) 18:27:58.38 ID:dHCCEzTf [31/31]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。 1 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 12:23:11.66 ID:FbLTf6OQ [1/32]
【定理】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は自然数解を持たない。
2 名前：日高[] 投稿日：2021/03/04(木) 12:24:43.66 ID:FbLTf6OQ [2/32]
【定理】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は無理数となる。(4)(3)(2)(1)の解の比は、同じとなる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
3 名前：日高[] 投稿日：2021/03/04(木) 12:25:44.50 ID:FbLTf6OQ [3/32]
(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^n+y^n=z^nのx,y,zが有理数の場合と同じとなる。 4 名前：日高[] 投稿日：2021/03/04(木) 12:26:29.65 ID:FbLTf6OQ [4/32]
【定理】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は有理数となる。(4)(3)(2)(1)の解の比は、同じとなる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
5 名前：日高[] 投稿日：2021/03/04(木) 12:27:13.78 ID:FbLTf6OQ [5/32]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。 33 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 17:54:38.01 ID:FbLTf6OQ [17/27]
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/05(金) 06:54:33.89 ID:oiQwpH62
>69
>AB=2*3のときAB=3*2でもあるわけですが、このときはどうなりますか？
AB=2*3のときは、A=2,B=3です。
AB=3*2のときは、A=3,B=2です。 33 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 17:54:38.01 ID:FbLTf6OQ [17/27]
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/05(金) 06:54:33.89 ID:oiQwpH62
>69
>AB=2*3のときAB=3*2でもあるわけですが、このときはどうなりますか？
AB=2*3のときは、A=2,B=3です。
AB=3*2のときは、A=3,B=2です。 >>900
> そもそもが数学の記述として不正で、まったく導出になってない
こっちには反応しないんだね？
> > x^n+y^n=z^nが存在しないならば、
ここだけだと
「x^n+y^n=z^n」という方程式が存在しないならば、
と読めて、まあ意味不明だよ
>881 の人とかは推測で
> > x^n+y^n=z^n(の解x,y,zで整数比であるもの)が存在しないならば、
くらいに補って読んでくれてるのかな？ 親切だねえ
でも、そうやって議論の対象をきちんと書かないと、内容を読者の推測に任せることになってしまうのがまずダメ
そして、本人の頭の中でも別のものをごっちゃにしてしまって、繋がらないロジックを繋げてしまうかもしれない……というか繋げてしまった結果が
> x^n+y^n=z^nが存在しないならば、
> (xw)^n+(yw)^n=(zw)^nも存在しない。(wは無理数)
これで導出できたという思い込みですな 【定理】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は無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
(4)の(an)^{1/(n-1)}、xが有理数のとき、yは無理数となる。
∴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)となる。
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)となる。
(4)のx,y,zが有理数とならないので、(C)は成立しない。 【定理】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は有理数となる。(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を得る。 >898
(3)のx,y,zが整数比となる無理数解が、あるかもしれないし、ないかもしれません。
14行目 (4)のx,y,zが有理数とならないので、(C)は成立しない。
ので、ありません。 >899
> x=s,y=t,z=uの解が存在するならば、x=sw,y=tw,z=uwの解が存在します。
は間違っています。
x=s,y=t,z=uの解が存在するならば、x=sw,y=tw,z=uwの解が存在します。
は、(3)が存在するならば、(5)も存在するという意味です。 >901
(3)にx=s,y=tの解が存在しないがx=sｗ、y=twの解が存在する可能性があります。
x=sｗ、y=tw、z=uwの解は、(4)にx,y,zの解が存在しないので、
存在しません。 >902
>>877 の
> (4)のx,y,zが有理数とならないので、
については、どういう理由で言えるのでしょうか。
(4)の(an)^{1/(n-1)}、xが有理数のとき、yは無理数となる。からです。 >903
つまりx=sw,y=tw,z=uwが(3)の解ならば、x=s,y=t,z=uは(3)の解ではありません。
x=s,y=t,z=uは(3)の解です。
x=sw,y=tw,z=uwは(4)の解です。(a=w) >904
【メタ定理】日高にとってはすべての命題は真である。
【証明】任意の命題をpとする。「pならばp」は真である。
日高には「pならばq」と「pかつq」との区別がつかない。
よって「pかつq」も真である。よってpは真である。
よく意味がわかりません。 >905
しかしn^3+7y^3=z^3は自然数解x=y=1,z=2を持つんだよなあ。
式の形が、違います。 >906
式が，違います。
と返ってくることまでがお約束w
はい。 917 名前：日高[] 投稿日：2021/03/15(月) 07:56:35.47 ID:JL63Al/K [1/11]
【定理】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は無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
(4)の(an)^{1/(n-1)}、xが有理数のとき、yは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
918 名前：日高[] 投稿日：2021/03/15(月) 07:58:04.88 ID:JL63Al/K [2/11]
(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)となる。
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)となる。
(4)のx,y,zが有理数とならないので、(C)は成立しない。
919 名前：日高[] 投稿日：2021/03/15(月) 08:02:20.83 ID:JL63Al/K [3/11]
【定理】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は有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
920 名前：日高[] 投稿日：2021/03/15(月) 08:03:47.77 ID:JL63Al/K [4/11]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。 33 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 17:54:38.01 ID:FbLTf6OQ [17/27]
>32
33 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 17:54:38.01 ID:FbLTf6OQ [17/27]
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/03/05(金) 06:54:33.89 ID:oiQwpH62
>69
>AB=2*3のときAB=3*2でもあるわけですが、このときはどうなりますか？
AB=2*3のときは、A=2,B=3です。
AB=3*2のときは、A=3,B=2です。 >916
> x^n+y^n=z^nが存在しないならば、
> (xw)^n+(yw)^n=(zw)^nも存在しない。(wは無理数)
これで導出できたという思い込みですな
(xw)^n+(yw)^n=(zw)^nの、両辺をw^nで割ると、
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)とする。
(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は無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
(4)の(an)^{1/(n-1)}、xが有理数のとき、yは無理数となる。
∴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)となる。
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)となる。
(4)のx,y,zが有理数とならないので、(C)は成立しない。 【定理】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は有理数となる。(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を得る。 932 名前：日高[] 投稿日：2021/03/15(月) 09:21:12.75 ID:JL63Al/K [14/17]
【定理】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は無理数となる。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
(4)の(an)^{1/(n-1)}、xが有理数のとき、yは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
933 名前：日高[] 投稿日：2021/03/15(月) 09:22:09.79 ID:JL63Al/K [15/17]
(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)となる。
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)となる。
(4)のx,y,zが有理数とならないので、(C)は成立しない。
934 名前：日高[] 投稿日：2021/03/15(月) 09:23:04.07 ID:JL63Al/K [16/17]
【定理】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は有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
935 名前：日高[] 投稿日：2021/03/15(月) 09:23:49.16 ID:JL63Al/K [17/17]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。 1 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2021/02/16(火) 08:50:11.66 ID:3kd34q0c [1/13]
【定理】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は自然数解を持たない。
2 名前：日高[] 投稿日：2021/02/16(火) 08:51:18.72 ID:3kd34q0c [2/13]
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ
3 名前：日高[] 投稿日：2021/02/16(火) 08:52:05.36 ID:3kd34q0c [3/13]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。 5 名前：日高[] 投稿日：2021/02/16(火) 10:21:49.36 ID:3kd34q0c [4/13]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=3を代入する。
ピタゴラス数x=5、y=12、z=13を得る。
6 名前：日高[] 投稿日：2021/02/16(火) 11:07:26.08 ID:3kd34q0c [5/13]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=5を代入する。
ピタゴラス数x=21、y=20、z=29を得る。
7 名前：日高[] 投稿日：2021/02/16(火) 13:37:18.72 ID:3kd34q0c [6/13]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=6を代入する。
ピタゴラス数x=4、y=3、z=5を得る。
8 名前：日高[] 投稿日：2021/02/16(火) 13:51:34.58 ID:3kd34q0c [7/13]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=7を代入する。
ピタゴラス数x=45、y=28、z=53を得る。
9 名前：日高[] 投稿日：2021/02/16(火) 15:21:09.09 ID:3kd34q0c [8/13]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=8を代入する。
ピタゴラス数x=15、y=8、z=17を得る。
10 名前：日高[] 投稿日：2021/02/16(火) 16:00:18.25 ID:3kd34q0c [9/13]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=9を代入する。
ピタゴラス数x=77、y=36、z=85を得る。 11 名前：日高[] 投稿日：2021/02/16(火) 17:43:59.74 ID:3kd34q0c [10/13]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=10を代入する。
ピタゴラス数x=12、y=5、z=13を得る。
12 名前：日高[] 投稿日：2021/02/16(火) 17:48:33.99 ID:3kd34q0c [11/13]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=11を代入する。
ピタゴラス数x=117、y=44、z=125を得る。
13 名前：日高[] 投稿日：2021/02/16(火) 17:50:03.83 ID:3kd34q0c [12/13]
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ
14 名前：日高[] 投稿日：2021/02/16(火) 17:55:33.89 ID:3kd34q0c [13/13]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=12を代入する。
ピタゴラス数x=35、y=12、z=37を得る。 28 名前：日高[] 投稿日：2021/02/17(水) 15:04:22.28 ID:36d0bZQS [6/10]
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ
35 名前：日高[] 投稿日：2021/02/17(水) 20:21:11.42 ID:36d0bZQS [10/10]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=15を代入する。
ピタゴラス数x=221、y=60、z=229を得る。
38 名前：日高[] 投稿日：2021/02/18(木) 08:38:57.72 ID:gr0yVoXs [2/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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ
39 名前：日高[] 投稿日：2021/02/18(木) 08:45:27.22 ID:gr0yVoXs [3/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=16を代入する。
ピタゴラス数x=63、y=16、z=65を得る。 40 名前：日高[] 投稿日：2021/02/18(木) 08:55:42.11 ID:gr0yVoXs [4/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=17を代入する。
ピタゴラス数x=285、y=68、z=293を得る。
41 名前：日高[] 投稿日：2021/02/18(木) 09:04:13.75 ID:gr0yVoXs [5/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=18を代入する。
ピタゴラス数x=40、y=9、z=41を得る。
47 名前：日高[] 投稿日：2021/02/18(木) 13:41:06.68 ID:gr0yVoXs [8/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=19を代入する。
ピタゴラス数x=357、y=76、z=365を得る。
48 名前：日高[] 投稿日：2021/02/18(木) 13:50:54.56 ID:gr0yVoXs [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}=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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ
49 名前：日高[] 投稿日：2021/02/18(木) 13:53:55.07 ID:gr0yVoXs [10/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=20を代入する。
ピタゴラス数x=99、y=20、z=101を得る。 52 名前：日高[] 投稿日：2021/02/18(木) 16:19:03.80 ID:gr0yVoXs [12/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=21を代入する。
ピタゴラス数x=437、y=84、z=445を得る。
52 名前：日高[] 投稿日：2021/02/18(木) 16:19:03.80 ID:gr0yVoXs [12/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=21を代入する。
ピタゴラス数x=437、y=84、z=445を得る。
58 名前：日高[] 投稿日：2021/02/18(木) 17:25:58.59 ID:gr0yVoXs [15/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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ
59 名前：日高[] 投稿日：2021/02/18(木) 17:31:42.04 ID:gr0yVoXs [16/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=23を代入する。
ピタゴラス数x=525、y=92、z=533を得る。 60 名前：日高[] 投稿日：2021/02/18(木) 17:49:42.27 ID:gr0yVoXs [17/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=24を代入する。
ピタゴラス数x=143、y=24、z=145を得る。
61 名前：日高[] 投稿日：2021/02/18(木) 19:31:53.38 ID:gr0yVoXs [18/19]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=25を代入する。
ピタゴラス数x=621、y=100、z=629を得る。
66 名前：日高[] 投稿日：2021/02/19(金) 06:37:38.61 ID:rKZOm/2h [2/25]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2…(A)
x^2+y^2=(x+1)^2…(B)
(B)の解は、(A)の解の1/2となる。
67 名前：日高[] 投稿日：2021/02/19(金) 08:10:44.35 ID:rKZOm/2h [3/25]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+1)^2…(A)
x^2+y^2=(x+2)^2…(B)
(B)の解は、(A)の解の2倍となる。
68 名前：日高[] 投稿日：2021/02/19(金) 08:17:32.89 ID:rKZOm/2h [4/25]
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ 69 名前：日高[] 投稿日：2021/02/19(金) 08:24:19.65 ID:rKZOm/2h [5/25]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=(x+1)^3…(A)
x^3+y^3=(x+2)^3…(B)
(B)の解は、(A)の解の2倍となる。
70 名前：日高[] 投稿日：2021/02/19(金) 08:40:38.17 ID:rKZOm/2h [6/25]
【定理】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を得る。
74 名前：日高[] 投稿日：2021/02/19(金) 09:12:07.19 ID:rKZOm/2h [7/25]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
75 名前：日高[] 投稿日：2021/02/19(金) 10:15:38.93 ID:rKZOm/2h [8/25]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=(x+√3)^3…(A)
x^3+y^3=(x+4)^3…(B)
(B)の解は、(A)の解の4/√3倍となる。
76 名前：日高[] 投稿日：2021/02/19(金) 10:20:40.54 ID:rKZOm/2h [9/25]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=(x+√3)^3…(A)
x^3+y^3=(x+4)^3…(B)
(A)は、yを有理数とすると、xは無理数となる。
(B)の解は、(A)の解の4/√3倍となる。 77 名前：日高[] 投稿日：2021/02/19(金) 10:21:56.30 ID:rKZOm/2h [10/25]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=(x+√3)^3…(A)
x^3+y^3=(x+5)^3…(B)
(A)は、yを有理数とすると、xは無理数となる。
(B)の解は、(A)の解の5/√3倍となる。
78 名前：日高[] 投稿日：2021/02/19(金) 11:28:22.83 ID:rKZOm/2h [11/25]
(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)^n…(A)となるので、
s+n^{1/(n-1)}/w^n=u…(B)となるかを検討する。(uは有理数)
(A)より、w^n=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)は、(4)のx,y,zが有理数の場合と、同じとなる。
79 名前：日高[] 投稿日：2021/02/19(金) 11:30:08.10 ID:rKZOm/2h [12/25]
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ
80 名前：日高[] 投稿日：2021/02/19(金) 11:33:55.58 ID:rKZOm/2h [13/25]
【定理】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を得る。 81 名前：日高[] 投稿日：2021/02/19(金) 12:49:52.66 ID:rKZOm/2h [14/25]
(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)^n…(A)となるので、
s+n^{1/(n-1)}/w^n=u…(B)となるかを検討する。(uは有理数)
(A)より、w^n=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)は、(4)のx,y,zが有理数の場合と、同じとなるが、(4)のx,y,zは、有理数とならない。
82 名前：日高[] 投稿日：2021/02/19(金) 12:53:52.50 ID:rKZOm/2h [15/25]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2…(A)
x^2+y^2=(x+√3)^2…(B)
(B)の解は、(A)の解の√3/2倍となる。
(A),(B)とも、ピタゴラス数x=3、y=4、z=5を得る。
83 名前：日高[] 投稿日：2021/02/19(金) 12:57:26.52 ID:rKZOm/2h [16/25]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+1)^2に、y=3を代入する。
ピタゴラス数x=4、y=3、z=5を得る。
94 名前：日高[] 投稿日：2021/02/19(金) 19:09:45.47 ID:rKZOm/2h [19/25]
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ
95 名前：日高[] 投稿日：2021/02/19(金) 19:11:06.70 ID:rKZOm/2h [20/25]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2…(A)
x^2+y^2=(x+1)^2…(B)
(B)の解は、(A)の解の1/2となる。 97 名前：日高[] 投稿日：2021/02/19(金) 19:13:13.06 ID:rKZOm/2h [21/25]
【定理】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を得る。
98 名前：日高[] 投稿日：2021/02/19(金) 19:14:14.27 ID:rKZOm/2h [22/25]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=(x+1)^3…(A)
x^3+y^3=(x+2)^3…(B)
(B)の解は、(A)の解の2倍となる。
99 名前：日高[] 投稿日：2021/02/19(金) 19:15:33.83 ID:rKZOm/2h [23/25]
(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)^n…(A)となるので、
s+n^{1/(n-1)}/w^n=u…(B)となるかを検討する。(uは有理数)
(A)より、w^n=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)は、(4)のx,y,zが有理数の場合と、同じとなるが、(4)のx,y,zは、有理数とならない。
107 名前：日高[] 投稿日：2021/02/20(土) 08:02:54.16 ID:+4Olc+ni [2/59]
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ 108 名前：日高[] 投稿日：2021/02/20(土) 08:04:06.54 ID:+4Olc+ni [3/59]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2…(A)
x^2+y^2=(x+1)^2…(B)
(B)の解は、(A)の解の1/2となる。
109 名前：日高[] 投稿日：2021/02/20(土) 08:05:01.68 ID:+4Olc+ni [4/59]
【定理】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を得る。
110 名前：日高[] 投稿日：2021/02/20(土) 08:05:46.36 ID:+4Olc+ni [5/59]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=(x+1)^3…(A)
x^3+y^3=(x+2)^3…(B)
(B)の解は、(A)の解の2倍となる。
111 名前：日高[] 投稿日：2021/02/20(土) 08:06:38.56 ID:+4Olc+ni [6/59]
(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)^n…(A)となるので、
s+n^{1/(n-1)}/w^n=u…(B)となるかを検討する。(uは有理数)
(A)より、w^n=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)は、(4)のx,y,zが有理数の場合と、同じとなるが、(4)のx,y,zは、有理数とならない。 117 名前：日高[] 投稿日：2021/02/20(土) 09:21:54.38 ID:+4Olc+ni [7/59]
【定理】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)となる。
a(1/a)=1なので、(3)のみを検討すれば良い。(3)はyを有理数とすると、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
118 名前：日高[] 投稿日：2021/02/20(土) 09:23:27.31 ID:+4Olc+ni [8/59]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2…(A)
x^2+y^2=(x+1)^2…(B)
(B)の解は、(A)の解の1/2となる。
119 名前：日高[] 投稿日：2021/02/20(土) 09:24:59.41 ID:+4Olc+ni [9/59]
【定理】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を得る。
120 名前：日高[] 投稿日：2021/02/20(土) 09:25:52.16 ID:+4Olc+ni [10/59]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=(x+1)^3…(A)
x^3+y^3=(x+2)^3…(B)
(B)の解は、(A)の解の2倍となる。 121 名前：日高[] 投稿日：2021/02/20(土) 09:27:12.88 ID:+4Olc+ni [11/59]
(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)^n…(A)となるので、
s+n^{1/(n-1)}/w^n=u…(B)となるかを検討する。(uは有理数)
(A)より、w^n=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)は、(4)のx,y,zが有理数の場合と、同じとなるが、(4)のx,y,zは、有理数とならない。
122 名前：日高[] 投稿日：2021/02/20(土) 10:00:49.02 ID:+4Olc+ni [12/59]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=(x+√3)^3…(3)
x^3+y^3=(x+1)^3…(4)
(4)の解は、(3)の解の1/√3倍となる。
123 名前：日高[] 投稿日：2021/02/20(土) 10:08:13.64 ID:+4Olc+ni [13/59]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
128 名前：日高[] 投稿日：2021/02/20(土) 10:18:28.46 ID:+4Olc+ni [14/59]
【定理】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は無理数となる。(4)の解は(3)の解のan^{1/(n-1)}倍となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。 129 名前：日高[] 投稿日：2021/02/20(土) 10:19:47.19 ID:+4Olc+ni [15/59]
(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)^n…(A)となるので、
s+n^{1/(n-1)}/w^n=u…(B)となるかを検討する。(uは有理数)
(A)より、w^n=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)は、(4)のx,y,zが有理数の場合と、同じとなるが、(4)のx,y,zは、有理数とならない。
130 名前：日高[] 投稿日：2021/02/20(土) 10:22:21.87 ID:+4Olc+ni [16/59]
【定理】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は有理数となる。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ
133 名前：日高[] 投稿日：2021/02/20(土) 10:23:34.94 ID:+4Olc+ni [17/59]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
135 名前：日高[] 投稿日：2021/02/20(土) 10:24:35.84 ID:+4Olc+ni [18/59]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=(x+√3)^3…(3)
x^3+y^3=(x+1)^3…(4)
(4)の解は、(3)の解の1/√3倍となる。 レス数が950を超えています。1000を超えると書き込みができなくなります。
