【定理】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:NFcTRjFu446１３２人目の素数さん
2021/04/24(土) 09:46:04.88ID:1EHIxVOu 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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
154 名前：日高[] 投稿日：2021/04/01(木) 08:52:50.46 ID:bHpxNV84 [26/26]
>152
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。
ネットに書いてあります。
>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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
154 名前：日高[] 投稿日：2021/04/01(木) 08:52:50.46 ID:bHpxNV84 [26/26]
>152
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。
ネットに書いてあります。
447１３２人目の素数さん
2021/04/24(土) 09:46:24.98ID:1EHIxVOu 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です。
448日高
2021/04/24(土) 09:54:15.30ID:TxTViDEt >441
3≠a^2でもy^3-1≠b^2+abだったらxは有理数となる可能性があるだろ
y^3-1≠b^2+√3bとなるので、
xは有理数となりません。
3≠a^2でもy^3-1≠b^2+abだったらxは有理数となる可能性があるだろ
y^3-1≠b^2+√3bとなるので、
xは有理数となりません。
449日高
2021/04/24(土) 10:03:17.22ID:TxTViDEt >442
x、yが有理数で、(2)の解が有理数の時、(2)は(3)にならないので、
(3)ではx、yが有理数で、(2)の解が有理数の時のことを調べることができません。
よく、理解できません。
x、yが有理数で、(2)の解が有理数の時、(2)は(3)にならないので、
(3)ではx、yが有理数で、(2)の解が有理数の時のことを調べることができません。
よく、理解できません。
450１３２人目の素数さん
2021/04/24(土) 10:18:13.35ID:SIpOHWkz >>449
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> よく、理解できません。
あなたが自分で書いたんじゃないですか
> x,y,zは有理数という条件を、外せば、(2)は、(3)に変形できます。
つまり、x,yが有理数で、(2)の解が有理数比の時、(2)は(3)に変形できません。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> よく、理解できません。
あなたが自分で書いたんじゃないですか
> x,y,zは有理数という条件を、外せば、(2)は、(3)に変形できます。
つまり、x,yが有理数で、(2)の解が有理数比の時、(2)は(3)に変形できません。
451１３２人目の素数さん
2021/04/24(土) 10:22:50.12ID:Cm1FMGRl >>448
> 3≠a^2でもy^3-1≠b^2+abだったらxは有理数となる可能性があるだろ
>
> y^3-1≠b^2+√3bとなるので、
> xは有理数となりません。
間違いだよ
b^2+abは3≠a^2だからb^2+√3bとならないよ
> 3≠a^2でもy^3-1≠b^2+abだったらxは有理数となる可能性があるだろ
>
> y^3-1≠b^2+√3bとなるので、
> xは有理数となりません。
間違いだよ
b^2+abは3≠a^2だからb^2+√3bとならないよ
452１３２人目の素数さん
2021/04/24(土) 10:45:28.25ID:1EHIxVOu 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です。
453日高
2021/04/24(土) 11:09:45.17ID:TxTViDEt >450
あなたが自分で書いたんじゃないですか
> x,y,zは有理数という条件を、外せば、(2)は、(3)に変形できます。
つまり、x,yが有理数で、(2)の解が有理数比の時、(2)は(3)に変形できません。
x,y,zは有理数という条件を、外せば、(2)は、(3)に変形できます。
あなたが自分で書いたんじゃないですか
> x,y,zは有理数という条件を、外せば、(2)は、(3)に変形できます。
つまり、x,yが有理数で、(2)の解が有理数比の時、(2)は(3)に変形できません。
x,y,zは有理数という条件を、外せば、(2)は、(3)に変形できます。
454日高
2021/04/24(土) 11:12:17.24ID:TxTViDEt >451
> xは有理数となりません。
間違いだよ
b^2+abは3≠a^2だからb^2+√3bとならないよ
a=√3なので、b^2+√3bとなります。
> xは有理数となりません。
間違いだよ
b^2+abは3≠a^2だからb^2+√3bとならないよ
a=√3なので、b^2+√3bとなります。
455日高
2021/04/24(土) 11:14:25.02ID:TxTViDEt (修正20)
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)のyを有理数とすると、n≠a^(n-1)なので、xは有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)のyを有理数とすると、n≠a^(n-1)なので、xは有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
456日高
2021/04/24(土) 11:15:58.53ID:TxTViDEt 【定理】】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^2-1)/2={b}/a…(3)と変形する。
(3)のyを有理数とすると、2=aなので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^2-1)/2={b}/a…(3)と変形する。
(3)のyを有理数とすると、2=aなので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
457日高
2021/04/24(土) 11:17:26.89ID:TxTViDEt 【定理】n=2のとき、x^n+y^n=z^n自然数解を持つ。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る
458１３２人目の素数さん
2021/04/24(土) 11:49:31.68ID:SIpOHWkz >>453
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> x,y,zは有理数という条件を、外せば、(2)は、(3)に変形できます。
では、x,yが有理数で、(2)の解が有理数比のとき、x,y,zが有理数という条件を、はずしてみてください。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> x,y,zは有理数という条件を、外せば、(2)は、(3)に変形できます。
では、x,yが有理数で、(2)の解が有理数比のとき、x,y,zが有理数という条件を、はずしてみてください。
459１３２人目の素数さん
2021/04/24(土) 11:50:42.98ID:kT0Ei3/v a/b=2/3のとき、a,bはどうなりますか？
460１３２人目の素数さん
2021/04/24(土) 11:57:26.39ID:zPywhL/8461日高
2021/04/24(土) 13:26:10.16ID:TxTViDEt >458
では、x,yが有理数で、(2)の解が有理数比のとき、x,y,zが有理数という条件を、はずしてみてください。
よく、意味がわかりません。どのようにすれば、よいのでしょうか？
では、x,yが有理数で、(2)の解が有理数比のとき、x,y,zが有理数という条件を、はずしてみてください。
よく、意味がわかりません。どのようにすれば、よいのでしょうか？
462日高
2021/04/24(土) 13:28:20.74ID:TxTViDEt >459
a/b=2/3のとき、a,bはどうなりますか？
a=2,b=3です。
a/b=2/3のとき、a,bはどうなりますか？
a=2,b=3です。
463１３２人目の素数さん
2021/04/24(土) 13:39:18.52ID:SIpOHWkz >>461
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> よく、意味がわかりません。どのようにすれば、よいのでしょうか？
あなたは、>>402で、こう書きました。
> x,yが有理数で、(2)に有理数比の解がある時、(2)と別の式の(3)を調べても、(2)を調べたことになりません。
>
> x,y,zは有理数という条件を、外せば、(2)は、(3)に変形できます。
わたしは、x、yが有理数で、(2)に有理数比の解がある時、x,y,zは有理数という条件を外すことは、不可能だと思います。
x、yが有理数で、(2)に有理数比の解がある時、x､y､zは絶対に有理数です。有理数でなくすることはできません。
なので、x、yが有理数で、(2)に有理数比の解がある時、(2)は(3)になりません。
あなたが、x、yが有理数で、(2)に有理数の解がある時、このｘ、ｙ、ｚが有理数でないようにできるというなら、してみてください。
できないなら、x、yが有理数で、(2)に有理数比の解がある時、(2)は(3)になりません。
x、yが有理数で、(2)に有理数比の解がある時、(2)と(3)は別の式です。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> よく、意味がわかりません。どのようにすれば、よいのでしょうか？
あなたは、>>402で、こう書きました。
> x,yが有理数で、(2)に有理数比の解がある時、(2)と別の式の(3)を調べても、(2)を調べたことになりません。
>
> x,y,zは有理数という条件を、外せば、(2)は、(3)に変形できます。
わたしは、x、yが有理数で、(2)に有理数比の解がある時、x,y,zは有理数という条件を外すことは、不可能だと思います。
x、yが有理数で、(2)に有理数比の解がある時、x､y､zは絶対に有理数です。有理数でなくすることはできません。
なので、x、yが有理数で、(2)に有理数比の解がある時、(2)は(3)になりません。
あなたが、x、yが有理数で、(2)に有理数の解がある時、このｘ、ｙ、ｚが有理数でないようにできるというなら、してみてください。
できないなら、x、yが有理数で、(2)に有理数比の解がある時、(2)は(3)になりません。
x、yが有理数で、(2)に有理数比の解がある時、(2)と(3)は別の式です。
464日高
2021/04/24(土) 13:40:48.33ID:TxTViDEt >460
n=3の場合は3≠a^2だからa≠√3
aが無理数ならば、
3=a^2だからa=√3となります。
aを整数とすると、
3≠a^2だからa≠√3
n=3の場合は3≠a^2だからa≠√3
aが無理数ならば、
3=a^2だからa=√3となります。
aを整数とすると、
3≠a^2だからa≠√3
465日高
2021/04/24(土) 13:47:05.15ID:TxTViDEt >463
なので、x、yが有理数で、(2)に有理数比の解がある時、(2)は(3)になりません。
有理数、無理数に関係なく、(2)は(3)に変形できます。
なので、x、yが有理数で、(2)に有理数比の解がある時、(2)は(3)になりません。
有理数、無理数に関係なく、(2)は(3)に変形できます。
466日高
2021/04/24(土) 13:48:20.45ID:TxTViDEt (修正20)
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)のyを有理数とすると、n≠a^(n-1)なので、xは有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)のyを有理数とすると、n≠a^(n-1)なので、xは有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
467日高
2021/04/24(土) 13:49:01.65ID:TxTViDEt 【定理】】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^2-1)/2={b}/a…(3)と変形する。
(3)のyを有理数とすると、2=aなので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^2-1)/2={b}/a…(3)と変形する。
(3)のyを有理数とすると、2=aなので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
468日高
2021/04/24(土) 13:49:46.79ID:TxTViDEt 【定理】n=2のとき、x^n+y^n=z^n自然数解を持つ。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
469１３２人目の素数さん
2021/04/24(土) 14:05:12.34ID:UddiQXa/470１３２人目の素数さん
2021/04/24(土) 14:08:19.02ID:SIpOHWkz >>465
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)が(3)になるのは、a=1、r^(n-1)=nのときだけです。
x,y,zが有理数のとき、=1、r^(n-1)=nになりません。
よって、x,y,zが有理数のとき、(2)は(3)になりません。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)が(3)になるのは、a=1、r^(n-1)=nのときだけです。
x,y,zが有理数のとき、=1、r^(n-1)=nになりません。
よって、x,y,zが有理数のとき、(2)は(3)になりません。
471１３２人目の素数さん
2021/04/24(土) 14:20:52.76ID:kT0Ei3/v472日高
2021/04/24(土) 14:23:55.56ID:TxTViDEt >470
よって、x,y,zが有理数のとき、(2)は(3)になりません。
等式の変形により、(2)は(3)になります。（成立する。しないは別ですが)
よって、x,y,zが有理数のとき、(2)は(3)になりません。
等式の変形により、(2)は(3)になります。（成立する。しないは別ですが)
473日高
2021/04/24(土) 14:26:20.67ID:TxTViDEt >471
そのときa/b=4/6でもあるわけですが、どうなりますか？
同じです。
そのときa/b=4/6でもあるわけですが、どうなりますか？
同じです。
474１３２人目の素数さん
2021/04/24(土) 14:28:14.14ID:kT0Ei3/v >>473
a,bはいくつですか？
a,bはいくつですか？
475１３２人目の素数さん
2021/04/24(土) 14:31:04.91ID:SIpOHWkz >>472
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)が(3)に等式変形できるのは、a=1、r^(n-1)=nのときだけです。
x,y,zが有理数のとき、a=1、r^(n-1)=nになりません。
よって、x,y,zが有理数のとき、(2)は(3)に等式変形できません。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)が(3)に等式変形できるのは、a=1、r^(n-1)=nのときだけです。
x,y,zが有理数のとき、a=1、r^(n-1)=nになりません。
よって、x,y,zが有理数のとき、(2)は(3)に等式変形できません。
476日高
2021/04/24(土) 14:32:28.27ID:TxTViDEt (修正20)
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)のyを有理数とすると、n≠a^(n-1)なので、xは有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)のyを有理数とすると、n≠a^(n-1)なので、xは有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
477日高
2021/04/24(土) 14:33:08.09ID:TxTViDEt 【定理】】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^2-1)/2={b}/a…(3)と変形する。
(3)のyを有理数とすると、2=aなので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^2-1)/2={b}/a…(3)と変形する。
(3)のyを有理数とすると、2=aなので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
478日高
2021/04/24(土) 14:33:40.16ID:TxTViDEt 【定理】n=2のとき、x^n+y^n=z^n自然数解を持つ。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
479日高
2021/04/24(土) 14:37:23.97ID:TxTViDEt >475
(2)が(3)に等式変形できるのは、a=1、r^(n-1)=nのときだけです。
よく、意味がわかりません。
a=1、r^(n-1)=nとすると、(3)となります。
(2)が(3)に等式変形できるのは、a=1、r^(n-1)=nのときだけです。
よく、意味がわかりません。
a=1、r^(n-1)=nとすると、(3)となります。
480日高
2021/04/24(土) 14:39:00.58ID:TxTViDEt >474
a,bはいくつですか？
任意です。
a,bはいくつですか？
任意です。
481１３２人目の素数さん
2021/04/24(土) 14:40:37.90ID:SIpOHWkz >>479
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
今興味があるのは、有理数比の解があるかどうかです。
x,yが有理数で、もしかしてひょっとして仮に仮定として(2)に有理数比の解があるとしたとき、
a=1、r^(n-1)=n となるように、有理数x、yと、有理数比のzを決めてみてください。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
今興味があるのは、有理数比の解があるかどうかです。
x,yが有理数で、もしかしてひょっとして仮に仮定として(2)に有理数比の解があるとしたとき、
a=1、r^(n-1)=n となるように、有理数x、yと、有理数比のzを決めてみてください。
482１３２人目の素数さん
2021/04/24(土) 14:44:49.27ID:1EHIxVOu 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です。
483１３２人目の素数さん
2021/04/24(土) 14:45:12.02ID:1EHIxVOu 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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
484１３２人目の素数さん
2021/04/24(土) 14:47:37.08ID:SIpOHWkz >>479
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)が成り立つかどうか、あなたが調べたいなら好きに調べたらいい。
しかし、x､y､zが有理数のとき、絶対にa=1、r^(n-1)=nにならない。よって、絶対に(2)は(3)に等式変形できない。
x､y､zが有理数のとき、(2)から等式変形できない(3)は別の式なので、(2)にx､y､zが有理数の解があるかどうかとは全く関係がない。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)が成り立つかどうか、あなたが調べたいなら好きに調べたらいい。
しかし、x､y､zが有理数のとき、絶対にa=1、r^(n-1)=nにならない。よって、絶対に(2)は(3)に等式変形できない。
x､y､zが有理数のとき、(2)から等式変形できない(3)は別の式なので、(2)にx､y､zが有理数の解があるかどうかとは全く関係がない。
485日高
2021/04/24(土) 14:52:16.00ID:TxTViDEt >484
(3)は別の式なので、
(3)は等式変形した式です。
(3)は別の式なので、
(3)は等式変形した式です。
486１３２人目の素数さん
2021/04/24(土) 14:52:23.68ID:1EHIxVOu 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です。
487１３２人目の素数さん
2021/04/24(土) 14:52:47.16ID:1EHIxVOu 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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
488１３２人目の素数さん
2021/04/24(土) 14:57:29.59ID:SIpOHWkz >>485
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)は等式変形した式です。
では、x､y､zが有理数の時、で、たとえば、n=3のとき
x^3+y^3=z^3を、x^3+y^3=(x+√3)^3…(3)に、変形してみてください。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)は等式変形した式です。
では、x､y､zが有理数の時、で、たとえば、n=3のとき
x^3+y^3=z^3を、x^3+y^3=(x+√3)^3…(3)に、変形してみてください。
489日高
2021/04/24(土) 14:58:53.15ID:TxTViDEt (修正20)
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)のyを有理数とすると、n≠a^(n-1)なので、xは有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)のyを有理数とすると、n≠a^(n-1)なので、xは有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
490日高
2021/04/24(土) 14:59:45.22ID:TxTViDEt 【定理】】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^2-1)/2={b}/a…(3)と変形する。
(3)のyを有理数とすると、2=aなので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは整数)
(1)を(y^2-1)/2={b}/a…(3)と変形する。
(3)のyを有理数とすると、2=aなので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
491日高
2021/04/24(土) 15:00:52.32ID:TxTViDEt 【定理】n=2のとき、x^n+y^n=z^n自然数解を持つ。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
492日高
2021/04/24(土) 15:07:35.39ID:TxTViDEt >488
x^3+y^3=z^3を、x^3+y^3=(x+√3)^3…(3)に、変形してみてください。
x^3+y^3=z^3を、z=x+rとおいてx^3+y^3=(x+r)^3…(1)とする。
(1)をr^(3-1){(y/r)^3-1}=a3{x^(3-1)+…+r^(3-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(3-1)=3のとき、x^3+y^3=(x+3^{1/(3-1)})^3…(3)となる。
x^3+y^3=z^3を、x^3+y^3=(x+√3)^3…(3)に、変形してみてください。
x^3+y^3=z^3を、z=x+rとおいてx^3+y^3=(x+r)^3…(1)とする。
(1)をr^(3-1){(y/r)^3-1}=a3{x^(3-1)+…+r^(3-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(3-1)=3のとき、x^3+y^3=(x+3^{1/(3-1)})^3…(3)となる。
493１３２人目の素数さん
2021/04/24(土) 15:12:25.25ID:SIpOHWkz >>492
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)はa=1、r^(3-1)=3のとき
x,y,zが有理数の時、この式は等式なのですか？
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)はa=1、r^(3-1)=3のとき
x,y,zが有理数の時、この式は等式なのですか？
494日高
2021/04/24(土) 15:19:27.60ID:TxTViDEt (修正21)
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは有理数)
(1)を(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)のyを有理数とすると、n≠a^(n-1)なので、xは有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは有理数)
(1)を(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)のyを有理数とすると、n≠a^(n-1)なので、xは有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
495日高
2021/04/24(土) 15:20:32.16ID:TxTViDEt 【定理】】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは有理数)
(1)を(y^2-1)/2={b}/a…(3)と変形する。
(3)のyを有理数とすると、2=aなので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは有理数)
(1)を(y^2-1)/2={b}/a…(3)と変形する。
(3)のyを有理数とすると、2=aなので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
496日高
2021/04/24(土) 15:21:50.79ID:TxTViDEt 【定理】n=2のとき、x^n+y^n=z^n自然数解を持つ。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
497日高
2021/04/24(土) 15:24:24.41ID:TxTViDEt >493
> (2)はa=1、r^(3-1)=3のとき
x,y,zが有理数の時、この式は等式なのですか？
x,y,zが有理数の時、を外せば、等式です。
> (2)はa=1、r^(3-1)=3のとき
x,y,zが有理数の時、この式は等式なのですか？
x,y,zが有理数の時、を外せば、等式です。
498１３２人目の素数さん
2021/04/24(土) 15:30:25.65ID:SIpOHWkz >>497
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> x,y,zが有理数の時、この式は等式なのですか？
> x,y,zが有理数の時、を外せば、等式です。
x､y､zが有理数の時のことを調べたいのに、x,y,zが有理数の時を外して意味があるのですか？
私の質問は、「x,y,zが有理数の時、この式は等式なのですか？」なので、答えになっていませんよ。
> (2)はa=1、r^(3-1)=3のとき
x,y,zが有理数の時、この式は等式なのですか？
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> x,y,zが有理数の時、この式は等式なのですか？
> x,y,zが有理数の時、を外せば、等式です。
x､y､zが有理数の時のことを調べたいのに、x,y,zが有理数の時を外して意味があるのですか？
私の質問は、「x,y,zが有理数の時、この式は等式なのですか？」なので、答えになっていませんよ。
> (2)はa=1、r^(3-1)=3のとき
x,y,zが有理数の時、この式は等式なのですか？
499１３２人目の素数さん
2021/04/24(土) 16:15:38.92ID:kT0Ei3/v もう一度お尋ねします。
a/b=2/3のときa/b=4/6でもあるわけですが、このときa,bはどうなりますか？
a/b=2/3のときa/b=4/6でもあるわけですが、このときa,bはどうなりますか？
500日高
2021/04/24(土) 16:39:06.64ID:TxTViDEt >498
私の質問は、「x,y,zが有理数の時、この式は等式なのですか？」なので、答えになっていませんよ。
等式です。但し、x,y,zを、有理数とすると、成立しません。
x,y,zを、実数とすると、成立します。
私の質問は、「x,y,zが有理数の時、この式は等式なのですか？」なので、答えになっていませんよ。
等式です。但し、x,y,zを、有理数とすると、成立しません。
x,y,zを、実数とすると、成立します。
501日高
2021/04/24(土) 16:42:08.31ID:TxTViDEt >499
a/b=2/3のときa/b=4/6でもあるわけですが、このときa,bはどうなりますか？
4/6=2/3なので、a=2,b=3となります。
a/b=2/3のときa/b=4/6でもあるわけですが、このときa,bはどうなりますか？
4/6=2/3なので、a=2,b=3となります。
502１３２人目の素数さん
2021/04/24(土) 16:46:24.86ID:SIpOHWkz >>500
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> 等式です。但し、x,y,zを、有理数とすると、成立しません。
では、x,y,zが有理数の解があるかどうか調べたいこのフェルマーの問題では役に立ちませんね。
あなたが自分で書いている通り、(2)が(3)に等式変形できるのは、a=1、r^(n-1)=nのときだけです。
x,y,zが有理数のとき、a=1、r^(n-1)=nは成立しない。つまり、x,y,zが有理数のときは、「a=1、r^(n-1)=nのとき」ではありません。
よって、x,y,zが有理数のとき、(2)は(3)になりません。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> 等式です。但し、x,y,zを、有理数とすると、成立しません。
では、x,y,zが有理数の解があるかどうか調べたいこのフェルマーの問題では役に立ちませんね。
あなたが自分で書いている通り、(2)が(3)に等式変形できるのは、a=1、r^(n-1)=nのときだけです。
x,y,zが有理数のとき、a=1、r^(n-1)=nは成立しない。つまり、x,y,zが有理数のときは、「a=1、r^(n-1)=nのとき」ではありません。
よって、x,y,zが有理数のとき、(2)は(3)になりません。
503日高
2021/04/24(土) 16:48:00.65ID:TxTViDEt >502
> 等式です。但し、x,y,zを、有理数とすると、成立しません。
では、x,y,zが有理数の解があるかどうか調べたいこのフェルマーの問題では役に立ちませんね。
どうしてでしょうか？
> 等式です。但し、x,y,zを、有理数とすると、成立しません。
では、x,y,zが有理数の解があるかどうか調べたいこのフェルマーの問題では役に立ちませんね。
どうしてでしょうか？
504日高
2021/04/24(土) 16:49:19.21ID:TxTViDEt (修正21)
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは有理数)
(1)を(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)のyを有理数とすると、n≠a^(n-1)なので、xは有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは有理数)
(1)を(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)のyを有理数とすると、n≠a^(n-1)なので、xは有理数とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
505１３２人目の素数さん
2021/04/24(土) 16:49:56.05ID:1EHIxVOu 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です。
506日高
2021/04/24(土) 16:50:01.01ID:TxTViDEt 【定理】】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは有理数)
(1)を(y^2-1)/2={b}/a…(3)と変形する。
(3)のyを有理数とすると、2=aなので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおく。(a,bは有理数)
(1)を(y^2-1)/2={b}/a…(3)と変形する。
(3)のyを有理数とすると、2=aなので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
507１３２人目の素数さん
2021/04/24(土) 16:50:24.53ID:1EHIxVOu 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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
508日高
2021/04/24(土) 16:51:05.46ID:TxTViDEt 【定理】n=2のとき、x^n+y^n=z^n自然数解を持つ。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
509１３２人目の素数さん
2021/04/24(土) 16:56:07.51ID:kT0Ei3/v a/b=c/dのとき何が言えますか？
510１３２人目の素数さん
2021/04/24(土) 16:58:54.73ID:1EHIxVOu 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です。
511１３２人目の素数さん
2021/04/24(土) 16:59:17.39ID:1EHIxVOu 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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
512１３２人目の素数さん
2021/04/24(土) 17:14:02.77ID:1EHIxVOu 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です。
513１３２人目の素数さん
2021/04/24(土) 17:14:23.39ID:1EHIxVOu 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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
514１３２人目の素数さん
2021/04/24(土) 17:14:26.07ID:SIpOHWkz >>503
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
>> 等式です。但し、x,y,zを、有理数とすると、成立しません。
>
> では、x,y,zが有理数の解があるかどうか調べたいこのフェルマーの問題では役に立ちませんね。
>
> どうしてでしょうか？
たとえば、x+1=2に、1=2を代入して、x+2=2 よって元の式の答えはx=0
これが等式変形だと思いますか？
等式じゃない式、成り立たない式、をを使って変形したとき、その結果は等式変形になりません。別の式です。
x,y,zが有理数のとき、(2)と(3)は別の式なので、(3)はフェルマーの問題の役に立ちません。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
>> 等式です。但し、x,y,zを、有理数とすると、成立しません。
>
> では、x,y,zが有理数の解があるかどうか調べたいこのフェルマーの問題では役に立ちませんね。
>
> どうしてでしょうか？
たとえば、x+1=2に、1=2を代入して、x+2=2 よって元の式の答えはx=0
これが等式変形だと思いますか？
等式じゃない式、成り立たない式、をを使って変形したとき、その結果は等式変形になりません。別の式です。
x,y,zが有理数のとき、(2)と(3)は別の式なので、(3)はフェルマーの問題の役に立ちません。
515日高
2021/04/24(土) 17:20:12.52ID:TxTViDEt >514
たとえば、x+1=2に、1=2を代入して、x+2=2 よって元の式の答えはx=0
これが等式変形だと思いますか？
これは、等式変形では、ありません。
たとえば、x+1=2に、1=2を代入して、x+2=2 よって元の式の答えはx=0
これが等式変形だと思いますか？
これは、等式変形では、ありません。
516１３２人目の素数さん
2021/04/24(土) 17:24:36.97ID:1EHIxVOu 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です。
517１３２人目の素数さん
2021/04/24(土) 17:32:19.50ID:1EHIxVOu 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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
518１３２人目の素数さん
2021/04/24(土) 17:36:30.14ID:SIpOHWkz >>515
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> これは、等式変形では、ありません。
あなたのやっていることと同じですよ
a=1、r^(n-1)=nは、あなたが書いた通り
> x,y,zを、有理数とすると、成立しません。
つまりx,y,zが有理数のとき、r^(n-1)=nは、1=2と同じように、成り立たない式です。
x,y,zが有理数のとき、成り立たない式r^(n-1)=nをつかって(2)を(3)に変形したら、それは等式変形ではありません。
x,y,zが有理数のとき、(2)と(3)は別の式です。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> これは、等式変形では、ありません。
あなたのやっていることと同じですよ
a=1、r^(n-1)=nは、あなたが書いた通り
> x,y,zを、有理数とすると、成立しません。
つまりx,y,zが有理数のとき、r^(n-1)=nは、1=2と同じように、成り立たない式です。
x,y,zが有理数のとき、成り立たない式r^(n-1)=nをつかって(2)を(3)に変形したら、それは等式変形ではありません。
x,y,zが有理数のとき、(2)と(3)は別の式です。
519日高
2021/04/24(土) 17:38:58.27ID:TxTViDEt (修正22)
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおいて、(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)はa=n^{1/(n-1)}となる。yを有理数とすると、bが無理数となるので、xは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおいて、(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)はa=n^{1/(n-1)}となる。yを有理数とすると、bが無理数となるので、xは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
520日高
2021/04/24(土) 17:50:00.90ID:TxTViDEt 【定理】】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおいて、(y^2-1)/2={b}/a…(3)と変形する。
(3)はa=2となる。yを有理数とすると、bが有理数となるので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおいて、(y^2-1)/2={b}/a…(3)と変形する。
(3)はa=2となる。yを有理数とすると、bが有理数となるので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
521日高
2021/04/24(土) 17:52:12.56ID:TxTViDEt 【定理】n=2のとき、x^n+y^n=z^n自然数解を持つ。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
522日高
2021/04/24(土) 17:55:34.19ID:TxTViDEt >518
x,y,zが有理数のとき、成り立たない式r^(n-1)=nをつかって(2)を(3)に変形したら、それは等式変形ではありません。
x,y,zが有理数のとき、(2)と(3)は別の式です。
等式変形は、できます。
但し、x,y,zを有理数とすると、成り立ちません。
x,y,zが有理数のとき、成り立たない式r^(n-1)=nをつかって(2)を(3)に変形したら、それは等式変形ではありません。
x,y,zが有理数のとき、(2)と(3)は別の式です。
等式変形は、できます。
但し、x,y,zを有理数とすると、成り立ちません。
523日高
2021/04/24(土) 17:58:00.26ID:TxTViDEt >518
等式変形は、できます。
但し、x,y,zを有理数とすると、成り立ちません。
x,y,zを実数とすると、成り立ちます。
等式変形は、できます。
但し、x,y,zを有理数とすると、成り立ちません。
x,y,zを実数とすると、成り立ちます。
524１３２人目の素数さん
2021/04/24(土) 18:01:16.91ID:SIpOHWkz >>522
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> 等式変形は、できます。
> 但し、x,y,zを有理数とすると、成り立ちません。
それはできたとは言いませんよ
x+1=2に、成り立たない1=2を代入して、x+2=2になったとき、あなたの書いた通り、
> これは、等式変形では、ありません。
x,y,zが有理数の時、(2)に、成り立たないr^(n-1)=nを代入して、(3)になったとき、あなたの書いた通り、
> これは、等式変形では、ありません。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> 等式変形は、できます。
> 但し、x,y,zを有理数とすると、成り立ちません。
それはできたとは言いませんよ
x+1=2に、成り立たない1=2を代入して、x+2=2になったとき、あなたの書いた通り、
> これは、等式変形では、ありません。
x,y,zが有理数の時、(2)に、成り立たないr^(n-1)=nを代入して、(3)になったとき、あなたの書いた通り、
> これは、等式変形では、ありません。
525１３２人目の素数さん
2021/04/24(土) 18:03:21.96ID:kT0Ei3/v >>509に答えてください。
526日高
2021/04/24(土) 18:24:41.35ID:TxTViDEt >509
a/b=c/dのとき何が言えますか？
わかりません。
a/b=c/dのとき何が言えますか？
わかりません。
527日高
2021/04/24(土) 18:29:03.27ID:TxTViDEt >524
x+1=2に、成り立たない1=2を代入して、x+2=2になったとき、あなたの書いた通り、
> これは、等式変形では、ありません。
1=2と、r^(n-1)=nは、意味が違います。
r^(n-1)=nのrは、無理数となります。
1=2は、成り立ちません。
x+1=2に、成り立たない1=2を代入して、x+2=2になったとき、あなたの書いた通り、
> これは、等式変形では、ありません。
1=2と、r^(n-1)=nは、意味が違います。
r^(n-1)=nのrは、無理数となります。
1=2は、成り立ちません。
528１３２人目の素数さん
2021/04/24(土) 18:51:34.16ID:SIpOHWkz >>527
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> r^(n-1)=nのrは、無理数となります。
なりませんよ。
a=1、r^(n-1)=nは、あなたが書いた通り
> x,y,zを、有理数とすると、成立しません。
x,y,zが有理数のとき成立しないr^(n-1)=nをつかって(2)を(3)に変形したのだから、x,y,zが有理数のとき(2)と(3)は別の式です。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> r^(n-1)=nのrは、無理数となります。
なりませんよ。
a=1、r^(n-1)=nは、あなたが書いた通り
> x,y,zを、有理数とすると、成立しません。
x,y,zが有理数のとき成立しないr^(n-1)=nをつかって(2)を(3)に変形したのだから、x,y,zが有理数のとき(2)と(3)は別の式です。
529日高
2021/04/24(土) 19:13:38.16ID:TxTViDEt >528
> r^(n-1)=nのrは、無理数となります。
なりませんよ。
a=1、r^(n-1)=nは、あなたが書いた通り
> x,y,zを、有理数とすると、成立しません。
r^(n-1)=nは、成立します。
> r^(n-1)=nのrは、無理数となります。
なりませんよ。
a=1、r^(n-1)=nは、あなたが書いた通り
> x,y,zを、有理数とすると、成立しません。
r^(n-1)=nは、成立します。
530日高
2021/04/24(土) 19:19:33.58ID:TxTViDEt (修正22)
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおいて、(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)はa=n^{1/(n-1)}となる。yを有理数とすると、bが無理数となるので、xは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおいて、(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)はa=n^{1/(n-1)}となる。yを有理数とすると、bが無理数となるので、xは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
531日高
2021/04/24(土) 19:20:17.36ID:TxTViDEt 【定理】】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおいて、(y^2-1)/2={b}/a…(3)と変形する。
(3)はa=2となる。yを有理数とすると、bが有理数となるので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおいて、(y^2-1)/2={b}/a…(3)と変形する。
(3)はa=2となる。yを有理数とすると、bが有理数となるので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
532日高
2021/04/24(土) 19:20:57.76ID:TxTViDEt 【定理】n=2のとき、x^n+y^n=z^n自然数解を持つ。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
x^2+y^2=(x+1)^2に、y=2を代入する。
ピタゴラス数x=3、y=4、z=5を得る。
533１３２人目の素数さん
2021/04/24(土) 19:22:24.88ID:S7Bvm4Bl >>530 日高
> (1)をx=b/aとおいて、(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
> (3)はa=n^{1/(n-1)}となる。
ここの根拠はなんですか？
> (1)をx=b/aとおいて、(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
> (3)はa=n^{1/(n-1)}となる。
ここの根拠はなんですか？
534１３２人目の素数さん
2021/04/24(土) 19:28:27.42ID:SIpOHWkz >>529
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
>> x,y,zを、有理数とすると、成立しません。
>
> r^(n-1)=nは、成立します。
ではx,y,zを、有理数としたとき、r^(n-1)=nが成立するrを教えてください。
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
>> x,y,zを、有理数とすると、成立しません。
>
> r^(n-1)=nは、成立します。
ではx,y,zを、有理数としたとき、r^(n-1)=nが成立するrを教えてください。
535日高
2021/04/24(土) 19:41:45.47ID:TxTViDEt >533
> (1)をx=b/aとおいて、(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
> (3)はa=n^{1/(n-1)}となる。
ここの根拠はなんですか？
n=a^(n-1)とすると、a=n^{1/(n-1)}となります。
> (1)をx=b/aとおいて、(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
> (3)はa=n^{1/(n-1)}となる。
ここの根拠はなんですか？
n=a^(n-1)とすると、a=n^{1/(n-1)}となります。
536日高
2021/04/24(土) 19:44:43.05ID:TxTViDEt >534
ではx,y,zを、有理数としたとき、r^(n-1)=nが成立するrを教えてください。
r=n^{1/(n-1)}です。
ではx,y,zを、有理数としたとき、r^(n-1)=nが成立するrを教えてください。
r=n^{1/(n-1)}です。
537１３２人目の素数さん
2021/04/24(土) 19:46:57.59ID:SIpOHWkz >>536
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> r=n^{1/(n-1)}です。
では有理数x､y､zがどんな数の時、r=n^{1/(n-1)}になりますか？
> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、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)となる。
について。
> r=n^{1/(n-1)}です。
では有理数x､y､zがどんな数の時、r=n^{1/(n-1)}になりますか？
538１３２人目の素数さん
2021/04/24(土) 19:49:37.96ID:S7Bvm4Bl >>535 日高
> >533
> > (1)をx=b/aとおいて、(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
> > (3)はa=n^{1/(n-1)}となる。
>
> ここの根拠はなんですか？
>
> n=a^(n-1)とすると、a=n^{1/(n-1)}となります。
「n=a^(n-1)とすると」ということはあくまで仮定の話ですよね。
どうして「(3)はa=n^{1/(n-1)}となる」と言い切れますか？
> >533
> > (1)をx=b/aとおいて、(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
> > (3)はa=n^{1/(n-1)}となる。
>
> ここの根拠はなんですか？
>
> n=a^(n-1)とすると、a=n^{1/(n-1)}となります。
「n=a^(n-1)とすると」ということはあくまで仮定の話ですよね。
どうして「(3)はa=n^{1/(n-1)}となる」と言い切れますか？
539１３２人目の素数さん
2021/04/24(土) 20:17:02.44ID:1EHIxVOu 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です。
540１３２人目の素数さん
2021/04/24(土) 20:17:37.47ID:1EHIxVOu 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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。
少しは理解しています。
541１３２人目の素数さん
2021/04/24(土) 20:33:25.94ID:1EHIxVOu 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です。
542日高
2021/04/24(土) 20:48:45.53ID:TxTViDEt >537
では有理数x､y､zがどんな数の時、r=n^{1/(n-1)}になりますか？
yが有理数のとき、x,zは無理数となります。
では有理数x､y､zがどんな数の時、r=n^{1/(n-1)}になりますか？
yが有理数のとき、x,zは無理数となります。
543日高
2021/04/24(土) 20:53:02.38ID:TxTViDEt >538
どうして「(3)はa=n^{1/(n-1)}となる」と言い切れますか？
左辺の分母＝右辺の分母とした場合です。
どうして「(3)はa=n^{1/(n-1)}となる」と言い切れますか？
左辺の分母＝右辺の分母とした場合です。
544日高
2021/04/24(土) 20:54:24.51ID:TxTViDEt (修正22)
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおいて、(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)はa=n^{1/(n-1)}となる。yを有理数とすると、bが無理数となるので、xは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【定理】】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+1とおいてx^n+y^n=(x+1)^n…(1)とする。
x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおいて、(y^n-1)/n={b^(n-1)+…+a^(n-2)・b}/a^(n-1)…(3)と変形する。
(3)はa=n^{1/(n-1)}となる。yを有理数とすると、bが無理数となるので、xは無理数となる。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
545日高
2021/04/24(土) 20:55:11.03ID:TxTViDEt 【定理】】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおいて、(y^2-1)/2={b}/a…(3)と変形する。
(3)はa=2となる。yを有理数とすると、bが有理数となるので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+1とおいてx^2+y^2=(x+1)^2…(1)とする。
x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(2)とする。
(1)(2)の解の比は、同じとなるので、(1)のみを検討すれば良い。
(1)をx=b/aとおいて、(y^2-1)/2={b}/a…(3)と変形する。
(3)はa=2となる。yを有理数とすると、bが有理数となるので、xは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- アルバイト先の同僚女子高校生にキスなど”不同意わいせつ” バングラデシュ国籍の男逮捕 [♪♪♪★]
- 政府がロシアに首脳会談を打診 来週のAPEC会議に合わせ 拘束中の新聞記者解放や日本企業の現地法人支配下措置など協議したい考え [ぐれ★]
- 日本への永住型移民、4年連続増加の約19万人 先進国全体では2年連続減少 OECD報告書 [首都圏の虎★]
- 【大阪】3歳長女を殴り殺害か、容疑で父親逮捕 母親も遺棄致死容疑 [七波羅探題★]
- マイクロソフト障害、日本政府の情報システム基盤にも支障 尾崎副長官 [少考さん★]
- 松本人志、千鳥の2人は「ある意味、ダウンタウンより強いような気がして…瞬発力がすごいやんか」「脅威やなと思った」 [muffin★]
- 今月の給料がアメ玉3つだったのらけど🍬🍬🍬(・o・；🍬)🏰
- 高市、中国へ [668024367]
- 弱ってる親父がトマト食べたいっていうから
- 【速報】嫌儲の規制解除 [164880235]
- 社不すぎて死にたい
- 【悲報】女子小学生を助けようとしたおっさん通報される