[過去ログ]
フェルマーの最終定理の簡単な証明2 (1002レス)
フェルマーの最終定理の簡単な証明2 http://rio2016.5ch.io/test/read.cgi/math/1572998533/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
497: 132人目の素数さん [sage] 2019/11/18(月) 11:23:41.60 ID:Bo0Zhkny >>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は、無理数となります。 > 嘘つき。 > > X^2+Y^2=(X+π)^2, Z=X+π > ならば、 > 話は、変わります。 > X,Y,Zが無理数で、整数比となります。 ごまかすな。 元々ので嘘つき http://rio2016.5ch.io/test/read.cgi/math/1572998533/497
498: 132人目の素数さん [sage] 2019/11/18(月) 11:27:59.63 ID:Bo0Zhkny 何で人の指摘に対して文句をいうのに自分のミスは直さないんだ? http://rio2016.5ch.io/test/read.cgi/math/1572998533/498
499: 日高 [] 2019/11/18(月) 11:39:21.60 ID:m12I/9Ir >> 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の例となります。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/499
500: 日高 [] 2019/11/18(月) 11:41:21.06 ID:m12I/9Ir >元々ので嘘つき どういう意味でしょうか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/500
501: 132人目の素数さん [sage] 2019/11/18(月) 11:42:59.04 ID:Bo0Zhkny >>473 余計な説明しようが嘘つき ついでに日本語の勉強もしろよ http://rio2016.5ch.io/test/read.cgi/math/1572998533/501
502: 132人目の素数さん [sage] 2019/11/18(月) 11:44:34.60 ID:Bo0Zhkny >>499 意味不明。やり直し http://rio2016.5ch.io/test/read.cgi/math/1572998533/502
503: 日高 [] 2019/11/18(月) 11:44:44.17 ID:m12I/9Ir >何で人の指摘に対して文句をいうのに自分のミスは直さないんだ? どの指摘のことでしょうか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/503
504: 132人目の素数さん [sage] 2019/11/18(月) 11:45:17.86 ID:Bo0Zhkny >>503 全部 http://rio2016.5ch.io/test/read.cgi/math/1572998533/504
505: 日高 [] 2019/11/18(月) 11:52:52.53 ID:m12I/9Ir 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。 @をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。 Aを(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)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。 ➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、Aはx^p+y^p=(x+(ap)^{1/(p-1)})^p…Eとなる。 EをX^p+Y^p=(X+(pa)^{1/(p-1)})^pとおくと、EはCの定数倍となるので、X:Y:Z=x:y:zとなる。 Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/505
506: 日高 [] 2019/11/18(月) 11:55:58.31 ID:m12I/9Ir >意味不明。やり直し どの部分が、意味不明でしょうか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/506
507: 日高 [] 2019/11/18(月) 11:57:52.48 ID:m12I/9Ir >余計な説明しようが嘘つき どの部分が余計な説明でしょうか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/507
508: 日高 [] 2019/11/18(月) 11:59:28.67 ID:m12I/9Ir >意味不明。やり直し どの部分が、意味不明でしょうか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/508
509: 日高 [] 2019/11/18(月) 12:03:57.96 ID:m12I/9Ir 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。 @をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。 Aを(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)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。 ➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…Eとなる。 EのX,Y,ZはCのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。 Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/509
510: 132人目の素数さん [sage] 2019/11/18(月) 13:05:43.96 ID:4qAWCRF5 >> 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 z^7 = (300^(1/7))^7 = 300 のように p = 7 のときでも 100 + 200 = 300 となるけど。この例に限らず x、y、z が実数ならいくらでも x^p + y^p = z^p は成り立つわけだが、そこまで条件を緩めても z = x + r とおいたとき r^(p-1) = p とはならないと言っているのだ。まして x、z が自然数なら r = z - x は整数なのだから r^(p-1) = p というよなアフォな式が成り立つわけがない。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/510
511: 132人目の素数さん [sage] 2019/11/18(月) 13:19:36.85 ID:Bo0Zhkny >>508 お前が書いた部分が意味不明。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/511
512: 132人目の素数さん [sage] 2019/11/18(月) 13:19:51.34 ID:Bo0Zhkny >>509 間違い http://rio2016.5ch.io/test/read.cgi/math/1572998533/512
513: 132人目の素数さん [sage] 2019/11/18(月) 13:21:01.95 ID:Bo0Zhkny >>473 嘘つき http://rio2016.5ch.io/test/read.cgi/math/1572998533/513
514: 日高 [] 2019/11/18(月) 13:41:13.18 ID:m12I/9Ir >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以上ならば、計算可能です。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/514
515: 132人目の素数さん [sage] 2019/11/18(月) 14:58:13.12 ID:cUeMfYut >>514 p = 7, x = 100^(1/7), y = 200^(1/7), z = 300^(1/7)のときp = 1であることを証明してください http://rio2016.5ch.io/test/read.cgi/math/1572998533/515
516: 日高 [] 2019/11/18(月) 15:46:21.69 ID:m12I/9Ir >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となります。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/516
517: 132人目の素数さん [sage] 2019/11/18(月) 16:27:32.94 ID:cUeMfYut >>516 つまり7=1ということで宜しいですか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/517
518: 132人目の素数さん [sage] 2019/11/18(月) 16:41:45.51 ID:1LNQZ1gd >>516 また日高の珍回答か ・p = 7 のときp = 1であることを証明した http://rio2016.5ch.io/test/read.cgi/math/1572998533/518
519: 132人目の素数さん [sage] 2019/11/18(月) 17:23:43.15 ID:4qAWCRF5 >>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 |ん| |で| 100 + 200 = 300 ⇔ 100^1 + 200^1 = 300^1 ∴1 = 7 |ま| |せ| 数学史上、燦然と輝く珍証明です。(`⌒´)エッヘン!(`^´) |ん| |!| おかげで睾丸無知な私の下半身が甦りました。(`^´) ドヤッ,ドヤッ! └高┘ http://rio2016.5ch.io/test/read.cgi/math/1572998533/519
520: 日高 [] 2019/11/18(月) 17:26:47.44 ID:m12I/9Ir >つまり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とします。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/520
521: 日高 [] 2019/11/18(月) 17:28:56.75 ID:m12I/9Ir ・p = 7 のときp = 1であることを証明した 違います。 p = 7 のときn= 1です。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/521
522: 日高 [] 2019/11/18(月) 17:32:13.38 ID:m12I/9Ir 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。 @をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。 Aを(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)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。 ➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、Aはx^p+y^p=(x+(ap)^{1/(p-1)})^p…Eとなる。 EをX^p+Y^p=(X+(pa)^{1/(p-1)})^pとおくと、EはCの定数倍となるので、X:Y:Z=x:y:zとなる。 Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/522
523: 132人目の素数さん [sage] 2019/11/18(月) 17:51:22.25 ID:cUeMfYut >>520 なるほど、p=7のときはn=1なんですね ところでz = x + r とおいたとき r^(p-1) = pは成立していませんが、これは何故ですか? >>514で自分で言っているようにp=7のときにはこの式は計算が可能なんですよね http://rio2016.5ch.io/test/read.cgi/math/1572998533/523
524: 132人目の素数さん [sage] 2019/11/18(月) 18:43:07.38 ID:1LNQZ1gd >>521 >・p = 7 のときp = 1であることを証明した >違います。 >p = 7 のときn= 1です。 言い訳が苦しいにも程がある お前さんのエセ証明にnなど只の一度も登場しない この大嘘つきめが! http://rio2016.5ch.io/test/read.cgi/math/1572998533/524
525: 132人目の素数さん [sage] 2019/11/18(月) 18:46:05.02 ID:Bo0Zhkny >>522 指摘ややりとりが解決してないのにごまかしてるんじゃないよ。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/525
526: 132人目の素数さん [sage] 2019/11/18(月) 18:46:37.79 ID:Bo0Zhkny >>522 証明ではない。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/526
527: 132人目の素数さん [sage] 2019/11/18(月) 19:18:36.84 ID:4qAWCRF5 いや、楽しいですなwwwwwwwwww http://rio2016.5ch.io/test/read.cgi/math/1572998533/527
528: 日高 [] 2019/11/18(月) 19:26:59.26 ID:m12I/9Ir >なるほど、p=7のときはn=1なんですね 別の言い方をすると、 「p=7は、p=1に帰着する。」ということです。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/528
529: 日高 [] 2019/11/18(月) 19:30:35.59 ID:m12I/9Ir >p=7のときにはこの式は計算が可能なんですよね ん p=7は、p=1に帰着するので、計算不可能です。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/529
530: 日高 [] 2019/11/18(月) 19:33:16.12 ID:m12I/9Ir >p = 7 のときn= 1です。 p = 7 は、p=1に帰着するということです。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/530
531: 132人目の素数さん [sage] 2019/11/18(月) 19:35:29.51 ID:Bo0Zhkny >>529 計算できるといったり計算できないと言ったり、意味不明 http://rio2016.5ch.io/test/read.cgi/math/1572998533/531
532: 132人目の素数さん [sage] 2019/11/18(月) 19:47:11.98 ID:jaM24NPo >>528 >>514と>>529は矛盾する内容ですが、結局p=7の場合は計算可能なのか計算不可能なのかどっちですか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/532
533: 132人目の素数さん [sage] 2019/11/18(月) 20:06:47.05 ID:4qAWCRF5 > p = 7 は、p=1に帰着するということです。 wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww 爺さん、もう寝ろwwwwwwwwww http://rio2016.5ch.io/test/read.cgi/math/1572998533/533
534: 日高 [] 2019/11/18(月) 20:11:18.17 ID:m12I/9Ir >計算できるといったり計算できないと言ったり、意味不明 どのことを指しているのでしょうか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/534
535: 日高 [] 2019/11/18(月) 20:23:33.35 ID:m12I/9Ir >>528 >>514と>>529は矛盾する内容ですが、結局p=7の場合は計算可能なのか計算不可能なのかどっちですか? p=7は、p=1に帰着するので、計算不可能です。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/535
536: 日高 [] 2019/11/18(月) 20:28:25.44 ID:m12I/9Ir 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。 @をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。 Aを(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)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。 ➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…Eとなる。 EのX,Y,ZはCのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。 Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/536
537: 132人目の素数さん [sage] 2019/11/18(月) 20:28:30.00 ID:4qAWCRF5 >>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以上ならば、計算可能」 >>529 によれば「p=7は、p=1に帰着するので、計算不可能」 さて、p = 11 は 514 によれば計算可能 529 によれば「p=11は、p=1に帰着するので、計算不可能」 p=11 以降の奇素数についても以上のことは成り立つ。 いったいどっちが正しいのだ(笑)。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/537
538: 132人目の素数さん [] 2019/11/18(月) 20:29:05.65 ID:DM62sp6H 【定理】pが2のとき、x^p+y^p=z^pは、自然数解を持たない。 【日高の証明】pは2とする。p=2は、p=1に帰着するので、計算不可能です。(QED) http://rio2016.5ch.io/test/read.cgi/math/1572998533/538
539: 132人目の素数さん [] 2019/11/18(月) 20:30:21.55 ID:DM62sp6H 【定理】pが1のとき、x^p+y^p=z^pは、自然数解を持たない。 【日高の証明】pは1とする。p=1は、計算不可能です。(QED) http://rio2016.5ch.io/test/read.cgi/math/1572998533/539
540: 日高 [] 2019/11/18(月) 20:33:02.34 ID:m12I/9Ir >p=11 以降の奇素数についても以上のことは成り立つ。 pが任意の自然数であっても、全てp=1に帰着します。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/540
541: 日高 [] 2019/11/18(月) 20:36:06.45 ID:m12I/9Ir >【定理】pが2のとき、x^p+y^p=z^pは、自然数解を持たない。 【日高の証明】pは2とする。p=2は、p=1に帰着するので、計算不可能です。(QED) まったく、内容が違います。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/541
542: 日高 [] 2019/11/18(月) 20:37:55.69 ID:m12I/9Ir 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。 @をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。 Aを(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)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。 ➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…Eとなる。 EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/542
543: 132人目の素数さん [sage] 2019/11/18(月) 20:43:13.97 ID:1jY2fOvD >>535 では、あなたの証明>>542で使われている数式 x^p+y^p=(x+p^{1/(p-1)})^p…C でも、右辺は計算不可能ということで宜しいですか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/543
544: 日高 [] 2019/11/18(月) 20:53:19.42 ID:m12I/9Ir >では、あなたの証明>>542で使われている数式 x^p+y^p=(x+p^{1/(p-1)})^p…C でも、右辺は計算不可能ということで宜しいですか? Cは、pが、奇素数の場合ですので、計算可能です。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/544
545: 132人目の素数さん [sage] 2019/11/18(月) 20:59:54.48 ID:Bo0Zhkny >>542 でたらめのごまかし。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/545
546: 132人目の素数さん [sage] 2019/11/18(月) 21:02:03.93 ID:1jY2fOvD >>544 >>540ではpが任意の自然数であっても、全てp=1に帰着すると書いていましたが、するとCも計算不可能になりますよね? http://rio2016.5ch.io/test/read.cgi/math/1572998533/546
547: 日高 [] 2019/11/18(月) 21:12:20.92 ID:m12I/9Ir >ではpが任意の自然数であっても、全てp=1に帰着すると書いていましたが、するとCも計算不可能になりますよね? Cは、奇素数の場合です。 pが任意の自然数であっても、全てp=1に帰着するのは、まったく別の話です。 100+200=300の話です。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/547
548: 132人目の素数さん [sage] 2019/11/18(月) 21:28:09.30 ID:1LNQZ1gd 帰着って何だよw 結局 ・p = 7 のときp = 1であることを証明した ってことか 爺さん流石イカれてるぜ http://rio2016.5ch.io/test/read.cgi/math/1572998533/548
549: 132人目の素数さん [sage] 2019/11/18(月) 21:29:00.87 ID:1jY2fOvD >>547 いえ、別の話ではありません Cにp=7, x=100^(1/7), y=200^(1/7)を代入したのが>>510の話だからです で、Cは計算可能なのに>>510のr=p^{1/(p-1)}が計算不可能なのは何故ですか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/549
550: 132人目の素数さん [sage] 2019/11/18(月) 21:48:38.46 ID:XtC1Ttbc 爺さん、「帰着する」という呪文を覚えたようだな。 これを使えば何でも証明できそうだ! http://rio2016.5ch.io/test/read.cgi/math/1572998533/550
551: 132人目の素数さん [sage] 2019/11/18(月) 21:48:53.15 ID:Bo0Zhkny >>547 数学用語使えよ。 痴呆老人用語は意味わかんないんだよ。 数学用語使えないんなら、お前が書いている文章は数学じゃないんだよ。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/551
552: 132人目の素数さん [sage] 2019/11/18(月) 22:18:05.81 ID:T9Kvg+I4 ちょっと自分のレスをみてみろと言いたい http://rio2016.5ch.io/test/read.cgi/math/1572998533/552
553: 132人目の素数さん [sage] 2019/11/18(月) 22:48:33.15 ID:4qAWCRF5 爺さんはそろそろ寝る頃だ。みなさん、また明日(笑)。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/553
554: 日高 [] 2019/11/19(火) 07:47:38.69 ID:YUDnqgOv >帰着って何だよw 帰着の意味は、例えば {100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^pは、 p=1に帰着する。 このような意味です。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/554
555: 132人目の素数さん [sage] 2019/11/19(火) 07:51:07.58 ID:v9/Wrtwm 帰着の説明になってないだろ http://rio2016.5ch.io/test/read.cgi/math/1572998533/555
556: 日高 [] 2019/11/19(火) 07:59:26.08 ID:YUDnqgOv >いえ、別の話ではありません Cにp=7, x=100^(1/7), y=200^(1/7)を代入したのが>>510の話だからです で、Cは計算可能なのに>>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となります。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/556
557: 日高 [] 2019/11/19(火) 08:02:33.44 ID:YUDnqgOv >帰着の説明になってないだろ すみませんが、帰着の説明を、していただけないでしょうか。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/557
558: 132人目の素数さん [sage] 2019/11/19(火) 08:02:40.42 ID:gNx6OS+k では、あなたの証明>>542でもp=7とすればp=1に帰着して計算不可能になるということで宜しいですか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/558
559: 日高 [] 2019/11/19(火) 08:06:43.64 ID:YUDnqgOv 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。 @をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。 Aを(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)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。 ➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…Eとなる。 EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/559
560: BLACKX ◆SvoRwjQrNc [sage] 2019/11/19(火) 08:10:06.32 ID:0jywr7/s 問題を置き換えて考えて座標とか方程式が見たことある式や形式になることを帰着と言うが。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/560
561: 日高 [] 2019/11/19(火) 08:12:47.23 ID:YUDnqgOv >では、あなたの証明>>542でもp=7とすればp=1に帰着して計算不可能になるということで宜しいですか? いいえ。違います。 542は、pが奇素数の場合です。 p=1の場合は、該当しません。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/561
562: 日高 [] 2019/11/19(火) 08:15:33.18 ID:YUDnqgOv >問題を置き換えて考えて座標とか方程式が見たことある式や形式になることを帰着と言うが。 すみませんが、もう少し具体的に説明していただけないでしょうか。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/562
563: 132人目の素数さん [sage] 2019/11/19(火) 08:16:21.21 ID:gNx6OS+k >>561 p=7は奇素数ですが、>>556によればp=1に帰着するという回答が得られています もともとのpが奇素数だろうが何だろうが結局p=1に帰着するというのがあなたの主張ですよね? http://rio2016.5ch.io/test/read.cgi/math/1572998533/563
564: 日高 [] 2019/11/19(火) 08:38:26.84 ID:YUDnqgOv >p=7は奇素数ですが、>>556によればp=1に帰着するという回答が得られています もともとのpが奇素数だろうが何だろうが結局p=1に帰着するというのがあなたの主張ですよね? {100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^pの場合は、 pが、7であっても、他の自然数であっても、全てp=1に帰着します。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/564
565: 132人目の素数さん [sage] 2019/11/19(火) 08:42:32.82 ID:gNx6OS+k >>564 何故か>>542の式はp=1に帰着しないということですか? それでは、p=1に帰着する式とp=1に帰着しない式の違いを教えてください http://rio2016.5ch.io/test/read.cgi/math/1572998533/565
566: 日高 [] 2019/11/19(火) 09:02:44.42 ID:YUDnqgOv >何故か>>542の式はp=1に帰着しないということですか? それでは、p=1に帰着する式とp=1に帰着しない式の違いを教えてください 542の式はp=1に帰着しません。 p=2,p=3は、それぞれ異なる式となります。 p=1に帰着する式は、{100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^pこの式です。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/566
567: 132人目の素数さん [sage] 2019/11/19(火) 09:09:37.29 ID:gNx6OS+k >>566 なるほど、>>542の式はp=1に帰着しないが{100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^pはp=1に帰着するのですね それで、他にどういう式がp=1に帰着して、どういう式はp=1に帰着しないのですか?もう一度書きますが、p=1に帰着する式とp=1に帰着しない式の違いを教えてください http://rio2016.5ch.io/test/read.cgi/math/1572998533/567
568: 日高 [] 2019/11/19(火) 09:21:27.22 ID:YUDnqgOv >それで、他にどういう式がp=1に帰着して、どういう式はp=1に帰着しないのですか?もう一度書きますが、p=1に帰着する式とp=1に帰着しない式の違いを教えてください p=1に帰着する式は、他にたくさんあると、思いますが、例をあげることは、できません。 ただ、542の式は、p=1には、帰着しません。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/568
569: 132人目の素数さん [sage] 2019/11/19(火) 09:33:50.47 ID:gNx6OS+k >>568 他にp=1に帰着する式はたくさんあるのに、どうして>>542の式だけはp=1に帰着しないのですか? それをきちんと証明して、新しく書き直してください http://rio2016.5ch.io/test/read.cgi/math/1572998533/569
570: 日高 [] 2019/11/19(火) 09:45:46.21 ID:YUDnqgOv >どうして>>542の式だけはp=1に帰着しないのですか? 542の式は、p=1に帰着する理由がありません。 {100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^p この式は、p=1に帰着する理由があります。 理由は、pにどんな数を、代入しても、 100+200=300となります。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/570
571: 日高 [] 2019/11/19(火) 09:48:29.40 ID:YUDnqgOv 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。 @をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。 Aを(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)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。 ➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…Eとなる。 EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/571
572: 132人目の素数さん [sage] 2019/11/19(火) 09:54:39.46 ID:gNx6OS+k >>570 >>542の式がp=1に帰着しないことは証明できないということで宜しいですか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/572
573: 日高 [] 2019/11/19(火) 10:11:36.15 ID:YUDnqgOv >>542の式がp=1に帰着しないことは証明できないということで宜しいですか? 542の式は、p=1とすると、r=yとなります。rが定まりません。 542の式のpに、2,3,4,5・・・・を代入しても、p=1を代入した場合と同じには、 なりません。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/573
574: 132人目の素数さん [sage] 2019/11/19(火) 10:28:09.90 ID:bS7ZfYbY >>571 零点。証明のはじめに x,y,z が何なのか明示されてないから。 まともな証明なら x,y,z は自然数と仮定する。したがって z = x + r とおいたときの r も自然数である。 r^(p-1){(y/r)^p-1} = p{x^(p-1)+…+r^(p-2)x} ・・・・・ B から、何の根拠も示さず r^(p-1) = p とはできないので零点。 仮にそれを認めてしまうと r は明らかに無理数になってしまい、r が自然数という仮定に反するから証明はここで終わる。 また r^(p-1) = {x^(p-1)+…+r^(p-2)x} も考慮しなければならない。 Bの右辺に、a(1/a)を掛けると r^(p-1){(y/r)^p-1} = pa{x^(p-1)+…+r^(p-2)x}(1/a)…D となるが、これから勝手に r^(p-1) = pa とはできない。かけ算は交換法則が可能なので r^(p-1) = a r^(p-1) = 1/a r^(p-1) = p/a r^(p-1) = {x^(p-1)+…+r^(p-2)x} r^(p-1) = {x^(p-1)+…+r^(p-2)x}/a も考慮しなければならない。 ちなみに>>571(今までの証明はすべて)の丸数字は、Bだけが機種依存文字になっている。 見苦しいから書き直そう。この投稿のBと比べれば老眼でもよくわかるはずである。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/574
575: 日高 [] 2019/11/19(火) 11:10:46.99 ID:YUDnqgOv >r^(p-1) = {x^(p-1)+…+r^(p-2)x} も考慮しなければならない。 r={x^(p-1)+…+r^(p-2)x}^{1/(p-1)}とすると、rが定まりません。 >Bだけが機種依存文字になっている。 見苦しいから書き直そう。この投稿のBと比べれば老眼でもよくわかるはずである。 すみません。原因が、分かりません。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/575
576: 132人目の素数さん [sage] 2019/11/19(火) 11:21:08.52 ID:GcPRVqGx コントかよ。 お前が考える帰着の意味を問うているのに、なぜ他人に聞くんだよw http://rio2016.5ch.io/test/read.cgi/math/1572998533/576
577: 日高 [] 2019/11/19(火) 11:30:09.38 ID:YUDnqgOv >お前が考える帰着の意味を問うているのに、なぜ他人に聞くんだよw 帰着の正確な意味を、知りたいからです。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/577
578: 132人目の素数さん [sage] 2019/11/19(火) 11:50:49.47 ID:GcPRVqGx なら、正確な意味を知らない言葉なんてはじめから使うなよ。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/578
579: 日高 [] 2019/11/19(火) 12:04:37.60 ID:YUDnqgOv >なら、正確な意味を知らない言葉なんてはじめから使うなよ。 すみません。他に言葉を知らないから使いました。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/579
580: 132人目の素数さん [sage] 2019/11/19(火) 12:42:13.70 ID:r6MNliIO >>559 ゴミ&ごまかし。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/580
581: 132人目の素数さん [sage] 2019/11/19(火) 12:43:47.27 ID:r6MNliIO >>571 まずは溜まっているやりとりを終わらせろよ。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/581
582: 日高 [] 2019/11/19(火) 13:40:28.61 ID:YUDnqgOv >ゴミ&ごまかし。 どの部分のことでしょうか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/582
583: 日高 [] 2019/11/19(火) 13:43:27.70 ID:YUDnqgOv >まずは溜まっているやりとりを終わらせろよ。 溜まっているやりとりとは、どのようなことでしょうか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/583
584: 日高 [] 2019/11/19(火) 13:45:26.00 ID:YUDnqgOv 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。 @をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。 Aを(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)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。 ➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…Eとなる。 EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/584
585: 132人目の素数さん [sage] 2019/11/19(火) 13:48:00.51 ID:r6MNliIO >>584 指摘無視。 p=1への帰着だとかはどうなった? 帰着という言葉は意味分かってなくて使えないんだから、他の言葉で説明し直すべきだろうが。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/585
586: 132人目の素数さん [sage] 2019/11/19(火) 13:49:11.18 ID:r6MNliIO >>583 > >まずは溜まっているやりとりを終わらせろよ。 > > 溜まっているやりとりとは、どのようなことでしょうか? お前は幼稚園児か?自分が何に返事してその返事が相手に認められたのかどうか全部メモっておけよ。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/586
587: 132人目の素数さん [sage] 2019/11/19(火) 14:08:44.13 ID:0Mux4cYF >>573 なるほど、あなたの世界ではp=2,3,4,5…を代入するとp=1を代入した場合と同じになる場合に「p=1に帰着する」と言うのですね では {p^(1/p)}^p+{(2p)^(1/p)}^p={(3p)^(1/p)}^p にp=7を代入した場合はp=1を代入した場合と同じにはなりませんが、これはp=1に帰着しないと言うことで宜しいですか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/587
588: 日高 [] 2019/11/19(火) 14:33:54.82 ID:YUDnqgOv {p^(1/p)}^p+{(2p)^(1/p)}^p={(3p)^(1/p)}^p にp=7を代入した場合はp=1を代入した場合と同じにはなりませんが、これはp=1に帰着しないと言うことで宜しいですか? はい。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/588
589: 日高 [] 2019/11/19(火) 14:38:50.74 ID:YUDnqgOv >帰着という言葉は意味分かってなくて使えないんだから、他の言葉で説明し直すべきだろうが。 他の言葉は、思い当たりません http://rio2016.5ch.io/test/read.cgi/math/1572998533/589
590: 132人目の素数さん [sage] 2019/11/19(火) 15:11:45.83 ID:0Mux4cYF >>588 なるほど、{p^(1/p)}^p+{(2p)^(1/p)}^p={(3p)^(1/p)}^pはp=1に帰着しないのですね ところでx=p^(1/p),y=(2p)^(1/p),z=(3p)^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。 このことはどう説明しますか? http://rio2016.5ch.io/test/read.cgi/math/1572998533/590
591: 日高 [] 2019/11/19(火) 15:22:45.29 ID:YUDnqgOv >なるほど、{p^(1/p)}^p+{(2p)^(1/p)}^p={(3p)^(1/p)}^pはp=1に帰着しないのですね ところでx=p^(1/p),y=(2p)^(1/p),z=(3p)^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。 このことはどう説明しますか? p=7のとき、7+14=21 p=1のとき、1+2=3となります。 7^1+14^1=21^1, 1^1+2^1=3^1となるので、 p=1と同じ形となります。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/591
592: 132人目の素数さん [sage] 2019/11/19(火) 15:25:05.67 ID:r6MNliIO >>589 > >帰着という言葉は意味分かってなくて使えないんだから、他の言葉で説明し直すべきだろうが。 > > 他の言葉は、思い当たりません つまり、知らない言葉でごまかすしかないってことだ。そんなごまかしは数学ではない。だから間違ったこと平気で書くんだよ。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/592
593: 日高 [] 2019/11/19(火) 15:31:26.59 ID:YUDnqgOv >だから間違ったこと平気で書くんだよ。 どの部分が、間違いかを、ご指摘いただけないでしょうか。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/593
594: 132人目の素数さん [sage] 2019/11/19(火) 15:58:10.99 ID:r6MNliIO >>593 痴呆決定だな。 自分が何に返事してその返事が相手に認められたのかどうか全部メモっておけよ。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/594
595: 日高 [] 2019/11/19(火) 16:26:54.40 ID:YUDnqgOv 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。 @をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。 Aを(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)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。 ➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。 r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…Eとなる。 EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。 Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/595
596: 132人目の素数さん [sage] 2019/11/19(火) 16:28:53.00 ID:r6MNliIO >>595 ゴミ。 http://rio2016.5ch.io/test/read.cgi/math/1572998533/596
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 406 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.268s*