[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
141(2): 2019/12/22(日)22:36 ID:HjBnJeEI(5/14) AAS
>>138 日高
> >135
> AB=CDならば、A=Cのとき、B=Dとなる。
> この場合、A=Cとなるかは、確かめてはいません。
だから，小学校卒業レベルの「論理」がわかっていないんだよ。
142(1): 日高 2019/12/22(日)22:39 ID:JmVFhdX8(41/51) AAS
>134
> AB=CDならば、A=Cのとき、B=Dとなる。
ではこれを証明してください。
A=6、B=1、C=3*2、D=3*(1/3)
6*1=3*2*3*(1/3)
143(1): 日高 2019/12/22(日)22:41 ID:JmVFhdX8(42/51) AAS
>137
>「1=(z-y)とすると」なので、1=(z-y)をたしかめる必要はありません。
>そうだとしたら、この後の議論では常に「1=(z-y)とすると」を付加せねばなりません。
そうですね。
144: [saeg] 2019/12/22(日)22:43 ID:HjBnJeEI(6/14) AAS
>>142 日高
> >134
> > AB=CDならば、A=Cのとき、B=Dとなる。
> ではこれを証明してください。
>
> A=6、B=1、C=3*2、D=3*(1/3)
> 6*1=3*2*3*(1/3)
これは例を挙げただけ。これが証明になっていると思うなら，小学校の算数からやり直せ。
145(1): 日高 2019/12/22(日)22:44 ID:JmVFhdX8(43/51) AAS
>139
>(左辺) = z^p * 1 = z^(p-1) * z = ... = z * z^(p-1) = 1 * z^p
これらの場合、何故考えないの？
同じだからです。
146(3): 2019/12/22(日)22:44 ID:HjBnJeEI(7/14) AAS
>>143 日高
> >137
> >「1=(z-y)とすると」なので、1=(z-y)をたしかめる必要はありません。
>
> >そうだとしたら、この後の議論では常に「1=(z-y)とすると」を付加せねばなりません。
>
> そうですね。
じゃあそれを付加して、君の証明とやらを書いてごらん。
147: 日高 2019/12/22(日)22:47 ID:JmVFhdX8(44/51) AAS
>140
>AB=CDならば、…(1)
A=Cのとき、…(2)
B=Dとなる。…(3)
あなたは>>1でも>>2でも(2)を書いていませんし、本当に(2)を満たすA,Cがあるのかどうか
確かめてもいません。
ｊなので間違いです。
A=Cのとき、…(2)は、正確には「A=Cとすると」です。
148(2): 日高 2019/12/22(日)22:50 ID:JmVFhdX8(45/51) AAS
>146
>じゃあそれを付加して、君の証明とやらを書いてごらん。
付加するだけなので、同じです。
149(1): 2019/12/22(日)22:51 ID:zXV7IPoi(11/12) AAS
>145
貴方の書き方をマネすれば、
したがって、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)となる。
したがって、z^(p-1)×z=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。
(1)の左辺の右側と右辺の右側は等しいので、z={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。
したがって、z^(p-2)×z^2=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。
(1)の左辺の右側と右辺の右側は等しいので、z^2={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。
省1
150(1): 2019/12/22(日)22:53 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
151(2): 2019/12/22(日)22:54 ID:HjBnJeEI(8/14) AAS
>>148 日高
> >146
> >じゃあそれを付加して、君の証明とやらを書いてごらん。
>
> 付加するだけなので、同じです。
同じなら、付加した形で書いてごらんよ。何か問題ある？
152(1): 日高 2019/12/22(日)22:54 ID:JmVFhdX8(46/51) AAS
>141
>AB=CDならば、A=Cのとき、B=Dとなる。
> この場合、A=Cとなるかは、確かめてはいません。
>だから，小学校卒業レベルの「論理」がわかっていないんだよ。
「A=Cのとき、」は、正確には「A=Cとすると」です。
153(2): 2019/12/22(日)22:58 ID:HjBnJeEI(9/14) AAS
>>152 日高
> >141
> >AB=CDならば、A=Cのとき、B=Dとなる。
> > この場合、A=Cとなるかは、確かめてはいません。
> >だから，小学校卒業レベルの「論理」がわかっていないんだよ。
>
> 「A=Cのとき、」は、正確には「A=Cとすると」です。
「〜のとき」と「〜とすると」は同義ですからそれはどうでもよろしい。
そう仮定したなら、以下ずっと「A=Cとすると」を書き加えねばなりません。
154(1): 日高 2019/12/22(日)22:59 ID:JmVFhdX8(47/51) AAS
>149
z^(p-1)×z=z^pとなるので、同じとなります。
155(1): 日高 2019/12/22(日)23:04 ID:JmVFhdX8(48/51) AAS
>150
>> (1)の左辺の右側と、(1)の左辺の右側は等しい
>は間違いです。
正確には、(左辺の右側)=(左辺の右側)とすると、です。
156(1): 2019/12/22(日)23:05 ID:HjBnJeEI(10/14) AAS
普通の人は、pを3として
(x^3+y^3)*1=(x+y)(x^2-xy+y^2)から1=x^2-xy+y^2を導いたとしても
x=2,y=3を代入して1=2^2-2*3+3^2となった時点で1=7だから何か間違えたと考える。
日高氏式フェルマーの最終定理の証明：
z^p=x^p+y^pとおいてz^p*1=1*z^p、これら両辺の右が等しいので1=z^p,z=1となって矛盾。
157(1): 日高 2019/12/22(日)23:07 ID:JmVFhdX8(49/51) AAS
>151
>同じなら、付加した形で書いてごらんよ。何か問題ある？
問題は、ありませんが、今のところ書く予定はありません。
158(1): 日高 2019/12/22(日)23:10 ID:JmVFhdX8(50/51) AAS
>153
>「〜のとき」と「〜とすると」は同義ですからそれはどうでもよろしい。
そう仮定したなら、以下ずっと「A=Cとすると」を書き加えねばなりません。
そうですね。
159: 2019/12/22(日)23:13 ID:HjBnJeEI(11/14) AAS
>>157 日高
> >151
> >同じなら、付加した形で書いてごらんよ。何か問題ある？
>
> 問題は、ありませんが、今のところ書く予定はありません。
じゃあ次にフェルマーの最終定理の簡単な証明を書くときには付加しますね？
160(1): 日高 2019/12/22(日)23:13 ID:JmVFhdX8(51/51) AAS
>156
>普通の人は、pを3として
(x^3+y^3)*1=(x+y)(x^2-xy+y^2)から1=x^2-xy+y^2を導いたとしても
x=2,y=3を代入して1=2^2-2*3+3^2となった時点で1=7だから何か間違えたと考える。
この場合は、1=x^2-xy+y^2を満たす、x,yを考えます。
上下前次1-新書関写板覧索設栞歴
あと 842 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s