フェルマーの最終定理の簡単な証明６

【定理】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は有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。

このスレは認知症の老人との会話を楽しむスレです。
数学の話はできないので注意してください。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=5を代入する。
ピタゴラス数x=21、y=20、z=29を得る。

>>1 日高
> 【補足】
> (3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

この「となる」の主語はなんですか？

>6
この「となる」の主語はなんですか？

(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nと同じとなる。
です。

>>7 日高
それは名詞ではありませんから主語にはなれません。
きちんと答えてください。

>8
それは名詞ではありませんから主語にはなれません。
きちんと答えてください。

そういう意味です。
主語にはなれません。と言われても、わかりません。

何が「同じとなる」んですか？

>10
何が「同じとなる」んですか？

x,y,zが無理数で、整数比となることと、x,y,zが有理数となることは、
同じとなります。

同じって書いてるけど同値の意味ですか？

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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。

少しは理解しています。

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です。

1 名前：日高[[email protected]] 投稿日：2021/04/12(月) 14:18:18.43 ID:NFcTRjFu [1/7]
【定理】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は有理数)

2 名前：日高[] 投稿日：2021/04/12(月) 14:19:44.58 ID:NFcTRjFu [2/7]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

3 名前：日高[] 投稿日：2021/04/12(月) 14:20:49.26 ID:NFcTRjFu [3/7]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。

>12
同じって書いてるけど同値の意味ですか？

比が同じとなります。同値と呼ぶかは、わかりません。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=6を代入する。
ピタゴラス数x=4、y=3、z=5を得る。

>>16 日高
> >12
> 同じって書いてるけど同値の意味ですか？
>
> 比が同じとなります。同値と呼ぶかは、わかりません。

だったらそう書きなよ。>>17 日高の

> 【補足】
> (4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

は何なんだよ。

>19
> 【補足】
> (4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

は何なんだよ。

比が同じとなります。同値かも、知れません。

> > (4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

> 比が同じとなります。同値かも、知れません。

全然意味が通じません。何と何の比が同じですか？

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です。

541 名前:日高 :2021/03/27(土) 09:38:39.16 ID:dgowYWyd
>514
(x,y,z)=(s,t,u)が(3)の解であるとき(x,y,z)=(sw,tw,uw)は(3)の解ではない
このことにはご理解、納得していただけましたか？

はい。

>>801
＞>>767
＞＞「(3)のx,yは共に有理数とならないことは確定」と「(3)のx,y,zが無理数で整数比となる可能性がある」を循環論法としている。これが理由で>>716の【証明】には循環論法はない。
＞＞
＞＞これがあなたの考え、ということでいいですか？
＞＞
＞＞はい。
＞
＞なるほど、わかりました。まず、
＞「確定」と「可能性がある」を循環論法としている。
＞この考えは捨ててください。どこが間違っているという問題ではなく、単語の意味が不明でかつ文として成立していません。
＞
＞証明における循環論法とは、ある命題の証明において、その命題自体を仮定した議論を用いることです。
＞言い換えると、証明すべき結論を、証明の中で仮定(前提)として用いることです。
＞Aの根拠としてBを用い、
＞Bの根拠としてCを用い、
＞Cの根拠としてAを用いる。これが循環論法にあたります。この例ではABC3つの事がらで循環していますが、2つの事がらの場合や、4つ以上の場合もあります。
＞循環論法では命題自体の絶対的な説明が一切行われないため、何の論証も行なわない場合と同じことになります。

さて、前スレ>>851に戻ります。

「もし明日晴れたら、桜を見に行こう」と言った時点で
「明日晴れること」は確定していません。
同様に
「もしnが6の倍数だったら、mは3の倍数である」と言った時点で
「nが6の倍数である」ことは確定していません。

このことを理解していただけましたか？

>>1
> (3)のx,yは共に有理数とならない。
> (3)(4)の解の比は同じなので、
n=3の場合で例を挙げると
(3)のx,yが有理数の解はs,tを有理数とすると
(s, t, s+3^(1/2))であり解の比は整数比でない
> (4)のrが有理数でも、x,yは共に有理数とならない。
解の定数倍により(3)と(4)の解の比が同じことから言えるのは
(3)と同様に(4)が持たない解の比はx:y:z=s:t:s+3^(1/2)であり整数比ではない
よって【証明】で示された結論
> ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
は誤りでn=3の場合ならば
∴n=3のときx^n+y^n=z^nはx,y,zの比がx:y:z=s:t:s+3^(1/2)の解を持たない
ということしか示されていない
x,y,zの比が整数比でない解を持たないことを示しても意味がない

>>1さんが、
> どちらでも、同じ事だからです。
と書いた、

> (修正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)となる。
について。

x,y,zは有理数、z=x+rとおく、とした時点でrは絶対に有理数、ですよね？
rが有理数、n≧3のときに、r^(n-1)=nになるとき、は絶対にない、ですよね？
r^(n-1)=nになるとき、は絶対にないので、x,y,zは有理数のとき(2)は(3)にならない、ですよね？

日高のいう「x,y,zは有理数」は具体的な有理数ではなく、
「有理数のはいるところ」ぐらいの意味なのではないか。
背理法じゃないみたいだから。

>21
全然意味が通じません。何と何の比が同じですか？

x:y:z=s:t:uということです。

＞23
(x,y,z)=(s,t,u)が(3)の解であるとき(x,y,z)=(sw,tw,uw)は(3)の解ではない
このことにはご理解、納得していただけましたか？

(x,y,z)=(s,t,u)は、(3)の解では、ありません。

もし、(x,y,z)=(s,t,u)が(3)の解ならば、(x,y,z)=(sw,tw,uw)は、成り立ちます。

>>30
前スレ541を撤回される、という事ですか？

>24
＞証明における循環論法とは、ある命題の証明において、その命題自体を仮定した議論を用いることです。

１のどの部分が、このことに、該当するのでしょうか？

>25
「もしnが6の倍数だったら、mは3の倍数である」と言った時点で
「nが6の倍数である」ことは確定していません。

このことを理解していただけましたか？

「もしnが6の倍数だったら、mは3の倍数である」しか、提示されて、いない場合は、理解できます。

n=2mも、提示されている場合は、理解できません。

そりゃお前が道理をわかっとらんだけだ

>26
(3)のx,yが有理数の解はs,tを有理数とすると
(s, t, s+3^(1/2))であり解の比は整数比でない

(3)の解は、(s, t, s+3^(1/2))となりません。

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です。

背理法
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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

>27
r^(n-1)=nになるとき、は絶対にないので、x,y,zは有理数のとき(2)は(3)にならない、ですよね？

(2)が、成立しないので、(3)も成立しません。

>31
>>30
前スレ541を撤回される、という事ですか？

どういう意味でしょうか？

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=7を代入する。
ピタゴラス数x=45、y=28、z=53を得る。

>>39
もし(x,y,z)=(s,t,u)が(3)の解であるとしたら、
(x,y,z)=(sw,tw,uw)は(3)の解ではない
という事で合っていますか？

>42
もし(x,y,z)=(s,t,u)が(3)の解であるとしたら、
(x,y,z)=(sw,tw,uw)は(3)の解ではない
という事で合っていますか？

もし(x,y,z)=(s,t,u)が(3)の解であるとしたら、
(x,y,z)=(sw,tw,uw)は(4)の解です。

>>43
> >42
> もし(x,y,z)=(s,t,u)が(3)の解であるとしたら、
> (x,y,z)=(sw,tw,uw)は(3)の解ではない
> という事で合っていますか？
>
> もし(x,y,z)=(s,t,u)が(3)の解であるとしたら、
> (x,y,z)=(sw,tw,uw)は(4)の解です。


質問に答えてくれると嬉しいです。
もし(x,y,z)=(s,t,u)が(3)の解であるとしたら、
(x,y,z)=(sw,tw,uw)は(3)の解ではない
という事で合っていますか？

>44
もし(x,y,z)=(s,t,u)が(3)の解であるとしたら、
(x,y,z)=(sw,tw,uw)は(3)の解ではない
という事で合っていますか？

(x,y,z)=(s,t,u)が(3)の解であるとしたら、の場合、
x=s,y=t,z=uとなります。
(x,y,z)=(sw,tw,uw)が(3)の解の場合、
x=sw,y=tw,z=uwとなるので、
s=sw,t=tw,u=uwということになります。
これは、成り立たないので、
(x,y,z)=(sw,tw,uw)は(3)の解ではないということに、なります。

>>45
> >44
> もし(x,y,z)=(s,t,u)が(3)の解であるとしたら、
> (x,y,z)=(sw,tw,uw)は(3)の解ではない
> という事で合っていますか？
>
> (x,y,z)=(s,t,u)が(3)の解であるとしたら、の場合、
> x=s,y=t,z=uとなります。
> (x,y,z)=(sw,tw,uw)が(3)の解の場合、
> x=sw,y=tw,z=uwとなるので、
> s=sw,t=tw,u=uwということになります。
> これは、成り立たないので、
> (x,y,z)=(sw,tw,uw)は(3)の解ではないということに、なります。

分かりました。
(x,y,z)=(s,t,u)が(3)の解であるとき(x,y,z)=(sw,tw,uw)は(3)の解ではない
という事ですね。
ありがとうございました。

>>35
日高は相変わらず一部分だけを抜き出すクソだな
> (3)の解は、(s, t, s+3^(1/2))となりません。

【証明】の
> (3)(4)の解の比は同じなので、(4)のrが有理数でも、x,yは共に有理数とならない。
(4)が持たない解の比もx:y:z=s:t:s+3^(1/2)でないといけないのは理解してる？
x:y:z=s:t:s+3^(1/2) (s,tは有理数)は整数比でないのだから
(4)のrが有理数のときに(4)が持たない解のx,yは有理数じゃないだろ
だから
> (4)のrが有理数でも、x,yは共に有理数とならない。
これはウソ
x,y,zの比が整数比でない解を持たないことを示しただけで
なぜx^n+y^n=z^nは自然数解を持たないと言えるのか？
ということなんだけれども日高はそれも理解できないのか

>>33
＞「もしnが6の倍数だったら、mは3の倍数である」と言った時点で
＞「nが6の倍数である」ことは確定していません。
＞
＞このことを理解していただけましたか？
＞
＞「もしnが6の倍数だったら、mは3の倍数である」しか、提示されて、いない場合は、理解できます。
＞
＞n=2mも、提示されている場合は、理解できません。

では理解していただためにもっと詳しく書きましょう。

�@自然数n,mに対してn=2m が成り立っている
「mは、1,2,3,4,5...と自然数全ての値を取り得る。どの自然数か確定しない(わからない)が、もし仮にm=3だとすると　n=6と確定する」

さて�@においてm=3だと確定していると言えますか？日高さんの考えを書いてください。

>47
(4)が持たない解の比もx:y:z=s:t:s+3^(1/2)でないといけないのは理解してる？

s^3+t^3=(s+3^(1/2))^3は成立しないので、
x=s,y=t,z=s+3^(1/2)は、解となりません。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=8を代入する。
ピタゴラス数x=15、y=8、z=17を得る。

>48
�@自然数n,mに対してn=2m が成り立っている
「mは、1,2,3,4,5...と自然数全ての値を取り得る。どの自然数か確定しない(わからない)が、もし仮にm=3だとすると　n=6と確定する」

さて�@においてm=3だと確定していると言えますか？日高さんの考えを書いてください。

n=6と確定すると、m=3となります。

やっぱり正確に質問に答えられないんだね。

>>52
＞�@自然数n,mに対してn=2m が成り立っている
＞「mは、1,2,3,4,5...と自然数全ての値を取り得る。どの自然数か確定しない(わからない)が、もし仮にm=3だとすると　n=6と確定する」
＞
＞さて�@においてm=3だと確定していると言えますか？日高さんの考えを書いてください。
＞
＞n=6と確定すると、m=3となります。

質問と答えがかみ合っていません。
�@においてm=3だと確定していると言えますか？
はい/いいえ　でお答えください。

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です。

>54
質問と答えがかみ合っていません。
�@においてm=3だと確定していると言えますか？
はい/いいえ　でお答えください。

答えられません
仮に確定していると言えます

>>56
＞答えられません
では教えましょう。

＞仮に確定していると言えます
仮に、ということは確定していないということです。

�@自然数n,mに対してn=2m が成り立っている
「mは、1,2,3,4,5...と自然数全ての値を取り得る。どの自然数か確定しない(わからない)が、もし仮にm=3だとすると　n=6と確定する」

�@においてm=3だと確定していません。

このことを理解していただけましたか？

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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

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です。

>57
�@においてm=3だと確定していません。

このことを理解していただけましたか？

はい。

>>60
>はい。

では>>25に戻ります。>>57と同様に

�@'自然数n,mに対してn=2m が成り立っている
「nは全ての偶数の値を取り得るが、もしnが6の倍数だと仮定すると、　mは3の倍数である」

と言った時点で「nが6の倍数である」ことは確定していません。
このことを理解していただけましたか？

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=9を代入する。
ピタゴラス数x=77、y=36、z=85を得る。

>61
�@'自然数n,mに対してn=2m が成り立っている
「nは全ての偶数の値を取り得るが、もしnが6の倍数だと仮定すると、　mは3の倍数である」

と言った時点で「nが6の倍数である」ことは確定していません。
このことを理解していただけましたか？

はい。

>>65
>はい。

では進めます。

自然数n,mに対してn=2m が成り立っているとき、
「nが6の倍数　ならば　mは3の倍数である」と
「nは全ての偶数の値を取り得るが、もしnが6の倍数だと仮定すると、　mは3の倍数である」
は同じ意味です。
つまり

�@'自然数n,mに対してn=2m が成り立っている
「nが6の倍数　ならば　mは3の倍数である」

�@'においてnが6の倍数であることは仮定であり、確定していません。
このことを理解していただけましたか？

>66
「nが6の倍数　ならば　mは3の倍数である」

「nが6の倍数　ならば,」は、確定だと思います。
「もしnが6の倍数だと仮定すると、」は、仮定だと、思います。

>>67
> 「nが6の倍数　ならば,」は、確定だと思います。

残念ですが違います。

「nが6の倍数　ならば,」と
「もしnが6の倍数だと仮定すると、」は同じ意味です。
どちらも仮定であり、確定ではありません。

>68
「nが6の倍数　ならば,」と
「もしnが6の倍数だと仮定すると、」は同じ意味です。

「もしnが6の倍数だと仮定すると、」のときは、後に続くことがらも、仮定になるのではないでしょうか？
「nが6の倍数　ならば,」のときは、後に続くことがらは、確定になるのではないでしょうか？

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=10を代入する。
ピタゴラス数x=12、y=5、z=13を得る。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=11を代入する。
ピタゴラス数x=117、y=44、z=125を得る。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

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です。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=12を代入する。
ピタゴラス数x=35、y=12、z=37を得る。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=13を代入する。
ピタゴラス数x=165、y=52、z=173を得る。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=14を代入する。
ピタゴラス数x=24、y=7、z=25を得る。

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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。

少しは理解しています。

1 名前：日高[[email protected]] 投稿日：2021/04/12(月) 14:18:18.43 ID:NFcTRjFu [1/11]
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)の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は有理数)

2 名前：日高[] 投稿日：2021/04/12(月) 14:19:44.58 ID:NFcTRjFu [2/11]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

3 名前：日高[] 投稿日：2021/04/12(月) 14:20:49.26 ID:NFcTRjFu [3/11]
【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。

>>69
なるわけないだろ
数学用語をきちんと理解もせず、自分勝手な解釈で使うなら何を書いたってゴミにしかならん

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=15を代入する。
ピタゴラス数x=221、y=60、z=229を得る。

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です。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=16を代入する。
ピタゴラス数x=63、y=16、z=65を得る。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=17を代入する。
ピタゴラス数x=285、y=68、z=293を得る。

>>84 日高
> 【定理】n=2のとき、

この「のとき」は仮定ですか、確定ですか？

>85
> 【定理】n=2のとき、

この「のとき」は仮定ですか、確定ですか？

確定です。

nは3かもしれないし4かもしれない。それなのに確定ですか？

>>49
> s^3+t^3=(s+3^(1/2))^3は成立しないので、
> x=s,y=t,z=s+3^(1/2)は、解となりません。
この場合(3)と(4)の解の比は同じでも自然数解の比と異なるだろ
なぜこの解の定数倍を考えると自然数解を持たないことになるの？
(3)が持たない解はz-x=3^(1/2)でzだけ無理数だから解の定数倍を考えても
x,y,zの全てが有理数や自然数にならないだろ

>87
nは3かもしれないし4かもしれない。それなのに確定ですか？

よく、意味がわかりません。

>88
> s^3+t^3=(s+3^(1/2))^3は成立しないので、
> x=s,y=t,z=s+3^(1/2)は、解となりません。
この場合(3)と(4)の解の比は同じでも自然数解の比と異なるだろ
なぜこの解の定数倍を考えると自然数解を持たないことになるの？
(3)が持たない解はz-x=3^(1/2)でzだけ無理数だから解の定数倍を考えても
x,y,zの全てが有理数や自然数にならないだろ

よく意味が、わからないので、詳しく説明していただけないでしょうか。

日高さん、仮定と確定の定義はなんですか？

>>90
> よく意味が、わからないので、詳しく説明していただけないでしょうか。
自分で書いた【証明】が分からないのか？

s,tを有理数としてn=3のときを例に挙げる
> (3)のx,yは共に有理数とならない。
よって(3)は以下のような解を持たない
> x=s,y=t,z=s+3^(1/2)は、解となりません。
また
> (3)(4)の解の比は同じなので、
であるから(4)が持たない解を考えるために上の解を定数倍してrが有理数であるようにする
つまり以下の(3)が持たない解 x=s, y=t, z=s+3^(1/2), z-x=3^(1/2), x:y:z=s:t:s+3^(1/2)
のx,y,zをそれぞれたとえば3^(1/2)倍すると
x=s*3^(1/2), y=t*3^(1/2), z=s*3^(1/2)+3, z-x=3, x:y:z=s:t:s+3^(1/2)
となり(4)が持たない解を示すことになる
このときr=z-x=3で有理数でありx:y:z=s:t:s+3^(1/2)は同じ比であるが
x=s*3^(1/2), y=t*3^(1/2)であるから共に有理数でない
(4)のrが有理数のときに(4)が持たない解のx,yは有理数でないから
有理数解(自然数解)を持たないことは証明できない
つまり
> (3)のx,yは共に有理数とならない。
> (3)(4)の解の比は同じなので、(4)のrが有理数でも、x,yは共に有理数とならない。
> ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
は間違い

>>38

> (修正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)が成立しないことはこの時点で確定しているとあなたは思っているのですよね？
しかし(2)が成立しない証拠がないのでこれはインチキです。

そして
もし仮に、x,y,zは有理数のとき(2)が成立しないとしても、x,y,zは有理数のとき(2)は(3)にならないので(3)とは全く関係ありません。
全く別々の話です。
もし仮に、x,y,zは有理数のとき(2)が成立するとしても、x,y,zは有理数のとき(2)は(3)にならないので(3)とは全く関係ありません。
全く別々の話です。

x,y,zは有理数、z=x+rとおく、とした時点でrは絶対に有理数
rが有理数、n≧3のときに、r^(n-1)=nになるとき、は絶対にない
r^(n-1)=nになるとき、は絶対にないので、x,y,zは有理数のとき(2)は(3)にならない
この説明に「(2)が成立するかどうか」なんてどこにも出てきません
(2)が成立するかどうかとは全く別々の話として、x,y,zは有理数のとき(2)は(3)になりません。
(2)が成立しようがしまいが、x,y,zは有理数のとき(2)は(3)になりません。

>>69
＞「もしnが6の倍数だと仮定すると、」のときは、後に続くことがらも、仮定になるのではないでしょうか？
＞「nが6の倍数　ならば,」のときは、後に続くことがらは、確定になるのではないでしょうか？

何度も書きますが、
「nが6の倍数　ならば,」と
「もしnが6の倍数だと仮定すると、」は同じ意味です。後に続くことがらはどちらも確定しません。

なお、現在の中学2年生の教科書にはこう記述されています。
「〇〇ならば□□である」という文の〇〇を「仮定」、□□を「結論」と言う

お分かりいただけましたか？

>>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)となる。

ここの「のとき」は仮定ですか、それとも確定ですか？

>91
日高さん、仮定と確定の定義はなんですか？

わからないので、教えて下さい。

>92
(4)が持たない解を考えるために上の解を定数倍してrが有理数であるようにする

「(4)が持たない解」とは、どういう意味でしょうか？

>93
x,y,zは有理数、z=x+rとおく、とした時点でrは絶対に有理数

n=3の場合は、条件を満たさないということに、なります。

>94
なお、現在の中学2年生の教科書にはこう記述されています。
「〇〇ならば□□である」という文の〇〇を「仮定」、□□を「結論」と言う

仮定と確定の話では、なくて、仮定と結論の話だと思います。

>95
> (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)となる。

ここの「のとき」は仮定ですか、それとも確定ですか？

確定です。

>>97
> 「(4)が持たない解」とは、どういう意味でしょうか？
自分で
> x^n+y^n=z^nは自然数解を持たない
と書いているがこの意味も分からないの？
【証明】ではx^n+y^n=z^nが持たない解を調べているのだろ？

> s^3+t^3=(s+3^(1/2))^3は成立しないので、
> x=s,y=t,z=s+3^(1/2)は、解となりません。
(s, t, s+3^(1/2))は【証明】に書いてある(3)が持たない解で
n=3ならば(3)が持たない解のr=z-x=3^(1/2)
x,y,zを定数倍すれば(4)が持たない解になるだろ

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=18を代入する。
ピタゴラス数x=40、y=9、z=41を得る。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^2+t^2=u^2となる。(s,t,uは有理数)

>>98

> (修正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)となる。
について。

> n=3の場合は、条件を満たさないということに、なります。

問題文にはそのような条件は付いていない。
条件が付いているのは、(2)は(3)となる、という文章です。

x,y,zは有理数のとき、「a=1、r^(n-1)=nのとき」という条件を満たさないので、「(2)は(3)になる」ということは起きません。

x,y,zは有理数、z=x+rとおく、とした時点でrは絶対に有理数
rが有理数、n≧3のときに、r^(n-1)=nになるとき、は絶対にない
r^(n-1)=nになるとき、は絶対にないので、x,y,zは有理数のとき(2)は(3)にならない

元の問題文にはない、あなたが勝手に作った条件「r^(n-1)=nになるとき」、を満たさないので、(2)は(3)にならない。

>101
n=3ならば(3)が持たない解のr=z-x=3^(1/2)

意味がわからないので、詳しく説明していただけないでしょうか。

>105
元の問題文にはない、あなたが勝手に作った条件「r^(n-1)=nになるとき」、を満たさないので、(2)は(3)にならない。

(2)が成立しないので、(3)も成立しません。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=19を代入する。
ピタゴラス数x=357、y=76、z=365を得る。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=20を代入する。
ピタゴラス数x=99、y=20、z=101を得る。

>>106
たとえば(1, 2, 3)も(3)を満たさないがr=3-1=2だったら意味ないだろ
(3)はx^3+y^3=(x+3^(1/2))^3だからr=z-x=3^(1/2)
つまり(3)のときはまずはz=x+3^(1/2)が必要
> n=3ならば(3)が持たない解のr=z-x=3^(1/2)
これを書いておけばいくら日高でも(s, t, s+3^(1/2))を何倍すれば
解の比が同じである(4)においてrを有理数にできるかすぐに分かるだろ
そうすればそのときのx,yがどんな値かも分かるだろ

>110
(s, t, s+3^(1/2))を何倍すれば

(s, t, s+3^(1/2))は、解となりません。

>>111
> (s, t, s+3^(1/2))は、解となりません。
だったら
> (3)のx,yは共に有理数とならない。
> (3)(4)の解の比は同じなので、(4)のrが有理数でも、x,yは共に有理数とならない。
において
> (3)のx,yは共に有理数とならない
(3)の解にならないのだから
> (3)(4)の解の比は同じなので、(4)のrが有理数でも
は使えないだろ

>112
> (3)(4)の解の比は同じなので、(4)のrが有理数でも
は使えないだろ

「(3)のx,yが共に有理数ではない」ならば、解になります。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^2+t^2=u^2となる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=21を代入する。
ピタゴラス数x=437、y=84、z=445を得る。

>>99
＞なお、現在の中学2年生の教科書にはこう記述されています。
＞「〇〇ならば□□である」という文の〇〇を「仮定」、□□を「結論」と言う
＞
＞仮定と確定の話では、なくて、仮定と結論の話だと思います。

一体どの話が、
＞仮定と確定の話では、なくて、仮定と結論の話だと思います。
なんですか？

>>96
＞日高さん、仮定と確定の定義はなんですか？
＞
＞わからないので、教えて下さい。

仮定とは、不確かなことを仮に定めること。
もちろん、仮定した以外のことがらが起きる(定まる)可能性はあります。

確定とは、そのことがらが確実に起きる(定まる)こと。確定した以外のことは起きません(定まりません)


>>86
＞> 【定理】n=2のとき、
＞
＞この「のとき」は仮定ですか、確定ですか？
＞
＞確定です。

このあなたの「確定です」の意味は、
nは2以外の値を絶対に取らない
ということです。

>>100
＞> (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が成立する。
ということです。

あなたは「確定です」の意味を勘違いしているようです。

>116
一体どの話が、
＞仮定と確定の話では、なくて、仮定と結論の話だと思います。
なんですか？

＞なお、現在の中学2年生の教科書にはこう記述されています。
＞「〇〇ならば□□である」という文の〇〇を「仮定」、□□を「結論」と言う
のことです。

>117
このあなたの「確定です」の意味は、
必ずr^(n-1)=nが成立する。
ということです。

あなたは「確定です」の意味を勘違いしているようです。

よく。わからないので、詳しく説明していただけないでしょうか。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=22を代入する。
ピタゴラス数x=60、y=11、z=61を得る。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=23を代入する。
ピタゴラス数x=525、y=92、z=533を得る。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=24を代入する。
ピタゴラス数x=143、y=24、z=145を得る。

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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

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です。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=25を代入する。
ピタゴラス数x=621、y=100、z=621を得る。

>>118
そうですね。

>>119
＞あなたは「確定です」の意味を勘違いしているようです。
＞
＞よく。わからないので、詳しく説明していただけないでしょうか。

まず、仮定と確定とは何か、もう一度書きます。

仮定とは、不確かなことを仮に定めること。
もちろん、仮定した以外のことがらが起きる(定まる)可能性はあります。

確定とは、そのことがらが確実に起きる(定まる)こと。確定した以外のことは起きません(定まりません)

仮定と確定の違いを理解していただけましたか？

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^2+t^2=u^2となる。(s,t,uは有理数)

>126
仮定とは、不確かなことを仮に定めること。
もちろん、仮定した以外のことがらが起きる(定まる)可能性はあります。

確定とは、そのことがらが確実に起きる(定まる)こと。確定した以外のことは起きません(定まりません)

仮定と確定の違いを理解していただけましたか？


数学では、仮定と、結論ではないでしょうか？

数学で、仮定と確定という言葉を使うのでしょうか？

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です。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=26を代入する。
ピタゴラス数x=84、y=13、z=85を得る。

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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=27を代入する。
ピタゴラス数x=725、y=108、z=733を得る。

>>113
> 「(3)のx,yが共に有理数ではない」ならば、解になります
「(3)のx,yが共に有理数ではない」には解の比が整数比のものが含まれるので【証明】は間違い
【証明】の中で
> (3)(4)の解の比は同じなので
としているが
> (3)のx,yは共に有理数とならない
と
> (4)のrが有理数でも、x,yは共に有理数とならない
では解の比が同じじゃないだろ

>>113
(3)の解とその定数倍である(4)の解をもう少し具体的に書いて解の比を書くと
n=3(s,tは有理数)の場合「解が(s, t, s+3^(1/2))ではない」ならば(3)の解になる
定数倍して解の比が同じであるのならば (ここではrを有理数とするために3^(1/2)倍してr=3とする)
「解が(s*3^(1/2), t*3^(1/2), s*3^(1/2)+3)ではない」ならば(4)の(r=3の場合の)解になる
s*3^(1/2):t*3^(1/2):s*3^(1/2)+3=s:t:s+3^(1/2)でx,y,zの比は同じであるが
(3)の場合と同じで整数比ではない
よって(3)と同様に(4)の解にもx,y,zの比が整数比のものが含まれるので【証明】は間違い

>133
「(3)のx,yが共に有理数ではない」には解の比が整数比のものが含まれるので【証明】は間違い

よく、意味がわからないので、詳しく説明していただけないでしょうか。

>134
(3)と同様に(4)の解にもx,y,zの比が整数比のものが含まれるので【証明】は間違い

よく、意味がわからないので、詳しく説明していただけないでしょうか。

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です。

>>135
> 「(3)のx,yが共に有理数ではない」には解の比が整数比のものが含まれるので【証明】は間違い
>
> よく、意味がわからないので、詳しく説明していただけないでしょうか。

> 「(3)のx,yが共に有理数ではない」ならば、解になります
n=3ならば(3)の解であることからz=x+3^(1/2)であることは明らかなので
「(3)のx,yが共に有理数ではない」ならば解になる
は
「(3)のx,yが共に有理数ではなくてzがz=x+3^(1/2)」ならば解になる
よって(3)の解は依然として整数比になる可能性が残っている

>>136
> (3)と同様に(4)の解にもx,y,zの比が整数比のものが含まれるので【証明】は間違い
>
> よく、意味がわからないので、詳しく説明していただけないでしょうか。

(3)の解は依然として整数比になる可能性が残っていて解の定数倍により(3)と(4)の
解の比は同じになるのだから(4)の解にも依然として整数比になる可能性が残っている
n=3の場合
「(3)のx,yが共に有理数ではない」を満たす(3)の解の定数倍を考えて
rが有理数の場合の(4)の解の条件を書くと
「rが有理数の場合(4)のx,yが共に3^(1/2)の有理数倍ではない」ならば解になる
となってrが有理数の場合(4)のx,yが共に有理数になる可能性は依然として残っている
すなわち【証明】の「(4)のrが有理数でもx,yは共に有理数とならない」は誤り

>138
「(3)のx,yが共に有理数ではなくてzがz=x+3^(1/2)」ならば解になる
よって(3)の解は依然として整数比になる可能性が残っている

理由を教えて下さい。

>139
「rが有理数の場合(4)のx,yが共に3^(1/2)の有理数倍ではない」ならば解になる
となってrが有理数の場合(4)のx,yが共に有理数になる可能性は依然として残っている
すなわち【証明】の「(4)のrが有理数でもx,yは共に有理数とならない」は誤り

よく理解できないので、詳しく説明していただけないでしょうか。

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です。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^2+t^2=u^2となる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=28を代入する。
ピタゴラス数x=195、y=28、z=197を得る。

>>140
n=3ならば「(3)のx,yが共に有理数ではない」はs,tを有理数とすると
「(3)の解はx=s,y=t,z=s+3^(1/2)でない」であって
「(3)の解のx,y,zが整数比でない」ではない

>>141
n=3ならば「(3)のx,yが共に有理数ではない」はs,tを有理数とすると
「(3)の解はx=s,y=t,z=s+3^(1/2)でない」である
よって「(3)の解はx=s,y=t,z=s+3^(1/2)でない」を満たす(3)の解の定数倍
を考えて(4)のrを有理数たとえばr=3にすると
「(4)の解はx=s*3^(1/2),y=t*3^(1/2),z=s*3^(1/2)+3でない」であって
「(4)の解はx=s,y=t,z=s+3でない」ではない
つまり「(4)の解のx,y,zの全てが有理数でない」ではない

>146
「(4)の解はx=s*3^(1/2),y=t*3^(1/2),z=s*3^(1/2)+3でない」であって
「(4)の解はx=s,y=t,z=s+3でない」ではない
つまり「(4)の解のx,y,zの全てが有理数でない」ではない

よく理解できないので、詳しく説明していただけないでしょうか。

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です。

>>128
＞数学では、仮定と、結論ではないでしょうか？
＞
＞数学で、仮定と確定という言葉を使うのでしょうか？

数学の証明においては「確定」という言葉は普通使いません。ですが、数学の問題や証明について議論する時には、一般的な意味で「確定」という言葉を使うことがあります。今後、日高さんが「確定」という言葉を使わないつもりならそれで構いません。

では改めて
「〇〇ならば□□である」
「〇〇のとき□□である」
「〇〇と仮定すると□□である」は全て同じ意味であり、〇〇を「仮定」、□□を「結論」と言います。

仮定とは、不確かなことを仮に定めること。
もちろん、仮定した以外のことがらが起きる(定まる)可能性はあります。

結論とは、仮定から正しい推論によって導かれる事がらです。

仮定と結論についてご理解いただけましたか？

>>147
具体的に書いてみると
(3)つまりx^3+y^3=(x+3^(1/2))^3においてs^3+t^3=(s+3^(1/2))^3が成立しないのなら
r=3(有理数)である(4)つまりx^3+y^3=(x+3)^3において
(s*3^(1/2))^3+(t*3^(1/2))^3=(s*3^(1/2)+3)~3が成立しない
r=1(有理数)である(4)つまりx^3+y^3=(x+1)^3において
(s/3^(1/2))^3+(t/3^(1/2))^3=(s/3^(1/2)+1)~3が成立しない
s*3^(1/2),s/3^(1/2),t*3^(1/2),t/3^(1/2)は有理数でなくて3^(1/2)の有理数倍である無理数
よって日高の【証明】の
> (3)のx,yは共に有理数とならない。
> (3)(4)の解の比は同じなので、(4)のrが有理数でも、x,yは共に有理数とならない。
> ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
は間違っていてn=3(s,tは有理数)の場合において正しく書き直すと以下のようになる
(3)のx,yは共に有理数とならない
(3)(4)の解の比は同じなので
(4)のrが有理数のときx,yは共に3^(1/2)の有理数倍とならない
∴n≧3のときx^n+y^n=z^nはx,y,zの比がs:t:s+3^(1/2)であるような解を持たない

>>147
(typoの訂正版)
具体的に書いてみると
(3)つまりx^3+y^3=(x+3^(1/2))^3においてs^3+t^3=(s+3^(1/2))^3が成立しないのなら
r=3(有理数)である(4)つまりx^3+y^3=(x+3)^3において
(s*3^(1/2))^3+(t*3^(1/2))^3=(s*3^(1/2)+3)^3が成立しない
r=1(有理数)である(4)つまりx^3+y^3=(x+1)^3において
(s/3^(1/2))^3+(t/3^(1/2))^3=(s/3^(1/2)+1)^3が成立しない
s*3^(1/2),s/3^(1/2),t*3^(1/2),t/3^(1/2)は有理数でなくて3^(1/2)の有理数倍である無理数
よって日高の【証明】の
> (3)のx,yは共に有理数とならない。
> (3)(4)の解の比は同じなので、(4)のrが有理数でも、x,yは共に有理数とならない。
> ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
は間違っていてn=3(s,tは有理数)の場合において正しく書き直すと以下のようになる
(3)のx,yは共に有理数とならない
(3)(4)の解の比は同じなので
(4)のrが有理数のときx,yは共に3^(1/2)の有理数倍とならない
∴n≧3のときx^n+y^n=z^nはx,y,zの比がs:t:s+3^(1/2)であるような解を持たない

>149
仮定と結論についてご理解いただけましたか？

はい。

>151
(4)のrが有理数のときx,yは共に3^(1/2)の有理数倍とならない

よく理解できないので、詳しく説明していただけないでしょうか。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^2+t^2=u^2となる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=29を代入する。
ピタゴラス数x=837、y=116、z=845を得る。

>151
> ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
は間違っていてn=3(s,tは有理数)の場合において正しく書き直すと以下のようになる
(3)のx,yは共に有理数とならない
(3)(4)の解の比は同じなので
(4)のrが有理数のときx,yは共に3^(1/2)の有理数倍とならない
∴n≧3のときx^n+y^n=z^nはx,y,zの比がs:t:s+3^(1/2)であるような解を持たない

r=3のとき、a^{1/(n-1)}=3^(1/2)となります。
(4)の解は(3)の解の3^(1/2)倍となります。
(3)の解が共に有理数とならないので、(4)の解も共に有理数となりません。

>>152
>はい。

では質問します。
>>155
＞【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
この「n=2」は仮定ですか？それとも結論ですか？

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です。

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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

>157
＞【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
この「n=2」は仮定ですか？それとも結論ですか？

わかりません。教えて下さい。

>>153
> >151
> (4)のrが有理数のときx,yは共に3^(1/2)の有理数倍とならない
>
> よく理解できないので、詳しく説明していただけないでしょうか。
自分で理由を書いているだろ
>>156
> (4)の解は(3)の解の3^(1/2)倍となります。
(3)で成立しない解の比があれば(4)でも同じ解の比で成立しない
> (3)の解が共に有理数とならないので、(4)の解も共に有理数となりません。
(3)の解でx,yが共に3^(1/2)の有理数倍だったら有理数でないし
3^(1/2)倍すれば(4)の解のx,yは有理数となるから反例になっている
共に有理数にならないのは(3)のx,yであって日高はzのことを考えていないから
間違えるんだよ
解の比はx:yでなくてx:y:z=x:y:x+rのことなのを忘れたらいけないだろ

(3)の解が共に有理数とならないならばs,tを有理数とすると
比がx:y:z=s:t:s+3^(1/2)となる解(s,t,s+3^(1/2))は(3)で成立しない
たとえば(3)のr=3^(1/2)から(4)のr=3(有理数)にすると
比がx:y:z=s:t:s+3^(1/2)となる解を(4)も持たないからこの比を
(4)のrの値に合わせる
つまりx:y:z=s:t:s+3^(1/2)=s*3^(1/2):t*3^(1/2):s*3^(1/2)+3
よって比がx:y:z=s:t:s+3^(1/2)となる解(s*3^(1/2),t*3^(1/2),s*3^(1/2)+3)
は(4)で成立しない
r=3で有理数のときx=s*3^(1/2),y=t*3^(1/2)とならない
s*3^(1/2),t*3^(1/2)は共に有理数でなくて3^(1/2)の有理数倍
よって
> (4)の解も共に有理数となりません
は間違いで正しくはn=3の場合だと
(4)のrが有理数のときx,yは共に3^(1/2)の有理数倍とならない

>161
> (4)の解も共に有理数となりません
は間違いで正しくはn=3の場合だと
(4)のrが有理数のときx,yは共に3^(1/2)の有理数倍とならない

どうして、「(4)の解も共に有理数となりません」が、間違いとなるのでしょうか？

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です。

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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

>>160
＞わかりません。教えて下さい。

「〇〇のとき□□である」の
〇〇を「仮定」、□□を「結論」と言います。

「n=2のとき、x^n+y^n=z^nは自然数解を持つ」
この「n=2」は仮定です,

おわかりいただけましたか？

>165
「n=2のとき、x^n+y^n=z^nは自然数解を持つ」
この「n=2」は仮定です,

おわかりいただけましたか？

はい。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^2+t^2=u^2となる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=30を代入する。
ピタゴラス数x=112、y=15、z=113を得る。

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です。

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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。

少しは理解しています。

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です。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=5を代入する。
ピタゴラス数x=21、y=20、z=29を得る。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=6を代入する。
ピタゴラス数x=4、y=3、z=5を得る。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=7を代入する。
ピタゴラス数x=45、y=28、z=53を得る。

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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。

少しは理解しています。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^2+t^2=u^2となる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=8を代入する。
ピタゴラス数x=15、y=8、z=17を得る。

>>162
> > (4)の解も共に有理数となりません
> は間違いで正しくはn=3の場合だと
> (4)のrが有理数のときx,yは共に3^(1/2)の有理数倍とならない
>
> どうして、「(4)の解も共に有理数となりません」が、間違いとなるのでしょうか？

まず日高が他人の指摘をしっかり読まないことが間違い
理由も具体的に書いてある
x,y,zの比をちゃんと書いて確かめればすぐに分かるんだから
自分で確かめてみれば良いだろ

(3)で成立しない解の比と(4)で成立しない解の比が同じだから
> (3)の解が共に有理数とならないので、(4)の解も共に有理数となりません。
これは成り立たない

(3)の解のx,yが共に有理数とならない
x,y,zの比が整数比ではない解が(3)で成立しない
よって(4)のx,y,zの比が整数比ではないときに対応する解が(4)で成立しない
(4)で成立しない解の比も整数比ではないから
(4)のrが有理数であればx,yが共に有理数にならないは間違い

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です。

>179
x,y,zの比が整数比ではない解が(3)で成立しない
よって(4)のx,y,zの比が整数比ではないときに対応する解が(4)で成立しない

よく理解できないので、詳しく説明していただけないでしょうか。

>>181
> >179
> x,y,zの比が整数比ではない解が(3)で成立しない
> よって(4)のx,y,zの比が整数比ではないときに対応する解が(4)で成立しない
>
> よく理解できないので、詳しく説明していただけないでしょうか。

だから理由は以前に書いてあるだろ
> 共に有理数にならないのは(3)のx,yであって日高はzのことを考えていないから
> 間違えるんだよ
> 解の比はx:yでなくてx:y:z=x:y:x+rのことなのを忘れたらいけないだろ

n=3の場合だったらs,tを有理数とすると
(3)のx,yが共に有理数にならないということは
r=3^(1/2)の(3)の解の比がx:y:z=s:t:s+3^(1/2)にならないということ
(4)のrが有理数たとえばr=3のときにx,yが共に有理数にならないということは
r=3の(4)の解の比がx:y:z=s:t:s+3にならないということ
この2つの解の比はzの値だけ異なるから同じじゃないだろ
x:y:z=s:t:s+3^(1/2)は整数比ではない
(正しい解の比の例)
(3)の解の比がx:y:z=s:t:s+3^(1/2)にならない場合に対応する(4)の解の比は
r=3の(4)の解の比はx:y:z=s*3^(1/2):t*3^(1/2):s*3^(1/2)+3にならないと書ける
これは(3)の場合の解の比と同じ(整数比ではない)
r=1の(4)の解の比はs*(1/3)*3^(1/2):t*(1/3)*3^(1/2):s*(1/3)*3^(1/2)+1と書ける
これも(3)の場合の解の比と同じ(整数比ではない)
よって
> (3)の解が共に有理数とならないので、(4)の解も共に有理数となりません。
これは成り立たない

>>166
＞はい。

では次の質問です
�@'自然数n,mに対してn=2m が成り立っている
「nが6の倍数　ならば　mは3の倍数である」という文の「仮定」と「結論」をそれぞれ書いてください。

>179
(3)で成立しない解の比と(4)で成立しない解の比が同じだから
> (3)の解が共に有理数とならないので、(4)の解も共に有理数となりません。
これは成り立たない

理由を教えて下さい。

>182
> (3)の解が共に有理数とならないので、(4)の解も共に有理数となりません。
これは成り立たない

どうしてでしょうか？
(3)(4)の解の比は同じとなります。

>183
�@'自然数n,mに対してn=2m が成り立っている
「nが6の倍数　ならば　mは3の倍数である」という文の「仮定」と「結論」をそれぞれ書いてください。

「仮定」はnが6の倍数、「結論」は　mは3の倍数です。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のrが無理数でも、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^2+t^2=u^2となる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=9を代入する。
ピタゴラス数x=77、y=36、z=85を得る。

>>185
> > (3)の解が共に有理数とならないので、(4)の解も共に有理数となりません。
> これは成り立たない
>
> どうしてでしょうか？
> (3)(4)の解の比は同じとなります。

n=3の場合だったらs,tを有理数とすると
(3)のx,yが共に有理数にならないということは
r=3^(1/2)の(3)の解の比がx:y:z=s:t:s+3^(1/2)にならないということ
(4)のrが有理数たとえばr=3のときにx,yが共に有理数にならないということは
r=3の(4)の解の比がx:y:z=s:t:s+3にならないということ
この2つの比はzの値だけ異なるから同じじゃないだろ

>>185
> > (3)の解が共に有理数とならないので、(4)の解も共に有理数となりません。
> これは成り立たない
>
> どうしてでしょうか？
> (3)(4)の解の比は同じとなります。

(3)のrが無理数(n=3ならr=3^(1/2))であり(4)のrが有理数(たとえばr=3)であり
(3)と(4)の解の比が同じ場合の2つの解のx,y,zの値はそれぞれ
(3)のxの値の3^(1/2)倍が(4)のxの値
(3)のyの値の3^(1/2)倍が(4)のyの値
(3)のzの値の3^(1/2)倍が(4)のzの値
だからこの条件で(3)のxと(4)のxが共に有理数であることは有り得ないし
(3)のyと(4)のyが共に有理数になることも有り得ないだろ

>189
この2つの比はzの値だけ異なるから同じじゃないだろ

zの値が、異なっても、(3)(4)の解の比は、同じとなります。

>190
(3)のyと(4)のyが共に有理数になることも有り得ないだろ

rが有理数の場合、有理数、無理数が、逆になります。

>>191
> zの値が、異なっても、(3)(4)の解の比は、同じとなります

zの値*だけ*異なるんだが
xとyの値が同じでzの値が異なっても解の比が同じとなる
というのなら日高が狂っているだけのことだ

>>192
> rが有理数の場合、有理数、無理数が、逆になります。

> (3)の解が共に有理数とならないので、(4)の解も共に有理数となりません。
逆になっていないだろ

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です。

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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

>>186
＞
＞「仮定」はnが6の倍数、「結論」は　mは3の倍数です。

その通りです。よくできました。

�@'自然数n,mに対してn=2m が成り立っている
「nが6の倍数　ならば　mは3の倍数である」

「nが6の倍数」は仮定なので、実際にnが6の倍数かどうかはわからない。(nは6の倍数かもしれないしそうでないかもしれない)
このことはおわかりいただけますか？

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です。

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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

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です。

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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

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です。

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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

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です。

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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

>>107

> (修正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)が成立しないという証明がないので、(2)が成立しない、は確定ではありません。未定です。
(2)が成立しない、は確定ではないので、「(2)が成立しないので、(3)も成立しません。」はインチキのウソです。

n^(n-1)は有理数にならないので、x,y,zは有理数のとき、r^(n-1)=nにはならないことは確定します。必ずそうなります。
よって、x,y,zは有理数のとき、(2)は(3)にならない、は確定です。必ずそうなります。
(2)は(3)にならないので、x,y,zは有理数のとき、(2)と(3)は関係ありません。

>>205修正

×n^(n-1)は有理数にならない
○n^(1/(n-1))は有理数にならない

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です。

ところで日高君は
> 「nが6の倍数　ならば　mは3の倍数である」という文の「仮定」と「結論」をそれぞれ書いてください。
のカギカッコの中の文の証明はできるのかな？

>>208
「自然数n,mに対してn=2m が成り立っているとき」を書き忘れました。失礼しました。

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
>じゃあ、理解してる内容を自分の言葉で言ってみて。
>絶対できないと思うけど。

ネットに書いてあります。

>193
> (3)の解が共に有理数とならないので、(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)はyを有理数とすると、xは無理数となる。
(3)(4)の解の比は同じなので、(4)のx,rが有理数のとき、x,yは整数比とならない。
∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【補足】
(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2{x}(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はyを有理数とすると、xは有理数となる。
(3)(4)の解の比は同じなので、(4)のx,rが無理数のとき、x,yは整数比となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。
【補足】
(4)のx,y,zが無理数で整数比の場合は、s^2+t^2=u^2となる。(s,t,uは有理数)

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。

>>211
ネットに書いてあります。

日高さん、>>192についてのコメントですよ。

>>211
> > (3)の解が共に有理数とならないので、(4)の解も共に有理数となりません。
> 逆になっていないだろ
>
> 「逆になっていないだろ」とは、どの部分のことでしょうか？

(4)の解も共に「有理数」の部分

n=3なら(3)はr=3^(1/2)で(4)のrが有理数(r=3)なら
(3)と(4)の解の比が同じ場合の2つの解のx,y,zの値はそれぞれ
(3)のxの値の3^(1/2)倍が(4)のxの値
(3)のyの値の3^(1/2)倍が(4)のyの値
(3)のzの値の3^(1/2)倍が(4)のzの値
だからこの条件で(3)のxと(4)のxが共に有理数であることは有り得ないし
(3)のyと(4)のyが共に有理数になることも有り得ないだろ

>>212
> (3)はyを有理数とすると、xは無理数となる。
> (3)(4)の解の比は同じなので、(4)のx,rが有理数のとき、x,yは整数比とならない。
> ∴n≧3のとき、x^n+y^n=z^nは自然数解を持たない。

n≧3のときx^n+y^n=z^nの自然数解と解の比が等しい(3)の解は
yが無理数であることが必要なので間違い

(修正2)
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)は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=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は自然数解を持つ。

>196
�@'自然数n,mに対してn=2m が成り立っている
「nが6の倍数　ならば　mは3の倍数である」

「nが6の倍数」は仮定なので、実際にnが6の倍数かどうかはわからない。(nは6の倍数かもしれないしそうでないかもしれない)
このことはおわかりいただけますか？

はい。

>205
(2)が成立しない、は確定ではないので、「(2)が成立しないので、(3)も成立しません。」はインチキのウソです。

(3)が成立しないので、(2)も成立しません。(2)(3)は、同じ式です。（変形した式)

>208
ところで日高君は
> 「nが6の倍数　ならば　mは3の倍数である」という文の「仮定」と「結論」をそれぞれ書いてください。
のカギカッコの中の文の証明はできるのかな？

意味がよくわかりません。

>217
(4)の解も共に「有理数」の部分

n=3なら(3)はr=3^(1/2)で(4)のrが有理数(r=3)なら
(3)と(4)の解の比が同じ場合の2つの解のx,y,zの値はそれぞれ
(3)のxの値の3^(1/2)倍が(4)のxの値
(3)のyの値の3^(1/2)倍が(4)のyの値
(3)のzの値の3^(1/2)倍が(4)のzの値
だからこの条件で(3)のxと(4)のxが共に有理数であることは有り得ないし
(3)のyと(4)のyが共に有理数になることも有り得ないだろ

(3)のyが有理数で、xが無理数のばあい、
(4)のyは無理数で、xが有理数となります。

>218
n≧3のときx^n+y^n=z^nの自然数解と解の比が等しい(3)の解は
yが無理数であることが必要なので間違い

どうして、yが無理数であることが必要なのでしょうか？

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=4を代入する。
ピタゴラス数x=3、y=4、z=5を得る。

【定理】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となる。

(修正2)
【定理】n≧3のとき、x^n+y^n=z^nは自然数解を持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)は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=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=5を代入する。
ピタゴラス数x=21、y=20、z=29を得る。

>>224
> (3)のyが有理数で、xが無理数のばあい、
> (4)のyは無理数で、xが有理数となります。

(3)のyが無理数でxが無理数の場合
(4)のyが有理数でxが有理数になる可能性がある
この可能性を調べなければ証明にならない
日高流では一切調べないので間違い
> (3)のyが有理数で
この時点で即間違い

(修正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も成立しない。

>230
(3)のyが無理数でxが無理数の場合
(4)のyが有理数でxが有理数になる可能性がある
この可能性を調べなければ証明にならない

(3)はrが無理数なので、x,yを有理数とすると、成立しません。
(3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなります。

>>225
> どうして、yが無理数であることが必要なのでしょうか？
rが無理数であるからに決まっているでしょう
手順としてはrが決まっていて
まずx:y:x+rが整数比になるようにrの値を見てyを決める
そのyの値に対するxの値によって整数比かどうかが決まる

たとえばx:y:x+rが3:4:5になるかどうかという問題があったとして
r=3^(1/2)のときにy=4(有理数)を代入してx:4:x+3^(1/2)はxがどんな値でも
整数比にならないとするのが日高流
実際はy=2*3^(1/2)としてx:2*3^(1/2):x+3^(1/2)=3:4:5となるような
xを探せばx=(3/2)*3^(1/2)となる

>>228
>>231
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
この時点で即間違い

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を有理数とすると成立しない
(3)(4)の解の比は同じなので(4.4)がx,y,rを有理数としても成立しない
とは言えない

>>232
> (3)はrが無理数なので、x,yを有理数とすると、成立しません。
> (3)のx,y,zが無理数で整数比の場合は、s^n+t^n=u^nとなります。

> s^n+t^n=u^nとなります
は
(4)のyが有理数でxが有理数になる可能性がある
ということと同じ
日高流ではs,tが共に有理数になることはないことを示さないといけないだろ

日高さん、>>196氏の
> �@'自然数n,mに対してn=2m が成り立っている
> 「nが6の倍数　ならば　mは3の倍数である」
は証明できますか？

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です。

>233
実際はy=2*3^(1/2)としてx:2*3^(1/2):x+3^(1/2)=3:4:5となるような
xを探せばx=(3/2)*3^(1/2)となる

x,y,zは、無理数で整数比となります。
共通の無理数は、3^(1/2)です。

>234
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を有理数とすると成立しない
(3)(4)の解の比は同じなので(4.4)がx,y,rを有理数としても成立しない
とは言えない

(4.3)はx,yが無理数で、整数比のとき、成立します。

>235
> s^n+t^n=u^nとなります
は
(4)のyが有理数でxが有理数になる可能性がある
ということと同じ
日高流ではs,tが共に有理数になることはないことを示さないといけないだろ

(4)はyが有理数でxが有理数になることは、ありません。

>236
> �@'自然数n,mに対してn=2m が成り立っている
> 「nが6の倍数　ならば　mは3の倍数である」
は証明できますか？

n=2mに、n=6を代入すると、m=3となります。

(修正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=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となる。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=6を代入する。
ピタゴラス数x=4、y=3、z=5を得る。

>>241 日高
それで証明になっていると思っているのですか？

>245
それで証明になっていると思っているのですか？

はい。

nは6の倍数という仮定ですから、
nを6と決めつけてはいけません。

>247
nは6の倍数という仮定ですから、
nを6と決めつけてはいけません。

n=2mに、n=12を代入すると、m=6となります。
n,mは、3の倍数となります。
nに6の倍数を代入すると、mは3の倍数となります。

>>248 日高
> n=2mに、n=12を代入すると、m=6となります。
> n,mは、3の倍数となります。

それはもうひとつ例を挙げただけでしょ。

> nに6の倍数を代入すると、mは3の倍数となります。

これは証明すべきことがらです。

>249
> nに6の倍数を代入すると、mは3の倍数となります。

これは証明すべきことがらです。

n=2mの、mに3の倍数を代入すると、nは6の倍数となります。
m=3aとすると、n=6aとなります。

>>250 日高
仮定と結論について、何もわかっていませんね。

(修正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=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となる。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=7を代入する。
ピタゴラス数x=45、y=28、z=53を得る。

>251
仮定と結論について、仮定と結論について、何もわかっていませんね。いませんね。

どの、部分が仮定と結論について、何もわかっていないのでしょうか？

>>250 日高の最後の二行。

>256
n=2mの、mに3の倍数を代入すると、nは6の倍数となります。
m=3aとすると、n=6aとなります。

どうして、これが、仮定と結論について、何もわかっていないことになるのでしょうか？

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=8を代入する。
ピタゴラス数x=15、y=8、z=17を得る。

>>257 日高
証明すべきことがらをよく読み直して。

>259
証明すべきことがらをよく読み直して。

わかりません。正解を教えてください。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=9を代入する。
ピタゴラス数x=77、y=36、z=85を得る。

(修正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=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となる。

>>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にならないとはいえないだろ

>>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は同じではない

>264
(4.4)がx,y,rを有理数としても成立しない

(4.4)はx,y,rが有理数のとき、成立します。

> (4)はyが有理数でxが有理数になることは、ありません。
このときx,y,zの比はs:t:uにならないとはいえないだろ

yが有理数でxが有理数になることは、ないので、s,tが共に有理数となることは、
ありません。

>265
> (3)はrが無理数なので、x,yを有理数とすると、成立しない。
x,y,zの比はs:t:s+3^(1/2)

(3)の解の比はs:t:s+3^(1/2)となりません。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=10を代入する。
ピタゴラス数x=12、y=5、z=13を得る。

>>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は同じではない
よって証明は間違い

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です。

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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。

少しは理解しています。

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です。

>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は同じではありません。

(修正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=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となる。

【定理】n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=(x+2)^2に、y=11を代入する。
ピタゴラス数x=17、y=44、z=125を得る。

>>260 日高
> >259
> 証明すべきことがらをよく読み直して。
>
> わかりません。正解を教えてください。

証明すべきことがらは>>236

> �@'自然数n,mに対してn=2m が成り立っている
> 「nが6の倍数　ならば　mは3の倍数である」

ですが，それがわからないようでは証明などとても無理というものです。

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
>よく理解してないんじゃなくて、全然知らないでしょ。
>嘘をつくのはやめろ。

少しは理解しています。

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です。

>>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)に変形してみてください。