[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明4 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
834(1): 日高 2020/01/12(日)13:02 ID:skflLDNG(10/11) AAS
>832
>それでは結局「B=Dのときと、B=Dでないときがある」ことに変わりはありませんね。
B=Dでないときに解が見つかるかもしれないのにそのことを全く確かめていないので
証明は間違いです。
B=Dでないときに解があるとすれば、B=Dのときにも、解があります。
（p=2の場合を参照して下さい。）
835(2): 2020/01/12(日)13:04 ID:YsDNPwVw(3/3) AAS
>>834
> B=Dでないときに解があるとすれば、B=Dのときにも、解があります。
そのことを証明していないので、証明は間違いです。
836: 日高 2020/01/12(日)13:12 ID:skflLDNG(11/11) 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)となる。
x^2=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)のとき、x^2=(z+y)となるので、x^2=2y+1となる。
x^2=2y+1のxに任意の有理数を代入すると、yは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
837(4): 2020/01/12(日)20:31 ID:W3G0Myzk(1) AAS
>>825 日高
> 【定理】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)}となる。
> z^p=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
> AB=CDならば、B=Dのとき、A=Cとなる。
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}とz^p=(x+y)を共に満たす有理数は、(x,y)=(0,1)、(x,y)=(1,0)のみである。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
フェルマーの最終定理に反例があったとする。A^p+B^p=C^pをその反例とする。
k={(A+B)/(C^p)}^{1/(p-1)}とおくとこれは有理数とは限らない実数である。
省6
838(1): 2020/01/13(月)09:54 ID:NSZZOCk5(1) AAS
＞AB=CDならば、B=Dのとき、A=Cとなる。
奇数芸人の高木氏も同じネタを持ってるな
839(1): 2020/01/13(月)11:54 ID:xBetH7gd(1) AAS
>>837
なるほど。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}とz^p=(x+y)を共に満たす実数(x,y)があっても、
反例A^p+B^p=C^pが出てくるわけか。
840(1): 日高 2020/01/13(月)12:38 ID:wbN54gWf(1/22) AAS
>835
>> B=Dでないときに解があるとすれば、B=Dのときにも、解があります。
>そのことを証明していないので、証明は間違いです。
z^pと(z^p)*1と(z^p)/2*2は、同じです。
(z^p)*1のとき、x,y,zの有理数解が、ないならば、(z^p)/2*2のときも、ありません。
841(2): 2020/01/13(月)12:57 ID:3CCji5eR(1) AAS
>>840
> >835
> >> B=Dでないときに解があるとすれば、B=Dのときにも、解があります。
>
> >そのことを証明していないので、証明は間違いです。
>
> z^pと(z^p)*1と(z^p)/2*2は、同じです。
> (z^p)*1のとき、x,y,zの有理数解が、ないならば、(z^p)/2*2のときも、ありません。
何の説明にもなってない。妄想。意味不明。きちんとした数学で述べよ。
842(1): 2020/01/13(月)14:03 ID:CDcZ//wt(1) AAS
高木自身はこの証明が正しいと思ってるの?
それとも間違いを腑に落ちるように説明してほしいの?
正しいと思ってるなら、(正誤は置いておいて)こんな初等的な計算で解けるような問題が300年も解かれなかったのはなんでだと思う?
843(1): 日高 2020/01/13(月)15:07 ID:wbN54gWf(2/22) AAS
>837
>k={(A+B)/(C^p)}^{1/(p-1)}とおくとこれは有理数とは限らない実数である。
すみません。よく理解できないので、説明していただけないでしょうか。
844(1): 2020/01/13(月)15:10 ID:jsswnQPu(1/7) AAS
>>843
どこが理解できないの？
845: 日高 2020/01/13(月)15:11 ID:wbN54gWf(3/22) AAS
>838
>＞AB=CDならば、B=Dのとき、A=Cとなる。
>奇数芸人の高木氏も同じネタを持ってるな
高木氏の同じネタとは、どのようなものかを教えていただけないでしょうか。
846: 日高 2020/01/13(月)15:13 ID:wbN54gWf(4/22) AAS
>839
>なるほど。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}とz^p=(x+y)を共に満たす実数(x,y)があっても、
反例A^p+B^p=C^pが出てくるわけか。
よく理解できないので、詳しく説明していただけないでしょうか。
847(1): 日高 2020/01/13(月)15:16 ID:wbN54gWf(5/22) AAS
>841
>> z^pと(z^p)*1と(z^p)/2*2は、同じです。
> (z^p)*1のとき、x,y,zの有理数解が、ないならば、(z^p)/2*2のときも、ありません。
何の説明にもなってない。妄想。意味不明。きちんとした数学で述べよ。
どの部分が、意味不明かを教えていただけないでしょうか。
848(2): 2020/01/13(月)15:17 ID:kLh6QnAo(1/2) AAS
>>847
> >841
> >> z^pと(z^p)*1と(z^p)/2*2は、同じです。
> > (z^p)*1のとき、x,y,zの有理数解が、ないならば、(z^p)/2*2のときも、ありません。
> 何の説明にもなってない。妄想。意味不明。きちんとした数学で述べよ。
>
> どの部分が、意味不明かを教えていただけないでしょうか。
日高が説明したところ全部。
849: 日高 2020/01/13(月)15:18 ID:wbN54gWf(6/22) AAS
>842
>高木自身はこの証明が正しいと思ってるの?
それとも間違いを腑に落ちるように説明してほしいの?
正しいと思ってるなら、(正誤は置いておいて)こんな初等的な計算で解けるような問題が300年も解かれなかったのはなんでだと思う?
高木ではありません。日高です。
わかりません。
850(1): 日高 2020/01/13(月)15:22 ID:wbN54gWf(7/22) AAS
>844
>どこが理解できないの？
k={(A+B)/(C^p)}^{1/(p-1)}とおくと
この式のことです。
851(1): 2020/01/13(月)15:24 ID:jsswnQPu(2/7) AAS
>>850
この式のどこが理解できない？
852(1): 日高 2020/01/13(月)15:26 ID:wbN54gWf(8/22) AAS
>848
>> どの部分が、意味不明かを教えていただけないでしょうか。
日高が説明したところ全部。
どのように、説明していいかわかりません。
853(1): 日高 2020/01/13(月)15:30 ID:wbN54gWf(9/22) AAS
>851
>この式のどこが理解できない？
k={(A+B)/(C^p)}^{1/(p-1)}とおくと
なぜこのような形にできるかがわかりません。
上下前次1-新書関写板覧索設栞歴
あと 149 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s