フェルマーの最終定理の証明 (2)

日高 · 2020/11/29(日) 15:29:06.50

【定理】n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。
【証明】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,zはｙを有理数とすると、xは無理数となる。
(4)のx,y,zは(3)のx,y,zのa^{1/(n-1)}倍となるので、zを有理数とすると、yは無理数となる。
∴n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。

**１３２人目の素数さん** · 2020/12/04(金) 19:28:02.47

　　　　　　　　　　　　　　　　　　　　　　　　　,,-''ヽ､
　　　　　　　　　　　　　　　　　　　　　　 ,, -''"　　　＼
　　　　　　　　　　　　　　　　　　　 _,-'"　　　　　　　　＼
　　　　　　　　　　　　　　　　　　　　/＼　フェルマー　＼
　　　　　　　　　　　　　　＿＿　 //＼＼　　　最終定理　　＼
　　　　　　　　　　　　　／|[]::::::|_ / ＼/＼＼　トンデモ証明　　／
　　　　　　　　 .／|￣￣￣￣ //＼＼/　＼　　　　　　／/　　　＿＿＿
　　　　　　　　　|　 |:::「「「「「「 / ＼/＼　　/＼＼　　　／:::/　　.／|　　　　|＿＿
　　　　　　　＿..|　 |:::LLLLL//＼＼/　　＼/＼＼／::::::/　　／　 |　ロ　 .|lllllllllllll
　　　　　／ llllll|　 |:::「「「「 / ＼/＼　　/＼ .＼/ ./::::::::/　／ .／ .|　　　　|lllllllllllll
＿＿　　　　 llllll|　 |:::LLL.//＼＼/　　＼/＼　 /::::::::/ 　 | ／　　.|　ロ　 .|lllllllllllll
　　　　　　　 llllll|　 |:::「「「/ ＼/＼　　/＼＼/　/::::::::/　　 | ||／　..|　　　　|lllllllllllll
　　　　　　 llllll|　 |:::LL//＼＼/　　＼/＼　./::::::::/　　 .| ||／　..|
　　　　　　　　　|　 |:::「./ .＼/＼　　/＼＼/ /::::::::/⌒ヽ､ .| ||／　..|
　　　　　　　　　|　 |:::l//＼　＼/　　＼/＼_, -― ､　　''"⌒ヽ,_
　　　　　　　　　　　　　　　　(⌒ヽ､_,ノ⌒Ｙ"　　　　Y　　　　　.....⌒)
　　　　　　　　　　　　(⌒ヽーﾞ　....::（　　 ..::.......　 .__人.....::::::::::::::::::::
　　　　　　　　　＿ノ⌒ヽ　 Y⌒ヽ;;:::::"':::::::::::::::::::::::::::::　＿＿＿
　　　　＿＿_(　　ﾞ　　　....:::.....　　Y"　　
　　　　　　　　　　　　　　　　　　　　　　　　　 ∧＿∧ 　有名な日高語録
　　　　　　　　　　　　　　　　　　　　　　　 ∩<ｌ|ｌ｀∀´>
　　　　　　　　　　　　　　　　　　　　　　　　ヽ　　　ノ　　 .a^{1/(1-1)}は、計算できない数ですが
　　　　　　　　　　　　　　　　　　　　　　　　　(,,つ .ﾉ
　　　　　　　　　　　　　　　　　　　　　　　　　 .し' a^{1/(1-1)}が数であることには変わりはありません

**１３２人目の素数さん** · 2020/12/04(金) 19:30:46.28

　　　　　　　　　　　　　　　　　　　　　　　　　,,-''ヽ､
　　　　　　　　　　　　　　　　　　　　　　 ,, -''"　　　＼
　　　　　　　　　　　　　　　　　　　 _,-'"　　　　　　　　＼
　　　　　　　　　　　　　　　　　　　　/＼　フェルマー　＼
　　　　　　　　　　　　　　＿＿　 //＼＼　　　最終定理　　＼
　　　　　　　　　　　　　／|[]::::::|_ / ＼/＼＼　トンデモ証明　　／
　　　　　　　　 .／|￣￣￣￣ //＼＼/　＼　　　　　　／/　　　＿＿＿
　　　　　　　　　|　 |:::「「「「「「 / ＼/＼　　/＼＼　　　／:::/　　.／|　　　　|＿＿
　　　　　　　＿..|　 |:::LLLLL//＼＼/　　＼/＼＼／::::::/　　／　 |　ロ　 .|lllllllllllll
　　　　　／ llllll|　 |:::「「「「 / ＼/＼　　/＼ .＼/ ./::::::::/　／ .／ .|　　　　|lllllllllllll
＿＿　　　　 llllll|　 |:::LLL.//＼＼/　　＼/＼　 /::::::::/ 　 | ／　　.|　ロ　 .|lllllllllllll
　　　　　　　 llllll|　 |:::「「「/ ＼/＼　　/＼＼/　/::::::::/　　 | ||／　..|　　　　|lllllllllllll
　　　　　　 llllll|　 |:::LL//＼＼/　　＼/＼　./::::::::/　　 .| ||／　..|
　　　　　　　　　|　 |:::「./ .＼/＼　　/＼＼/ /::::::::/⌒ヽ､ .| ||／　..|
　　　　　　　　　|　 |:::l//＼　＼/　　＼/＼_, -― ､　　''"⌒ヽ,_
　　　　　　　　　　　　　　　　(⌒ヽ､_,ノ⌒Ｙ"　　　　Y　　　　　.....⌒)
　　　　　　　　　　　　(⌒ヽーﾞ　....::（　　 ..::.......　 .__人.....::::::::::::::::::::
　　　　　　　　　＿ノ⌒ヽ　 Y⌒ヽ;;:::::"':::::::::::::::::::::::::::::　＿＿＿
　　　　＿＿_(　　ﾞ　　　....:::.....　　Y"　　
　　　　　　　　　　　　　　　　　　　　　　　　　 ∧＿∧ 　
悪霊退散！！！悪霊退散！！！悪霊退散！！！悪霊退散！！！悪霊退散！！！
悪霊退散！！！悪霊退散！！！悪霊退散！！！悪霊退散！！！悪霊退散！！！
悪霊退散！！！悪霊退散！！！悪霊退散！！！悪霊退散！！！悪霊退散！！！

**１３２人目の素数さん** · 2020/12/04(金) 19:34:37.10

>>269
> x,yが無理数でx,yが整数比になるものは、解になるかは、この時点では、不明です。
> 最終的には、解にならないことが、判明します。
x,yが無理数でx,yが整数比になるものが(3)の解になることは分かっているんだよ
だからこの時点でおまえの証明が間違いであることは確定するだろ

x,yが無理数でx,yが整数比になる(3)の解の中にx,y,zが整数比になるものが
あるかどうかがフェルマーの最終定理の証明だよ

**１３２人目の素数さん** · 2020/12/04(金) 19:41:02.95

>>269
>>109

日高 · 2020/12/04(金) 19:42:40.07

>272
x,yが無理数でx,yが整数比になるものが(3)の解になることは分かっているんだよ

解には、なりません。

**１３２人目の素数さん** · 2020/12/04(金) 19:53:51.03

>>274
> 解には、なりません。
おまえの書き込みはウソだからこの時点でおまえの証明が間違いであること
は確定するだろ

x^3+y^3=(x+√3)^3…(3)ならば
x=√3*b/((b^3+c^3)^(1/3)-b),y=√3*c/((b^3+c^3)^(1/3)-b)は
b,cが実数のときには必ず(3)の解になる
x:y=b:cだから整数比になるようにb,cを選べばx,yは整数比になる
x,y,zが整数比になるかは不明

日高 · 2020/12/04(金) 20:25:21.49

>275
x:y=b:cだから整数比になるようにb,cを選べばx,yは整数比になる
x,y,zが整数比になるかは不明

整数比になるようにb,cを選んでも、
x,y,zが整数比になるかは不明です。

日高 · 2020/12/04(金) 20:26:56.70

(修正1)
【定理】n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。
【証明】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,zはｙを有理数とすると、xは無理数となるので、x,yは整数比とならない。
(4)のx,y,zは(3)のx,y,zのa^{1/(n-1)}倍となるので、zを有理数とすると、yは無理数となる。
∴n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。

**１３２人目の素数さん** · 2020/12/04(金) 20:32:44.56

>>276
> 整数比になるようにb,cを選んでも、
> x,y,zが整数比になるかは不明です。
x^n+y^n=z^nのx,y,zは自然数とならないではなくて
x^n+y^n=z^nのx,y,zは自然数となるかどうかは不明
だからおまえの証明は失敗だろ

**１３２人目の素数さん** · 2020/12/04(金) 20:54:51.91

これじゃレフェリーを通りませんね。日高さん。

日高 · 2020/12/04(金) 20:55:13.94

>278
x^n+y^n=z^nのx,y,zは自然数となるかどうかは不明
だからおまえの証明は失敗だろ

失敗では、ありません。
x^3+y^3=(x+√3)^3…(3)のx,yを、
x=√3*b/((b^3+c^3)^(1/3)-b),y=√3*c/((b^3+c^3)^(1/3)-b)としても、
成り立たないことが、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)
の、x,yが、整数比とならないことによって示されます。

**１３２人目の素数さん** · 2020/12/04(金) 20:55:48.66

>>258
> 「x^n +y^n=z^nとz-x= n^{1/(n-1)}の両方を同時に満たす(x,y,z)=(s,t,u)は存在しない」ならば、「x^n +y^n=z^nを満たす自然数解x,y,zが存在しない」となります。
は、理解できます。
> 確認です。まだ、間違っている理由は、説明していないのですね？

ええ、そうです。順番に説明します。さて、
「x^n +y^n=z^nとz-x= n^{1/(n-1)}の両方を同時に満たす(x,y,z)=(s,t,u)は存在しない」これは真の命題ですが、その根拠はz-x= n^{1/(n-1)が成り立たないことにあります。(左辺が有理数で右辺が無理数)もうひとつの等式x^n +y^n=z^nが成り立つかどうかはわかりません。

ここまではご理解いただけましたか？
はい/いいえ　でお答えください。

**１３２人目の素数さん** · 2020/12/04(金) 21:20:34.83

>>269 www

これ永久保存もんのバカレスだわwww

不明な事を明らかにしない証明って日高ワールドでは普通なのかwww

**１３２人目の素数さん** · 2020/12/04(金) 21:20:57.72

>>280
> 失敗では、ありません。
> x^3+y^3=(x+√3)^3…(3)のx,yを、
> x=√3*b/((b^3+c^3)^(1/3)-b),y=√3*c/((b^3+c^3)^(1/3)-b)としても、
> 成り立たないことが、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)
> の、x,yが、整数比とならないことによって示されます。
おまえの書き込みはウソだからこの時点でおまえの証明が間違いであること
は確定するだろ

x^3+y^3=(x+√3)^3…(3)じゃなくて
x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)だったら
x=(an)^{1/(n-1)}*b/((b^n+c^n)^(1/n)-b),y=(an)^{1/(n-1)}*c/((b^n+c^n)^(1/n)-b)
b,cが実数のときには必ず(4)の解になる
x:y=b:cだから整数比になるようにb,cを選べばx,yは整数比になる
x,y,zが整数比になるかは不明
x^n+y^n=z^nのx,y,zは自然数とならないではなくて
x^n+y^n=z^nのx,y,zは自然数となるかどうかは不明
だからおまえの証明は失敗だろ

**１３２人目の素数さん** · 2020/12/04(金) 21:26:45.23

>>280
> 失敗では、ありません。
> x^3+y^3=(x+√3)^3…(3)のx,yを、
> x=√3*b/((b^3+c^3)^(1/3)-b),y=√3*c/((b^3+c^3)^(1/3)-b)としても、
> 成り立たないことが、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)
> の、x,yが、整数比とならないことによって示されます。

x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)
x=(an)^{1/(n-1)}*b/((b^n+c^n)^(1/n)-b),y=(an)^{1/(n-1)}*c/((b^n+c^n)^(1/n)-b)
においてn=3,a=1としたものが
x^3+y^3=(x+√3)^3…(3)
x=√3*b/((b^3+c^3)^(1/3)-b),y=√3*c/((b^3+c^3)^(1/3)-b)
どちらの場合でもb,cが実数のときには必ずそれぞれ(3)あるいは(4)の解になる
x:y=b:cだから整数比になるようにb,cを選べばx,yは整数比になる

日高 · 2020/12/04(金) 21:32:59.42

>281
根拠はz-x= n^{1/(n-1)が成り立たないことにあります。(左辺が有理数で右辺が無理数)もうひとつの等式x^n +y^n=z^nが成り立つかどうかはわかりません。

(x,y,z)=(s,t,u)のとき、
x^n +y^n=(x+ n^{1/(n-1)})^nの、
z=x+ n^{1/(n-1)}は、z-x= n^{1/(n-1)なので、
z-x= n^{1/(n-1)が成り立たないならば、x^n +y^n=z^nも成り立ちません。

**１３２人目の素数さん** · 2020/12/04(金) 21:44:25.89

はい/いいえ
で答えろという日本語も通じない。

不明な事を残して証明したと言い張る。

前に「はい」と認めたことをトボケて言い訳し出す。

そりゃ大学教授も匙投げるわwww

**１３２人目の素数さん** · 2020/12/04(金) 21:44:25.89

はい/いいえ
で答えろという日本語も通じない。

不明な事を残して証明したと言い張る。

前に「はい」と認めたことをトボケて言い訳し出す。

そりゃ大学教授も匙投げるわwww

**１３２人目の素数さん** · 2020/12/04(金) 23:30:18.32

>>285
> (x,y,z)=(s,t,u)のとき、
x^n +y^n=(x+ n^{1/(n-1)})^nの、
z=x+ n^{1/(n-1)}は、z-x= n^{1/(n-1)なので、
z-x= n^{1/(n-1)が成り立たないならば、x^n +y^n=z^nも成り立ちません。

その論理は間違っています。
z=x+ n^{1/(n-1)}をx^n +y^n=z^nへ代入した等式がx^n +y^n=(x+ n^{1/(n-1)})^nです。

(x,y,z)=(s,t,u)のとき、
「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=(x+ n^{1/(n-1)})^nも成立しない」これは正しい論理です。しかし
「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=z^nも成立しない」この論理は間違っています。
腑に落ちない点があればおっしゃってください。

**１３２人目の素数さん** · 2020/12/04(金) 23:48:14.31

>>288

> 「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=z^nも成立しない」この論理は間違っています。

反例をあげていただけないでしょうかと来るような予感。

**１３２人目の素数さん** · 2020/12/05(土) 03:12:21.04

将棋で言うと「待った」を1000回繰り返して、既に玉も取られたが、残りの駒が王位を受け継いだからという自分ルールを作って最後の一齣で逃げ回ってる状態。

**１３２人目の素数さん** · 2020/12/05(土) 04:48:54.73

このスレは認知症の老人とコミュニケーションをとる時の感情を体感できるスレです。

日高 · 2020/12/05(土) 05:57:42.36

(修正2)
【定理】n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。
【証明】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は無理数となるので、x,y,zは整数比とならない。
(4)のx,y,zは、(3)のx,y,zのa^{1/(n-1)}倍となるので、整数比とならない。
∴n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。

日高 · 2020/12/05(土) 06:07:01.15

>288
「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=z^nも成立しない」この論理は間違っています。
腑に落ちない点があればおっしゃってください。

z=x+ n^{1/(n-1)}は、zを、有理数とすると、xは無理数となります。
よって、x^n +y^n=z^nのx,y,zは、整数比となりません。

**１３２人目の素数さん** · 2020/12/05(土) 07:09:45.50

>>293
> z=x+ n^{1/(n-1)}は、zを、有理数とすると、xは無理数となります。
> よって、x^n +y^n=z^nのx,y,zは、整数比となりません。
x,y,zが全て無理数の解があるからzを有理数にする理由がないだろ
おまえの主張は以下の内容が正しければ正しい
z=x+√3はzを有理数とするとxは無理数となるからx^2+y^2=z^2のx,y,zは整数比とならない
z=x+(5)^(1/4)はzを有理数とするとxは無理数となるからx^2+y^2=z^2のx,y,zは整数比とならない

日高 · 2020/12/05(土) 07:59:50.29

>294
おまえの主張は以下の内容が正しければ正しい
z=x+√3はzを有理数とするとxは無理数となるからx^2+y^2=z^2のx,y,zは整数比とならない

x=3√3/2、y=4√3/2、z=5√3/2となるので、整数比となります。

**１３２人目の素数さん** · 2020/12/05(土) 08:07:11.26

>>295
> z=x+√3はzを有理数とすると
> z=5√3/2となるので
5√3/2は有理数じゃないだろ

だからおまえの主張は間違っているんだよ
> z=x+ n^{1/(n-1)}は、zを、有理数とすると、xは無理数となります。
> よって、x^n +y^n=z^nのx,y,zは、整数比となりません。

日高 · 2020/12/05(土) 09:26:41.13

>296
> z=x+√3はzを有理数とすると
> z=5√3/2となるので
5√3/2は有理数じゃないだろ

これは、n=2の場合です。

**１３２人目の素数さん** · 2020/12/05(土) 10:05:44.49

>>293
> z=x+ n^{1/(n-1)}は、zを、有理数とすると、xは無理数となります。
よって、x^n +y^n=z^nのx,y,zは、整数比となりません。

それはあなたの>>285の論理
> (x,y,z)=(s,t,u)のとき、
x^n +y^n=(x+ n^{1/(n-1)})^nの、
z=x+ n^{1/(n-1)}は、z-x= n^{1/(n-1)なので、
z-x= n^{1/(n-1)が成り立たないならば、x^n +y^n=z^nも成り立ちません。
これと異なるものです。

x,y,zを有理数にするのか、実数の範囲にするのか、決めてから論を進めませんか？

**１３２人目の素数さん** · 2020/12/05(土) 10:39:14.36

「君の理屈を使うとこんなにおかしなことになってしまうから、君の理屈は間違ってるんだよ」はこいつには通じないぞ

日高 · 2020/12/05(土) 10:40:28.10

>298
x,y,zを有理数にするのか、実数の範囲にするのか、決めてから論を進めませんか？

x,y,zを有理数とする場合は、その都度ことわりをいれます。

**１３２人目の素数さん** · 2020/12/05(土) 11:07:03.94

>>300
> x,y,zを有理数とする場合は、その都度ことわりをいれます。

ではx,y,zを有理数として進めましょう。

あなたの>>285の論理
> (x,y,z)=(s,t,u)のとき、
x^n +y^n=(x+ n^{1/(n-1)})^nの、
z=x+ n^{1/(n-1)}は、z-x= n^{1/(n-1)なので、
z-x= n^{1/(n-1)が成り立たないならば、x^n +y^n=z^nも成り立ちません。
はx,y,zを有理数としています。

(x,y,z)=(s,t,u)のとき、
「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=(x+ n^{1/(n-1)})^nも成立しない」これは正しい論理です。しかし
「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=z^nも成立しない」この論理は間違っています。

このことをご理解いただけたでしょうか？
はい/いいえ　でお答えください

日高 · 2020/12/05(土) 12:05:41.04

(修正2)
【定理】n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。
【証明】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は無理数となるので、x,y,zは整数比とならない。
(4)のx,y,zは、(3)のx,y,zのa^{1/(n-1)}倍となるので、整数比とならない。
∴n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。

日高 · 2020/12/05(土) 12:10:33.61

>301
「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=z^nも成立しない」この論理は間違っています。

z=x+ n^{1/(n-1)}は、xを、有理数とすると、zは無理数となります。
よって、x^n +y^n=z^nのx,y,zは、整数比となりません。

**１３２人目の素数さん** · 2020/12/05(土) 12:12:07.07

はい。1ルーピー入りました～。

**１３２人目の素数さん** · 2020/12/05(土) 12:26:47.60

はいかいいえで答えてくれって言われてんのに...

**１３２人目の素数さん** · 2020/12/05(土) 12:34:03.10

成立しないなら、なんだけどなあ。

**１３２人目の素数さん** · 2020/12/05(土) 13:15:36.75

>>301

> (x,y,z)=(s,t,u)のとき、
> 「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=(x+ n^{1/(n-1)})^nも成立しない」これは正しい論理です。しかし
> 「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=z^nも成立しない」この論理は間違っています。

これ、間違っていますか？　「PならばQ」の形で、Qは真ですよね？

**１３２人目の素数さん** · 2020/12/05(土) 13:18:50.57

>>303
> z=x+ n^{1/(n-1)}は、xを、有理数とすると、zは無理数となります。
よって、x^n +y^n=z^nのx,y,zは、整数比となりません。

あなたの>>285の主張も私の>>301の主張も、x,y,zを有理数として考えています。
x,y,zを有理数とした返答をしてもらえませんか？

**１３２人目の素数さん** · 2020/12/05(土) 14:35:26.96

>>302
悪霊退散！！！
悪霊退散！！！
悪霊退散！！！

　三世諸仏依般若波羅蜜多故得阿耨多羅三藐三菩提

　ここで餌（まともな回答）を与えようという方は以下のフェルマーヴァカスレ一覧

　　　　https://rio2016.5ch.net/test/read.cgi/math/1605313191/l50
　　　　https://rio2016.5ch.net/test/read.cgi/math/1598521539/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1576824679/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1569198816/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1575007235/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1572998533/

をよく見てから与えること。

悪霊退散！！！
悪霊退散！！！
悪霊退散！！！

**１３２人目の素数さん** · 2020/12/05(土) 18:03:22.88

>>297
> これは、n=2の場合です。

> z=x+ n^{1/(n-1)}は、xを、有理数とすると、zは無理数となります。
z=x+n^{1/(n-1)}はx+y=zの場合と同じだぞ
x+y=zにおいてy=n^{1/(n-1)}のときにx,y,zは整数比になるか？
当然これはx,y,zは整数比になる
x=s*n^{1/(n-1)},y=n^{1/(n-1)},z=(s+1)*n^{1/(n-1)} (sは有理数)
x+y=zの解x,y,zで整数比になるものを探すのに
yが無理数である条件ならxやzを有理数にしないだろ

x'+2=z'でx',z'が有理数ならx',y',z'は整数比なので
x^2+y^2=(x+2)^2の解x,y,zは整数比になる

x'+√3=z'でx',z'が有理数ならx',y',z'は整数比にならない
x'+√3=z'でx',z'が無理数ならx',y',z'は整数比になる場合がある
x^2+y^2=(x+√3)^2の解x,y,zは整数比になる

**１３２人目の素数さん** · 2020/12/05(土) 18:06:12.69

>>303
x'+y'=z'の解x',y',z'でy'=n^{1/(n-1)}のときに整数比になるものがなければ
x^n+y^n=z^nの解x,y,zは整数比とならない
x'+y'=x'+n^{1/(n-1)}=z'でx',y',z'が無理数ならx',y',z'は整数比になる場合がある

> z=x+ n^{1/(n-1)}は、xを、有理数とすると、zは無理数となります。
> よって、x^n +y^n=z^nのx,y,zは、整数比となりません。
x+y=zの解x,y,zでy=n^{1/(n-1)}のときに整数比にならないx,zを
おまえが勝手に選んだからといって
x+y=zの解x,y,zでy=n^{1/(n-1)}のときに整数比になるものが存在しなく
なるわけではない

**１３２人目の素数さん** · 2020/12/05(土) 19:11:39.76

日高君の語彙は >>302 を見ると「～となる」「～とならない」のみ。

>>308
> >>303
> > z=x+ n^{1/(n-1)}は、xを、有理数とすると、zは無理数となります。
> よって、x^n +y^n=z^nのx,y,zは、整数比となりません。
>
> あなたの>>285の主張も私の>>301の主張も、x,y,zを有理数として考えています。
> x,y,zを有理数とした返答をしてもらえませんか？

果たして、日高君に、「x^n+y^n=z^nには（有理数）解がありません」という言い方ができるだろうか。

**１３２人目の素数さん** · 2020/12/05(土) 19:30:28.79

「はい」と「いいえ」で答えられない理由は簡単
それは日高は質問の意味がわからないからである
なので自分の意見を押し付けるだけの対応をしてる
言葉が通じない、論理が通じない、でも日本語ぽいなにかを喋っている
コレはいったい何？令和最大のなぞかけが今爆誕する！

**１３２人目の素数さん** · 2020/12/05(土) 19:42:56.79

考えてもみれば、
今まで「よくわからない」で対応してきた日高が
ここにいたっていきなり質問の意味がわかるようになったとは到底おもえない
過去の問答を全て忘れ自分の思考の過程も忘れ
そもそもなにが議論の問題点なのかも忘れてしまう
認知症、健忘症、厚顔無恥ここに極まり

**１３２人目の素数さん** · 2020/12/05(土) 20:20:04.17

　ここで餌（まともな回答）を与えようという方は以下のフェルマーヴァカスレ一覧

　　　　https://rio2016.5ch.net/test/read.cgi/math/1605313191/l50
　　　　https://rio2016.5ch.net/test/read.cgi/math/1598521539/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1576824679/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1569198816/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1575007235/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1572998533/

をよく見てから与えること。

羯多呪多得想掛所亦無耳不是異蘊観　摩
諦呪能是阿究礙得無意鼻増舎色皆自　訶
菩即除大耨竟無故老識舌不利色空在　般
菩説一神多涅掛菩死界身減子即度菩　若
提呪切呪羅槃礙提盡無意是是是一薩　波
娑曰苦是三三故薩無無無故諸空切行　羅
婆羯真大藐世無陀苦明色空法空苦深　蜜
訶諦実明三諸有依集亦聲中空即厄般　多
般羯不呪菩佛恐般滅無香無相是舎若　心
若諦虚是提依怖若道無味色不色利波　経
心波故無故般遠波無明觸無生受子羅
経羅説上知若離羅智盡法受不想色蜜
□ 羯般呪般波一蜜亦乃無想滅行不多
□ 諦若是若羅切多無至眼行不識異時
□ 波波無波蜜顛故得無界識垢亦空照
□ 羅羅等羅多倒心以老乃無不復空見
□ 僧蜜等蜜故夢無無死至眼浄如不五

**１３２人目の素数さん** · 2020/12/06(日) 04:47:18.88

この爺さん本当に人間として未熟よな。
wilesの論文読んだのか詰められたときも、最後の最後まで訳分からん言い訳かましてたしな。

本当に自分の論理が合ってると思うなら「はい」「いいえ」で堂々と答えていけばいいのに、自分でも間違っていると思ってるからトンチンカンな言い訳を繰り返しているわけだ。

**１３２人目の素数さん** · 2020/12/06(日) 05:12:10.15

>>316
過去ログによるとワイルズの論文は読んでないらしい
さらに自分の証明は正しいとおもっているらしい

煽り抜きで認知症(そして進行中)だとおもう
数年前にある程度まともに受け答えできていた質問が
今はできなくなっているようだし(そのことは本人も気づいていない)
あとはひたすら後退するのみもはや議論を積み重ねる段階は終わった
(5chだけでも)1000×10を越える過去ログの重みは無視できない

**１３２人目の素数さん** · 2020/12/06(日) 05:24:50.15

スレ主は数学の話はほとんど通じない
そしてそれはどんどんひどくなっていってる
純粋な数学の話は理解されないから意味がないとおもって
数学の歴史を話すパターンに切り替えて
証明が正しいことはほとんどありえないことを婉曲的に諭しても
まったく理解されなかった
このことは暗に「自分のことをオイラーを優に越える天才」
だと自身で思っていることを意味するだろう

そもそもn=3のときでさえ初等的な道具だけで完遂するのは極めてきびしい
その場合は x^2+3y^2における素数と形状の議論(整数論的議論)が必要で
それさえも使わない完全に初等的な解法は今現在も知られていない！
(なお n=4のときは(正確には指数が4の倍数のとき)
唯一完全に初等的な解法が知られている例外で
それはフェルマー自身の証明であって
無限降下法とピタゴラス解を組み合わせた方法である)

**１３２人目の素数さん** · 2020/12/06(日) 05:39:31.14

何千回と繰り返された日高の"証明"をもう一度評価してみよう
まず証明の要所となる数学的アイデアをさがしてみると
なんとそこには同次式の性質しかない整数論的議論ゼロである　
(これだけで証明が完遂されたとすればそれは歴史に対する冒涜である)
そこに方程式系の同値性と解の集合(と包含関係)の
論理的に誤った扱いによるインチキが組み合わさることで
(日高のぞく)すべての関係者が首をかしげる"証明"が構成される

**１３２人目の素数さん** · 2020/12/06(日) 07:02:52.88

>>303 日高さん。日本語は理解できていますか？
「はい」か「いいえ」で答えてと言われているのですよ。

**１３２人目の素数さん** · 2020/12/06(日) 10:04:38.09

>>307
(x,y,z)が有理数のとき
z=x+ n^{1/(n-1)}が成立しない、という条件をP
x^n +y^n=z^nも成立しない、という条件をQとします。
Pはどんな(x,y,z)の組でも満たされます。
Qもどんな(x,y,z)の組でも満たされます。
おっしゃる通り(PならばQ)は(真ならば真)という命題なので、真です。

しかし、Qはどんな(x,y,z)の組でも満たされる、ことはワイルズが別の論法で証明したことです。Pから導いたわけではありません。

日高 · 2020/12/06(日) 12:42:28.71

(修正2)
【定理】n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。
【証明】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は無理数となるので、x,y,zは整数比とならない。
(4)のx,y,zは、(3)のx,y,zのa^{1/(n-1)}倍となるので、整数比とならない。
∴n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。

日高 · 2020/12/06(日) 12:58:02.87

>321
しかし、Qはどんな(x,y,z)の組でも満たされる、ことはワイルズが別の論法で証明したことです。Pから導いたわけではありません。

私の証明は、
z=x+ n^{1/(n-1)}とすると、
x^n +y^n=z^nの、x,y,zは、「整数比とならない」です。

ワイルズの証明は、関係ありません。

**１３２人目の素数さん** · 2020/12/06(日) 13:13:02.90

数学は多数決なわけじゃあないけども、
>>1の「証明」を証明と認めた第三者、
はまだ誰ひとりとしていない、のね？

**１３２人目の素数さん** · 2020/12/06(日) 13:18:09.48

>>308はリセットかなあ

**１３２人目の素数さん** · 2020/12/06(日) 13:53:30.89

>(3)はｙを有理数とすると、xは無理数となるので、x,y,zは整数比とならない。

「ｙが有理数」の場合を考えるのと同じように「ｙが無理数」の場合も考えよう，ってのがどうしても無理らしいから。
(3)には「ｙが無理数」の場合の解もある。
(3)の「ｙを有理数、xを無理数としたときの解」の集合(P)は，(3)の「すべての解」の集合(Q)の部分集合でしかなく，Pの解を定数倍した解の集合(P')は(4)のすべての解[すなわちx^n+y^n=z^nのすべての解]の集合(Q')の部分集合でしかない。

>(3)はｙを有理数とすると、xは無理数となるので、x,y,zは整数比とならない。[x,yに有理数，無理数が混在する場合は(3)の解の集合の一部でしかない]
>(4)のx,y,zは、(3)のx,y,zのa^{1/(n-1)}倍となるので、整数比とならない。[x^n+y^n=z^nの解の一部に付いてしか判断していない]
∴n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。[すべての解について判断していない。だから，この結論は導けない。]

たったこれだけのことを理解するのがそんなに難しいとはおもえないけどねぇ・・・・
妄想性障害って怖いね。

日高 · 2020/12/06(日) 15:26:55.89

>326
「ｙが有理数」の場合を考えるのと同じように「ｙが無理数」の場合も考えよう，

「ｙが無理数」でx,y,zが整数比となるならば、「ｙが有理数」で整数比となります。

**１３２人目の素数さん** · 2020/12/06(日) 15:33:10.13

なんで>>308に答えないのですか？

日高 · 2020/12/06(日) 15:39:15.18

>308
あなたの>>285の主張も私の>>301の主張も、x,y,zを有理数として考えています。
x,y,zを有理数とした返答をしてもらえませんか？

x,y,zを有理数とした返答とは、どのような返答でしょうか？

**１３２人目の素数さん** · 2020/12/06(日) 16:34:38.41

とぼけてるのか本気でわからないのかわからん

**１３２人目の素数さん** · 2020/12/06(日) 16:58:23.37

>>327
>「ｙが無理数」でx,y,zが整数比となるならば、「ｙが有理数」で整数比となります。

いつもこう書きますね。
日高氏にとっては，これで
∴「ｙが無理数」でx,y,zが整数比となることはない，といえたつもりなんでしょうね。

でも，あなた以外の人にとっては
(3)で「ある解y=twが無理数」で解が整数比となるならば、(4)は「y=tが有理数」で整数比となる解を持つ。
これではフェルマーの最終定理には反例があることになってしまう，「だから」
「ｙが無理数」でx,y,zが整数比となることはない，
即ち，(3)で「ある解y=twが無理数」であるとき解が整数比となることはない，
ことが証明が必要な命題となるんですよ。

これを理解できないならば，どんなに修正を加えても【証明】を認めてもらえることはないでしょう。
どう見ても，【証明】の途中で証明主題によって途中の論証を根拠づけているんですから。

この簡単な論理の明白な誤謬が必然になってしまっている人間が，なんで数学の証明なんかに興味をもつのか？
実に不思議です。

日高 · 2020/12/06(日) 17:47:46.61

(修正2)
【定理】n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。
【証明】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は無理数となるので、x,y,zは整数比とならない。
(4)のx,y,zは、(3)のx,y,zのa^{1/(n-1)}倍となるので、整数比とならない。
∴n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。

日高 · 2020/12/06(日) 17:55:15.70

>331
(3)で「ある解y=twが無理数」で解が整数比となるならば、(4)は「y=tが有理数」で整数比となる解を持つ。
これではフェルマーの最終定理には反例があることになってしまう，「だから」
「ｙが無理数」でx,y,zが整数比となることはない，
即ち，(3)で「ある解y=twが無理数」であるとき解が整数比となることはない，
ことが証明が必要な命題となるんですよ。

もう少し、詳しく説明していただけないでしょうか？

**１３２人目の素数さん** · 2020/12/06(日) 18:08:13.64

>>332
> 私の証明は、
> z=x+ n^{1/(n-1)}とすると、
> x^n +y^n=z^nの、x,y,zは、「整数比とならない」です。
>
> ワイルズの証明は、関係ありません。

> z=x+ n^{1/(n-1)}とすると、
> (3)はｙを有理数とすると

yの選び方が間違っているのでこの時点で証明は間違っている

日高 · 2020/12/06(日) 18:17:10.47

>334
yの選び方が間違っているのでこの時点で証明は間違っている

「yの選び方」とは、どういう意味でしょうか？

**１３２人目の素数さん** · 2020/12/06(日) 18:44:05.54

>>335
たとえばx^3+y^3=(x+√3)のときおまえはyを有理数とするが
z=x+√3という条件を全く使っていないだろ

z=x+√3ならば
x+y=z=(x+√3)は整数比の解をもつがx,y,zは全て√3の有理数倍
x^2+y^2=z^2=(x+√3)^2は整数比の解をもつがx,y,zは全て√3の有理数倍
x^3+y^3=z^3=(x+√3)^3は整数比の解をもつか不明だが持つならばx,y,zは全て√3の有理数倍
x^p+y^p=z^p=(x+√3)^pは整数比の解をもつか不明だが持つならばx,y,zは全て√3の有理数倍

z=x+√3ならばyを有理数とすれば
x+y=z=(x+√3)も整数比の解をもたない
x^2+y^2=z^2=(x+√3)^2も整数比の解をもたない

**１３２人目の素数さん** · 2020/12/06(日) 18:50:21.00

>>333
(3)で「ある解y=twが無理数」で解が整数比となる⇔(4)は「y=tが有理数」で整数比となる解を持つ

上の(前者)⇔(後者)は疑問の余地なく成り立つ[このこと自体には誰も何の疑問も持っていない。念のため]。
【証明】の主題は後者を否定することである。
しかし，後者は【証明】の主題だから証明終了までは真偽不明である。
∴後者を否定するには，同値(⇔)命題である前者を否定すればよい。

前者が否定できて初めて，x^n+y^n=z^nには有理数解がない，即ち有理数解 s^n+t^n=u^nは存在しない，と言える。
そして，(3)にはx=sw(無理数),y=tw(無理数)となる解は存在する。そして有理数解 s^n+t^n=u^nは存在しないとはまだ証明できていない。
∴(3)の解(sw,tw,uw)が整数比となることを否定する証明は，有理数解 s^n+t^n=u^nは存在しないこと以外によって証明しなければならない。

以上。簡単でしょ？

**１３２人目の素数さん** · 2020/12/06(日) 19:10:07.18

>337
少し訂正

>∴(3)の解(sw,tw,uw)が整数比となることを否定する証明は，有理数解 s^n+t^n=u^nは存在しないこと以外によって証明しなければならない。

の(3)の解(sw,tw,uw)は(3)の解(sw,tw,uw')としておきます。
(sw,tw,uw)だと，整数比になってしまいますからね。

>(3)の解(sw,tw,uw')が整数比となることを否定する証明は，有理数解 s^n+t^n=u^nは存在しないこと以外によって証明しなければならない。

つまりw'=kw (kは有理数)とはならないことを証明すればいいことになります。

日高 · 2020/12/06(日) 20:33:31.29

>336
z=x+√3ならばyを有理数とすれば
x+y=z=(x+√3)も整数比の解をもたない
x^2+y^2=z^2=(x+√3)^2も整数比の解をもたない

整数比の解をもつので、yを有理化すると、
x,y,zは、有理数となります。

**１３２人目の素数さん** · 2020/12/06(日) 20:42:55.13

>>302
悪霊退散！！！
悪霊退散！！！
悪霊退散！！！

　故知般若波羅蜜多是大神呪是大明呪是無上呪是無等等呪能除一切苦

　まだやっていたのかwwwwwww

　リソースのムダである。

　ここで餌（まともな回答）を与えようという方はこのスレだけではなく、以下のヴァカスレ一覧

　　　　https://rio2016.5ch.net/test/read.cgi/math/1605313191/l50
　　　　https://rio2016.5ch.net/test/read.cgi/math/1598521539/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1576824679/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1569198816/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1575007235/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1572998533/

をよく見てから与えること。

悪霊退散！！！
悪霊退散！！！
悪霊退散！！！

日高 · 2020/12/06(日) 20:47:38.12

>338
>(3)の解(sw,tw,uw')が整数比となることを否定する証明は，有理数解 s^n+t^n=u^nは存在しないこと以外によって証明しなければならない。

(sw,tw,uw')は、整数比では、ないのですよね？
有理数解 s^n+t^n=u^nは存在しないこと以外によって証明しなければならない。
この、意味がよく理解できません。詳しく説明していただけないでしょうか。

**１３２人目の素数さん** · 2020/12/06(日) 20:51:00.03

日高の悪霊が、回答者たちに憑依し、操作することで
日高の投稿にレスをつけさせているようである
こうやって私も不本意に日高の悪霊にレスさせられている
悪霊退散悪霊退散悪霊退散悪霊退散悪霊退散悪霊退散

日高 · 2020/12/06(日) 20:53:08.35

(修正2)
【定理】n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。
【証明】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は無理数となるので、x,y,zは整数比とならない。
(4)のx,y,zは、(3)のx,y,zのa^{1/(n-1)}倍となるので、整数比とならない。
∴n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。

**１３２人目の素数さん** · 2020/12/06(日) 21:11:56.68

>>339
> >336
> z=x+√3ならばyを有理数とすれば
> x+y=z=(x+√3)も整数比の解をもたない
> x^2+y^2=z^2=(x+√3)^2も整数比の解をもたない
>
> 整数比の解をもつので、yを有理化すると、
> x,y,zは、有理数となります。

それだと有理化した時点でz=x+√3の場合だったら
z=x+{有理数}に値が変わることになる
n=3のときはa=1じゃなくなるだろ

おまえはa=1のままyを有理数にしているから間違っている
と言われているのだが
> (3)はｙを有理数とすると

**１３２人目の素数さん** · 2020/12/06(日) 21:19:50.94

>>343 日高
> (修正2)
> 【定理】n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。
> 【証明】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は無理数となるので、x,y,zは整数比とならない。

(3)でyが無理数の場合の考察がありません。不完全です。

**１３２人目の素数さん** · 2020/12/06(日) 22:09:48.60

>>341
「有理数解 s^n+t^n=u^nは存在しない」
有理数解があれば整数解もあるので，この命題はフェルマー最終定理そのものです。
したがって，証明が完了した時点で初めて上の命題が真と言えます。
つまり証明の最後までこの命題は使えません。
最終的に結論としてそうなる，と締めくくる以外に証明の途中でこの命題を使った時点で証明は失敗です。

ではどうするか，が問題となりますが，そこであなたが持ち出したのが(3)式ということになります。
(3)には整数比になるかどうかはともかく，無理数解があるのはわかるでしょう。
(3)のzの項が無理数なのですから，それと整数比になるとしたらx,yも無理数になるのは当然です。
整数比になるとしたら3数ともに無理数になるしかありません。

ここでx=sw,y=twに限らずどの解2つを組み合わせても整数比にすることは簡単にできます。
これは x^n+y^n=z^n で考えた方が簡単に分かります。
x,y,zのうち任意の2変数に任意の有理数を入れてn乗の和，差を求めて，残りの1数で2数の和なり差なりのn乗根をとればよいからです。
その結果を(3)へ「等式の同値変換」をすればよいことになります。

(sw,tw,uw')が整数比になるのであれば w'=kw(ｋは有理数)であることになります。
このときsw:tw:uw'=sw:tw:kuw=s:t:ku(有理数比 ∴整数比)となるので，これが成り立ってしまえば，

　(sw,tw,uw')が整数比となる
　⇔(3)が整数比の無理数解をもつ
　⇔(4)が有理数解(s,t,ku)をもつ
　⇔x^n+y^n=z^nが有理数解をもつ

となってフェルマーの最終定理に反例があることになってしまうので，(sw,tw,uw')が整数比にならないことを証明しなければなりません。
(sw,tw,uw')が整数比にならないのであれば

　(sw,tw,uw')が整数比とならない
　⇔(3)が整数比の無理数解をもたない
　⇔(4)が有理数解(s,t,ku)をもたない
　⇔x^n+y^n=z^nが有理数解をもたない

となってフェルマーの最終定理の証明に成功ということになります。
(4)から(3)への「等式の同値変換」を行うのであれば，(3)のどの2解も整数比の無理数となしえます。
問題は残る1解を含めたとき，整数比になるかどうかです。
x,yを整数比にするだけなら簡単であることをお忘れなく。

**１３２人目の素数さん** · 2020/12/07(月) 00:53:50.39

>>329
> x,y,zを有理数とした返答とは、どのような返答でしょうか？

確認です。次の２つの事がらをあなたはご理解、納得していただいていますか？
・あなたの>>285の主張も私の>>301の主張も、x,y,zを有理数として考えている。
・あなたの>>303の主張は、x,y,zを実数として考えている。

はい/いいえ/どちらか一方のみ　でお答えください。

**１３２人目の素数さん** · 2020/12/07(月) 07:11:00.81

日高は既にいかに理解するかじゃなく、いかにトボケるかに目標が変わっているのがウケるw

**１３２人目の素数さん** · 2020/12/07(月) 07:49:11.08

認知症患者が掲示板を荒らし回っているとき
我々はどう対応したらいいのだろうか

温厚な上司の怒らせ方 (by 日高)

□投稿者/ らすかる一般人(30回)-(2019/09/22(Sun) 13:51:09)

日高さんの「証明」は論理的に全くおかしく、誰が見ても完璧に間違いなのですが、
今まで何人もの方がいくら指摘しても日高さんがまるで理解できていないことから
わかるように、日高さんには数学の論理的思考が圧倒的に欠けていて、
日高さんに理解できるように指摘できる人は誰もいません。

ある程度理解できる人であれば、おかしい点を丁寧に細かく指摘するか、
または反例を挙げて成り立たないことを指摘するか、あるいは
全く同じ論理展開なのに成り立たない証明を挙げたりすれば
わかってもらえるのですが、日高さんはこれらの方法では
どうやっても理解してもらえませんので、もう打つ手がありません。
（だからみんな諦めて去っていますよね？）

ですからいくら提示しても不毛であり、客観的にみて掲示板荒らしにしか
なりませんので、理解したかったら論理の基本が理解できるように
自分で勉強して下さい。基本から勉強したくないのでしたら諦めて下さい。

実際にどの程度の間違いであるか日高さんにわかるような例を挙げると、
「太陽は地球より小さい。この目で見て明らかだ。誰が何と言おうと小さい。」
と言い張っているのと同レベルにおかしいです。
これも「遠くにあるものは小さく見える」と説明したり
遠くに見える山が実際に小さく見えたりする例を挙げたりして
説明すれば普通の人はわかりますが、そういう説明をしてもわからない
という点で同レベルです。

「素人にもわかるように」といっても限界があります。
例えば幼稚園児に積分を教えるのは無理ですよね？
そのレベルで不可能です。

**１３２人目の素数さん** · 2020/12/07(月) 07:50:14.35

□投稿者/ らすかる一般人(32回)-(2019/09/22(Sun) 20:07:18)

> でも、どこかに私に間違いを説明できる人がいるかもわかりません。
いいえ、いません。
日高さんが間違いを理解するためには、
少なくとも1ヶ月は誰かが付きっきりで
論理の基礎の基礎から教えてもらわないといけません。
数十回のレスで日高さんがきちんと理解するのは不可能です。

それと、このような掲示板では基本的に
回答がないのに何度も似たようなことを
繰り返し投稿するのは「掲示板荒らし」です。
しばらく回答がなければ、あきらめて他に行くしかありません。

いくら言っても無駄のようですので、私はもうレスしないことにします。

**１３２人目の素数さん** · 2020/12/07(月) 07:53:13.43

数十回どころか、数千回のレスでも
まったく理解に進展がないのがこの病気の恐ろしいところ

スレ主は次回(え？まだやるの？)からは
過去ログを >>2以降に張ってください

ttps://rio2016.5ch.net/test/read.cgi/math/1569198816/
ttps://rio2016.5ch.net/test/read.cgi/math/1572998533/
ttps://rio2016.5ch.net/test/read.cgi/math/1575007235/
ttps://rio2016.5ch.net/test/read.cgi/math/1576824679/
ttps://rio2016.5ch.net/test/read.cgi/math/1579175686/
ttps://rio2016.5ch.net/test/read.cgi/math/1581236794/
ttps://rio2016.5ch.net/test/read.cgi/math/1582716245/
ttps://rio2016.5ch.net/test/read.cgi/math/1587643218/
ttps://rio2016.5ch.net/test/read.cgi/math/1598521539/
ttps://rio2016.5ch.net/test/read.cgi/math/1602912311/
ttps://rio2016.5ch.net/test/read.cgi/math/1605313191/

日高 · 2020/12/07(月) 08:50:31.34

>344
n=1、a=1の場合は、x+y=(x+1^{1/(1-1)})となります。1^{1/(1-1)}=y
n=2、a=1の場合は、x^2+y^2=(x+2^{1/(2-1)})^2となります。
n=3、a=1の場合は、x^3+y^3=(x+3^{1/(3-1)})^3となります。

日高 · 2020/12/07(月) 08:51:22.85

(修正2)
【定理】n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。
【証明】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は無理数となるので、x,y,zは整数比とならない。
(4)のx,y,zは、(3)のx,y,zのa^{1/(n-1)}倍となるので、整数比とならない。
∴n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。

日高 · 2020/12/07(月) 09:08:40.68

>345
(3)でyが無理数の場合の考察がありません。不完全です。

(3)でyが無理数で、整数比になるならば、有理数で、整数比になります。

日高 · 2020/12/07(月) 09:20:11.25

>346
(sw,tw,uw')が整数比となる

この場合は、w=w'となります。

(sw,tw,uw')が整数比とならない

この場合は、w≠w'となります。

日高 · 2020/12/07(月) 09:23:20.71

>347
確認です。次の２つの事がらをあなたはご理解、納得していただいていますか？
・あなたの>>285の主張も私の>>301の主張も、x,y,zを有理数として考えている。
・あなたの>>303の主張は、x,y,zを実数として考えている。

はい。

**１３２人目の素数さん** · 2020/12/07(月) 10:31:33.12

>>356
>はい。

では、私の>>301の主張に対して、x,y,zを有理数として考えた上で返答をしてください。

**１３２人目の素数さん** · 2020/12/07(月) 10:50:56.86

どうしてでしょうか。
なんてね。

日高 · 2020/12/07(月) 10:54:21.11

>357
では、私の>>301の主張に対して、x,y,zを有理数として考えた上で返答をしてください。

いいえ。

**１３２人目の素数さん** · 2020/12/07(月) 11:09:01.67

>>359
>いいえ。

>>301
(x,y,z)が有理数のとき、
「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=(x+ n^{1/(n-1)})^nも成立しない」これは正しい論理です。しかし
「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=z^nも成立しない」この論理は間違っています。

どの点が腑に落ちないのでしょうか？
x,y,zを有理数として考えた上で、返答をお願いします。

日高 · 2020/12/07(月) 11:16:46.55

>360
どの点が腑に落ちないのでしょうか？
x,y,zを有理数として考えた上で、返答をお願いします。

「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=z^nも成立しない」この論理は間違っています。
「この論理は間違っています。」の部分です。

**１３２人目の素数さん** · 2020/12/07(月) 11:47:18.07

>>361
> 「z=x+ n^{1/(n-1)}が成立しないならx^n +y^n=z^nも成立しない」この論理は間違っています。
「この論理は間違っています。」の部分です。

理解できない根拠(x,y,zを有理数として考えた上での根拠)はありますか？
あるのなら教えてください。

日高 · 2020/12/07(月) 12:02:31.94

(修正2)
【定理】n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。
【証明】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は無理数となるので、x,y,zは整数比とならない。
(4)のx,y,zは、(3)のx,y,zのa^{1/(n-1)}倍となるので、整数比とならない。
∴n≧3のとき、x^n+y^n=z^nのx,y,zは自然数とならない。

日高 · 2020/12/07(月) 12:05:17.12

>362
理解できない根拠(x,y,zを有理数として考えた上での根拠)はありますか？
あるのなら教えてください。

間違いとなる理由が、わかりません。

**１３２人目の素数さん** · 2020/12/07(月) 14:28:24.73

>>363
　屑のような修正をいつまで続けるつもりだ

悪霊退散！！！
悪霊退散！！！
悪霊退散！！！

　リソースのムダである。

　ここで餌（まともな回答）を与えようという方はこのスレだけではなく、以下のヴァカスレ一覧

　　　　https://rio2016.5ch.net/test/read.cgi/math/1605313191/l50
　　　　https://rio2016.5ch.net/test/read.cgi/math/1598521539/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1576824679/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1569198816/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1575007235/
　　　　https://rio2016.5ch.net/test/read.cgi/math/1572998533/

をよく見てから与えること。

羯多呪多得想掛所亦無耳不是異蘊観　摩
諦呪能是阿究礙得無意鼻増舎色皆自　訶
菩即除大耨竟無故老識舌不利色空在　般
菩説一神多涅掛菩死界身減子即度菩　若
提呪切呪羅槃礙提盡無意是是是一薩　波
娑曰苦是三三故薩無無無故諸空切行　羅
婆羯真大藐世無陀苦明色空法空苦深　蜜
訶諦実明三諸有依集亦聲中空即厄般　多
般羯不呪菩佛恐般滅無香無相是舎若　心
若諦虚是提依怖若道無味色不色利波　経
心波故無故般遠波無明觸無生受子羅
経羅説上知若離羅智盡法受不想色蜜
□ 羯般呪般波一蜜亦乃無想滅行不多
□ 諦若是若羅切多無至眼行不識異時
□ 波波無波蜜顛故得無界識垢亦空照
□ 羅羅等羅多倒心以老乃無不復空見
□ 僧蜜等蜜故夢無無死至眼浄如不五

悪霊退散！！！
悪霊退散！！！
悪霊退散！！！

**１３２人目の素数さん** · 2020/12/07(月) 14:30:10.58

悪霊退散！！！
悪霊退散！！！
悪霊退散！！！

羯多呪多得想掛所亦無耳不是異蘊観　摩
諦呪能是阿究礙得無意鼻増舎色皆自　訶
菩即除大耨竟無故老識舌不利色空在　般
菩説一神多涅掛菩死界身減子即度菩　若
提呪切呪羅槃礙提盡無意是是是一薩　波
娑曰苦是三三故薩無無無故諸空切行　羅
婆羯真大藐世無陀苦明色空法空苦深　蜜
訶諦実明三諸有依集亦聲中空即厄般　多
般羯不呪菩佛恐般滅無香無相是舎若　心
若諦虚是提依怖若道無味色不色利波　経
心波故無故般遠波無明觸無生受子羅
経羅説上知若離羅智盡法受不想色蜜
□ 羯般呪般波一蜜亦乃無想滅行不多
□ 諦若是若羅切多無至眼行不識異時
□ 波波無波蜜顛故得無界識垢亦空照
□ 羅羅等羅多倒心以老乃無不復空見
□ 僧蜜等蜜故夢無無死至眼浄如不五

悪霊退散！！！
悪霊退散！！！
悪霊退散！！！

**１３２人目の素数さん** · 2020/12/07(月) 14:39:29.15

般若心境いつみても笑う

**１３２人目の素数さん** · 2020/12/07(月) 15:54:16.39

>>355
いや・・・当然そうなることをそうなりますと返されても困るんですけど・・・

はい，そうなりますよ。
で，どうしましたか？

日高 · 2020/12/07(月) 16:13:51.91

>368
いや・・・当然そうなることをそうなりますと返されても困るんですけど・・・

他の意味があるのでしょうか？