[過去ログ] フェルマーの最終定理の簡単な証明2 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
423(3): 日高 2019/11/16(土)16:59 ID:qdMW1Zfe(39/42) 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
425: 2019/11/16(土)17:27 ID:kf6J75f3(15/15) AAS
>>423
無視するなボケが。間違い。
>>374
>>403
あわせて嘘つき。
理由は、おまえが矛盾することを書いてるから。
分かるまで考えろよ。
1週間でも2週間でも。
1ヶ月考えて分からなかったら何を考えたかまとめてレポートしてくれ。
427: 2019/11/16(土)18:57 ID:lcOyxOVE(8/9) AAS
>>423
www.mathnavi.sakura.ne.jp/bbs/file1/1566994774.png
┌日┐
|※| 毎日毎日、暇を持て余している爺さんです。(´・ω・`)
|数|
|学| 数学力、国語力は小学生レベルも怪しいです
|の|
|本| a^{1/(1-1)}という表現が可能かどうかわかりませんが、
|は|
|読| a^{1/(1-1)}が数であることには変わりはありません。
省7
432: 2019/11/16(土)22:17 ID:QcBC6k3u(1) AAS
>>423の解法の方針は、
x^p+y^p=z^p となるどんな実数についても、
x,y,z に適当な実数 k を掛けて x'=kx, y'=ky, z'=kz とすることで、
z’=x’+p^{1/(p-1)} とすることができる、
この x',y',z' が整数比とならないことを証明する、
ってことでよいの?
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 1.006s*