[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明2 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
461: 2019/11/17(日)12:48 ID:p8EJ3dKi(1) AAS
じじいの開き直りって最低だな
厚顔無恥
462(1): 日高 2019/11/17(日)13:19 ID:RiHdkMvj(15/26) AAS
>④に有理数解が存在しないと、なぜ⑥に有理数解が存在しないのですか？
x:y:z=X:Y:Zとなるからです。
意味が分かりません。
省略せずに書いてください。
453を、読んでいただけないでしょうか。
463: 2019/11/17(日)13:37 ID:du0fRBPi(4/9) AAS
>>462
> ④に有理数解が存在しないと、なぜ⑥に有理数解が存在しないのですか？
>
> x:y:z=X:Y:Zとなるからです。
>
> 意味が分かりません。
> 省略せずに書いてください。
>
> 453を、読んでいただけないでしょうか。
読んでますがわかりません。
省3
464: 2019/11/17(日)13:55 ID:bjtd/A37(3/6) AAS
> 453を、読んでいただけないでしょうか。
>>453 は数学の証明ではなく、素人漫才のシナリオのメモみたいなものだから
人様に読んでもらえるようなモノではない。
何せ、日高クンが下半身で考えた意味不明の文字列なのだから。
465: 2019/11/17(日)14:13 ID:PM8ae5LK(9/12) AAS
374の間違いが分かるまで自分の主張するな。
466: 2019/11/17(日)14:13 ID:PM8ae5LK(10/12) AAS
>>453
反省なしのゴミ
467: 2019/11/17(日)14:14 ID:PM8ae5LK(11/12) AAS
>>454
> >根拠になってない。
>
> どうしてでしょうか？理由を教えていただけないでしょうか。
事実だから。
468(1): 日高 2019/11/17(日)15:09 ID:RiHdkMvj(16/26) AAS
>x,y,zが無理数で、X,Y,Zが有理数であっても何も矛盾はありませんよ。
x,y,zが無理数で、整数比となると仮定すると、無理数dで、割ると、
x/d,y/d,z/dは、有理数となります。
➃x/d,y/d,z/dが、有理数のとき、
z/d=x/d+p^{1/(p-1)}は、x/dを、有理数とすると、z/dは有理数となりません、
469: 日高 2019/11/17(日)15:11 ID:RiHdkMvj(17/26) AAS
>じじいの開き直りって最低だな
厚顔無恥
厚顔無恥は、ご容赦ください
470: 日高 2019/11/17(日)15:13 ID:RiHdkMvj(18/26) AAS
>人様に読んでもらえるようなモノではない。
理由を教えていただけないでしょうか。
471: 2019/11/17(日)15:23 ID:du0fRBPi(5/9) AAS
>>468
> x,y,zが無理数で、X,Y,Zが有理数であっても何も矛盾はありませんよ。
>
> x,y,zが無理数で、整数比となると仮定すると、無理数dで、割ると、
> x/d,y/d,z/dは、有理数となります。
> ④;x/d,y/d,z/dが、有理数のとき、
> z/d=x/d+p^{1/(p-1)}は、x/dを、有理数とすると、z/dは有理数となりません、
大笑い。
z/d=x/d+p^{1/(p-1)} になると本気で思ってるのですか？
z=x+p^{1/(p-1)} だから、z/d=x/d+p^{1/(p-1)}/d になりますよ。
省1
472: 2019/11/17(日)15:48 ID:bjtd/A37(4/6) AAS
> 厚顔無恥は、ご容赦ください
ｗｗｗ．ｍａｔｈｎａｖｉ．ｓａｋｕｒａ．ｎｅ．ｊｐ／ｂｂｓ／ｆｉｌｅ１／１５６６９９４７７４．ｐｎｇ
┌日┐
｜※｜ 毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜ 数学力、国語力は小学生レベルも怪しいです
｜の｜
｜本｜ a^{1/(1-1)}という表現が可能かどうかわかりませんが、
｜は｜
｜読｜ a^{1/(1-1)}が数であることには変わりはありません。
省7
473(3): 日高 2019/11/17(日)15:49 ID:RiHdkMvj(19/26) AAS
>x^2+y^2=(x+π)^2, z=x+π
は有理数解を持たない。
X^2+Y^2=Z^2
は有理数解を持つ。
この事実をどう思っているんだ？
日高の理屈ならx:y:z=X:Y:Zだろ？
x:y:z=X:Y:Zとなるので、Zは、無理数となります。
474(1): 日高 2019/11/17(日)15:57 ID:RiHdkMvj(20/26) AAS
> x,y,zが無理数で、X,Y,Zが有理数であっても何も矛盾はありませんよ。
>
> x,y,zが無理数で、整数比となると仮定すると、無理数dで、割ると、
> x/d,y/d,z/dは、有理数となります。
> ④;x/d,y/d,z/dが、有理数のとき、
> z/d=x/d+p^{1/(p-1)}は、x/dを、有理数とすると、z/dは有理数となりません、
大笑い。
z/d=x/d+p^{1/(p-1)} になると本気で思ってるのですか？
z=x+p^{1/(p-1)} だから、z/d=x/d+p^{1/(p-1)}/d になりますよ。
z/dは有理数になっても何も矛盾はありません。
省1
475: 日高 2019/11/17(日)16:01 ID:RiHdkMvj(21/26) AAS
>毎日毎日、暇を持て余している爺さんです。
よろしくお願いします。
476: 2019/11/17(日)16:16 ID:du0fRBPi(6/9) AAS
>>474
宇宙人と話しているようだ。
z/d=x/d+p^{1/(p-1)} にはならないと言ってるだけですが、何がわからないのですか？
z=x+p^{1/(p-1)} なら、z/d=x/d+p^{1/(p-1)}/d になることはわかりますか？
477(1): 日高 2019/11/17(日)16:28 ID:RiHdkMvj(22/26) AAS
>宇宙人と話しているようだ。
z/d=x/d+p^{1/(p-1)} にはならないと言ってるだけですが、何がわからないのですか？
z=x+p^{1/(p-1)} なら、z/d=x/d+p^{1/(p-1)}/d になることはわかりますか？
わかります。
478: 2019/11/17(日)16:34 ID:du0fRBPi(7/9) AAS
>>477
それでは、468の内容は間違いということでいいですね。
479: 2019/11/17(日)19:27 ID:bjtd/A37(5/6) AAS
爺さんはもう寝たかも知れないぞ。
480(1): 日高 2019/11/17(日)19:44 ID:RiHdkMvj(23/26) AAS
>x,y,zが無理数で、X,Y,Zが有理数であっても何も矛盾はありませんよ。
x,y,zが無理数で、整数比となると仮定すると、無理数dで、割ると、
x/d,y/d,z/dは、有理数となります。
➃x/d,y/d,z/dが、有理数のとき、
z/d=x/d+p^{1/(p-1)}は、x/dを、有理数とすると、z/dは有理数となりません
以上は、468です。
>それでは、468の内容は間違いということでいいですね。
468の内容は間違いということでは、ありません。
481: 日高 2019/11/17(日)19:47 ID:RiHdkMvj(24/26) AAS
>爺さんはもう寝たかも知れないぞ。
まだ、寝ていません。
482: 2019/11/17(日)19:58 ID:du0fRBPi(8/9) AAS
>>480
> x,y,zが無理数で、整数比となると仮定すると、無理数dで、割ると、
> x/d,y/d,z/dは、有理数となります。
> ④x/d,y/d,z/dが、有理数のとき、
> z/d=x/d+p^{1/(p-1)}は、x/dを、有理数とすると、z/dは有理数となりません
>
> 以上は、468です。
>
> >それでは、468の内容は間違いということでいいですね。
>
省3
483: 2019/11/17(日)20:11 ID:b1BNKx7p(1/2) AAS
>>453
x=100^(1/p),y=200^(1/p),z=300^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。
このことはどう説明しますか？
484(1): 日高 2019/11/17(日)20:48 ID:RiHdkMvj(25/26) AAS
>z/d=x/d+p^{1/(p-1)} にならないので、間違いです。
z/d,x/dは、有理数です。
有理数＝有理数＋無理数となるので、式は、成り立ちません。
485(1): 日高 2019/11/17(日)21:22 ID:RiHdkMvj(26/26) AAS
>x=100^(1/p),y=200^(1/p),z=300^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。
このことはどう説明しますか?
この例は、
100+200=300となるので、「pが奇素数のとき、」に該当しません。
486: 2019/11/17(日)21:25 ID:b1BNKx7p(2/2) AAS
>>485
？
pは奇素数ですよ。あなたが453でそう言ったじゃないですか？
それとも、453でpは奇素数とする。って書いたのは嘘ですか？
487: 2019/11/17(日)21:30 ID:du0fRBPi(9/9) AAS
>>484
> z/d=x/d+p^{1/(p-1)} にならないので、間違いです。
>
> z/d,x/dは、有理数です。
>
> 有理数＝有理数＋無理数となるので、式は、成り立ちません。
馬鹿ですか。
z=x+p~{1/(p-1)}
だから、
z/d=x/d+p^{1/(p-1)}/d
省4
488: 2019/11/17(日)21:32 ID:PM8ae5LK(12/12) AAS
>>473
> >x^2+y^2=(x+π)^2, z=x+π
> は有理数解を持たない。
> X^2+Y^2=Z^2
> は有理数解を持つ。
> この事実をどう思っているんだ？
> 日高の理屈ならx:y:z=X:Y:Zだろ？
>
> x:y:z=X:Y:Zとなるので、Zは、無理数となります。
嘘つき。
489: 2019/11/17(日)21:48 ID:bjtd/A37(6/6) AAS
爺さんは今度こそ寝たかも知れんな（笑）
490: 日高 2019/11/18(月)09:43 ID:m12I/9Ir(1/28) AAS
>pは奇素数ですよ。あなたが453でそう言ったじゃないですか？
>それとも、453でpは奇素数とする。って書いたのは嘘ですか？
この例は、
100+200=300となるので、「pが奇素数のとき、」に該当しません。
100+200=300は、p=1の場合です。
491: 日高 2019/11/18(月)09:54 ID:m12I/9Ir(2/28) AAS
>z=x+p^{1/(p-1)}
だから、
z/d=x/d+p^{1/(p-1)}/d
です。
z/d=x/d+p^{1/(p-1)}
ではありません。
確かにz=x+p^{1/(p-1)}の両辺を、dで割ると、z/d=x/d+p^{1/(p-1)}/dとなります。
しかし、この場合には、z/d=x/d+p^{1/(p-1)}を考えます。
492: 2019/11/18(月)09:59 ID:eHdQYFeV(1) AAS
1は素数( ｰ`дｰ´)ｷﾘｯ
493(1): 日高 2019/11/18(月)10:05 ID:m12I/9Ir(3/28) AAS
> >x^2+y^2=(x+π)^2, z=x+π
> は有理数解を持たない。
> X^2+Y^2=Z^2
> は有理数解を持つ。
> この事実をどう思っているんだ？
> 日高の理屈ならx:y:z=X:Y:Zだろ？
>
> x:y:z=X:Y:Zとなるので、Zは、無理数となります。
嘘つき。
X^2+Y^2=(X+π)^2, Z=X+π
省3
494: 日高 2019/11/18(月)10:09 ID:m12I/9Ir(4/28) AAS
>1は素数( ｰ`дｰ´)ｷﾘｯ
1は、素数ではないと思います。
495: 2019/11/18(月)10:10 ID:+kAyPKlD(1) AAS
>> 491
> 確かにz=x+p^{1/(p-1)}の両辺を、dで割ると、z/d=x/d+p^{1/(p-1)}/dとなります。
> しかし、この場合には、z/d=x/d+p^{1/(p-1)}を考えます。
何を言ってるんですか。気は確かですか？
馬鹿らしいのでこれで最後にします。
496: 2019/11/18(月)11:19 ID:4qAWCRF5(1/7) AAS
>> x=100^(1/p),y=200^(1/p),z=300^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。
このことはどう説明しますか?
> この例は、
> 100+200=300となるので、「pが奇素数のとき、」に該当しません。
は？
詳しく説明してくれ
497: 2019/11/18(月)11:23 ID:Bo0Zhkny(1/13) AAS
>>493
> > >x^2+y^2=(x+π)^2, z=x+π
> > は有理数解を持たない。
> > X^2+Y^2=Z^2
> > は有理数解を持つ。
> > この事実をどう思っているんだ？
> > 日高の理屈ならx:y:z=X:Y:Zだろ？
> >
> > x:y:z=X:Y:Zとなるので、Zは、無理数となります。
> 嘘つき。
省7
498: 2019/11/18(月)11:27 ID:Bo0Zhkny(2/13) AAS
何で人の指摘に対して文句をいうのに自分のミスは直さないんだ？
499(1): 日高 2019/11/18(月)11:39 ID:m12I/9Ir(5/28) AAS
>> x=100^(1/p),y=200^(1/p),z=300^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。
このことはどう説明しますか?
> この例は、
> 100+200=300となるので、「pが奇素数のとき、」に該当しません。
は？
詳しく説明してくれ
100^1+200^1=300^1となるので、p=1の例となります。
500: 日高 2019/11/18(月)11:41 ID:m12I/9Ir(6/28) AAS
>元々ので嘘つき
どういう意味でしょうか？
501: 2019/11/18(月)11:42 ID:Bo0Zhkny(3/13) AAS
>>473
余計な説明しようが嘘つき
ついでに日本語の勉強もしろよ
502: 2019/11/18(月)11:44 ID:Bo0Zhkny(4/13) AAS
>>499
意味不明。やり直し
503(1): 日高 2019/11/18(月)11:44 ID:m12I/9Ir(7/28) AAS
>何で人の指摘に対して文句をいうのに自分のミスは直さないんだ？
どの指摘のことでしょうか？
504: 2019/11/18(月)11:45 ID:Bo0Zhkny(5/13) AAS
>>503
全部
505: 日高 2019/11/18(月)11:52 ID:m12I/9Ir(8/28) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形して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…④となる。
➂の右辺に、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となるので、②はx^p+y^p=(x+(ap)^{1/(p-1)})^p…⑥となる。
⑥をX^p+Y^p=(X+(pa)^{1/(p-1)})^pとおくと、⑥は④の定数倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
省1
506: 日高 2019/11/18(月)11:55 ID:m12I/9Ir(9/28) AAS
>意味不明。やり直し
どの部分が、意味不明でしょうか？
507: 日高 2019/11/18(月)11:57 ID:m12I/9Ir(10/28) AAS
>余計な説明しようが嘘つき
どの部分が余計な説明でしょうか？
508(1): 日高 2019/11/18(月)11:59 ID:m12I/9Ir(11/28) AAS
>意味不明。やり直し
どの部分が、意味不明でしょうか？
509(1): 日高 2019/11/18(月)12:03 ID:m12I/9Ir(12/28) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形して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…④となる。
➂の右辺に、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となるので、②はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
省1
510(2): 2019/11/18(月)13:05 ID:4qAWCRF5(2/7) AAS
>> x=100^(1/p),y=200^(1/p),z=300^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。
このことはどう説明しますか?
> 100^1+200^1=300^1となるので、p=1の例となります。
> は？
奇素数 7 で考えよう。
p = 7
x = 100^(1/7)
y = 200^(1/7)
z = 300^(1/7)
x^7 + y^7 = (100^(1/7))^7 + (200^(1/7))^7 = 100 + 200
省10
511: 2019/11/18(月)13:19 ID:Bo0Zhkny(6/13) AAS
>>508
お前が書いた部分が意味不明。
512: 2019/11/18(月)13:19 ID:Bo0Zhkny(7/13) AAS
>>509
間違い
513: 2019/11/18(月)13:21 ID:Bo0Zhkny(8/13) AAS
>>473
嘘つき
514(5): 日高 2019/11/18(月)13:41 ID:m12I/9Ir(13/28) AAS
>z = x + r とおいたとき r^(p-1) = p
とはならないと言っているのだ。まして x、z が自然数なら r = z - x は整数なのだ>から
r^(p-1) = p
というよなアフォな式が成り立つわけがない。
100 + 200 = 300は、p=1の場合の式です。
r^(p-1) = pは、r=p^{1/(p-1)}となります。
p=1の場合、この式は計算不可能です。pが2以上ならば、計算可能です。
515: 2019/11/18(月)14:58 ID:cUeMfYut(1/3) AAS
>>514
p = 7, x = 100^(1/7), y = 200^(1/7), z = 300^(1/7)のときp = 1であることを証明してください
516(3): 日高 2019/11/18(月)15:46 ID:m12I/9Ir(14/28) AAS
>p = 7, x = 100^(1/7), y = 200^(1/7), z = 300^(1/7)のときp = 1であることを証明してください
{100^(1/7)}^7+{200^(1/7)}^7={300^(1/7)}^7は、
100+200=300となります。
100+200=300は、100^1+200^1=300^1となります。
517: 2019/11/18(月)16:27 ID:cUeMfYut(2/3) AAS
>>516
つまり7=1ということで宜しいですか？
518: 2019/11/18(月)16:41 ID:1LNQZ1gd(1/3) AAS
>>516
また日高の珍回答か
・p = 7 のときp = 1であることを証明した
519: 2019/11/18(月)17:23 ID:4qAWCRF5(3/7) AAS
>>516
┌日┐
｜※｜ 毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜ 数学力、国語力は人類をはるか超越するレベルです。
｜の｜
｜本｜ p = 7, x = 100^(1/7), y = 200^(1/7), z = 300^(1/7)のとき p = 1 であることを証明
｜は｜
｜読｜ (100^(1/7))^7 + (200^(1/7))^7 = 300^(1/7) ⇔ 100 + 200 = 300
｜ん｜
省6
520(1): 日高 2019/11/18(月)17:26 ID:m12I/9Ir(15/28) AAS
>つまり7=1ということで宜しいですか？
違います。
{100^(1/7)}^7+{200^(1/7)}^7={300^(1/7)}^7までは、
p=7ですが、
100^1+200^1=300^1は、100^n+200^n=300^nとして、n=1とします。
521(1): 日高 2019/11/18(月)17:28 ID:m12I/9Ir(16/28) AAS
・p = 7 のときp = 1であることを証明した
違います。
p = 7 のときn= 1です。
522(2): 日高 2019/11/18(月)17:32 ID:m12I/9Ir(17/28) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形して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…④となる。
➂の右辺に、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となるので、②はx^p+y^p=(x+(ap)^{1/(p-1)})^p…⑥となる。
⑥をX^p+Y^p=(X+(pa)^{1/(p-1)})^pとおくと、⑥は④の定数倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
省1
523: 2019/11/18(月)17:51 ID:cUeMfYut(3/3) AAS
>>520
なるほど、p=7のときはn=1なんですね
ところでz = x + r とおいたとき r^(p-1) = pは成立していませんが、これは何故ですか？
>>514で自分で言っているようにp=7のときにはこの式は計算が可能なんですよね
524: 2019/11/18(月)18:43 ID:1LNQZ1gd(2/3) AAS
>>521
＞・p = 7 のときp = 1であることを証明した
＞違います。
＞p = 7 のときn= 1です。
言い訳が苦しいにも程がある
お前さんのエセ証明にnなど只の一度も登場しない
この大嘘つきめが！
525: 2019/11/18(月)18:46 ID:Bo0Zhkny(9/13) AAS
>>522
指摘ややりとりが解決してないのにごまかしてるんじゃないよ。
526: 2019/11/18(月)18:46 ID:Bo0Zhkny(10/13) AAS
>>522
証明ではない。
527: 2019/11/18(月)19:18 ID:4qAWCRF5(4/7) AAS
いや、楽しいですなwwwwwwwwww
528(2): 日高 2019/11/18(月)19:26 ID:m12I/9Ir(18/28) AAS
>なるほど、p=7のときはn=1なんですね
別の言い方をすると、
「p=7は、p=1に帰着する。」ということです。
529(4): 日高 2019/11/18(月)19:30 ID:m12I/9Ir(19/28) AAS
>p=7のときにはこの式は計算が可能なんですよね
ん
p=7は、p=1に帰着するので、計算不可能です。
530: 日高 2019/11/18(月)19:33 ID:m12I/9Ir(20/28) AAS
＞p = 7 のときn= 1です。
p = 7 は、p=1に帰着するということです。
531: 2019/11/18(月)19:35 ID:Bo0Zhkny(11/13) AAS
>>529
計算できるといったり計算できないと言ったり、意味不明
532: 2019/11/18(月)19:47 ID:jaM24NPo(1) AAS
>>528
>>514と>>529は矛盾する内容ですが、結局p=7の場合は計算可能なのか計算不可能なのかどっちですか？
533: 2019/11/18(月)20:06 ID:4qAWCRF5(5/7) AAS
> p = 7 は、p=1に帰着するということです。
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
爺さん、もう寝ろwwwwwwwwww
534: 日高 2019/11/18(月)20:11 ID:m12I/9Ir(21/28) AAS
>計算できるといったり計算できないと言ったり、意味不明
どのことを指しているのでしょうか？
535(1): 日高 2019/11/18(月)20:23 ID:m12I/9Ir(22/28) AAS
>>528
>>514と>>529は矛盾する内容ですが、結局p=7の場合は計算可能なのか計算不可能なのかどっちですか？
p=7は、p=1に帰着するので、計算不可能です。
536: 日高 2019/11/18(月)20:28 ID:m12I/9Ir(23/28) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形して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…④となる。
➂の右辺に、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となるので、②は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となる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
省1
537: 2019/11/18(月)20:28 ID:4qAWCRF5(6/7) AAS
>>514
> r^(p-1) = pは、r=p^{1/(p-1)}となります。
> p=1の場合、この式は計算不可能です。pが2以上ならば、計算可能です。
>>529
> p=7は、p=1に帰着するので、計算不可能です。
奇素数 p = 11
x = 100^(1/11), y = 200^(1/11), z = 300^(1/11)
(100^(1/11))^11 + (200^(1/11))^11 = (300^(1/11))^11
⇔ 100 + 200 = 300 ⇔ 100^1 + 200^1 = 300^1
>>514 によれば「pが2以上ならば、計算可能」
省6
538: 2019/11/18(月)20:29 ID:DM62sp6H(1/2) AAS
【定理】pが2のとき、x^p+y^p=z^pは、自然数解を持たない。
【日高の証明】pは2とする。p=2は、p=1に帰着するので、計算不可能です。(QED)
539: 2019/11/18(月)20:30 ID:DM62sp6H(2/2) AAS
【定理】pが1のとき、x^p+y^p=z^pは、自然数解を持たない。
【日高の証明】pは1とする。p=1は、計算不可能です。(QED)
540(1): 日高 2019/11/18(月)20:33 ID:m12I/9Ir(24/28) AAS
>p=11 以降の奇素数についても以上のことは成り立つ。
pが任意の自然数であっても、全てp=1に帰着します。
541: 日高 2019/11/18(月)20:36 ID:m12I/9Ir(25/28) AAS
>【定理】pが2のとき、x^p+y^p=z^pは、自然数解を持たない。
【日高の証明】pは2とする。p=2は、p=1に帰着するので、計算不可能です。(QED)
まったく、内容が違います。
542(12): 日高 2019/11/18(月)20:37 ID:m12I/9Ir(26/28) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形して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…④となる。
➂の右辺に、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となるので、②は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となる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
省1
543: 2019/11/18(月)20:43 ID:1jY2fOvD(1/3) AAS
>>535
では、あなたの証明>>542で使われている数式
x^p+y^p=(x+p^{1/(p-1)})^p…④
でも、右辺は計算不可能ということで宜しいですか？
544(1): 日高 2019/11/18(月)20:53 ID:m12I/9Ir(27/28) AAS
>では、あなたの証明>>542で使われている数式
x^p+y^p=(x+p^{1/(p-1)})^p…④
でも、右辺は計算不可能ということで宜しいですか？
④は、pが、奇素数の場合ですので、計算可能です。
545: 2019/11/18(月)20:59 ID:Bo0Zhkny(12/13) AAS
>>542
でたらめのごまかし。
546: 2019/11/18(月)21:02 ID:1jY2fOvD(2/3) AAS
>>544
>>540ではpが任意の自然数であっても、全てp=1に帰着すると書いていましたが、すると④も計算不可能になりますよね？
547(2): 日高 2019/11/18(月)21:12 ID:m12I/9Ir(28/28) AAS
>ではpが任意の自然数であっても、全てp=1に帰着すると書いていましたが、すると④も計算不可能になりますよね？
④は、奇素数の場合です。
pが任意の自然数であっても、全てp=1に帰着するのは、まったく別の話です。
100+200=300の話です。
548: 2019/11/18(月)21:28 ID:1LNQZ1gd(3/3) AAS
帰着って何だよｗ
結局
・p = 7 のときp = 1であることを証明した
ってことか
爺さん流石イカれてるぜ
549: 2019/11/18(月)21:29 ID:1jY2fOvD(3/3) AAS
>>547
いえ、別の話ではありません
④にp=7, x=100^(1/7), y=200^(1/7)を代入したのが>>510の話だからです
で、④は計算可能なのに>>510のr=p^{1/(p-1)}が計算不可能なのは何故ですか？
550: 2019/11/18(月)21:48 ID:XtC1Ttbc(1) AAS
爺さん、「帰着する」という呪文を覚えたようだな。
これを使えば何でも証明できそうだ！
551: 2019/11/18(月)21:48 ID:Bo0Zhkny(13/13) AAS
>>547
数学用語使えよ。
痴呆老人用語は意味わかんないんだよ。
数学用語使えないんなら、お前が書いている文章は数学じゃないんだよ。
552: 2019/11/18(月)22:18 ID:T9Kvg+I4(1) AAS
ちょっと自分のレスをみてみろと言いたい
553: 2019/11/18(月)22:48 ID:4qAWCRF5(7/7) AAS
爺さんはそろそろ寝る頃だ。みなさん、また明日（笑）。
554: 日高 2019/11/19(火)07:47 ID:YUDnqgOv(1/32) AAS
>帰着って何だよｗ
帰着の意味は、例えば
{100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^pは、
p=1に帰着する。
このような意味です。
555: 2019/11/19(火)07:51 ID:v9/Wrtwm(1) AAS
帰着の説明になってないだろ
556(2): 日高 2019/11/19(火)07:59 ID:YUDnqgOv(2/32) AAS
>いえ、別の話ではありません
④にp=7, x=100^(1/7), y=200^(1/7)を代入したのが>>510の話だからです
で、④は計算可能なのに>>510のr=p^{1/(p-1)}が計算不可能なのは何故ですか？
p=7は、p=1に帰着します。
r=p^{1/(p-1)}にp=1を代入すると、r=p^{1/0}となり、rは、特定できません。
p=1の場合は、x+y=x+rとなるので、x=yとなります。
557: 日高 2019/11/19(火)08:02 ID:YUDnqgOv(3/32) AAS
>帰着の説明になってないだろ
すみませんが、帰着の説明を、していただけないでしょうか。
558: 2019/11/19(火)08:02 ID:gNx6OS+k(1/6) AAS
では、あなたの証明>>542でもp=7とすればp=1に帰着して計算不可能になるということで宜しいですか？
559(1): 日高 2019/11/19(火)08:06 ID:YUDnqgOv(4/32) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形して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…④となる。
➂の右辺に、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となるので、②はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
省1
560: BLACKX ◆SvoRwjQrNc 2019/11/19(火)08:10 ID:0jywr7/s(1) AAS
問題を置き換えて考えて座標とか方程式が見たことある式や形式になることを帰着と言うが。
上下前次1-新書関写板覧索設栞歴
あと 442 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s