[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
477: 日高 2019/12/28(土)22:52 ID:bWyUqG08(15/15) AAS
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】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)のxに任意の有理数を代入すると、yは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
478(1): 2019/12/28(土)23:04 ID:e1nEaXTs(2/2) AAS
>>476
どうおかしいですか？
(3)のyに偶数を入れてxが偶数となるようにできる、ということですか？
それとも、yは偶数、xは偶数でないような3つの偶数の組(x,y,z)があるということですか？
479(1): 2019/12/29(日)02:24 ID:d9MTGnU7(1/4) AAS
改めて読み直してみたけど
>>440の指摘は認めているんだよね
1×8,2×4,4×2,8×1の例だと4パターンくらいで計算できる優しさがあったけど、それでも全パターン当たらないと全ての解は得られないよね
連立方程式の解の部分が例えば100!とかになったらどうするんだろ
更にpがより大きな数になったときどうするんだろう
どんな回答もってくるか楽しみw
480(2): 日高 2019/12/29(日)07:34 ID:0OrGG5Rh(1/62) AAS
>473
>どこが誤りでしたか？
(x^p+y^p)*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}これは、恒等式
(左辺の左側)＝(右辺の左側)を満たす有理数x,yは存在しない。
恒等式であっても、間違いではないですね。
再訂正します。
481(2): 日高 2019/12/29(日)07:37 ID:0OrGG5Rh(2/62) AAS
>472
>> (3)のxに任意の有理数を代入すると、yは、有理数となる。
> ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
この部分の論理展開が不完全です。
なぜ、論理展開が不完全ということになるのでしょうか？
482: 日高 2019/12/29(日)07:39 ID:0OrGG5Rh(3/62) AAS
>474
>> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
自然数解の非存在証明ですよ。
そうですね。
483(1): 日高 2019/12/29(日)07:47 ID:0OrGG5Rh(4/62) AAS
>478
>どうおかしいですか？
>(3)のyに偶数を入れてxが偶数となるようにできる、ということですか？
yに偶数を入れてxが偶数となるようには、できません。
>それとも、yは偶数、xは偶数でないような3つの偶数の組(x,y,z)があるということですか？
∴p=2のとき、x^p+y^p=z^pをみたす3つの偶数の組(x,y,z)が存在しない。
が、おかしいです。
484(1): 日高 2019/12/29(日)07:53 ID:0OrGG5Rh(5/62) AAS
>479
>1×8,2×4,4×2,8×1の例だと4パターンくらいで計算できる優しさがあったけど、それでも全パターン当たらないと全ての解は得られないよね
全パターン当たる必要は、ありません。
1×8=2×4=4×2=8×1だからです。
485(1): 2019/12/29(日)08:22 ID:ZnxRGV3y(1) AAS
>>484
２パターンに削れるだろ
486: 日高 2019/12/29(日)08:31 ID:0OrGG5Rh(6/62) AAS
>485
>２パターンに削れるだろ
そうですね。
487: 日高 2019/12/29(日)08:37 ID:0OrGG5Rh(7/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)となる。(z-y)=1…(2)とおく。
(左辺の右側)=(右辺の右側)となるので、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は、自然数解を持つ。
488(1): 日高 2019/12/29(日)08:42 ID:0OrGG5Rh(8/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は、自然数解を持つ。
489(1): 日高 2019/12/29(日)08:52 ID:0OrGG5Rh(9/62) 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={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。
(2)の有理数解は、x=1,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は、自然数解を持たない。
490(1): 日高 2019/12/29(日)10:06 ID:0OrGG5Rh(10/62) AAS
>480
訂正します。
(x^p+y^p)*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}これは、恒等式
(左辺の左側)＝(右辺の左側)を満たす有理数x,yは存在しない。×
(左辺の左側)＝(右辺の左側)を満たす有理数x,yは1のみである。○
491: 2019/12/29(日)10:10 ID:LGzujaMz(1/4) AAS
>>488
(左辺の右側)=(右辺の右側)となるので、1=(z-y)…(2)とおく。
>>489
(左辺の右側)=(右辺の右側)となるので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。
数学として意味不明な表現。ゴミ。
492(2): 2019/12/29(日)11:12 ID:e3HdTM/M(1/5) AAS
>>481
> >472
> >> (3)のxに任意の有理数を代入すると、yは、有理数となる。
> > ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
>
> この部分の論理展開が不完全です。
>
> なぜ、論理展開が不完全ということになるのでしょうか？
日高が数学使おうとしないから。
493(1): 日高 2019/12/29(日)11:16 ID:0OrGG5Rh(11/62) AAS
>492
>日高が数学使おうとしないから。
よく意味がわかりません。
494(1): 2019/12/29(日)11:39 ID:ru30+Q3K(1/11) AAS
>>481
> >> (3)のxに任意の有理数を代入すると、yは、有理数となる。
> > ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
>
> この部分の論理展開が不完全です。
>
> なぜ、論理展開が不完全ということになるのでしょうか？
散々指摘したけども例えば >>455 あたりを参照。
「任意の」をやめればという訂正案を提示しても無視だもんなあ。
495: 2019/12/29(日)11:43 ID:e3HdTM/M(2/5) AAS
>>493
> >492
> >日高が数学使おうとしないから。
>
> よく意味がわかりません。
意味が分からないのはお前の責任。
こっちに擦り付けるな。
496(1): 2019/12/29(日)12:09 ID:rghD6tGc(1/11) AAS
>>483
>>(3)のyに偶数を入れてxが偶数となるようにできる、ということですか？
>yに偶数を入れてxが偶数となるようには、できません。
じゃあどうします？どんな数字を入れたらxが偶数になりますか？
>>それとも、yは偶数、xは偶数でないような3つの偶数の組(x,y,z)があるということですか？
> ∴p=2のとき、x^p+y^p=z^pをみたす3つの偶数の組(x,y,z)が存在しない。
> が、おかしいです。
省1
上下前次1-新書関写板覧索設栞歴
あと 506 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s