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

日高 · 2019/09/23(月) 09:33:36.12

pが奇素数のとき、x^p+y^p=z^pは自然数解を持たない。
x^p+y^p=z^pをz=x+rとおいて、x^p+y^p=(x+r)^pとする。
r=p^{1/(p-1)}となるので、x^p+y^p=(x+p^{1/(p-1)})^p=z^pとなる。
xを有理数とすると、zは無理数となる。
∴x^p+y^p=z^pは自然数解を持たない。

**１３２人目の素数さん** · 2019/10/27(日) 16:03:05.83

>>770
Xが無理数だって示したところで関係ないでしょ。

「rが有理数ならば、」xを有理数とすると、zは有理数となる。
yが有理数だったら、X,Y,Zが無理数であっても関係なくて、
X:Y:Zもx:y:zもまぎれもなく整数比だからねえ。

日高 · 2019/10/27(日) 16:08:37.59

>まさか、これまでyのことを何も考えてなかった等とは言わないでね

yとは、関係なくx:y:z=X:Y:Zより、x,y,zが整数比とならないので、
X,Y,Zも、整数比となりません。

**１３２人目の素数さん** · 2019/10/27(日) 16:44:05.56

>>772
z=x+rなんだから、

r=p^{1/(p-1)}ならば、rは無理数だから「xを有理数とすると、zは無理数となる」よって、x:zは整数比になり得ない……④

rが有理数になるようにaを決めてr=(ap)^{1/(p-1)}としたならば、xを有理数とすると、zは必ず有理数となる。だから、x:zは必ず整数比になる……⑤

つまり、
★★④と⑤のx:y:zの比が等しくなることは決してあり得ない★★

整数比になりえないr=p^{1/(p-1)}のときのx:y:z④と、整数比でしかないr=(ap)^{1/(p-1)}のときのx:y:z⑤は、決して一致することはない。断じてありえない。

日高は、x:zが整数比⑤の場合にyについての考察を一切していないというのだから、
rが有理数の場合に、x,y,zが整数比とならないということを一切証明できていない。
日高の証明はrが有理数の場合に全く不完全であり誤りである。

日高 · 2019/10/27(日) 17:59:45.99

>日高は、x:zが整数比⑤の場合にyについての考察を一切していないというのだから、
rが有理数の場合に、x,y,zが整数比とならないということを一切証明できていない。
日高の証明はrが有理数の場合に全く不完全であり誤りである。

rが有理数の場合は、r=(ap)^{1/(p-1)}となる。
rが無理数の場合は、x,y,zは整数比とならない。(xを有理数とすると、zは無理数）
rが有理数の場合は、X:Y:Zとなる。(X,Y,Zは、x,y,zのa^{1/(p-1)}倍)
X:Y:Z=x:y:xとなるので、X,Y,Zも整数比とならない。
この場合は、yについての考察は、必要ありません。

**１３２人目の素数さん** · 2019/10/27(日) 18:29:51.09

>>774
> rが無理数の場合は、x,y,zは整数比とならない。
嘘つき。さんざん指摘されてきただろ。

**１３２人目の素数さん** · 2019/10/27(日) 19:11:47.76

>>774
ほう。あくまでもyは関係ないと？

＞rが有理数の場合は、X:Y:Zとなる。(X,Y,Zは、x,y,zのa^{1/(p-1)}倍)

rが有理数の場合は、xもzも有理数だからx:zは整数比でなければならない。
x:z=X:Zなんだから、XやZが無理数であってもx:zもX:Zも整数比でなければならない。

それでも日高の方法ではX:Zが整数比でないというなら、日高の方法そのものが間違っているとしか言いようがない。

**１３２人目の素数さん** · 2019/10/27(日) 19:25:46.27

話がそれるが、日高といい、かの奇数芸人といい、考えが浅いんだよな
日高がx^p+y^p=z^pのxとzの関連についてのみ着目して問題が解けたと誤解する性癖は、
多数ある約数のうちただ１つだけ着目して問題が解けたと誤解する奴さんに酷似している

どうもこの手の人種は、難問を見ると、それを矮小化したがる癖があるようだ

日高 · 2019/10/27(日) 19:50:59.81

> rが無理数の場合は、x,y,zは整数比とならない。

これがいえるのは、
x^p+y^p=(x+r)^pの場合です。

日高 · 2019/10/27(日) 20:05:15.92

>「rが有理数ならば、」xを有理数とすると、zは有理数となる。
yが有理数だったら、X,Y,Zが無理数であっても関係なくて、
yが有理数だったらX:Y:Zもx:y:zもまぎれもなく整数比だからねえ。

「yが有理数だったら、」
Y=y*a^{1/(p-1)}となります。
a^{1/(p-1)}は無理数となるので、Yは無理数となります。

**１３２人目の素数さん** · 2019/10/27(日) 20:16:34.24

>>779
また同じこと書くしかないのかなw

x:y:z=X:Y:Zなんだから、x:y:zが整数比なら、XやYやZが無理数であってもX:Y:Zは整数比でなければならない。

日高は「Zは無理数です」「Xは無理数です」「Yは無理数です」の一言で誤魔化そうとするが、そうはいかない。
それだけではX:Y:Zが整数比でないことの証明にはちっともならない。全然証明にならない。全くもって証明にならない。

**１３２人目の素数さん** · 2019/10/27(日) 20:24:49.32

　日高クンがやっていることは数学ではないのだからしかたない。

　しかし、今日も俺は議論に勝ったとよろこび自慰行為の準備をしていることであろうw

**１３２人目の素数さん** · 2019/10/27(日) 20:51:23.45

爺の自慰とか笑えない

**１３２人目の素数さん** · 2019/10/27(日) 23:30:45.89

ナンセンスな数式風記号の順列でしかない。

**１３２人目の素数さん** · 2019/10/27(日) 23:33:43.85

>>778
言えねーよ。まじ嘘つき。

日高 · 2019/10/28(月) 15:12:12.70

>rが有理数の場合は、xもzも有理数だからx:zは整数比でなければならない。
x:z=X:Zなんだから、XやZが無理数であってもx:zもX:Zも整数比でなければならない。

x^p+y^p=(x+p^{1/(p-1)})^pの場合、r=p^{1/(p-1)}なので、rは無理数。
xを有理数とすると、zは無理数となります。
x:zは整数比となりません。

rが有理数の場合は、r=(ap)^{1/(p-1)}となります。
X^p+Y^p=(X+(ap)^{1/(p-1)}^pとなります。
X=x*a^{1/(p-1)}となるので、xを有理数とすると、Xは無理数となります。
X:Zは、無理数：無理数となりますが、整数比とは、なりません。

>x:z=X:Zなんだから、XやZが無理数であってもx:zもX:Zも整数比でなければならな
い。
この事の意味がわからないので、教えていただけないでしょうか。

日高 · 2019/10/28(月) 15:35:47.47

>言えねーよ。まじ嘘つき。

どの部分が嘘でしょうか？

**１３２人目の素数さん** · 2019/10/28(月) 17:48:18.11

>>785
お前さん、いつから無理数：無理数が整数比になり得ないと誤解していた？

**１３２人目の素数さん** · 2019/10/28(月) 18:52:38.00

　日高クンによると

　a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
変わりはありません。

だそうだ。また

　小学校から大学教養レベルあたりまでの数学で、「数」とは
　　自然数、整数、実数（有理数、無理数）、複素数
であるが a^{1/(1-1) は上記のどれにあたるのだ？

と言う質問に対して

　a^{1/(1-1) は特定できない数です。

という世紀の珍答を与えている。
　つまり日高クンにとっては
　　無理数とは、日高流証明のための、どんな無理な要求でも満たしてくれる数
であり
　　有理数とは、日高流証明を有利にしてくれる数
のことである。

**１３２人目の素数さん** · 2019/10/28(月) 19:43:17.79

x と r が有理数なんだろ？だったら x+r と等しい z は必ず有理数だから x:z は整数比だ。

x:z が整数比だったら、x,z に同じ無理数を掛けて作った X,Z は、もちろん必ず整数比だ。

x:z = X:Z なのに、x:z が整数比で、X:Z が整数比でなかったら、おまえ何時から錯覚してた？　ってなるわそりゃ。

こんなん中学生でもわかる。日高ってのは小学生か？

日高 · 2019/10/28(月) 19:45:32.92

>お前さん、いつから無理数：無理数が整数比になり得ないと誤解していた？

この場合は、無理数：無理数が整数比になり得ません。

日高 · 2019/10/28(月) 20:02:51.15

>x:z が整数比だったら、x,z に同じ無理数を掛けて作った X,Z は、もちろん必ず整数比だ。

「x:z が整数比だったら、」X,Zは整数比になりますが、x:z が整数比になるでしょうか？

日高 · 2019/10/28(月) 20:07:45.88

【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})…④
となる。
④はxを有理数とすると、zは無理数となる。よって、④,②,①は有理数解を持たない。
rが有理数ならば、④の両辺に(a^{1/(p-1)})^pを掛けた
(xa^{1/(p-1)})^p+(ya^{1/(p-1)})^p=(xa^{1/(p-1)}+(pa)^{1/(p-1)})^p…⑤となる。
⑤をxa^{1/(p-1)}=X, ya^{1/(p-1)}=Y, xa^{1/(p-1)}+(pa)^{1/(p-1)}=Zとおくと、
X:Y:Z=x:y:zとなる。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

**１３２人目の素数さん** · 2019/10/28(月) 20:37:02.20

>>792

↑は零点。

Q:「どの部分が零点でしょうか？」

A:全部

日高 · 2019/10/28(月) 20:41:01.16

>A:全部

理由を教えていただけないでしょうか。

**１３２人目の素数さん** · 2019/10/28(月) 20:52:17.82

>>792
またまた同じこと書くしかないのかなあw

z=x+rなんだから、

r=p^{1/(p-1)}ならば、rは無理数だから「xを有理数とすると、zは無理数となる」
よって、x:zは整数比になり得ない……④

rが有理数になるようにaを決めてr=(ap)^{1/(p-1)}としたならば、xを有理数とすると、zは必ず有理数となる。
だから、x:zは必ず整数比になる……⑤

つまり、
★★④と⑤のx:y:zの比が等しくなることは決してあり得ない★★

整数比になりえないr=p^{1/(p-1)}のときのx:y:z④と、整数比でしかないr=(ap)^{1/(p-1)}のときのx:y:z⑤は、決して一致することはない。
よってこれらが等しくなることを前提とした>>792は誤りである。何の証明にもなっていない。

**１３２人目の素数さん** · 2019/10/28(月) 20:55:26.90

>>791
＞>x:z が整数比だったら、x,z に同じ無理数を掛けて作った X,Z は、もちろん必ず整数比だ。
＞「x:z が整数比だったら、」X,Zは整数比になりますが、x:z が整数比になるでしょうか？
都合の悪いところ隠ぺいするのやめようぜ。
>>789はxとrがともに有理数の場合の話をしてんだ。x:zは整数比だ。むしろ整数比でしかない。

**１３２人目の素数さん** · 2019/10/29(火) 01:51:42.14

>>790
証明もせずにほざくな。

日高 · 2019/10/29(火) 07:24:37.12

>rが有理数になるようにaを決めてr=(ap)^{1/(p-1)}としたならば、xを有理数とすると、zは必ず有理数となる。
だから、x:zは必ず整数比になる……⑤

rが有理数になるようにaを決めると、a^{1/(p-1)}は、無理数となります。

**１３２人目の素数さん** · 2019/10/29(火) 07:50:22.66

＞rが有理数になるようにaを決めると、a^{1/(p-1)}は、無理数となります。

それを主張しても、x:z が整数比であることに変わりないし、
もちろん X:Z も必ず整数比になる。

いくら食い下がっても日高の説は通らない。

日高 · 2019/10/29(火) 08:27:56.58

>それを主張しても、x:z が整数比であることに変わりないし、
もちろん X:Z も必ず整数比になる。

この場合、Yが有理数となれば、X:Y:Zは、整数比となる可能性は、ありますが、
r=p^{1/(p-1)}のとき、x,y,zは、整数比とならなくて、x:y:z=X:Y:Zなので、
X,Y,Zは整数比となりません。
(Yが必ず有理数となる保証は、ありません。あくまで可能性のみです。それに対して
x:y:z=X:Y:Zは、保証があります。）「この場合のx:y:zは、整数比とならない場合の
x:y:zです。」

**１３２人目の素数さん** · 2019/10/29(火) 09:07:48.01

>>800
なんとか誤魔化そうと必死なのが面白いね。

言うまでもなく、x:zが整数比なのは、「rが有理数ならば、」の仮定のもとの話だから、
「r=p^{1/(p-1)}のとき、」の理屈を持ち出しても何の反論にもならない。p^{1/(p-1)}は無理数だからね。

ていうか、日高氏以外にとって、「r=p^{1/(p-1)}のとき、」の話はもはやどうでもいい。
そして、日高氏が「r=p^{1/(p-1)}のとき、」以外について証明ができてないことは明らかだ。

さて、いつまで日高氏は悪あがきを続けるのか見ものだね。

日高 · 2019/10/29(火) 10:26:54.69

>日高氏が「r=p^{1/(p-1)}のとき、」以外について証明ができてないことは明らかだ。

r=p^{1/(p-1)}以外の場合は、r=(ap)^{1/(p-1)}となります。

**１３２人目の素数さん** · 2019/10/29(火) 13:14:48.30

>>802
その場合の証明ができていないって話やぞ

**１３２人目の素数さん** · 2019/10/29(火) 13:43:10.73

>>785
＞rが有理数の場合は、r=(ap)^{1/(p-1)}となります。
＞X^p+Y^p=(X+(ap)^{1/(p-1)}^pとなります。
＞X=x*a^{1/(p-1)}となるので、xを有理数とすると、Xは無理数となります。
＞X:Zは、無理数：無理数となりますが、整数比とは、なりません。

「rが有理数の場合は」「xを有理数とすると」と言ってるんだから、x+rと等しいzも有理数だろ
x:zは有理数:有理数だから整数比だ。x:zが整数比なのに、X:Zが整数比じゃないのおかしくね？

ってことをずーーーーーーっと言われてんのにガン無視なんだもんな

批判を無視すんなら、指摘しろとか書くなよ。
「俺が絶対に正しい」ってずっと言ってれば？

日高 · 2019/10/29(火) 14:05:12.73

>その場合の証明ができていないって話やぞ

r=(ap)^{1/(p-1)}の場合のx,y,zは、
r=p^{1/(p-1)}の場合のx,y,zのa^{1/(p-1)}倍となります。
よって、X:Y:Z=x:y:zとなります。

**１３２人目の素数さん** · 2019/10/29(火) 14:16:06.12

↑
零点

日高 · 2019/10/29(火) 14:17:35.19

>「rが有理数の場合は」「xを有理数とすると」と言ってるんだから、x+rと等しいzも有理数だろ
x:zは有理数:有理数だから整数比だ。x:zが整数比なのに、X:Zが整数比じゃないのおかしくね？

「rが有理数の場合は」X=x*a^{1/(p-1)}となるので、Xは、無理数となります。

**１３２人目の素数さん** · 2019/10/29(火) 14:52:57.20

↑
零点

**１３２人目の素数さん** · 2019/10/29(火) 15:24:39.38

Xが無理数だとしても、xは有理数だしzも有理数じゃないか

最初に「x^p+y^p=z^p…①が、有理数解を持つかを検討する」とかブチ上げといて、xもzも有理数だと言いながら、
何故それとは関係ないXを脈絡なく持ち出して「Xは、無理数となります。」とか言って徳井になってんだ？

日高 · 2019/10/29(火) 15:40:04.02

>最初に「x^p+y^p=z^p…①が、有理数解を持つかを検討する」とかブチ上げといて、xもzも有理数だと言いながら、
何故それとは関係ないXを脈絡なく持ち出して「Xは、無理数となります。」とか言って徳井になってんだ？

「x^p+y^p=z^p…①が、有理数解を持つかを検討する」といっているので、
この時点では、x,y,zは、実数です。

Xは、証明のなかで、「rが有理数ならば」のときに、出しています。

**１３２人目の素数さん** · 2019/10/29(火) 16:11:15.65

↑
零点

**１３２人目の素数さん** · 2019/10/29(火) 17:01:57.56

いやいや、
>>810
＞「x^p+y^p=z^p…①が、有理数解を持つかを検討する」といっているので、
そのあと「rが有理数の場合は」「xを有理数とすると」と日高が仮定した時点で、xとzか有理数であることが確定する
あとはyが有理数かどうか調べるだけだ

それなのに日高は、xとzに謎の無理数を掛けるという謎の行動をしている。

まるで、宝探しを依頼された探偵が、地面の2ヵ所を掘って宝の地図の切れ端を見つけておきながら、
それらを赤いペンキで塗りつぶして「宝は、ありませんでした。」と報告しているようなもの。

誰の目から見ても、日高は解の存在を無理矢理否定するために、わざわざ謎の無理数を掛けているようにしか見えない

誰の目から見ても、日高がインチキを働いてることが明らかだ。

**１３２人目の素数さん** · 2019/10/29(火) 17:11:49.82

藤林丈司

日高 · 2019/10/29(火) 17:37:15.63

＞「x^p+y^p=z^p…①が、有理数解を持つかを検討する」といっているので、
そのあと「rが有理数の場合は」「xを有理数とすると」と日高が仮定した時点で、xとzか有理数であることが確定する
あとはyが有理数かどうか調べるだけだ

yが有理数となる可能性はありますが、「yは有理数となる。」とは、言いきれません。
r=p^{1/(p-1)}の場合は、x:y:zは、確実に、整数比となりません。

**１３２人目の素数さん** · 2019/10/29(火) 19:08:43.07

↑
零点

**１３２人目の素数さん** · 2019/10/29(火) 20:43:23.29

>>814
> r=p^{1/(p-1)}の場合は、x:y:zは、確実に、整数比となりません。
マジで証明しないでデタラメ抜かすな。

**１３２人目の素数さん** · 2019/10/29(火) 21:43:34.28

>>814
＞r=p^{1/(p-1)}の場合は、x:y:zは、確実に、整数比となりません。

うん。でもね。r=p^{1/(p-1)}の場合には、だーーーれも興味がないよ。
x,y,zが有理数ならば、r=z-xは確実にp^{1/(p-1)}ではないからね。

**ニセ日高** · 2019/10/29(火) 23:59:23.26

俺だって、俺の証明の、どこが間違ってるかなんざ興味ねえさ。ケケッ。

俺が、フェルマーの、問題を簡単に解いた、って、この板の、バカ共に見せつけて、やれればそれで、満足なんだからなあ！
ケケケケケケケケッ！

日高 · 2019/10/30(水) 08:04:31.67

> r=p^{1/(p-1)}の場合は、x:y:zは、確実に、整数比となりません。

x^p+y^p=(x+p^{1/(p-1)})^pは、r=p^{1/(p-1)}が無理数なので、
xを有理数とすると、z=x+rは、有理数となりません。

日高 · 2019/10/30(水) 08:15:33.61

>うん。でもね。r=p^{1/(p-1)}の場合には、だーーーれも興味がないよ。
x,y,zが有理数ならば、r=z-xは確実にp^{1/(p-1)}ではないからね。

r=(ap)^{1/(p-1)}の場合、(rが有理数の場合)
X^p+Y^p=(X+(ap)^{1/(p-1)})^pとすると、
x:y:z=X:Y:Zとなるので、X,Y,Zは、整数比となりません。

**１３２人目の素数さん** · 2019/10/30(水) 09:08:18.96

>>819
>>820

零点

**１３２人目の素数さん** · 2019/10/30(水) 10:14:12.90

>>820
＞r=(ap)^{1/(p-1)}の場合、(rが有理数の場合)
＞X^p+Y^p=(X+(ap)^{1/(p-1)})^pとすると、

確認なんですが、Z=X+rってことですか？

**１３２人目の素数さん** · 2019/10/30(水) 10:14:13.52

>>819
xが有理数の場合なんて聞いてねえよ。

**１３２人目の素数さん** · 2019/10/30(水) 11:31:36.30

こっちのスレも進展ナシのままか。

日高 · 2019/10/30(水) 12:30:51.04

>確認なんですが、Z=X+rってことですか？

そうです。

日高 · 2019/10/30(水) 12:33:59.22

>xが有理数の場合なんて聞いてねえよ。

どういう場合を聞いておられるのでしょうか？

日高 · 2019/10/30(水) 14:37:07.76

【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①のx,y,zは、有理数と仮定する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})…④
となる。
④はxを有理数とすると、p^{1/(p-1)}が無理数なので、zは無理数となり仮定に反する。
両辺に(a^{1/(p-1)})^pを掛けると、
(xa^{1/(p-1)})^p+(ya^{1/(p-1)})^p=(xa^{1/(p-1)}+(pa)^{1/(p-1)})^p…⑤となる。
⑤はxa^{1/(p-1)}=X, ya^{1/(p-1)}=Y, xa^{1/(p-1)}+(pa)^{1/(p-1)}=Zとおくと、
X^p+Y^p=Z^p…⑥となる。
⑥はrが有理数のとき、a^{1/(p-1)}が無理数なので、xa^{1/(p-1)}は無理数となり、Ｚも無理数となる。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

**１３２人目の素数さん** · 2019/10/30(水) 15:50:49.06

↑は数学とは何の関係もないただの文字の羅列。

**１３２人目の素数さん** · 2019/10/30(水) 15:53:56.67

>>825
再度確認です。>>827にはz=x+rについては書かれていますが、Z=X+rの明記がありません。
Z=X+rというのは本当なのでしょうか？

**１３２人目の素数さん** · 2019/10/30(水) 16:35:16.96

>>826
無理数で整数比になる可能性を検討してないだろが。

日高 · 2019/10/30(水) 16:43:46.47

>Z=X+rというのは本当なのでしょうか？

この場合は、r=(pa)^{1/(p-1)}となります。

日高 · 2019/10/30(水) 16:46:32.03

>>826
無理数で整数比になる可能性を検討してないだろが。

826は、比は関係ありません。

**１３２人目の素数さん** · 2019/10/30(水) 16:52:15.30

>>832
は？
お前は何に返信してたんだ？
ちゃんとたどれよ。

日高 · 2019/10/30(水) 17:45:08.67

>お前は何に返信してたんだ？
ちゃんとたどれよ。

すみません。間違いました。826でした。
>xが有理数の場合なんて聞いてねえよ。ｓ無理数で整数比になる可能性を検討してないだろが。

xが無理数で、整数比になるならば、x,y,zを共通の無理数で割ると、x,y,zは、有理数となります。

**１３２人目の素数さん** · 2019/10/30(水) 17:58:58.89

＞xが無理数で、整数比になるならば、x,y,zを共通の無理数で割ると、x,y,zは、有理数となります。

こういう書き方やめようや

xを無理数で割ったものはxとは異なる。これらをごっちゃにするから間違った証明になるんだろ。
以下の表現ならいくぶんかマシだが、「xを無理数で割るとxになる」は完全にアウトだ。

「xが無理数で、整数比になるならば、x,y,zを共通の適当な無理数sで割ると、x/s,y/s,z/sは、有理数となります。」

日高 · 2019/10/30(水) 18:04:49.04

>「xが無理数で、整数比になるならば、x,y,zを共通の適当な無理数sで割ると、x/s,y/s,z/sは、有理数となります。」

ありがとうございます。そうですね。

**１３２人目の素数さん** · 2019/10/30(水) 18:46:25.49

>>836
で？もともとの指摘に答えろよ。

ちなみに、(z-x)/s=r/sは、有理数。
さらには、お前がいうようなrとも違っているぞ。

日高 · 2019/10/30(水) 20:20:56.32

>ちなみに、(z-x)/s=r/sは、有理数。
さらには、お前がいうようなrとも違っているぞ。

どういうrでしょうか？

**１３２人目の素数さん** · 2019/10/30(水) 22:31:58.83

白菜漬けの作り方
1、白菜をザッと洗って水気を切る。
2、食べやすい大きさに切る。
3、漬け物容器に入れる。
4、白菜の重さの3％の塩を加える。約大さじ1杯です。
5、手で混ぜて塩を全体になじませる。
6、押し蓋をする。
7、白菜の重さの3倍の漬物石をのせ、半日置く。
8、水が上がったら白菜を軽く絞り、別の容器に移す。
9、唐辛子、ニンニク、昆布を入れる。昆布はたくさん入れるとネバネバするので、少量を入れましょう。
10、箸でかき混ぜ、味がなじんだら食べ頃。ニンニクは風味づけなので、食べる時は取り除くとよいでしょう。
11、小皿に取り分け、お好みでお醤油をかけていただく。
白菜漬けはご飯によく合います。

**１３２人目の素数さん** · 2019/10/31(木) 07:24:38.41

場合分けとして、「xが有理数の場合」と「xが無理数の場合」の2通りがあって、
さらに「rが有理数の場合」と「rが無理数の場合」の2通りがある。

これらを組み合わせたとき、
(1)「xが有理数」かつ「rが有理数」の場合
(2)「xが有理数」かつ「rが無理数」の場合
(3)「xが無理数」かつ「rが有理数」の場合
(4)「xが無理数」かつ「rが無理数」の場合

の4通りが考えられるが、日高は明らかにx:zが整数比になりえない(2)と(3)の場合だけに言及しているように見えるな

(1)と(4)はなぜ華麗にスルーされているのか？

日高 · 2019/10/31(木) 09:47:49.99

827の証明で、
(1)「xが有理数」かつ「rが有理数」の場合
rが有理数の場合は、r=(pa)^{1/(p-1)}となります。
a^{1/(p-1)}は無理数となります。
X=xa^{1/(p-1)}となります。
よって、Xは無理数となります。

(4)「xが無理数」かつ「rが無理数」の場合
「xが無理数」は、最初の仮定に反します。

日高 · 2019/10/31(木) 09:53:56.39

827の証明
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①のx,y,zは、有理数と仮定する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})…④
となる。
④はxを有理数とすると、p^{1/(p-1)}が無理数なので、zは無理数となり仮定に反する。
両辺に(a^{1/(p-1)})^pを掛けると、
(xa^{1/(p-1)})^p+(ya^{1/(p-1)})^p=(xa^{1/(p-1)}+(pa)^{1/(p-1)})^p…⑤となる。
⑤はxa^{1/(p-1)}=X, ya^{1/(p-1)}=Y, xa^{1/(p-1)}+(pa)^{1/(p-1)}=Zとおくと、
X^p+Y^p=Z^p…⑥となる。
⑥はrが有理数のとき、a^{1/(p-1)}が無理数なので、xa^{1/(p-1)}は無理数となり、Ｚも無理数となる。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

**１３２人目の素数さん** · 2019/10/31(木) 13:15:12.12

>>842
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①のx,y,zは、有理数と仮定する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…�ﾆする。
�ﾍr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、
r=z-xが有理数という仮定に反する。
従ってr^(p-1)≠pである。

終わり。

日高 · 2019/10/31(木) 14:36:19.89

>r=z-xが有理数という仮定に反する。

そうですね。

>従ってr^(p-1)≠pである。

すみません。意味がよくわからないので、教えて下さい。

**１３２人目の素数さん** · 2019/10/31(木) 14:44:17.28

簡単な話、r^(p-1)=pを仮定したら矛盾したからr^(p-1)≠pである。

てことじゃないの？

**１３２人目の素数さん** · 2019/10/31(木) 14:50:35.44

https://i.imgur.com/GyJibbQ.jpg

日高 · 2019/10/31(木) 15:29:11.16

>簡単な話、r^(p-1)=pを仮定したら矛盾したからr^(p-1)≠pである。

r^(p-1)=pは、仮定では、ありません。

**１３２人目の素数さん** · 2019/10/31(木) 16:20:12.19

r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…③
から
r^(p-1)=p
とすることは、仮定ではなく漫才である。つまり数学ではないから許される。

**１３２人目の素数さん** · 2019/10/31(木) 16:42:10.46

～とする。
というのは、定義か仮定を意味する。
rもpもすでに出ているので定義ではない。だから仮定。

日高 · 2019/10/31(木) 17:36:05.19

>「rもpもすでに出ているので」

すみません。どういう意味かを、教えて下さい。

**１３２人目の素数さん** · 2019/10/31(木) 17:40:00.93

>>850
すでに定義されているので、の意味

日高 · 2019/10/31(木) 19:40:47.76

>すでに定義されているので、の意味

わかりました。

日高 · 2019/10/31(木) 19:45:50.14

>終わり。

rが有理数の場合は、検討しなくてよいのでしょうか？

**１３２人目の素数さん** · 2019/10/31(木) 19:55:32.80

>>853
検討するべきだよ。
それをやってないから、ずーっと指摘されてたんでしょ。

終わりと書いたけど、証明できたなどとは書いてません。

日高 · 2019/10/31(木) 20:36:36.96

>検討するべきだよ。
それをやってないから、ずーっと指摘されてたんでしょ。

827の証明では、rが有理数の場合を検討したことにはならないのでしょうか？

**１３２人目の素数さん** · 2019/10/31(木) 21:05:01.01

なるわけがない。だから数学じゃないと言われるのだwwwwww

> pは奇素数とする。x^p+y^p=z^p…①のx,y,zは、有理数と仮定する。
　ここで p は奇素数、x,y,zは有理数と仮定しているのだから
> ①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
　z=x+r で定義された r は必ず有理数となる。以後 r は必ず有理数して取り扱わなければならない。
　にもかかわらず、
> r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…③とする。
> ③はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})…④
などと真抜けたことをしている。
　r^(p-1)=p としてしまえば r は実数になってしまうから、それ以降の議論に意味はない。
　何度も何度も指摘されてもわからないんだなあ。

**１３２人目の素数さん** · 2019/10/31(木) 22:30:49.03

827の証明は、r^(p-1)=pが成り立たなくて論理が破綻しているわけだから、証明したことにならない。あたりまえ。

x^p+y^p=z^pの有理数解を見つけるのが目標でz=x+rとしたいなら、
方法１：有理数のrに対して検討する。
方法２：r^(p-1)=pとなるrに対して検討する。ただし、x,y,zは無理数として、整数比になるかどうか検討する。
これのどちらかに取り組まないといけないのに、全くやってない。零点。

日高 · 2019/11/01(金) 08:52:54.09

>z=x+r で定義された r は必ず有理数となる。以後 r は必ず有理数して取り扱わなければならない。

「z=x+r で定義された」
z,xは、有理数と仮定していますが、
どうして、「r は必ず有理数となる。」かが、わかりません。

**１３２人目の素数さん** · 2019/11/01(金) 08:58:39.39

何で自分で勉強せずにその場しのぎで他人に聞いて、都合の悪いことは無視し続けるの？
中学までの教科書の類とかは読んだ？

日高 · 2019/11/01(金) 09:52:04.84

>r^(p-1)=pが成り立たなくて論理が破綻しているわけだから、

r^(p-1)=pは、r=p^{1/(p-1)}のとき、成り立ちます。

日高 · 2019/11/01(金) 09:54:44.71

>都合の悪いことは無視し続けるの？

「無視」は、していないつもりですが？

**１３２人目の素数さん** · 2019/11/01(金) 10:46:34.81

本人の意識なんか聞いてない。
指摘が修正されてないものを再投稿するのも、勉強するべきといわれても勉強しないのも無視した態度。

日高 · 2019/11/01(金) 10:49:48.04

【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①のx,y,zは、有理数と仮定する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})…④となる。
両辺に(a^{1/(p-1)})^pを掛けると、
(xa^{1/(p-1)})^p+(ya^{1/(p-1)})^p=(xa^{1/(p-1)}+(pa)^{1/(p-1)})^p…⑤となる。
rは、有理数となる。
④はp^{1/(p-1)}が無理数なので成り立たない。④が成り立たないので、⑤も成り立たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

**１３２人目の素数さん** · 2019/11/01(金) 11:00:24.05

>>858
z，x ∈ Q なら　r = z - x ∈ Q

**１３２人目の素数さん** · 2019/11/01(金) 11:04:58.95

>>860
成り立たないことが証明されているので、成り立ちません。

>>863
また無視ですね。最低。

日高 · 2019/11/01(金) 12:23:21.02

>成り立たないことが証明されているので、成り立ちません。

すみません。どういう意味でしょうか？

日高 · 2019/11/01(金) 12:26:24.45

>また無視ですね。最低。

863は、827と内容をかえていますが？

**１３２人目の素数さん** · 2019/11/01(金) 12:28:10.82

もう少し謙虚になったほうがいい。高木と同じ道を辿るぞ。

**１３２人目の素数さん** · 2019/11/01(金) 12:35:08.49

同じ指摘が出来るってことは、無視したってことだろが。
痴呆か。しょうがない。

**１３２人目の素数さん** · 2019/11/01(金) 12:51:14.73

それに、続いているやりとりが終わっているわけでもないのに、それを無視しているだろ。