[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
803: 2019/11/25(月)07:47 ID:JnMKDRQP(1) AAS
>>801
定義ならこんなあやふやな書き方はしない。
798を参考にしてほしい。
804: 日高 2019/11/25(月)08:35 ID:GLgYCARi(3/17) AAS
>なんですでに存在しているzをここで定義してるの？
z=x+rとするためです。
805: 日高 2019/11/25(月)08:37 ID:GLgYCARi(4/17) AAS
>rごとに有理数解x,y,x+rをさがしているのでは。
そうです。
rが、変わっても、X:Y:Z=x:y:zとなります。
806: 日高 2019/11/25(月)08:39 ID:GLgYCARi(5/17) AAS
>798を参考にしてほしい。
798のどの部分を、参考にすればよいのでしょうか。
807: 2019/11/25(月)12:02 ID:t5qCbiVp(1/2) AAS
┌日┐
｜※｜ 毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜ 数学力、国語力は小学生レベルも怪しいです
｜の｜
｜本｜ a^{1/(1-1)}という表現が可能かどうかわかりませんが、
｜は｜
｜読｜ a^{1/(1-1)}が数であることには変わりはありません。
｜ん｜
｜で｜ 私の下半身でそのことが証明されています。(｀⌒´)エｯﾍﾝ！(｀^´)
省7
808: 2019/11/25(月)12:02 ID:D3hi30e+(2/4) AAS
>> 804
すでに定義されているzを再び
z=..
と定義するのはダメ。
809: 日高 2019/11/25(月)12:12 ID:GLgYCARi(6/17) AAS
>毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
よろしくお願いします。
810: 日高 2019/11/25(月)12:14 ID:GLgYCARi(7/17) AAS
>すでに定義されているzを再び
z=..
と定義するのはダメ。
すみません。理由を教えていただけないでしょうか。
811: 日高 2019/11/25(月)12:24 ID:GLgYCARi(8/17) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,rは有理数と仮定する。
②を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、②はX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rは無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も仮定に反する。
省1
812: 2019/11/25(月)13:35 ID:D3hi30e+(3/4) AAS
>> 810
zはすでに登場しているから。
813: 日高 2019/11/25(月)13:45 ID:GLgYCARi(9/17) AAS
>zはすでに登場しているから。
なぜ、二度登場しては、いけないのでしょうか？
814: 442 2019/11/25(月)16:13 ID:pf46PMSS(1/2) AAS
> x,y,z,rは有理数と仮定する。
> ➂はr^(p-1)=pとすると、
r が有理数という仮定の元で r が無理数の場合を検討するのはなぜですか？
r を有理数と仮定した時に r を無理数とすると仮定に反するという
④云々を持ち出すまでもなく、至極当たり前のことしか言ってないですね、あの段落は。
815: 日高 2019/11/25(月)17:29 ID:GLgYCARi(10/17) AAS
>r が有理数という仮定の元で r が無理数の場合を検討するのはなぜですか？
r が無理数の場合は、x,y,zが整数比となりません。
r が有理数の場合は、X,Y,Zとなります。
x:y:z=X:Y:Zとなります。
816: 2019/11/25(月)17:58 ID:WWRBh0Ez(1/3) AAS
>>800
「rは有理数と仮定する」としておきながら、同時に「r^(p-1)=pとする」と言っているので、自己矛盾を引き起こしている
日高が証明しているのは、「rが有理数のときr^(p-1)=pにはならない」でしかないのであって、x^p+y^p=z^pの解の有無ではないことに注意すべし
817(1): 日高 2019/11/25(月)18:25 ID:GLgYCARi(11/17) AAS
>「rは有理数と仮定する」としてながら、同時に「r^(p-1)=pとする」と言っているので、自己矛盾を引き起こしている
「r^(p-1)=pとすると」rは、有理数とならないので、仮定に反します。
日高が証明しているのは、「rが有理数のときr^(p-1)=pにはならない」でしかないのであって、x^p+y^p=z^pの解の有無ではないことに注意すべし
rが無理数となれば、x,y,zの有理数解はない。ということになります。
818: 2019/11/25(月)18:39 ID:/55HAqdS(1/2) AAS
rは有理数である
と仮定しているのに何故rは無理数になる様相が存在するのか
819: 2019/11/25(月)19:40 ID:qquH/EjC(1/3) AAS
>>802
「pを奇素数とするときx^p+y^p=z^pは有理数解をもたない」です。
820: 2019/11/25(月)19:48 ID:WWRBh0Ez(2/3) AAS
>>817
＞>「rは有理数と仮定する」としてながら、同時に「r^(p-1)=pとする」と言っているので、自己矛盾を引き起こしている
＞「r^(p-1)=pとすると」rは、有理数とならないので、仮定に反します。
仮定に反するのは、日高が勝手に「rは有理数と仮定する」と「r^(p-1)=pとする」を同時に仮定したからにすぎない
この場合、数学的には「ゆえに日高は誤りである」と結論するのが正しい。
821: 2019/11/25(月)19:52 ID:qquH/EjC(2/3) AAS
日高氏の記号にならうならa=1/pのとき。r=(pa)^{1/(p-1)}=1となる。
(6)はX^p+Y^p=(X+(pa)^{1/(p-1)})^pだからX^p+Y^p=(X+1)^p。
これはX=0,Y=1という有理数解を持つ。
x^p+y^p=(x+p^{1/(p-1)})の無理数解x=0,y=p^{1/(p-1)}と比べると
X:Y:Z=x:y:zとなっている。
822: 日高 2019/11/25(月)20:22 ID:GLgYCARi(12/17) AAS
>rは有理数である
と仮定しているのに何故rは無理数になる様相が存在するのか
rは、仮定通りになるとは、限りません。
823: 日高 2019/11/25(月)20:59 ID:GLgYCARi(13/17) AAS
>「pを奇素数とするときx^p+y^p=z^pは有理数解をもたない」です。
「有理数解をもたない」は、偽となりますが、「自然数解をもたない」ならば、
真では、ないでしょうか。
命題は、「pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。」としているので、x,y,z,rは、0を除く有理数とするに、訂正した場合は、どうでしょうか？
824: 2019/11/25(月)21:03 ID:/55HAqdS(2/2) AAS
有理数であるの否定命題は無理数であるなのか？
①有理数である または 有理数でない (排中律)
②有理数でない
③ゆえに無理数である
有理数の裏は無理数なのか？
ディリクレ関数じゃないんだよ？
825(2): 日高 2019/11/25(月)21:06 ID:GLgYCARi(14/17) AAS
>仮定に反するのは、日高が勝手に「rは有理数と仮定する」と「r^(p-1)=pとする」を同時に仮定したからにすぎない
この場合、数学的には「ゆえに日高は誤りである」と結論するのが正しい。
「r^(p-1)=pとする」は、仮定ではありません。
826: 日高 2019/11/25(月)21:24 ID:GLgYCARi(15/17) AAS
>日高氏の記号にならうならa=1/pのとき。r=(pa)^{1/(p-1)}=1となる。
(6)はX^p+Y^p=(X+(pa)^{1/(p-1)})^pだからX^p+Y^p=(X+1)^p。
これはX=0,Y=1という有理数解を持つ。
x^p+y^p=(x+p^{1/(p-1)})の無理数解x=0,y=p^{1/(p-1)}と比べると
X:Y:Z=x:y:zとなっている。
「x,y,zは、0を除く有理数と仮定する。」に訂正します。
827: 日高 2019/11/25(月)21:28 ID:GLgYCARi(16/17) AAS
>有理数であるの否定命題は無理数であるなのか？
①有理数である または 有理数でない (排中律)
②有理数でない
③ゆえに無理数である
有理数の裏は無理数なのか？
ディリクレ関数じゃないんだよ？
省1
828(3): 日高 2019/11/25(月)21:33 ID:GLgYCARi(17/17) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,rは0を除く有理数と仮定する。
②を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、②はX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rは無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も仮定に反する。
省1
829: 2019/11/25(月)21:47 ID:qquH/EjC(3/3) AAS
>>828
> x,y,z,rは0を除く有理数と仮定する。
この仮定はその先の証明のどこで使われているのですか？
830(1): 2019/11/25(月)22:13 ID:cdehhJG3(1) AAS
要するに、矛盾が生じる状況を「自分で」作っておきながら、
「矛盾が生じたから仮定が間違ってる」という意味不明なことやってるということだよね
831: 2019/11/25(月)22:31 ID:WWRBh0Ez(3/3) AAS
>>830
然り。
832(1): 2019/11/25(月)22:47 ID:xvK62Wtt(1) AAS
皆さんもご存じの通り、方程式 x^3+19y^3=z^3 は、(x,y,z)=(2,1,3) という立派な自然数解を持つ。
この方程式も、>>828 のやり方を使うと、自然数解がないことになってしまう。
不思議だね。実に不思議だ。
【定理】pが奇素数のとき、x^p+19y^p=z^pは、自然数解を持たない。
【証明】x^p+19y^p=z^p…①を、z=x+rとおいて、x^p+19y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,rは0を除く有理数と仮定する。
②を(x/r)^p+19(y/r)^p=(x/r+1)^p, 19(y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){19(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、②はX^p+19Y^p=(X+p^{1/(p-1)})^p…➃となる。
rは無理数となるので、➃は仮定に反する。
省4
833: 2019/11/25(月)23:19 ID:t5qCbiVp(2/2) AAS
うん。>>832はなかなかいい。
ただ、日高爺は下半身で考えるタイプだからわからんだろうwwwwwwww
834: 2019/11/25(月)23:20 ID:D3hi30e+(4/4) AAS
>> 813
2度登場してもいいが、2度定義するのはダメ。
835: 2019/11/25(月)23:40 ID:pf46PMSS(2/2) AAS
>>825
> 「r^(p-1)=pとする」は、仮定ではありません。
よくわかりません、もう少し詳しく説明していただけないでしょうか。
836: 日高 2019/11/26(火)06:04 ID:rKDBhwFV(1/26) AAS
> x,y,z,rは0を除く有理数と仮定する。
>この仮定はその先の証明のどこで使われているのですか？
z=x+r
r=p^{1/(p-1)}
z=x+p^{1/(p-1)}となるので、
の部分です。
837: 日高 2019/11/26(火)06:07 ID:rKDBhwFV(2/26) AAS
>要するに、矛盾が生じる状況を「自分で」作っておきながら、
「矛盾が生じたから仮定が間違ってる」という意味不明なことやってるということだよね
すみません。もうすこし、詳しく説明していただけないでしょうか。
838: 日高 2019/11/26(火)06:08 ID:rKDBhwFV(3/26) AAS
>然り。
すみません。もうすこし詳しく説明していただけないでしょうか。
839: 日高 2019/11/26(火)07:58 ID:rKDBhwFV(4/26) AAS
>皆さんもご存じの通り、方程式 x^3+19y^3=z^3 は、(x,y,z)=(2,1,3) という立派な自然数解を持つ。
この方程式も、>>828 のやり方を使うと、自然数解がないことになってしまう。
不思議だね。実に不思議だ。
方程式 x^3+19y^3=z^3 は、{19(y/r)^p-1}となるので、19(y/r)^pの部分が異なります。
840: 日高 2019/11/26(火)08:00 ID:rKDBhwFV(5/26) AAS
>2度登場してもいいが、2度定義するのはダメ。
すみません。理由を教えていただけないでしょうか。
841: 2019/11/26(火)08:30 ID:qIYiDAm3(1/2) AAS
>>825
>「r^(p-1)=pとする」は、仮定ではありません。
仮定ではないならどんな意味ですか？
あなたの考える意味をできるだけ詳しく書いてください。
普通「r^(p-1)=pとする」は、
「r^(p-1)はpと等しいと仮定する」という意味で使われます。読む人はそう捉えています。
842(2): 日高 2019/11/26(火)08:50 ID:rKDBhwFV(6/26) AAS
>普通「r^(p-1)=pとする」は、
「r^(p-1)はpと等しいと仮定する」という意味で使われます。読む人はそう捉えています。
貴方のおっしゃる通りと、思いますので、
「r^(p-1)=pとする」を、「r^(p-1)=pとなるので、」に訂正したいと思います。
843: 2019/11/26(火)08:58 ID:rKDBhwFV(7/26) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,rは有理数と仮定する。
②を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。②はX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rは無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も仮定に反する。
省1
844: 2019/11/26(火)09:29 ID:0dL4zPbC(1) AAS
>>842
ならねえよ
845: 2019/11/26(火)09:40 ID:IwJCqe8w(1) AAS
>>796が見やすかったのにな
846(2): 日高 2019/11/26(火)10:19 ID:rKDBhwFV(8/26) AAS
>>842
ならねえよ
「r=p^{1/(p-1)}となる。」ので、仮定に反します。
847: 2019/11/26(火)10:21 ID:q1mW0aY+(1/2) AAS
>>846
何の仮定？
適当にごまかすなよ。
848: 日高 2019/11/26(火)10:21 ID:rKDBhwFV(9/26) AAS
>>796が見やすかったのにな
そうですね。
849(1): 日高 2019/11/26(火)10:27 ID:rKDBhwFV(10/26) AAS
>>846
何の仮定？
「rは有理数とする」と仮定したことです。
850: 2019/11/26(火)10:32 ID:q1mW0aY+(2/2) AAS
>>849
だから、
「r^(p-1)=pとなるので、」
なってないじゃん
851: 日高 2019/11/26(火)11:28 ID:rKDBhwFV(11/26) AAS
>「r^(p-1)=pとなるので、」
なってないじゃん
「r^(p-1)=pとなる」場合は、rは、有理数となりません。
852: 2019/11/26(火)11:44 ID:S+iisQBM(1/5) AAS
> ➂はr^(p-1)=pとなるので、
> r^(p-1)=p以外の場合は、
r^(p-1)=p となるならば、それ以外の場合を検討する必要はないのではないですか？
853(1): 日高 2019/11/26(火)11:55 ID:rKDBhwFV(12/26) AAS
r^(p-1)=p となるならば、それ以外の場合を検討する必要はないのではないですか？
それ以外の場合は、r^(p-1)=paとなります。
854: 2019/11/26(火)12:19 ID:S+iisQBM(2/5) AAS
>>853
それ以外の場合が可能ならば、
「r^(p-1)=pとなるので」は不適切な表現でないでしょうか？
855(1): 日高 2019/11/26(火)13:42 ID:rKDBhwFV(13/26) AAS
>それ以外の場合が可能ならば、
「r^(p-1)=pとなるので」は不適切な表現でないでしょうか？
r^(p-1)=pは、r^(p-1)=paの、a=1の場合です。
r^(p-1)=pの場合とr^(p-1)=paの場合があるということです。
r^(p-1)=pの場合を、x,y,z
r^(p-1)=paの場合を、X,Y,Zとすると、
X:Y:Z=x:y:zとなります。
856(1): 2019/11/26(火)13:52 ID:S+iisQBM(3/5) AAS
>>855
> r^(p-1)=pの場合とr^(p-1)=paの場合があるということです。
であるならば「r^(p-1)=pとなるので」は不適切な表現でないでしょうか。
857(2): 日高 2019/11/26(火)14:08 ID:rKDBhwFV(14/26) AAS
> r^(p-1)=pの場合とr^(p-1)=paの場合があるということです。
>であるならば「r^(p-1)=pとなるので」は不適切な表現でないでしょうか。
「r^(p-1)=pの場合は」ではどうでしょうか。
858: 日高 2019/11/26(火)14:23 ID:rKDBhwFV(15/26) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,rは有理数と仮定する。
②を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとした場合、r=p^{1/(p-1)}となる。②はX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rは無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も仮定に反する。
省1
859: 2019/11/26(火)14:29 ID:S+iisQBM(4/5) AAS
>>857
> 「r^(p-1)=pの場合は」ではどうでしょうか。
r が有理数である仮定の元で無理数の場合を検討することは、無意味ではないでしょうか？
860: 日高 2019/11/26(火)14:32 ID:rKDBhwFV(16/26) AAS
>r が有理数である仮定の元で無理数の場合を検討することは、無意味ではないでしょうか？
X:Y:Z=x:y:zとなるので、無意味では、ありません。
861: 日高 2019/11/26(火)14:37 ID:rKDBhwFV(17/26) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,rは0をのぞく有理数と仮定する。
②を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとした場合、r=p^{1/(p-1)}となる。②はX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rが無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も仮定に反する。
省1
862: 2019/11/26(火)15:18 ID:qIYiDAm3(2/2) AAS
>>857
「r^(p-1)=pとなる」は、
「(これまでの論理により) r^(p-1)=pであると結論する」という意味です。
「r^(p-1)=pの場合は」は、
「r^(p-1)=pであると仮定する場合には」という意味です。
>>「r^(p-1)=pの場合は」ではどうでしょうか。
あなたは「r^(p-1)=p」を仮定と考えていますか？結論と考えていますか？それともこれらの違いがわからないのですか？
863: 日高 2019/11/26(火)16:41 ID:rKDBhwFV(18/26) AAS
>あなたは「r^(p-1)=p」を仮定と考えていますか？結論と考えていますか？それともこれらの違いがわからないのですか？
結論と考えて
864(1): 日高 2019/11/26(火)16:42 ID:rKDBhwFV(19/26) AAS
>あなたは「r^(p-1)=p」を仮定と考えていますか？結論と考えていますか？それともこれらの違いがわからないのですか？
結論と考えています。
865(4): 日高 2019/11/26(火)16:46 ID:rKDBhwFV(20/26) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,rは0をのぞく有理数と仮定する。
②を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。②はX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rが無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も仮定に反する。
省1
866: 2019/11/26(火)16:53 ID:3qw1YGK4(1/2) AAS
>>865
爺さん、数学の証明としては零点だ。全然進歩しとらん（笑）。
素人漫才のシナリオとしても零点。
867: 日高 2019/11/26(火)17:01 ID:rKDBhwFV(21/26) AAS
>爺さん、数学の証明としては零点だ。全然進歩しとらん（笑）。
すみません。間違い箇所をご指摘いただけないでしょうか。
868: 2019/11/26(火)18:39 ID:lohNUd7R(1) AAS
うーん、こりゃ高木と同じ運命を辿るな。
証明の土台にある論理が間違っているのに、それを理解せず表面的なところばかり直してくるところが非常に似ている。
証明を出してきたので、それを見た人は間違いを指摘するんだけど、
証明者本人を納得させる義務はないから、
本人が理解できなきゃ放置されて終わりだよ。
869: 2019/11/26(火)19:36 ID:dG+uny3N(1/3) AAS
>>865
～となる。
が間違い。ゴミクズ。
870: 日高 2019/11/26(火)20:01 ID:rKDBhwFV(22/26) AAS
>証明の土台にある論理が間違っているのに、それを理解せず表面的なところばかり直してくるところが非常に似ている。
証明の土台にある、論理が間違っている箇所を、ご指摘いただけないでしょうか。
871(1): 日高 2019/11/26(火)20:05 ID:rKDBhwFV(23/26) AAS
>～となる。
が間違い。ゴミクズ。
～となる。が間違い。となる理由を、ご指摘いただけないでしょうか。
872: 2019/11/26(火)20:06 ID:M7oLRT59(1/4) AAS
>>865
フェルマーの最終定理に反例X^p+Y^p=Z^pがあったとして
これをX^p+Y^p=(X+R)^p と書くとRは自然数。
r=p^{1/(p-1)}の場合の解x,y,zでこれとX:Y:Z=x:y:zの関係をもつものはX,Y,Zの無理数倍。
x^p+y^p=(x+p^{1/(p-1)})^pの無理数解については何も調べていないのだから何の矛盾も生じない。
間違った証明です。
873(4): 日高 2019/11/26(火)20:29 ID:rKDBhwFV(24/26) AAS
>x^p+y^p=(x+p^{1/(p-1)})^pの無理数解については何も調べていないのだから何の矛盾も生じない。
x^p+y^p=(x+p^{1/(p-1)})^pの解が無理数で、整数比となるものが、あるとすると、
その解を、共通の無理数dで割ると、x/d:y/d:z/d=x:y:zとなります。
x:y:zは、整数比となるので、x,y,zは有理数となります。
つまり、x,y,zが、有理数の場合と同じとなります。
874: 2019/11/26(火)20:34 ID:M7oLRT59(2/4) AAS
>>873
> >x^p+y^p=(x+p^{1/(p-1)})^pの無理数解については何も調べていないのだから何の矛盾も生じない。
>
> x^p+y^p=(x+p^{1/(p-1)})^pの解が無理数で、整数比となるものが、あるとすると、
> その解を、共通の無理数dで割ると、x/d:y/d:z/d=x:y:zとなります。
> x:y:zは、整数比となるので、x,y,zは有理数となります。
> つまり、x,y,zが、有理数の場合と同じとなります。
下から4行目で「解が無理数で」と書いてるのに下から2行目では「有理数となります」。
どうなっているのですか？
875(1): 日高 2019/11/26(火)20:40 ID:rKDBhwFV(25/26) AAS
>下から4行目で「解が無理数で」と書いてるのに下から2行目では「有理数となります」。
どうなっているのですか？
「有理数となります」。ではなく、「有理数の場合と同じとなります」です。
876: 2019/11/26(火)20:51 ID:M7oLRT59(3/4) AAS
>>875
いや、あなたは>>873で「x,y,zは有理数となります」と書きました。
877(1): 日高 2019/11/26(火)20:57 ID:rKDBhwFV(26/26) AAS
>いや、あなたは>>873で「x,y,zは有理数となります」と書きました。
最後から２行目は、「x,y,zは有理数となります」と書きました。
最後の１行目は、「有理数の場合と同じとなります」と書きました。
878: 2019/11/26(火)21:07 ID:M7oLRT59(4/4) AAS
>>877
> >いや、あなたは>>873で「x,y,zは有理数となります」と書きました。
>
> 最後から２行目は、「x,y,zは有理数となります」と書きました。
> 最後の１行目は、「有理数の場合と同じとなります」と書きました。
「x,y,zは有理数となります」と書いたことは認めますね？
879: 2019/11/26(火)21:40 ID:dG+uny3N(2/3) AAS
日高バカ丸出し。
適当な記号を使うなっていわれているのに。
880: 2019/11/26(火)21:45 ID:dG+uny3N(3/3) AAS
>>871
さっき誰かに指摘されてただろうが。ボケ老人。
881(1): 2019/11/26(火)23:21 ID:S+iisQBM(5/5) AAS
>>865
> z=x+rとおいて、
多分すでに指摘されているかとは思いますが、
新しく定義する記号を左辺に置いて、
r=z-x とおいて、
と記述する方が一般的です。
> r^(p-1)=pとなるので
省8
882: 2019/11/26(火)23:48 ID:3qw1YGK4(2/2) AAS
爺さんはもう寝ただろう。ではまた明日w
883: 2019/11/27(水)00:15 ID:fdRiD9XQ(1) AAS
>>881
この a は「魔法の a」で、
これがあると「AB = CD ならば A = C」が証明できるという。
884: 日高 2019/11/27(水)08:19 ID:tuk4Ic8H(1/17) AAS
「x,y,zは有理数となります」と書いたことは認めますね？
書き方が、適切でなかったので、訂正します。
x'=x/d, y'=y/d, z'=z/dとおくと、
「x',y',z'は有理数となります」に訂正します。
885: 2019/11/27(水)08:55 ID:4258dryT(1/2) AAS
こら、爺さん
> x'=x/d, y'=y/d, z'=z/dとおくと、
> 「x',y',z'は有理数となります」に訂正します。
のようにまた新たな変数を持ち込むと証明の整合性に
よりいっそう手間取るぞ。
x',y',z'は有理数となります
のような書き方はx',y',z'が無理数にもなる可能性を示唆している。
それに d は何だ。君のティムポか。
上にもあるけど a の定義はどうした？
886: 日高 2019/11/27(水)09:10 ID:tuk4Ic8H(2/17) AAS
>日高バカ丸出し。
>適当な記号を使うなっていわれているのに。
そうですね。
887: 日高 2019/11/27(水)09:11 ID:tuk4Ic8H(3/17) AAS
>さっき誰かに指摘されてただろうが。ボケ老人。
そうでした。
888: 日高 2019/11/27(水)09:24 ID:tuk4Ic8H(4/17) AAS
>r=z-x とおいて、
と記述する方が一般的です。
z=x+rの方が分かりやすいと思ったからです。
突如現れる大文字の X と Y が未定義です。
X=xa^{1/(p-1)}, Y=ya^{1/(p-1)}となります。
a も同様に未定義ですので定義を書いて頂きたく。
省1
889: 日高 2019/11/27(水)09:28 ID:tuk4Ic8H(5/17) AAS
>この a は「魔法の a」で、
これがあると「AB = CD ならば A = C」が証明できるという。
AB = CD ならば AB=aCD(1/a)となります。
890(1): 日高 2019/11/27(水)09:31 ID:tuk4Ic8H(6/17) AAS
>のような書き方はx',y',z'が無理数にもなる可能性を示唆している。
それに d は何だ。君のティムポか。
上にもあるけど a の定義はどうした？
dは、x,y,zに共通の無理数です。
aは、任意の有理数です。
891: 2019/11/27(水)10:24 ID:RSQQvxmc(1/2) AAS
>>890
デタラメすぎて頭が痛い。
>dは、x,y,zに共通の無理数です。
「共通の無理数」って何？数学にそんな用語はない。
>aは、任意の有理数です。
証明に「r=(pa)^{1/(p-1)}となるのでrは有理数となる。」と書いてある。
aが有理数だとrは有理数にならないが、それでいいのか？
892(1): 日高 2019/11/27(水)10:29 ID:tuk4Ic8H(7/17) AAS
>証明に「r=(pa)^{1/(p-1)}となるのでrは有理数となる。」と書いてある。
aが有理数だとrは有理数にならないが、それでいいのか？
いいです。
p=3,
a=3のとき、
r=3となります。
893: 2019/11/27(水)10:40 ID:RSQQvxmc(2/2) AAS
>>892
>p=3,
>a=3のとき、
>r=3となります。
それなら「aは任意の有理数」ではない。
たとえば a=2ならrは有理数にならない。
894: 日高 2019/11/27(水)13:50 ID:tuk4Ic8H(8/17) AAS
>たとえば a=2ならrは有理数にならない。
そうでした。任意の有理数ではないですね。
この場合どういう言い方をしたら、いいのでしょうか。
895(2): 日高 2019/11/27(水)14:04 ID:tuk4Ic8H(9/17) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…①を、z=x+rとおいて、x^p+y^p=(x+r)^p…②とする。
②を積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数と仮定する。
②を(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。②はX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
➃はrが無理数となるので、式は成り立たない。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、⑥も式は成り立たない。
省1
896: 2019/11/27(水)16:04 ID:i+twxfpI(1/2) AAS
言い方の問題ではないでしょう。
結論ありきで証明を考えるからいかんのだ。
897(1): 日高 2019/11/27(水)16:15 ID:tuk4Ic8H(10/17) AAS
>言い方の問題ではないでしょう。
結論ありきで証明を考えるからいかんのだ。
すみません。間違いを、ご指摘いただけないでしょうか。
898: 2019/11/27(水)16:31 ID:MIyS/gvo(1/2) AAS
>>895
指摘無視。ゴミ
899: 日高 2019/11/27(水)16:36 ID:tuk4Ic8H(11/17) AAS
>指摘無視。ゴミ
すみません。指摘無視部分は、どこでしょうか？
900: 2019/11/27(水)18:16 ID:i+twxfpI(2/2) AAS
>>897
ほかの方が具体的な間違いの箇所を指摘していますから、よく読み返してください。
あなたは「この場合どういう言い方をしたら、いいのでしょうか」と書いています。
これは、自身の考え方が間違っているわけではなく単に表現がまずいだけだ、と考えていると受け取れますが、
そうではないのです。
901: 日高 2019/11/27(水)18:24 ID:tuk4Ic8H(12/17) AAS
>あなたは「この場合どういう言い方をしたら、いいのでしょうか」と書いています。
これは、自身の考え方が間違っているわけではなく単に表現がまずいだけだ、と考えていると受け取れますが、
そうではないのです
すみません。間違い箇所をご指摘いただけないでしょうか。
902: 2019/11/27(水)18:25 ID:4258dryT(2/2) AAS
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
変わりはありません。
この迷言に対し
> 小学校から大学教養レベルあたりまでの数学で、「数」とは
> 自然数、整数、実数（有理数、無理数）、複素数
> であるが a^{1/(1-1) は上記のどれにあたるのだ？
という指摘がなされたが、これに対しても
省12
上下前次1-新書関写板覧索設栞歴
あと 100 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s