[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(34): 日高 [kokaji222@yahoo.co.jp] 2019/12/20(金)15:51:19.98 ID:1mOJhAe/(1/11) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。
(1)の左辺の右側と右辺の右側は等しいので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。
(2)の有理数解は、x=y=1のみである。z^p=(x+y)にx=1,y=1を代入する。
z^p=1+1=2となる。z^p=2を満たす有理数zはない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
54: 日高 2019/12/21(土)13:07:18.98 ID:MFpkHCEs(20/26) AAS
>53
>君の証明と称する雑文も数学ナビの掲示板以来本質的に何も変わっていないw
そうでしょうか？
58: 日高 2019/12/21(土)14:52:29.98 ID:MFpkHCEs(22/26) AAS
>56
>文2：0でない4つの数A,B,C,Dとある数aについて、AB=aCD(1/a)が成り立つとき、必ずA=aCである
E=aC、F=D(1/a)とおくと、>>55より
0でない4つの数A,B,E,Fについて、AB=EFが成り立つとき、必ずA=Eである
は間違いである
よって文2は間違いである。
その通りですね。
79: 日高 2019/12/22(日)15:13:11.98 ID:JmVFhdX8(9/51) AAS
(x,y,z)=(15,8,17)…(1)
x^2=2y+1に、x=15を代入すると、y=112となる。
(x,y,z)=(15,112,113)…(2)となる。
(1),(2)とも、xの値は等しい。
(1)のとき、z-y=9
(2)のとき、z-y=1
(2)が存在しなければ、(1)は存在しない。
よって、x^2+y^2=z^2の自然数解の有無は、x^2=2y+1のみを、検討すればよい。
90: 日高 2019/12/22(日)17:28:03.98 ID:JmVFhdX8(15/51) AAS
(x,y,z)=(15,8,17)…(1)
x^2=2y+1に、x=15を代入すると、y=112となる。
(x,y,z)=(15,112,113)…(2)となる。
(1),(2)とも、xの値は等しい。
(1)のとき、z-y=9
(2)のとき、z-y=1
(2)が存在しなければ、(1)は存在しない。
よって、x^2+y^2=z^2の自然数解の有無は、x^2=2y+1のみを、検討すればよい。
124(1): 日高 2019/12/22(日)21:41:21.98 ID:JmVFhdX8(32/51) AAS
>116
>連立方程式、知らない？
よくわかりません。
150(1): 2019/12/22(日)22:53:05.98 ID:EfTr4oQ/(12/13) AAS
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
> したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。
ここまでで(「左辺の左側）=(右辺の左側)のとき」も「左辺の左側）=(右辺の左側)とすると」も
でて来ませんので
> (1)の左辺の右側と右辺の右側は等しい
は間違いです。
> 【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
> 【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
> したがって、x^2×1=(z+y)(z-y)…(1)となる。
省4
326(1): 2019/12/25(水)09:51:38.98 ID:PhlXHftl(1/4) AAS
>>318
>『いいえ。』
何故、不要なのだ？
弁解せよ。
私は既に反例を示した。
>詰まり、『1×z^pだけでなく、z×z^(p-1)等のパターンも考慮せねば、全ての解は導けない』ということだろう？
>貴方も申している通り、4×2と8×1で解が異なる。
>無論、2×4と1×8も必要だ。
331(1): 日高 2019/12/25(水)10:14:14.98 ID:I7fkRyTk(9/18) AAS
>326
>>『いいえ。』
何故、不要なのだ？
弁解せよ。
私は既に反例を示した。
>詰まり、『1×z^pだけでなく、z×z^(p-1)等のパターンも考慮せねば、全ての解は導けない』ということだろう？
>貴方も申している通り、4×2と8×1で解が異なる。
>無論、2×4と1×8も必要だ。
8の解は、4×2の解、2×4の解、1×8の解、8×1の解となるからです。
例
省2
362: めだか 2019/12/25(水)16:12:31.98 ID:FTCilfk1(2/2) AAS
女子っぽいな
476(2): 日高 2019/12/28(土)22:38:13.98 ID:bWyUqG08(14/15) AAS
>475
>以下の証明を読んでおかしい部分が分かりますか？
【定理】p=2のとき、x^p+y^p=z^pをみたす3つの偶数の組(x,y,z)が存在する。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
したがって、x^2=(z+y)(z-y)…(1)となる。(z-y)=1…(2)とおく。
(2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。
(3)のyにどんな偶数を代入しても、xは、偶数とならない。
∴p=2のとき、x^p+y^p=z^pをみたす3つの偶数の組(x,y,z)が存在しない。
(3)のyにどんな偶数を代入しても、xは、偶数とならない。
∴p=2のとき、x^p+y^p=z^pをみたす3つの偶数の組(x,y,z)が存在しない。
省1
582: 日高 2019/12/29(日)22:07:25.98 ID:0OrGG5Rh(51/62) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
したがって、x^2*1=(z+y)(z-y)…(1)となる。
(左辺の右側)=(右辺の右側)となるので、1=(z-y)…(2)とおく。
(2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。
(3)のxに任意の有理数を代入すると、yは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
747(1): 日高 2020/01/10(金)22:30:09.98 ID:ojAexXlb(8/10) AAS
>746
>z^p×1=(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=(x+y)は無条件には出ません。
わかりますか？
分からないので、詳しく説明していただけないでしょうか。
888(4): 2020/01/14(火)21:16:55.98 ID:A6QNiooL(2/3) AAS
>>882
> z^pとz^p*1と(z^p/2)*2と(z^p/3)*3は、同じなので、
> z^p*1のみを検討すればよいです。
証明の手順を見てみると、
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}とz^p=(x+y)
を満たす有理数を探しています。
となると、
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}とz^p=(x+y)
と
2={x^(p-1)-x^(p-2)y+…+y^(p-1)}とz^p/2=(x+y)
省1
955(1): 2020/01/16(木)03:25:34.98 ID:U6MkxwPF(2/4) AAS
>>954 修正
「あなたの証明の中で実際にやってみる前に」使うことはできない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s