[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
673: 2019/11/21(木)11:53 ID:6gK+cqGO(3/6) AAS
>> 672
一度にそんなにたくさんの情報を与えても日高には理解できないよ。
>> 671 の情報だけでたくさん。
674: 日高 2019/11/21(木)12:10 ID:hxF/WtyM(10/15) AAS
>しかしzという文字はすでに登場しているので、再定義不可。
すみません。よく理解することが、できませんので、可能ならば、
もう少し詳しく説明していただなでしょうか。
x^p+y^p=z^pなので、z^p=x^p+y^pとなります。z^pをx^p+y^pと定義したことになります。
z=x+rならば、z^p=(x+r)^pとなるので、z^pを(x+r)^pと定義したことになります。
z^p=z^pなので、x^p+y^p=(x+r)^pとなります。
zは、有理数と仮定しているので、rが有理数となれば、仮定は成り立ちます。
rが、無理数となれば、仮定は成り立ちません。
675: 2019/11/21(木)12:15 ID:6gK+cqGO(4/6) AAS
一般に数学では定義は一度しかできないの。
すでに z という文字は登場しているのに、後でまた「zをこう定義する」とするのは間違い。
これのどこが分からない？
676: 日高 2019/11/21(木)12:39 ID:hxF/WtyM(11/15) AAS
>最初
x,y,zを有理数と仮定したとき
なのだから
z=x+rとおくと
のように未定義の r で z を定義できない。
「z=x+rと仮定すると」に修正してもダメでしょうか。
677: 2019/11/21(木)12:49 ID:6gK+cqGO(5/6) AAS
ダメ。意味不明。
678: 2019/11/21(木)13:02 ID:ew7Wf6j6(2/2) AAS
>「z=x+rと仮定すると」に修正してもダメでしょうか
r が何者かわかってないのに、仮定なんかできるわけねえだろ。日本語がわかるのかね？
r がオマンコだったらどうするのだwwwwww
有理数 x と オマンコ r の加法から定義しないとならんぞ。
679: 日高 2019/11/21(木)17:51 ID:hxF/WtyM(12/15) AAS
>最初
x,y,zを有理数と仮定したとき
なのだから
z=x+rとおくと
のように未定義の r で z を定義できない。
仮に
r = z - x とおくと
とした場合は r は有理数なので
③はr^p=pとすると
とはできない。
省1
680(1): 日高 2019/11/21(木)18:21 ID:hxF/WtyM(13/15) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,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は無理数となり、②は成り立たない。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も成り立たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
681: 2019/11/21(木)20:00 ID:KKmql5AP(1/2) AAS
>>680
ゴミ。やりとりが終わって一段落してからにしろよ。
682(1): 日高 2019/11/21(木)20:13 ID:hxF/WtyM(14/15) AAS
>ゴミ。やりとりが終わって一段落してからにしろよ。
すみません。やり取りの返事が、待てないので、
修正しました。
どうでしょうか？ご指摘お願いします。
683: 2019/11/21(木)20:22 ID:KKmql5AP(2/2) AAS
>>682
> >ゴミ。やりとりが終わって一段落してからにしろよ。
>
> すみません。やり取りの返事が、待てないので、
> 修正しました。
>
> どうでしょうか？ご指摘お願いします。
ゴミ。
684: 日高 2019/11/21(木)20:32 ID:hxF/WtyM(15/15) AAS
>ゴミ。
すみません。よろしくお願いします。
685: 2019/11/21(木)20:57 ID:d9ef+Fx5(1) AAS
因果はめぐるもの
指摘を無視し続ける日高は
そのうち誰からも相手にされなくなる
686: 2019/11/21(木)21:34 ID:6gK+cqGO(6/6) AAS
>> 680
> z=x+rとおいて、
すでに定義されているzを再定義している。間違い。
687: 日高 2019/11/22(金)08:43 ID:8QCwVY78(1/36) AAS
>指摘を無視し続ける日高は
すみません。どの部分が、指摘を無視したことになるのでしょうか？
688: 日高 2019/11/22(金)08:47 ID:8QCwVY78(2/36) AAS
>> 680
> z=x+rとおいて、
すでに定義されているzを再定義している。間違い。
すみません。680は、「zを再定義している。」ことになるのでしょうか？
この場合のrは、有理数です。
689: 2019/11/22(金)08:59 ID:4AjXEqkN(1/2) AAS
おお、爺さん。起きたか。今日も暇でけっこうなことだ。
690(1): 日高 2019/11/22(金)09:02 ID:8QCwVY78(3/36) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,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)})^p…➃となる。
rは無理数となるので、➃は成り立たない。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も成り立たない。
省2
691: 日高 2019/11/22(金)09:11 ID:8QCwVY78(4/36) AAS
>おお、爺さん。起きたか。今日も暇でけっこうなことだ。
よろしくお願いします。
692: 日高 2019/11/22(金)09:19 ID:8QCwVY78(5/36) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,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)})^p…➃となる。
rは無理数となるので、➃は成り立たない。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も成り立たない。
省1
上下前次1-新書関写板覧索設栞歴
あと 310 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.012s