[過去ログ] フェルマーの最終定理の簡単な証明2 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
36: 2019/11/09(土)14:18:24.66 ID:cXMxYFtG(3/3) AAS
定義している x と未定義の y、r をどうして
z = x + r
と置くことは、可能であると断定できるのだ?
228: 2019/11/13(水)20:45:52.66 ID:93YysfXh(8/10) AAS
>>225
> 考える材料を示して下さい。抽象的言葉では、分かりません。
数学は抽象的な学問です。出直せよ。
337: 2019/11/15(金)13:15:42.66 ID:fIdETCgp(1) AAS
>>335
数学において、定義が述べられないということは、その概念・言葉を使う資格がないということだ。
使うな。
442(2): 2019/11/17(日)10:08:32.66 ID:PM8ae5LK(3/12) AAS
>>441
> >間違ってるから間違っていると言われているんであって、思い込みで言い訳はやめろよ。
>
> 間違っている箇所をご指摘いただけないでしょうか。
全部。具体的じゃん。
674: 日高 2019/11/21(木)12:10:55.66 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が、無理数となれば、仮定は成り立ちません。
692: 日高 2019/11/22(金)09:19:58.66 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…Aとする。
Aを積の形に変形してrを求める。x,y,z,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…➃となる。
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
782: 2019/11/23(土)10:48:05.66 ID:SOFHhtFu(3/3) AAS
>>778
> それにCの大文字の X、Y、Z と Dの a が何であるかも不明だぞ。
>
> 大文字の X、Y、Zは、r=(pa)^{1/(p-1)}のときの、x,y,zです。
> aは、(pa)^{1/(p-1)}が有理数のときのaです。
全部意味不明。
808: 2019/11/25(月)12:02:55.66 ID:D3hi30e+(2/4) AAS
>> 804
すでに定義されているzを再び
z=..
と定義するのはダメ。
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.052s