[過去ログ] フェルマーの最終定理の簡単な証明2 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
76: 2019/11/11(月)09:56:02.99 ID:NWH2HDpI(2/2) AAS
>>72
> 本に書いて無い場合は、駄目なのでしょうか?
駄目だね。
自己流のデタラメなのを本人が努力しても無駄だし。
173(2): 日高 2019/11/13(水)10:24:29.99 ID:obOmojuw(10/40) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。
@をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。
Aを(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)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。
省1
231(2): 日高 2019/11/13(水)20:52:22.99 ID:obOmojuw(38/40) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。
@をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。
Aを(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)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。
省1
461: 2019/11/17(日)12:48:28.99 ID:p8EJ3dKi(1) AAS
じじいの開き直りって最低だな
厚顔無恥
575: 日高 2019/11/19(火)11:10:46.99 ID:YUDnqgOv(13/32) AAS
>r^(p-1) = {x^(p-1)+…+r^(p-2)x}
も考慮しなければならない。
r={x^(p-1)+…+r^(p-2)x}^{1/(p-1)}とすると、rが定まりません。
>Bだけが機種依存文字になっている。
見苦しいから書き直そう。この投稿のBと比べれば老眼でもよくわかるはずである。
すみません。原因が、分かりません。
594: 2019/11/19(火)15:58:10.99 ID:r6MNliIO(6/7) AAS
>>593
痴呆決定だな。
自分が何に返事してその返事が相手に認められたのかどうか全部メモっておけよ。
620: 2019/11/20(水)11:13:00.99 ID:kAVzygf1(1) AAS
>>617
はい?説明になってませんが
結局p= 7, x = 100^(1/7), y = 200^(1/7), z = 300^(1/7)のとき、p=1なんですか?それともp=1じゃないんですか?
892(1): 日高 2019/11/27(水)10:29:14.99 ID:tuk4Ic8H(7/17) AAS
>証明に「r=(pa)^{1/(p-1)}となるのでrは有理数となる。」と書いてある。
aが有理数だとrは有理数にならないが、それでいいのか?
いいです。
p=3,
a=3のとき、
r=3となります。
923(1): 日高 2019/11/28(木)09:53:12.99 ID:1uG5ZQsU(7/30) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…@を、z=x+rとおいて、x^p+y^p=(x+r)^p…Aとする。
Aを積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
Aを(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)}となる。Aは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)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、Eも式は成り立たない。
省1
972: 2019/11/28(木)21:50:19.99 ID:yb2KzDBF(1/2) AAS
>>969
> >自分で考えずただ聞き返すのはごまかし。知りたいからとただ聞き返す権利なんかねえよ。
>
> すみません。考えてわからないので、聞きました。
考えるってのは、いろいろ調べたり勉強しながら試行錯誤する事だ。すぐに返事があることが考えてない証拠。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.029s