フェルマーの最終定理の証明 (843ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
578(1): 12/03(水)10:22 ID:S1hQ3oOs(1/16) AAS
>>573
> (y-1)=3のとき以外のフェルマーの最終定理(n=3)は自明であり
>
> これは、フェルマーの最終定理により自明です。
> と言ってることと、同じです。
よってあなたの証明方法は フェルマーの最終定理により自明です と言ってることと同じですので間違っています
> (y-1)=3以外の場合はxが無理数であるということは自明ということですよね？
省3
584(1): 12/03(水)11:35 ID:S1hQ3oOs(2/16) AAS
>>579
> よってあなたの証明方法は フェルマーの最終定理により自明です と言ってることと同じですので間違っています
>
> 私は、(2)をk/k=1とした場合と、しなかった場合で、成否が変われば矛盾。と言っています。
それだと以下のように証明できていないですよ
n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。のyを有理数とした場合の証明は
証明は開始時点のxが[有理数と確定]:なし [無理数と確定]:なし [有理数か無理数かどうか不明]:全部 から始めて
省10
585(1): 12/03(水)11:43 ID:S1hQ3oOs(3/16) AAS
>>579
> よってあなたの証明方法は フェルマーの最終定理により自明です と言ってることと同じですので間違っています
>
> 私は、(2)をk/k=1とした場合と、しなかった場合で、成否が変われば矛盾。と言っています。
成否が変わらないことではなくてそれとは別に
> (y-1)=3のときしか (y^2+y+1)=(x^2+x)/kとならない ことのチェックはしていないですが
> (y-1)=3以外の場合はxが無理数であるということは自明ということですよね？
省3
598(1): 12/03(水)18:28 ID:S1hQ3oOs(4/16) AAS
>>586
> 証明が終了した時点でxは[有理数と確定]:なし [無理数と確定]:y=4の場合 [有理数か無理数かどうか不明]:y=4以外の全部
>
> どういう意味でしょうか？
> 分かりやすく書いていただけないでしょうか。
これで分かりやすいと思って書いていますが改行が増えるとあなたは読めないでしょ？
こちらの方が良いですか？
省4
600: 12/03(水)19:43 ID:S1hQ3oOs(5/16) AAS
>>599
> 証明が終了した時点で
> xは[有理数と確定]:なし
>
> これは、どういう意味でしょうか？
結局のところあなたが書いてあることを全部見ないと意味は分からないと思います
xは[無理数と確定]:y=4の場合
省3
601(1): 12/03(水)19:53 ID:S1hQ3oOs(6/16) AAS
あなたの用語の使い方が分かってきましたがやはり証明は間違っています
>>590
> n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
> X^3+Y^3=Z^3をy^3=(x+1)^3-x^3…(1)とおく。(y,xは有理数)
> (1)を(y-1)(y^2+y+1)=k3(x^2+x)/k…(2)とおく。
> (2)をk/k=1とした場合と、しなかった場合で、成否が変われば矛盾。
この時点で矛盾が起きるかどうかは不明(矛盾は起きていない)
省4
611(1): 12/03(水)21:22 ID:S1hQ3oOs(7/16) AAS
>>602
> (2)をk/k=1とした場合と、しなかった場合で、成否が変われば矛盾。よって、
> k/k=1としなかった場合に、成となれば、矛盾が生じることになります。
> 否となれば、矛盾は生じません。
それは分かっています
あなたの証明の問題点は(y-1)=3以外の場合は成なのか否なのか不明なので矛盾が生じるかどうかも不明ということです
つまり
省2
613(1): 12/03(水)21:38 ID:S1hQ3oOs(8/16) AAS
>>612
> >矛盾が起きないことは示されていない
> 起きた場合は矛盾することになります。
> (2)をk/k=1とした場合と、しなかった場合で、成否が変われば矛盾。より、
それはあたりまえです
矛盾が起きないことは示されていない ことには関係ありません
あなたの証明の問題点は(y-1)=3以外の場合は成なのか否なのか不明なので矛盾が生じるかどうかも不明ということです
省3
623(1): 12/03(水)22:48 ID:S1hQ3oOs(9/16) AAS
>>619
> 同じ式
> (y-1)(y^2+y+1)=k3(x^2+x)/kと
> (y-1)(y^2+y+1)=3(x^2+x)で、
> 成立つか、成立たないかが、変わるのは、おかしいということです。
> 成立つか、成立たないかが、変わるのは
xの値に関係なく変わることはありませんのでxが有理数でも矛盾は生じません
630(1): 12/03(水)23:12 ID:S1hQ3oOs(10/16) AAS
>>625
> > 成立つか、成立たないかが、変わるのは
> xの値に関係なく変わることはありませんのでxが有理数でも矛盾は生じません
>
> 意味がわかりません。
> 同じ式
> (y-1)(y^2+y+1)=k3(x^2+x)/kと
省7
632(1): 12/03(水)23:15 ID:S1hQ3oOs(11/16) AAS
>>629
> (3)は(y-1)=3のとき、(y^2+y+1)=(x^2+x)とならないので、(3)は成立たない。よって、(2)も成立たない。
は書き方があいまいで
(3)は成立たない。よって、(2)も成立たない。
は
(y-1)=3のとき(3)は成立たない。よって、(y-1)=3のとき(2)も成立たない。
ということなので証明できていない
633(1): 12/03(水)23:29 ID:S1hQ3oOs(12/16) AAS
>>625
> > 成立つか、成立たないかが、変わるのは
> xの値に関係なく変わることはありませんのでxが有理数でも矛盾は生じません
>
> 意味がわかりません。
> (y-1)(y^2+y+1)=k3(x^2+x+r)/k…(b)
> k=2,y=7,x=10,r=4
省4
637(1): 12/03(水)23:46 ID:S1hQ3oOs(13/16) AAS
>>634
> xが有理数の場合でも
> 同じ式なので
> (y-1)(y^2+y+1)=k3(x^2+x)/kと
> (y-1)(y^2+y+1)=3(x^2+x)で
> 成立つか成立たないかはxが有理数の場合でも変わりません(つまり無理数と有理数のどちらであるかは証明できません)
>
省10
639(1): 12/03(水)23:49 ID:S1hQ3oOs(14/16) AAS
>>635
> (y-1)=3のとき(3)は成立たない。よって、(y-1)=3のとき(2)も成立たない。
> ということなので証明できていない
>
> (3)は、kを払った式、(2)はkを払ってない式です。
ということは
(y-1)=3のときkを払った(3)は成立たない。よって、(y-1)=3のときkを払ってない(2)も成立たない。
省1
640(1): 12/03(水)23:54 ID:S1hQ3oOs(15/16) AAS
>>636
> フェルマーの最終定理はr=0の場合です。
xが無理数なのは自明ということを使うのがあなたの証明の元なのでr=0にこだわるのは理解していますが
r=0の場合ではxが有理数の場合の説明には使えないのでr=4の場合を例にしています
641(1): 12/03(水)23:58 ID:S1hQ3oOs(16/16) AAS
>>634
> xが有理数の場合でも
> 同じ式なので
> (y-1)(y^2+y+1)=k3(x^2+x)/kと
> (y-1)(y^2+y+1)=3(x^2+x)で
> 成立つか成立たないかはxが有理数の場合でも変わりません(つまり無理数と有理数のどちらであるかは証明できません)
>
省10
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.644s*