【定理】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)のx,yは共に有理数とならない。
(3)(4)の解の比は同じなので、(4)のrが有理数でも、x,yは共に有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】
(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)
フェルマーの最終定理の簡単な証明６
■ このスレッドは過去ログ倉庫に格納されています
1日高
2021/04/12(月) 14:18:18.43ID:NFcTRjFu249１３２人目の素数さん
2021/04/20(火) 15:02:24.18ID:4pki986s >>248 日高
> n=2mに、n=12を代入すると、m=6となります。
> n,mは、3の倍数となります。
それはもうひとつ例を挙げただけでしょ。
> nに6の倍数を代入すると、mは3の倍数となります。
これは証明すべきことがらです。
> n=2mに、n=12を代入すると、m=6となります。
> n,mは、3の倍数となります。
それはもうひとつ例を挙げただけでしょ。
> nに6の倍数を代入すると、mは3の倍数となります。
これは証明すべきことがらです。
250日高
2021/04/20(火) 15:17:02.78ID:y7eH3QIX >249
> nに6の倍数を代入すると、mは3の倍数となります。
これは証明すべきことがらです。
n=2mの、mに3の倍数を代入すると、nは6の倍数となります。
m=3aとすると、n=6aとなります。
> nに6の倍数を代入すると、mは3の倍数となります。
これは証明すべきことがらです。
n=2mの、mに3の倍数を代入すると、nは6の倍数となります。
m=3aとすると、n=6aとなります。
251１３２人目の素数さん
2021/04/20(火) 15:25:21.22ID:4pki986s >>250 日高
仮定と結論について、何もわかっていませんね。
仮定と結論について、何もわかっていませんね。
252日高
2021/04/20(火) 15:38:56.97ID:y7eH3QIX (修正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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)
(4)はx,y,rを有理数としても、成立しないので、s^n+t^n=u^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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)
(4)はx,y,rを有理数としても、成立しないので、s^n+t^n=u^nも成立しない。
253日高
2021/04/20(火) 15:39:37.83ID:y7eH3QIX 【定理】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
【証明】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
254日高
2021/04/20(火) 15:41:24.52ID:y7eH3QIX 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=7を代入する。
ピタゴラス数x=45、y=28、z=53を得る。
x^2+y^2=(x+2)^2に、y=7を代入する。
ピタゴラス数x=45、y=28、z=53を得る。
255日高
2021/04/20(火) 15:43:25.91ID:y7eH3QIX >251
仮定と結論について、仮定と結論について、何もわかっていませんね。いませんね。
どの、部分が仮定と結論について、何もわかっていないのでしょうか？
仮定と結論について、仮定と結論について、何もわかっていませんね。いませんね。
どの、部分が仮定と結論について、何もわかっていないのでしょうか？
256１３２人目の素数さん
2021/04/20(火) 15:57:14.21ID:4pki986s >>250 日高の最後の二行。
257日高
2021/04/20(火) 16:17:47.65ID:y7eH3QIX >256
n=2mの、mに3の倍数を代入すると、nは6の倍数となります。
m=3aとすると、n=6aとなります。
どうして、これが、仮定と結論について、何もわかっていないことになるのでしょうか？
n=2mの、mに3の倍数を代入すると、nは6の倍数となります。
m=3aとすると、n=6aとなります。
どうして、これが、仮定と結論について、何もわかっていないことになるのでしょうか？
258日高
2021/04/20(火) 16:20:07.75ID:y7eH3QIX 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=8を代入する。
ピタゴラス数x=15、y=8、z=17を得る。
x^2+y^2=(x+2)^2に、y=8を代入する。
ピタゴラス数x=15、y=8、z=17を得る。
259１３２人目の素数さん
2021/04/20(火) 16:23:10.71ID:4pki986s >>257 日高
証明すべきことがらをよく読み直して。
証明すべきことがらをよく読み直して。
260日高
2021/04/20(火) 16:48:06.17ID:y7eH3QIX >259
証明すべきことがらをよく読み直して。
わかりません。正解を教えてください。
証明すべきことがらをよく読み直して。
わかりません。正解を教えてください。
261日高
2021/04/20(火) 17:01:11.53ID:y7eH3QIX 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=9を代入する。
ピタゴラス数x=77、y=36、z=85を得る。
x^2+y^2=(x+2)^2に、y=9を代入する。
ピタゴラス数x=77、y=36、z=85を得る。
262日高
2021/04/20(火) 17:02:00.76ID:y7eH3QIX (修正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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)
(4)はx,y,rを有理数としても、成立しないので、s^n+t^n=u^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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)
(4)はx,y,rを有理数としても、成立しないので、s^n+t^n=u^nも成立しない。
263日高
2021/04/20(火) 17:02:34.27ID:y7eH3QIX 【定理】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
【証明】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
264１３２人目の素数さん
2021/04/20(火) 17:07:46.05ID:z6cAPGoP >>239
> (4.3)はx,yが無理数で、整数比のとき、成立します
この比はs:t:u
x^2+y^2=(x+3^(1/2))^2…(4.3)
x^2+y^2=(x+r)^2…(4.4)
(4.3)は3^(1/2)が無理数でx,yを有理数とすると成立しない
x,y,zの比で書くとs:t:s+3^(1/2)は成立しない (s:t:uではない)
(4.3)(4.3)の解の比は同じなので
(4.4)がx,y,rを有理数としても成立しない
解の比は同じなのでx,y,zの比で書くとs:t:s+3^(1/2)は成立しない (s:t:uではない)
x,y,zの比がs:t:uの場合は一切出てこない
>>240
> (4)はyが有理数でxが有理数になることは、ありません。
このときx,y,zの比はs:t:uにならないとはいえないだろ
> (4.3)はx,yが無理数で、整数比のとき、成立します
この比はs:t:u
x^2+y^2=(x+3^(1/2))^2…(4.3)
x^2+y^2=(x+r)^2…(4.4)
(4.3)は3^(1/2)が無理数でx,yを有理数とすると成立しない
x,y,zの比で書くとs:t:s+3^(1/2)は成立しない (s:t:uではない)
(4.3)(4.3)の解の比は同じなので
(4.4)がx,y,rを有理数としても成立しない
解の比は同じなのでx,y,zの比で書くとs:t:s+3^(1/2)は成立しない (s:t:uではない)
x,y,zの比がs:t:uの場合は一切出てこない
>>240
> (4)はyが有理数でxが有理数になることは、ありません。
このときx,y,zの比はs:t:uにならないとはいえないだろ
265１３２人目の素数さん
2021/04/20(火) 17:15:35.58ID:z6cAPGoP >>262
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
> (3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
> ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
結論が間違い
x^2+y^2=(x+3^(1/2))^2…(4.3)
x^2+y^2=(x+r)^2…(4.4)
(4.3)は3^(1/2)が無理数でx,yを有理数とすると成立しない
(4.3)(4.4)の解の比は同じなので(4.4)がx,y,rを有理数としても成立しない
しかし実際は
> (4.3)はx,yが無理数で、整数比のとき、成立します
結論が矛盾している
その理由はn=3ならばr=3^(1/2)であり
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
x,y,zの比はs:t:s+3^(1/2)
> (3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
解の比は同じなのでx,y,zの比はs:t:s+3^(1/2)
> ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x,y,zの比はs:t:u
s,t,uが有理数でs+3^(1/2)は無理数であるからs:t:s+3^(1/2)とs:t:uは同じではない
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
> (3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
> ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
結論が間違い
x^2+y^2=(x+3^(1/2))^2…(4.3)
x^2+y^2=(x+r)^2…(4.4)
(4.3)は3^(1/2)が無理数でx,yを有理数とすると成立しない
(4.3)(4.4)の解の比は同じなので(4.4)がx,y,rを有理数としても成立しない
しかし実際は
> (4.3)はx,yが無理数で、整数比のとき、成立します
結論が矛盾している
その理由はn=3ならばr=3^(1/2)であり
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
x,y,zの比はs:t:s+3^(1/2)
> (3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
解の比は同じなのでx,y,zの比はs:t:s+3^(1/2)
> ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x,y,zの比はs:t:u
s,t,uが有理数でs+3^(1/2)は無理数であるからs:t:s+3^(1/2)とs:t:uは同じではない
266日高
2021/04/20(火) 18:07:40.83ID:y7eH3QIX >264
(4.4)がx,y,rを有理数としても成立しない
(4.4)はx,y,rが有理数のとき、成立します。
> (4)はyが有理数でxが有理数になることは、ありません。
このときx,y,zの比はs:t:uにならないとはいえないだろ
yが有理数でxが有理数になることは、ないので、s,tが共に有理数となることは、
ありません。
(4.4)がx,y,rを有理数としても成立しない
(4.4)はx,y,rが有理数のとき、成立します。
> (4)はyが有理数でxが有理数になることは、ありません。
このときx,y,zの比はs:t:uにならないとはいえないだろ
yが有理数でxが有理数になることは、ないので、s,tが共に有理数となることは、
ありません。
267日高
2021/04/20(火) 18:13:10.20ID:y7eH3QIX >265
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
x,y,zの比はs:t:s+3^(1/2)
(3)の解の比はs:t:s+3^(1/2)となりません。
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
x,y,zの比はs:t:s+3^(1/2)
(3)の解の比はs:t:s+3^(1/2)となりません。
268日高
2021/04/20(火) 19:05:59.39ID:y7eH3QIX 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=10を代入する。
ピタゴラス数x=12、y=5、z=13を得る。
x^2+y^2=(x+2)^2に、y=10を代入する。
ピタゴラス数x=12、y=5、z=13を得る。
269１３２人目の素数さん
2021/04/20(火) 19:06:46.75ID:z6cAPGoP >>266
> (4.4)はx,y,rが有理数のとき、成立します。
(4.3)と解の比が同じだったら成立しないというのが日高流だろ
> yが有理数でxが有理数になることは、ないので、s,tが共に有理数となることは、
> ありません。
(3)とx,y,zが同じ比の場合だけだろ
>>267
> (3)の解の比はs:t:s+3^(1/2)となりません。
だから(4)の解の比もs:t:s+3^(1/2)とならないとしか言えないだろ
> ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x,y,zの比はs:t:uとならないことを証明しなければならない
s,t,uが有理数でs+3^(1/2)は無理数であるからs:t:s+3^(1/2)とs:t:uは同じではない
よって証明は間違い
> (4.4)はx,y,rが有理数のとき、成立します。
(4.3)と解の比が同じだったら成立しないというのが日高流だろ
> yが有理数でxが有理数になることは、ないので、s,tが共に有理数となることは、
> ありません。
(3)とx,y,zが同じ比の場合だけだろ
>>267
> (3)の解の比はs:t:s+3^(1/2)となりません。
だから(4)の解の比もs:t:s+3^(1/2)とならないとしか言えないだろ
> ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
x,y,zの比はs:t:uとならないことを証明しなければならない
s,t,uが有理数でs+3^(1/2)は無理数であるからs:t:s+3^(1/2)とs:t:uは同じではない
よって証明は間違い
270１３２人目の素数さん
2021/04/20(火) 19:24:59.29ID:u0B5dEtj 33 名前：日高[[email protected]] 投稿日：2021/03/04(木) 17:54:38.01 ID:FbLTf6OQ [17/27]
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
271１３２人目の素数さん
2021/04/20(火) 19:25:27.69ID:u0B5dEtj 145 名前：日高[] 投稿日：2021/04/01(木) 08:34:37.57 ID:bHpxNV84 [21/26]
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
154 名前：日高[] 投稿日：2021/04/01(木) 08:52:50.46 ID:bHpxNV84 [26/26]
>152
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。
ネットに書いてあります。
145 名前：日高[] 投稿日：2021/04/01(木) 08:34:37.57 ID:bHpxNV84 [21/26]
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
154 名前：日高[] 投稿日：2021/04/01(木) 08:52:50.46 ID:bHpxNV84 [26/26]
>152
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。
ネットに書いてあります。
145 名前：日高[] 投稿日：2021/04/01(木) 08:34:37.57 ID:bHpxNV84 [21/26]
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
272１３２人目の素数さん
2021/04/20(火) 19:30:51.55ID:u0B5dEtj 33 名前：日高[[email protected]] 投稿日：2021/03/04(木) 17:54:38.01 ID:FbLTf6OQ [17/27]
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
273日高
2021/04/20(火) 19:32:23.49ID:y7eH3QIX >269
s,t,uが有理数でs+3^(1/2)は無理数であるからs:t:s+3^(1/2)とs:t:uは同じではない
よって証明は間違い
s+3^(1/2)≠uなので、
s:t:s+3^(1/2)とs:t:uは同じではありません。
s,t,uが有理数でs+3^(1/2)は無理数であるからs:t:s+3^(1/2)とs:t:uは同じではない
よって証明は間違い
s+3^(1/2)≠uなので、
s:t:s+3^(1/2)とs:t:uは同じではありません。
274日高
2021/04/20(火) 19:42:36.38ID:y7eH3QIX (修正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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)
(4)はx,y,rを有理数としても、成立しないので、s^n+t^n=u^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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)
(4)はx,y,rを有理数としても、成立しないので、s^n+t^n=u^nも成立しない。
275日高
2021/04/20(火) 19:43:25.65ID:y7eH3QIX 【定理】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
【証明】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
276日高
2021/04/20(火) 19:44:42.17ID:y7eH3QIX 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=11を代入する。
ピタゴラス数x=17、y=44、z=125を得る。
x^2+y^2=(x+2)^2に、y=11を代入する。
ピタゴラス数x=17、y=44、z=125を得る。
277１３２人目の素数さん
2021/04/20(火) 20:23:03.62ID:gtxtwyJE278１３２人目の素数さん
2021/04/20(火) 22:22:21.88ID:u0B5dEtj 145 名前：日高[] 投稿日：2021/04/01(木) 08:34:37.57 ID:bHpxNV84 [21/26]
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
154 名前：日高[] 投稿日：2021/04/01(木) 08:52:50.46 ID:bHpxNV84 [26/26]
>152
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。
ネットに書いてあります。
145 名前：日高[] 投稿日：2021/04/01(木) 08:34:37.57 ID:bHpxNV84 [21/26]
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
154 名前：日高[] 投稿日：2021/04/01(木) 08:52:50.46 ID:bHpxNV84 [26/26]
>152
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。
ネットに書いてあります。
145 名前：日高[] 投稿日：2021/04/01(木) 08:34:37.57 ID:bHpxNV84 [21/26]
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
279１３２人目の素数さん
2021/04/20(火) 22:23:03.29ID:u0B5dEtj 33 名前：日高[[email protected]] 投稿日：2021/03/04(木) 17:54:38.01 ID:FbLTf6OQ [17/27]
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
280１３２人目の素数さん
2021/04/21(水) 00:31:50.13ID:H4pRNEqR >>222
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
> 【証明】x,y,zは有理数、a,rは実数とする。
> 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)となる。
について。
> (3)が成立しないので、(2)も成立しません。(2)(3)は、同じ式です。（変形した式)
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
しかし、x､y､zが有理数の時、r^(n-1)=nにならない。
いったいどうやったら、x､y､zが有理数の時、(2)が(3)に変形できるのですか？
x､y､zが有理数の時、(2）を(3)に変形してみてください。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
> 【証明】x,y,zは有理数、a,rは実数とする。
> 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)となる。
について。
> (3)が成立しないので、(2)も成立しません。(2)(3)は、同じ式です。（変形した式)
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
しかし、x､y､zが有理数の時、r^(n-1)=nにならない。
いったいどうやったら、x､y､zが有理数の時、(2)が(3)に変形できるのですか？
x､y､zが有理数の時、(2）を(3)に変形してみてください。
281１３２人目の素数さん
2021/04/21(水) 08:17:40.86ID:x35GcZUE >>274
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
x,y,zの比で書くとs:t:s+3^(1/2)は成立しない (s:t:uではない)
> (4)はx,y,rを有理数としても、成立しない。
x,y,zの比で書くとs:t:u=s:t:s+r(有理数)は成立しない
> s+3^(1/2)≠uなので、
> s:t:s+3^(1/2)とs:t:uは同じではありません。
だから
> (3)(4)の解の比は同じなので
に反する
> s+3^(1/2)≠uなので、
> s:t:s+3^(1/2)とs:t:uは同じではありません。
を証明が間違っている根拠として挙げたのだから
その根拠が正しいことを認めたならば
>>275
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
> (3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
が間違いであることも認めないとダメだろ
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
x,y,zの比で書くとs:t:s+3^(1/2)は成立しない (s:t:uではない)
> (4)はx,y,rを有理数としても、成立しない。
x,y,zの比で書くとs:t:u=s:t:s+r(有理数)は成立しない
> s+3^(1/2)≠uなので、
> s:t:s+3^(1/2)とs:t:uは同じではありません。
だから
> (3)(4)の解の比は同じなので
に反する
> s+3^(1/2)≠uなので、
> s:t:s+3^(1/2)とs:t:uは同じではありません。
を証明が間違っている根拠として挙げたのだから
その根拠が正しいことを認めたならば
>>275
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
> (3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
が間違いであることも認めないとダメだろ
282日高
2021/04/21(水) 08:41:58.12ID:VX76d6C7 (修正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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)
(4)はx,y,rを有理数としても、成立しないので、s^n+t^n=u^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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)
(4)はx,y,rを有理数としても、成立しないので、s^n+t^n=u^nも成立しない。
283日高
2021/04/21(水) 08:43:00.79ID:VX76d6C7 【定理】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
【証明】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
284日高
2021/04/21(水) 08:44:50.88ID:VX76d6C7 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=12を代入する。
ピタゴラス数x=35、y=12、z=37を得る。
x^2+y^2=(x+2)^2に、y=12を代入する。
ピタゴラス数x=35、y=12、z=37を得る。
285日高
2021/04/21(水) 08:47:34.55ID:VX76d6C7 >277
> ①'自然数n,mに対してn=2m が成り立っている
> 「nが6の倍数 ならば mは3の倍数である」
ですが，それがわからないようでは証明などとても無理というものです。
どのようなことが、わかって、いないのでしょうか？
> ①'自然数n,mに対してn=2m が成り立っている
> 「nが6の倍数 ならば mは3の倍数である」
ですが，それがわからないようでは証明などとても無理というものです。
どのようなことが、わかって、いないのでしょうか？
286日高
2021/04/21(水) 08:54:38.39ID:VX76d6C7 >280
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
しかし、x､y､zが有理数の時、r^(n-1)=nにならない。
いったいどうやったら、x､y､zが有理数の時、(2)が(3)に変形できるのですか？
x､y､zが有理数の時、(2）を(3)に変形してみてください。
(2）を(3)に変形できます。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)とできます。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
しかし、x､y､zが有理数の時、r^(n-1)=nにならない。
いったいどうやったら、x､y､zが有理数の時、(2)が(3)に変形できるのですか？
x､y､zが有理数の時、(2）を(3)に変形してみてください。
(2）を(3)に変形できます。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)とできます。
287日高
2021/04/21(水) 09:08:57.54ID:VX76d6C7 >280
x,y,zは有理数という条件を付けると、
x^n+y^n=z^nも、成立しません。
変形は、出来ます。
x,y,zは有理数という条件を付けると、
x^n+y^n=z^nも、成立しません。
変形は、出来ます。
288日高
2021/04/21(水) 09:20:41.40ID:VX76d6C7 >281
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
> (3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
が間違いであることも認めないとダメだろ
(3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
は、間違いでは、ありません。
> s:t:s+3^(1/2)とs:t:uは同じではありません。
を証明が間違っている根拠として挙げたのだから
その根拠が正しいことを認めたならば
この、部分の意味がわかりません。
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
> (3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
が間違いであることも認めないとダメだろ
(3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
は、間違いでは、ありません。
> s:t:s+3^(1/2)とs:t:uは同じではありません。
を証明が間違っている根拠として挙げたのだから
その根拠が正しいことを認めたならば
この、部分の意味がわかりません。
289１３２人目の素数さん
2021/04/21(水) 09:39:14.31ID:x35GcZUE >>288
> (3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
> は、間違いでは、ありません。
解の比が同じでないのに？
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
x,y,zの比で書くとs:t:s+3^(1/2)は成立しない (s:t:uではない)
> (4)はx,y,rを有理数としても、成立しない。
x,y,zの比で書くとs:t:u=s:t:s+r(有理数)は成立しない
日高の書き込みにもあるように
> s+3^(1/2)≠uなので、
> s:t:s+3^(1/2)とs:t:uは同じではありません。
だから
> (3)(4)の解の比は同じなので
に反する
> (3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
> は、間違いでは、ありません。
解の比が同じでないのに？
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
x,y,zの比で書くとs:t:s+3^(1/2)は成立しない (s:t:uではない)
> (4)はx,y,rを有理数としても、成立しない。
x,y,zの比で書くとs:t:u=s:t:s+r(有理数)は成立しない
日高の書き込みにもあるように
> s+3^(1/2)≠uなので、
> s:t:s+3^(1/2)とs:t:uは同じではありません。
だから
> (3)(4)の解の比は同じなので
に反する
290１３２人目の素数さん
2021/04/21(水) 09:42:32.82ID:pKqELou0 >>273 だね。
291日高
2021/04/21(水) 09:57:18.59ID:VX76d6C7 (修正4)
【定理】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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)はx,y,rを有理数としても、成立しないので、s^n+t^n=u^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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rを有理数としても、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)はx,y,rを有理数としても、成立しないので、s^n+t^n=u^nも成立しない。
292日高
2021/04/21(水) 09:58:13.83ID:VX76d6C7 【定理】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
【証明】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
293日高
2021/04/21(水) 09:59:32.42ID:VX76d6C7 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=13を代入する。
ピタゴラス数x=165、y=52、z=173を得る。
x^2+y^2=(x+2)^2に、y=13を代入する。
ピタゴラス数x=165、y=52、z=173を得る。
294日高
2021/04/21(水) 10:16:18.70ID:VX76d6C7 (修正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}=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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^nも成立しない。
295日高
2021/04/21(水) 10:24:19.62ID:VX76d6C7 >289
> s+3^(1/2)≠uなので、
> s:t:s+3^(1/2)とs:t:uは同じではありません。
だから
> (3)(4)の解の比は同じなので
に反する
(3)の解は、s、t、s+3^(1/2)となりません。よって、
(4)の解も、s、t、uとなりません。((3)(4)の解の比は同じなので)
> s+3^(1/2)≠uなので、
> s:t:s+3^(1/2)とs:t:uは同じではありません。
だから
> (3)(4)の解の比は同じなので
に反する
(3)の解は、s、t、s+3^(1/2)となりません。よって、
(4)の解も、s、t、uとなりません。((3)(4)の解の比は同じなので)
296１３２人目の素数さん
2021/04/21(水) 12:34:11.21ID:5YOTxS9j >>285 日高
> どのようなことが、わかって、いないのでしょうか？
証明すべきことがらがわからないんでしょ？ もう一度書きます。
> ①'自然数n,mに対してn=2m が成り立っている
とき
> 「nが6の倍数 ならば mは3の倍数である」
を証明してください。
> どのようなことが、わかって、いないのでしょうか？
証明すべきことがらがわからないんでしょ？ もう一度書きます。
> ①'自然数n,mに対してn=2m が成り立っている
とき
> 「nが6の倍数 ならば mは3の倍数である」
を証明してください。
297日高
2021/04/21(水) 15:36:37.62ID:VX76d6C7 >296
証明すべきことがらがわからないんでしょ？ もう一度書きます。
> ①'自然数n,mに対してn=2m が成り立っている
とき
> 「nが6の倍数 ならば mは3の倍数である」
を証明してください。
わからないので、教えてください。
証明すべきことがらがわからないんでしょ？ もう一度書きます。
> ①'自然数n,mに対してn=2m が成り立っている
とき
> 「nが6の倍数 ならば mは3の倍数である」
を証明してください。
わからないので、教えてください。
298日高
2021/04/21(水) 15:38:38.92ID:VX76d6C7 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=14を代入する。
ピタゴラス数x=24、y=7、z=25を得る。
x^2+y^2=(x+2)^2に、y=14を代入する。
ピタゴラス数x=24、y=7、z=25を得る。
299１３２人目の素数さん
2021/04/21(水) 16:00:32.29ID:5YOTxS9j >>297 日高
n=6aとなる自然数aが存在する。6a=2mだから3a=m。よってmは3の倍数。
n=6aとなる自然数aが存在する。6a=2mだから3a=m。よってmは3の倍数。
300１３２人目の素数さん
2021/04/21(水) 17:29:42.32ID:8s32Ew2d 33 名前：日高[[email protected]] 投稿日：2021/03/04(木) 17:54:38.01 ID:FbLTf6OQ [17/27]
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
301日高
2021/04/21(水) 17:57:30.77ID:VX76d6C7 >299
n=6aとなる自然数aが存在する。6a=2mだから3a=m。よってmは3の倍数。
わかりました。
n=6aとなる自然数aが存在する。6a=2mだから3a=m。よってmは3の倍数。
わかりました。
302日高
2021/04/21(水) 17:59:46.49ID:VX76d6C7 【定理】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
【証明】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
303日高
2021/04/21(水) 18:01:02.03ID:VX76d6C7 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=14を代入する。
ピタゴラス数x=24、y=7、z=25を得る。
x^2+y^2=(x+2)^2に、y=14を代入する。
ピタゴラス数x=24、y=7、z=25を得る。
304日高
2021/04/21(水) 18:01:42.88ID:VX76d6C7 (修正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}=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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^nも成立しない。
305１３２人目の素数さん
2021/04/21(水) 18:06:12.57ID:5YOTxS9j >>250の日高さんの「証明」のどこが誤りか、理解できましたか？
306日高
2021/04/21(水) 18:11:57.76ID:VX76d6C7307１３２人目の素数さん
2021/04/21(水) 18:16:17.83ID:5YOTxS9j >>306 日高
まずは並べて書いてみましょう。
まずは並べて書いてみましょう。
308１３２人目の素数さん
2021/04/21(水) 19:08:36.37ID:8s32Ew2d 145 名前：日高[] 投稿日：2021/04/01(木) 08:34:37.57 ID:bHpxNV84 [21/26]
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
154 名前：日高[] 投稿日：2021/04/01(木) 08:52:50.46 ID:bHpxNV84 [26/26]
>152
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。
ネットに書いてあります。
145 名前：日高[] 投稿日：2021/04/01(木) 08:34:37.57 ID:bHpxNV84 [21/26]
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
154 名前：日高[] 投稿日：2021/04/01(木) 08:52:50.46 ID:bHpxNV84 [26/26]
>152
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。
ネットに書いてあります。
145 名前：日高[] 投稿日：2021/04/01(木) 08:34:37.57 ID:bHpxNV84 [21/26]
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
309１３２人目の素数さん
2021/04/21(水) 19:09:08.31ID:8s32Ew2d 33 名前：日高[[email protected]] 投稿日：2021/03/04(木) 17:54:38.01 ID:FbLTf6OQ [17/27]
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
310日高
2021/04/21(水) 19:38:08.59ID:VX76d6C7 >307
まずは並べて書いてみましょう。
なにを、どのように、ならべるのでしょうか？
まずは並べて書いてみましょう。
なにを、どのように、ならべるのでしょうか？
311１３２人目の素数さん
2021/04/21(水) 19:52:35.90ID:dPsEnQiK >>295
> (3)の解は、s、t、s+3^(1/2)となりません。よって、
> (4)の解も、s、t、uとなりません。((3)(4)の解の比は同じなので)
> ((3)(4)の解の比は同じなので)
をs,t,s+3^(1/2)とs,t,uを使って示してくれ
> (3)の解は、s、t、s+3^(1/2)となりません。よって、
> (4)の解も、s、t、uとなりません。((3)(4)の解の比は同じなので)
> ((3)(4)の解の比は同じなので)
をs,t,s+3^(1/2)とs,t,uを使って示してくれ
312１３２人目の素数さん
2021/04/21(水) 19:53:23.22ID:dPsEnQiK >>295
> (3)の解は、s、t、s+3^(1/2)となりません。よって、
> (4)の解も、s、t、uとなりません。((3)(4)の解の比は同じなので)
(3)の解がx=s,y=t,z=s+3^(1/2)とならないからと言って
x:y:z=s:t:uであるような解を(3)が持たない理由にはならないから間違い
n=2でもn=3でもr=3^(1/2)の場合にたとえばx=3,y=4,z=3+3^(1/2)である解は成立しない
しかしx^n+y^n=z^nがx=3,y=4,z=uであるような解を持たないとは言えない
> (3)の解は、s、t、s+3^(1/2)となりません。よって、
> (4)の解も、s、t、uとなりません。((3)(4)の解の比は同じなので)
(3)の解がx=s,y=t,z=s+3^(1/2)とならないからと言って
x:y:z=s:t:uであるような解を(3)が持たない理由にはならないから間違い
n=2でもn=3でもr=3^(1/2)の場合にたとえばx=3,y=4,z=3+3^(1/2)である解は成立しない
しかしx^n+y^n=z^nがx=3,y=4,z=uであるような解を持たないとは言えない
313１３２人目の素数さん
2021/04/21(水) 20:06:18.26ID:5YOTxS9j >>310 日高
君の証明と私の証明です。
君の証明と私の証明です。
314１３２人目の素数さん
2021/04/21(水) 20:07:57.98ID:8s32Ew2d 33 名前：日高[[email protected]] 投稿日：2021/03/04(木) 17:54:38.01 ID:FbLTf6OQ [17/27]
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
315日高
2021/04/21(水) 20:25:26.64ID:VX76d6C7 (修正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}=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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^nも成立しない。
316日高
2021/04/21(水) 20:29:14.26ID:VX76d6C7 【定理】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
【証明】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
317日高
2021/04/21(水) 20:51:23.23ID:VX76d6C7 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=15を代入する。
ピタゴラス数x=221、y=60、z=229を得る。
x^2+y^2=(x+2)^2に、y=15を代入する。
ピタゴラス数x=221、y=60、z=229を得る。
318日高
2021/04/21(水) 20:55:31.28ID:VX76d6C7 >311
> ((3)(4)の解の比は同じなので)
をs,t,s+3^(1/2)とs,t,uを使って示してくれ
(3)はrが無理数なので、x,yを有理数とすると、成立しない。ので、
解は、s,t,s+3^(1/2)となりません。
> ((3)(4)の解の比は同じなので)
をs,t,s+3^(1/2)とs,t,uを使って示してくれ
(3)はrが無理数なので、x,yを有理数とすると、成立しない。ので、
解は、s,t,s+3^(1/2)となりません。
319日高
2021/04/21(水) 21:01:03.79ID:VX76d6C7 >312
しかしx^n+y^n=z^nがx=3,y=4,z=uであるような解を持たないとは言えない
(4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^nも成立しない。
ので、
x^n+y^n=z^nがx=3,y=4,z=uであるような解を持たないが、言えます。
しかしx^n+y^n=z^nがx=3,y=4,z=uであるような解を持たないとは言えない
(4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^nも成立しない。
ので、
x^n+y^n=z^nがx=3,y=4,z=uであるような解を持たないが、言えます。
320日高
2021/04/21(水) 21:16:14.08ID:VX76d6C7 >313
n=2mの、mに3の倍数を代入すると、nは6の倍数となります。
m=3aとすると、n=6aとなります。
n=6aとなる自然数aが存在する。6a=2mだから3a=m。よってmは3の倍数。
ならべました。
n=2mの、mに3の倍数を代入すると、nは6の倍数となります。
m=3aとすると、n=6aとなります。
n=6aとなる自然数aが存在する。6a=2mだから3a=m。よってmは3の倍数。
ならべました。
321１３２人目の素数さん
2021/04/21(水) 21:27:25.01ID:P8cjn1FP >>320 日高
違いがわかりましたか？
違いがわかりましたか？
322１３２人目の素数さん
2021/04/21(水) 21:56:56.97ID:dPsEnQiK >>318
> > ((3)(4)の解の比は同じなので)
> をs,t,s+3^(1/2)とs,t,uを使って示してくれ
>
> > (3)はrが無理数なので、x,yを有理数とすると、成立しない。ので、
> > 解は、s,t,s+3^(1/2)となりません。
これのどこが(3)(4)の解の比は同じことを示しているの？
s,t,uはどこ？
s,t,s+3^(1/2)をs,t,uにどうやって変えるの？
> > ((3)(4)の解の比は同じなので)
> をs,t,s+3^(1/2)とs,t,uを使って示してくれ
>
> > (3)はrが無理数なので、x,yを有理数とすると、成立しない。ので、
> > 解は、s,t,s+3^(1/2)となりません。
これのどこが(3)(4)の解の比は同じことを示しているの？
s,t,uはどこ？
s,t,s+3^(1/2)をs,t,uにどうやって変えるの？
323１３２人目の素数さん
2021/04/21(水) 21:58:22.03ID:dPsEnQiK >>319
> (4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^nも成立しない。
> ので、
> x^n+y^n=z^nがx=3,y=4,z=uであるような解を持たないが、言えます。
(3)の解がx=s,y=t,z=s+3^(1/2)とならないからと言って
x:y:z=s:t:uであるような解を(3)が持たない理由にはならないから間違い
n=2でもn=3でもr=3^(1/2)の場合にたとえばx=3,y=4,z=3+3^(1/2)である解は成立しない
> (4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^nも成立しない。
> ので、
> x^n+y^n=z^nがx=3,y=4,z=uであるような解を持たないが、言えます。
(3)の解がx=s,y=t,z=s+3^(1/2)とならないからと言って
x:y:z=s:t:uであるような解を(3)が持たない理由にはならないから間違い
n=2でもn=3でもr=3^(1/2)の場合にたとえばx=3,y=4,z=3+3^(1/2)である解は成立しない
324１３２人目の素数さん
2021/04/22(木) 00:19:17.03ID:KZIbgvc3 >>286
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
> 【証明】x,y,zは有理数、a,rは実数とする。
> 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）を(3)に変形できます。
> (2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)とできます。
あなたが自分で書いている通り、(2)を(3)に変形できるのは、「a=1、r^(n-1)=nのとき」です。
3以上の整数nについて、n^(1/(n-1))が既約分数とすると、既約分数の(n-1)乗が整数ということになっておかしいので、
n^(1/(n-1))は既約分数ではありません。よって、n^(1/(n-1))は有理数ではありません。
r=z-xより、x,y,zは有理数のとき、a=1、r^(n-1)=nに絶対にならないことが証明されました。
「a=1、r^(n-1)=nのとき」にならないので、(2)は(3)とできません。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
> 【証明】x,y,zは有理数、a,rは実数とする。
> 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）を(3)に変形できます。
> (2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)とできます。
あなたが自分で書いている通り、(2)を(3)に変形できるのは、「a=1、r^(n-1)=nのとき」です。
3以上の整数nについて、n^(1/(n-1))が既約分数とすると、既約分数の(n-1)乗が整数ということになっておかしいので、
n^(1/(n-1))は既約分数ではありません。よって、n^(1/(n-1))は有理数ではありません。
r=z-xより、x,y,zは有理数のとき、a=1、r^(n-1)=nに絶対にならないことが証明されました。
「a=1、r^(n-1)=nのとき」にならないので、(2)は(3)とできません。
325日高
2021/04/22(木) 05:44:34.44ID:57aWoruL (修正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}=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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^nも成立しない。
326日高
2021/04/22(木) 05:45:17.52ID:57aWoruL 【定理】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
【証明】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
327日高
2021/04/22(木) 05:46:42.41ID:57aWoruL 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=16を代入する。
ピタゴラス数x=63、y=16、z=65を得る。
x^2+y^2=(x+2)^2に、y=16を代入する。
ピタゴラス数x=63、y=16、z=65を得る。
328日高
2021/04/22(木) 05:48:26.77ID:57aWoruL329日高
2021/04/22(木) 05:53:24.71ID:57aWoruL >322
これのどこが(3)(4)の解の比は同じことを示しているの？
s,t,uはどこ？
s,t,s+3^(1/2)をs,t,uにどうやって変えるの？
s,t,s+3^(1/2)は、s,t,uに変えられません。（s,t,s+3^(1/2)は、成立しないので）
これのどこが(3)(4)の解の比は同じことを示しているの？
s,t,uはどこ？
s,t,s+3^(1/2)をs,t,uにどうやって変えるの？
s,t,s+3^(1/2)は、s,t,uに変えられません。（s,t,s+3^(1/2)は、成立しないので）
330日高
2021/04/22(木) 06:11:05.57ID:57aWoruL >321
(3)の解がx=s,y=t,z=s+3^(1/2)とならないからと言って
x:y:z=s:t:uであるような解を(3)が持たない理由にはならないから間違い
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しません。
(3)の解がx=s,y=t,z=s+3^(1/2)とならないからと言って
x:y:z=s:t:uであるような解を(3)が持たない理由にはならないから間違い
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しません。
331日高
2021/04/22(木) 06:12:48.63ID:57aWoruL >323
(3)の解がx=s,y=t,z=s+3^(1/2)とならないからと言って
x:y:z=s:t:uであるような解を(3)が持たない理由にはならないから間違い
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しません。
(3)の解がx=s,y=t,z=s+3^(1/2)とならないからと言って
x:y:z=s:t:uであるような解を(3)が持たない理由にはならないから間違い
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しません。
332日高
2021/04/22(木) 06:19:55.87ID:57aWoruL >324
r=z-xより、x,y,zは有理数のとき、a=1、r^(n-1)=nに絶対にならないことが証明されました。
「a=1、r^(n-1)=nのとき」にならないので、(2)は(3)とできません。
zは有理数の条件を外せば、
(2)は(3)とできます。
ので、
zは有理数の条件を外します。
(修正24)は、訂正します。
r=z-xより、x,y,zは有理数のとき、a=1、r^(n-1)=nに絶対にならないことが証明されました。
「a=1、r^(n-1)=nのとき」にならないので、(2)は(3)とできません。
zは有理数の条件を外せば、
(2)は(3)とできます。
ので、
zは有理数の条件を外します。
(修正24)は、訂正します。
333１３２人目の素数さん
2021/04/22(木) 06:37:33.80ID:JPGdd845 >>329
> s,t,s+3^(1/2)は、s,t,uに変えられません。
> (3)はrが無理数なので、x,yを有理数とすると、成立しない
つまり(3)は比がs:t:s*3^(1/2)であるような解を持たない
は
> (4)はx,y,rが有理数のときも、成立しない。
つまり(4)は比がs:t:u=s:t:s+r(有理数)であるような解を持たない
に変えられないのだから証明は間違っているだろ
> s,t,s+3^(1/2)は、s,t,uに変えられません。
> (3)はrが無理数なので、x,yを有理数とすると、成立しない
つまり(3)は比がs:t:s*3^(1/2)であるような解を持たない
は
> (4)はx,y,rが有理数のときも、成立しない。
つまり(4)は比がs:t:u=s:t:s+r(有理数)であるような解を持たない
に変えられないのだから証明は間違っているだろ
334１３２人目の素数さん
2021/04/22(木) 06:38:18.55ID:JPGdd845 >>331
> (4)はx,y,rが有理数のときも、成立しません。
> x:y:z=s:t:uであるような解を(3)が持たない理由にはならない
>(3)(4)の解の比は同じ
なら
x:y:z=s:t:uであるような解を(4)が持たない理由にはならない
としか言えないだろ
> (4)はx,y,rが有理数のときも、成立しません。
> x:y:z=s:t:uであるような解を(3)が持たない理由にはならない
>(3)(4)の解の比は同じ
なら
x:y:z=s:t:uであるような解を(4)が持たない理由にはならない
としか言えないだろ
335１３２人目の素数さん
2021/04/22(木) 06:45:09.74ID:VsqVbM6P >>328 日高
証明すべきことがらは
> 「nが6の倍数 ならば mは3の倍数である」
ですから、仮定できるのは「nが6の倍数」です。日高さんは「m=3aとすると」で証明を始めていますが、それは結論であって仮定ではありません。
証明すべきことがらは
> 「nが6の倍数 ならば mは3の倍数である」
ですから、仮定できるのは「nが6の倍数」です。日高さんは「m=3aとすると」で証明を始めていますが、それは結論であって仮定ではありません。
336１３２人目の素数さん
2021/04/22(木) 07:13:04.74ID:XDkpbMpl 145 名前：日高[] 投稿日：2021/04/01(木) 08:34:37.57 ID:bHpxNV84 [21/26]
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
154 名前：日高[] 投稿日：2021/04/01(木) 08:52:50.46 ID:bHpxNV84 [26/26]
>152
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。
ネットに書いてあります。
145 名前：日高[] 投稿日：2021/04/01(木) 08:34:37.57 ID:bHpxNV84 [21/26]
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
154 名前：日高[] 投稿日：2021/04/01(木) 08:52:50.46 ID:bHpxNV84 [26/26]
>152
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。
ネットに書いてあります。
145 名前：日高[] 投稿日：2021/04/01(木) 08:34:37.57 ID:bHpxNV84 [21/26]
>143
>背理法そのものは知ってますよね？
よく理解していません。
149 名前：日高[] 投稿日：2021/04/01(木) 08:43:44.98 ID:bHpxNV84 [23/26]
>147
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
337１３２人目の素数さん
2021/04/22(木) 07:13:37.34ID:XDkpbMpl 33 名前：日高[[email protected]] 投稿日：2021/03/04(木) 17:54:38.01 ID:FbLTf6OQ [17/27]
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
>32
> AB=2*3ならば、A=2となります。
> それ、どこで習いました？
自明です。
39 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:11:18.17 ID:FbLTf6OQ [22/27]
>37
>AB=3*2ならどうなりますか？
A=3となります。
41 名前：日高[[email protected]] 投稿日：2021/03/04(木) 18:25:35.86 ID:FbLTf6OQ [23/27]
>40
>2*3=3*2であることは認めますか？
はい。
46 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:31:54.72 ID:FbLTf6OQ [26/27]
>44
>AB=6ならどうなりますか？
A=a6,B=6(1/a)となります。(aは実数)
55 名前：日高[[email protected]] 投稿日：2021/03/04(木) 19:45:08.18 ID:FbLTf6OQ [28/31]
>48
>AB=1*6ならどうなりますか？
A=1,B=6となります。
74 名前：日高[[email protected]] 投稿日：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です。
338日高
2021/04/22(木) 07:45:54.62ID:57aWoruL >333
つまり(4)は比がs:t:u=s:t:s+r(有理数)であるような解を持たない
に変えられないのだから証明は間違っているだろ
よく、意味がわかりません。
つまり(4)は比がs:t:u=s:t:s+r(有理数)であるような解を持たない
に変えられないのだから証明は間違っているだろ
よく、意味がわかりません。
339日高
2021/04/22(木) 07:47:42.82ID:57aWoruL >334
>(3)(4)の解の比は同じ
なら
x:y:z=s:t:uであるような解を(4)が持たない理由にはならない
としか言えないだろ
よく、意味がわかりません。
>(3)(4)の解の比は同じ
なら
x:y:z=s:t:uであるような解を(4)が持たない理由にはならない
としか言えないだろ
よく、意味がわかりません。
340日高
2021/04/22(木) 07:51:08.53ID:57aWoruL >335
> 「nが6の倍数 ならば mは3の倍数である」
ですから、仮定できるのは「nが6の倍数」です。日高さんは「m=3aとすると」で証明を始めていますが、それは結論であって仮定ではありません。
結論と結果の順番が、逆ということでしょうか？
> 「nが6の倍数 ならば mは3の倍数である」
ですから、仮定できるのは「nが6の倍数」です。日高さんは「m=3aとすると」で証明を始めていますが、それは結論であって仮定ではありません。
結論と結果の順番が、逆ということでしょうか？
341日高
2021/04/22(木) 07:52:42.12ID:57aWoruL (修正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}=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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^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)はrが無理数なので、x,yを有理数とすると、成立しない。
(3)(4)の解の比は同じなので、(4)はx,y,rが有理数のときも、成立しない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)はx,y,rが有理数のときも、成立しないので、s^n+t^n=u^nも成立しない。
342日高
2021/04/22(木) 07:53:32.86ID:57aWoruL 【定理】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
【証明】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は有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】x^2+y^2=(x+2)^2に、y=4を代入すると、x=3となる。
343日高
2021/04/22(木) 07:55:13.87ID:57aWoruL 【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=17を代入する。
ピタゴラス数x=285、y=68、z=293を得る。
x^2+y^2=(x+2)^2に、y=17を代入する。
ピタゴラス数x=285、y=68、z=293を得る。
344１３２人目の素数さん
2021/04/22(木) 08:39:37.81ID:JPGdd845345日高
2021/04/22(木) 09:05:21.39ID:57aWoruL >344
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
これは理由に使えない
(3)(4)の解の比は、同じなので、理由に使えます。
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
これは理由に使えない
(3)(4)の解の比は、同じなので、理由に使えます。
346１３２人目の素数さん
2021/04/22(木) 09:22:51.99ID:JPGdd845347１３２人目の素数さん
2021/04/22(木) 09:24:00.26ID:JPGdd845 >>345
(4)でrが無理数の場合にx,yを有理数とすると成立しない
(4)のrが有理数の場合と(4)のrが無理数の場合で解の比が同じ
よって(4)のx,y,rが有理数の場合も成立しない
これが成り立たないことぐらい分かるだろ
(4)でrが無理数の場合にx,yを有理数とすると成立しない
(4)のrが有理数の場合と(4)のrが無理数の場合で解の比が同じ
よって(4)のx,y,rが有理数の場合も成立しない
これが成り立たないことぐらい分かるだろ
348日高
2021/04/22(木) 09:31:41.81ID:57aWoruL (修正6)
【定理】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)のx,yは整数比とならない。
(3)(4)の解の比は同じなので、(4)のzが有理数のときも、x,yは整数比とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)のzが有理数のときも、x,yは整数比とならないので、s^n+t^n=u^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)のx,yは整数比とならない。
(3)(4)の解の比は同じなので、(4)のzが有理数のときも、x,yは整数比とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じ。(s,t,uは有理数)
(4)のzが有理数のときも、x,yは整数比とならないので、s^n+t^n=u^nは成立しない。
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- マイクロソフト、「365」世界で大規模障害 メール送れずビジネスに影響 ★4 [蚤の市★]
- 【紅白】衝撃…白組に「演歌」ゼロ 11年連続出場の三山ひろしがまさかの選外 紅組は石川さゆりらベテラン多数 [Ailuropoda melanoleuca★]
- 高市首相のフィリピン、中国訪問を発表 ★2 [少考さん★]
- 【紅白歌合戦】出場者発表 あいみょん、米津玄師、Number_iら名前なし…１３日に発表されなかった歌手 [Ailuropoda melanoleuca★]
- 松本人志、千鳥の2人は「ある意味、ダウンタウンより強いような気がして…瞬発力がすごいやんか」「脅威やなと思った」 [muffin★]
- マイクロソフト障害、日本政府の情報システム基盤にも支障 尾崎副長官 [少考さん★]
- 今月の給料がアメ玉3つだったのらけど🍬🍬🍬(・o・；🍬)🏰
- 刹那・F・セイエイじゃないほうの厨二の飛行機ガンダム￥38,500で18:00から予約開始 [278986882]
- 実は食べられるのに名前がいかんもの
- 『GTA6』発売日から5連休にすると『パルワールド』のポケットペアが発表ｗｗｗｗｗｗｗｗｗｗｗｗ
- 九州宮崎県で住みたい所ｗｗｗｗｗｗｗｗｗｗｗｗ
- 父親の食欲なくてあんまり食べないけど大丈夫かな？