[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明5 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
933(1): 2020/02/08(土)19:02 ID:YMPcf9ff(1/5) AAS
命題「AB=CDならばA=Cのとき、B=Dとなる。」から言えるのは、
AB=CDかつA=CのときB=Dとなることだけで、
A=Cである証明がない場合はB=Dとなるとは言えないのだよ。
936(1): 2020/02/08(土)19:13 ID:YMPcf9ff(2/5) AAS
>>899の主張で日高が何を言っているか見てみようか
＞(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
と言っているのだから、
＞1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
は、B=Dであることを証明しているのではなく、x=1,y=1の時に限りB=Dであることしか言っていない。
x=1,y=1以外の時はB≠Dなのだから、この行はB=Dの証明とはなっていないし、>>899の他の部分にもB=Dである証明は一切ない。
よって、>>899は証明と呼べるものでは全くない
939(2): 2020/02/08(土)19:24 ID:YMPcf9ff(3/5) AAS
>>935
何を言っとるかようわからんが
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}からx=1,y=1が推論できても
a={x^(p-1)-x^(p-2)y+…+y^(p-1)}からx=1,y=1が推論できないんだから全然ダメでしょ
953(1): 2020/02/08(土)21:20 ID:YMPcf9ff(4/5) AAS
＞(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
＞(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
＞(3)が成り立たないならば、(2)も成り立ちません。
それが何か？
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}からx=1,y=1が推論できても
a={x^(p-1)-x^(p-2)y+…+y^(p-1)}からx=1,y=1が推論できないことには変わりがない
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}は(2)の特殊なケースに過ぎない
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}のとき解がないから
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のとき解がないとは言えない
もちろん
省2
964(1): 2020/02/08(土)21:50 ID:YMPcf9ff(5/5) AAS
＞> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}のとき解がないから
＞> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のとき解がないとは言えない
＞> (z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}のとき解がないとは言えない
＞どうしてでしょうか？
1={x^(p-1)-x^(p-2)y+…+y^(p-1)} と (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)} の間に同値関係も包含関係もないからです
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.432s*