[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明4 (1002ﾚｽ)

フェルマーの最終定理の簡単な証明4 http://rio2016.5ch.net/test/read.cgi/math/1576824679/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

554: １３２人目の素数さん [sage] 2019/12/29(日) 21:19:09.49 ID:rghD6tGc >>553 あなたは>>57でA=C,つまり(左辺の右側)=(右辺の右側)が間違いであるという文に その通りと書いています。 その通りです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/554

555: １３２人目の素数さん [sage] 2019/12/29(日) 21:19:21.17 ID:BhvL9ciO >>553 日高 > >548 > >「(左辺の右側)=(右辺の右側)となるので」が大ウソ。 > > 理由を教えていただけないでしょうか x^3+y^3=(x+y)(x^2-xy+y^2)は正しい。しかし (x^3+y^3)×1=(x+y)(x^2-xy+y^2)から 「(左辺の右側)=(右辺の右側)となるので」として 1=(x^2-xy+y^2)を導くと x=2,y=3のとき1=7となって不合理。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/555

556: 日高 [] 2019/12/29(日) 21:22:38.19 ID:0OrGG5Rh >549 >> x=6/2を代入すると、6，8，10となります。 x=6/2を代入するとx=3です。 それ以外にはなりません。 x=6/2を代入すると、x,y,zの比が、6:8:10となります。 x=3を代入すると、x,y,zの比が、3:4:5となります 6:8:10=3:4:5となります http://rio2016.5ch.net/test/read.cgi/math/1576824679/556

557: １３２人目の素数さん [sage] 2019/12/29(日) 21:24:58.72 ID:d9MTGnU7 何故ここまで質問の意図を理解できないのか不思議だな もしくは理解していたとして回答を出すときの思考過程がどこかおかしいか よくみんな付き合ってられるな 数学板オソルベシ http://rio2016.5ch.net/test/read.cgi/math/1576824679/557

558: １３２人目の素数さん [sage] 2019/12/29(日) 21:25:34.59 ID:ru30+Q3K >>536 > 任意の有理数だと定数倍しても自然数にならない解を得られるから。 > > 例をあげていただけないでしょうか。 これだもんなあ。 >>455 で自分で x=1 なら整数解のみって言ったのを平気で知らんふりだもの。 x≦1 なる有理数が全てそうなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/558

559: １３２人目の素数さん [sage] 2019/12/29(日) 21:25:39.58 ID:rghD6tGc >>556 比の話なんて証明に出てきていないでしょう？ x=3の時x=3です。それ以外になるなら間違いです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/559

560: １３２人目の素数さん [sage] 2019/12/29(日) 21:26:01.16 ID:BhvL9ciO >>556 日高 > >549 > >> x=6/2を代入すると、6，8，10となります。 > x=6/2を代入するとx=3です。 > それ以外にはなりません。 > > x=6/2を代入すると、x,y,zの比が、6:8:10となります。 > x=3を代入すると、x,y,zの比が、3:4:5となります > 6:8:10=3:4:5となります 「イコール」を「比が同じ」にすり替える日高氏は不誠実。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/560

561: 日高 [] 2019/12/29(日) 21:26:17.57 ID:0OrGG5Rh >552 >この場合x=4だろうが。 どういう意味でしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/561

562: 日高 [] 2019/12/29(日) 21:30:03.63 ID:0OrGG5Rh >554 >あなたは>>57でA=C,つまり(左辺の右側)=(右辺の右側)が間違いであるという文に その通りと書いています。 文１が間違いという意味です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/562

563: １３２人目の素数さん [sage] 2019/12/29(日) 21:30:35.12 ID:BhvL9ciO >>561 日高 > >552 > >この場合x=4だろうが。 > > どういう意味でしょうか？ > > >4^2+3^2=5^2のとき1=z-yとはならんだろ。 だからx=4だろうが。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/563

564: １３２人目の素数さん [sage] 2019/12/29(日) 21:31:23.35 ID:ru30+Q3K >>535 > 意味がわかりません。 なるほど、あなたも私も意味が分からないということは、元の 「一例でもあげられれば証明完了なので、「任意の有理数」としました。」 は無意味な発言ということですね。 納得しました。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/564

565: 日高 [] 2019/12/29(日) 21:33:18.76 ID:0OrGG5Rh >555 >x^3+y^3=(x+y)(x^2-xy+y^2)は正しい。しかし (x^3+y^3)×1=(x+y)(x^2-xy+y^2)から 「(左辺の右側)=(右辺の右側)となるので」として 1=(x^2-xy+y^2)を導くと x=2,y=3のとき1=7となって不合理。 1=(x^2-xy+y^2)を満たすx,yは１のみです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/565

566: 日高 [] 2019/12/29(日) 21:35:49.73 ID:0OrGG5Rh >558 >>>455 で自分で x=1 なら整数解のみって言ったのを平気で知らんふりだもの。 x≦1 なる有理数が全てそうなります。 x=3ならば、自然数解となります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/566

567: １３２人目の素数さん [sage] 2019/12/29(日) 21:37:03.34 ID:rghD6tGc >>557 相手が認めざるを得ない理屈で相手に間違いを認めさせるのは ある意味数学の未解決問題に挑戦するのと変わらない気がする。 一目で間違いなのは分かるし 一見簡単にできそうで 先人たちもあの手この手で挑んでいるけど同じことをやってたりして 結局誰も解決した人がいない。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/567

568: １３２人目の素数さん [sage] 2019/12/29(日) 21:37:30.79 ID:BhvL9ciO >>565 日高 > >555 > >x^3+y^3=(x+y)(x^2-xy+y^2)は正しい。しかし > (x^3+y^3)×1=(x+y)(x^2-xy+y^2)から > 「(左辺の右側)=(右辺の右側)となるので」として > 1=(x^2-xy+y^2)を導くと > x=2,y=3のとき1=7となって不合理。 > > 1=(x^2-xy+y^2)を満たすx,yは１のみです。 そんな小手先の戯言に誤魔化されはしません。 「x^3+y^3=(x+y)(x^2-xy+y^2)」はすべてのx,yについて真です。 それに加えて「(左辺の右側)=(右辺の右側)となるの

で」が真なら 1=7も成立するはずです。 日高さん，あなたは不誠実な人です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/568

569: 日高 [] 2019/12/29(日) 21:39:03.59 ID:0OrGG5Rh >559 >比の話なんて証明に出てきていないでしょう？ x=3の時x=3です。それ以外になるなら間違いです。 x=3の時x=3です。 その通りです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/569

570: １３２人目の素数さん [sage] 2019/12/29(日) 21:40:12.70 ID:LGzujaMz >>567 日高氏は論理が破綻していても平気なので、間違いを認めさせる方法がありません。 ここまでやったら放置でいいと思うよ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/570

571: 日高 [] 2019/12/29(日) 21:44:45.42 ID:0OrGG5Rh >560 >> x=6/2を代入すると、x,y,zの比が、6:8:10となります。 > x=3を代入すると、x,y,zの比が、3:4:5となります > 6:8:10=3:4:5となります 「イコール」を「比が同じ」にすり替える日高氏は不誠実。 x,y,zが、3,4,5と6,8,10は、同じ比です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/571

572: １３２人目の素数さん [sage] 2019/12/29(日) 21:47:29.83 ID:rghD6tGc >>569 > p=2のとき、x^p+y^p=z^pをみたす3つの偶数の組(x,y,z)が存在しない。 について x=3のとき、(x,y,z)は（6,8,10)ではありません。 x=3のとき(3)を満たしていても、(6,8,10)は(3)を満たしていません。 x=3は偶数ではなく、(6，8，10)は(3)を満たしていないので 結局あなたの証明が正しければ3つの偶数の組は存在しません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/572

573: １３２人目の素数さん [sage] 2019/12/29(日) 21:47:36.86 ID:56qm/Id8 お？爆死か？記念★パピコ http://rio2016.5ch.net/test/read.cgi/math/1576824679/573

574: １３２人目の素数さん [sage] 2019/12/29(日) 21:47:55.49 ID:BhvL9ciO >>571 日高 > >560 > >> x=6/2を代入すると、x,y,zの比が、6:8:10となります。 > > x=3を代入すると、x,y,zの比が、3:4:5となります > > 6:8:10=3:4:5となります > > 「イコール」を「比が同じ」にすり替える日高氏は不誠実。 > > x,y,zが、3,4,5と6,8,10は、同じ比です。 バカか，お前は。すり替えるなと言っているだろうが。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/574

575: 日高 [] 2019/12/29(日) 21:49:41.88 ID:0OrGG5Rh >563 >> >4^2+3^2=5^2のとき1=z-yとはならんだろ。 だからx=4だろうが。 x^2=2y+1にx=2を代入すると、(4/2)^2+(3/2)^2=(5/2)^2となります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/575

576: １３２人目の素数さん [sage] 2019/12/29(日) 21:51:45.58 ID:BhvL9ciO >>570 > >>567 > 日高氏は論理が破綻していても平気なので、間違いを認めさせる方法がありません。 > ここまでやったら放置でいいと思うよ。 なるほど。 別の言いかたをすれば，数学的事実を事実として受け止められない人ですね。 永遠に自分の世界をさまよい続けるのでしょう。 まあ、私自身は面白半分にからかい続けるかもしれませんが、 彼から「フェルマーの最終定理の簡単な証明」と題するメールを送り付けられた数学者は ネット検索してこの

スレに到達し だれも相手にしなくなるでしょう。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/576

577: 日高 [] 2019/12/29(日) 21:52:58.20 ID:0OrGG5Rh >568 >「x^3+y^3=(x+y)(x^2-xy+y^2)」はすべてのx,yについて真です。 それに加えて「(左辺の右側)=(右辺の右側)となるので」が真なら 1=7も成立するはずです。 日高さん，あなたは不誠実な人です。 よく意味がわかりません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/577

578: １３２人目の素数さん [sage] 2019/12/29(日) 21:55:40.12 ID:BhvL9ciO >>577 日高 > >568 > >「x^3+y^3=(x+y)(x^2-xy+y^2)」はすべてのx,yについて真です。 > それに加えて「(左辺の右側)=(右辺の右側)となるので」が真なら > 1=7も成立するはずです。 > 日高さん，あなたは不誠実な人です。 > > よく意味がわかりません。 その不誠実が無知からくるものならば私は日高氏を許す。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/578

579: １３２人目の素数さん [sage] 2019/12/29(日) 22:00:05.82 ID:ZpnTZGJh 「よく意味がわかりません」で指摘を無視するゴミ http://rio2016.5ch.net/test/read.cgi/math/1576824679/579

580: 日高 [] 2019/12/29(日) 22:04:19.32 ID:0OrGG5Rh >572 >x=3のとき、(x,y,z)は（6,8,10)ではありません。 x=3のとき(3)を満たしていても、(6,8,10)は(3)を満たしていません。 x=3は偶数ではなく、(6，8，10)は(3)を満たしていないので 結局あなたの証明が正しければ3つの偶数の組は存在しません。 私の証明は、x=3のとき、(3)を満たします。 (6,8,10)は(3)を満たしていませんが、 x=6/2のとき、比が(6,8,10)となります。 x=3のとき、(3)を満たせば、証明は、正しいことになると思います。 http://rio2016.5ch.net/test/read.cgi/math/15

76824679/580

581: １３２人目の素数さん [sage] 2019/12/29(日) 22:05:14.94 ID:rghD6tGc >>580 なりません。 なぜなら、x=3のときx=3であって、それはx=6でないから。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/581

582: 日高 [] 2019/12/29(日) 22:07:25.98 ID:0OrGG5Rh 【定理】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)…(1)となる。 (左辺の右側)=(右辺の右側)となるので、1=(z-y)…(2)とおく。 (2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。 (3)のxに任意の有理数を代入すると、yは、有理数となる。 ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/582

583: 日高 [] 2019/12/29(日) 22:09:56.81 ID:0OrGG5Rh 定理】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)}…(1)となる。 (左辺の右側)=(右辺の右側)となるので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)とおく。 (2)の有理数解は、x=1、y=1のみである。z^p=(x+y)にx=1、y=1を代入する。 z^p=1+1=2となる。z^p=2を満たす有理数zはない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 ht

tp://rio2016.5ch.net/test/read.cgi/math/1576824679/583

584: １３２人目の素数さん [sage] 2019/12/29(日) 22:13:01.88 ID:BhvL9ciO >>580 日高 > >572 > >x=3のとき、(x,y,z)は（6,8,10)ではありません。 > x=3のとき(3)を満たしていても、(6,8,10)は(3)を満たしていません。 > x=3は偶数ではなく、(6，8，10)は(3)を満たしていないので > 結局あなたの証明が正しければ3つの偶数の組は存在しません。 > > 私の証明は、x=3のとき、(3)を満たします。 > (6,8,10)は(3)を満たしていませんが、 > x=6/2のとき、比が(6,8,10)となります。 > x=3のとき、(3)を満たせ

ば、証明は、正しいことになると思います。 ときどき見かけるんだよね。x=6/2とx=3とを別物だと思う人。 lim(1/n)=0は理解できるがlim(1/n)と0とを別物だと思う人。 そのたぐいか。日高氏は。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/584

585: １３２人目の素数さん [sage] 2019/12/29(日) 22:20:09.60 ID:wcmBXybs >証明は、正しいことになると思います。 日高が正しいと思うかどうかは、証明の正しさに全く関係がない。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/585

586: １３２人目の素数さん [] 2019/12/29(日) 22:21:10.88 ID:/f3KCgKr じゃあ任意の定数a,bに対して a=bってどういう意味なんだろうな たとえば 1=2か？ 表示が異なるが中身が同じっていう意味じゃないのか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/586

587: 日高 [] 2019/12/29(日) 22:30:47.68 ID:0OrGG5Rh >584 >結局あなたの証明が正しければ3つの偶数の組は存在しません。 私の証明に3つの偶数の組は、必要なことなのでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/587

588: １３２人目の素数さん [sage] 2019/12/29(日) 22:32:45.08 ID:rghD6tGc >>587 必要ですよ。 あなたが証明で使っている間違った理屈が確かに間違っていることを確認するのに 必要です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/588

589: １３２人目の素数さん [sage] 2019/12/29(日) 22:34:00.79 ID:BhvL9ciO >>587 日高 > >584 > >結局あなたの証明が正しければ3つの偶数の組は存在しません。 > > 私の証明に3つの偶数の組は、必要なことなのでしょうか？ 元メッセージの番号を書いてくれ。そうでないと見にくくてたまらん。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/589

590: 日高 [] 2019/12/29(日) 22:45:02.83 ID:0OrGG5Rh >581 >なぜなら、x=3のときx=3であって、それはx=6でないから。 どういう意味でしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/590

591: １３２人目の素数さん [sage] 2019/12/29(日) 22:48:14.20 ID:rghD6tGc >>590 > p=2のとき、x^p+y^p=z^pをみたす3つの偶数の組(x,y,z)が存在しない。 について x=3のとき、x=6ではありません。 なぜなら、3は6ではないから。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/591

592: 日高 [] 2019/12/29(日) 22:50:10.67 ID:0OrGG5Rh >584 >ときどき見かけるんだよね。x=6/2とx=3とを別物だと思う人。 6:8:10と3:4:5を別物の考えるならば、x=6/2とx=3とを別物だと考えなくてはいけないと 思います。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/592

593: １３２人目の素数さん [sage] 2019/12/29(日) 22:50:44.30 ID:BhvL9ciO >>590 日高 > >581 > >なぜなら、x=3のときx=3であって、それはx=6でないから。 > > どういう意味でしょうか 自分で自分を誤魔化すのはもうやめにしませんか？ むなしいだけですよ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/593

594: １３２人目の素数さん [sage] 2019/12/29(日) 22:51:44.34 ID:ru30+Q3K >>566 > >>>455 で自分で x=1 なら整数解のみって言ったのを平気で知らんふりだもの。 > x≦1 なる有理数が全てそうなります。 > > x=3ならば、自然数解となります。 だからなんだというの？ なる場合とあるしならない場合もあるから 「任意の有理数」じゃ駄目だよって言ってるのよ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/594

595: 日高 [] 2019/12/29(日) 22:52:08.46 ID:0OrGG5Rh >586 >じゃあ任意の定数a,bに対して a=bってどういう意味なんだろうな たとえば 1=2か？ >表示が異なるが中身が同じっていう意味じゃないのか？ よく意味がわかりません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/595

596: １３２人目の素数さん [sage] 2019/12/29(日) 22:53:13.85 ID:BhvL9ciO >>592 日高 > >584 > >ときどき見かけるんだよね。x=6/2とx=3とを別物だと思う人。 > > 6:8:10と3:4:5を別物の考えるならば、x=6/2とx=3とを別物だと考えなくてはいけないと > 思います。 6/2は3です。すべての性質において6/2と3とは区別されません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/596

597: 日高 [] 2019/12/29(日) 22:54:17.12 ID:0OrGG5Rh >588 >>>587 必要ですよ。 あなたが証明で使っている間違った理屈が確かに間違っていることを確認するのに 必要です。 よく意味がわかりません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/597

598: １３２人目の素数さん [sage] 2019/12/29(日) 23:01:06.46 ID:ru30+Q3K 【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。 【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。 したがって、x^2=(z+y)(z-y)…(1)となる。 1=(z-y)…(2) の場合を考える。 (2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。 (3)のxに 3以上の奇数を代入すると、y及びzは、自然数となる。 ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。 これだけでいいのになあ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/598

599: 日高 [] 2019/12/29(日) 23:01:08.58 ID:0OrGG5Rh >589 >>結局あなたの証明が正しければ3つの偶数の組は存在しません。 > > 私の証明に3つの偶数の組は、必要なことなのでしょうか？ 元メッセージの番号を書いてくれ。そうでないと見にくくてたまらん。 582番の証明についてです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/599

600: 日高 [] 2019/12/29(日) 23:05:58.17 ID:0OrGG5Rh >594 >だからなんだというの？ なる場合とあるしならない場合もあるから 「任意の有理数」じゃ駄目だよって言ってるのよ。 「任意の有理数」の場合整数比となります。 その中で、自然数解が一つあれば、よいことになります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/600

601: １３２人目の素数さん [sage] 2019/12/29(日) 23:09:37.43 ID:BhvL9ciO >>600 日高 > その中で、自然数解が一つあれば、よいことになります。 だったら3^2+4^2=5^2と書くだけでよいのに。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/601

602: 日高す [] 2019/12/29(日) 23:10:57.96 ID:0OrGG5Rh >598 【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。 【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。 したがって、x^2=(z+y)(z-y)…(1)となる。 1=(z-y)…(2) の場合を考える。 (2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。 (3)のxに 3以上の奇数を代入すると、y及びzは、自然数となる。 ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。 >これだけでいいのになあ。 その通りだと思います。 任意の有理数とすると、全てのピタゴラス数となります。 http://rio2016

.5ch.net/test/read.cgi/math/1576824679/602

603: 日高す [] 2019/12/29(日) 23:12:49.49 ID:0OrGG5Rh >601 >だったら3^2+4^2=5^2と書くだけでよいのに。 そうですね。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/603

604: １３２人目の素数さん [sage] 2019/12/29(日) 23:21:05.53 ID:e3HdTM/M >>540 > >532 > >> z^p×1=z^(p-1)*z^p=z^(p-2)*z^2=z^pとなるので、x=y=1に話を制限したことには、 > > なりません。 > 日高の思い込み。数学的な根拠なし。 > > 「数学的な根拠なし。」の理由を教えていただけないでしょうか。 むしろ数学的な根拠を要求しているのだが。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/604

605: 日高 [] 2019/12/29(日) 23:21:12.31 ID:0OrGG5Rh >605 【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。 「(3)のxに 3以上の奇数を代入すると」では、 すべてのx,y,zの組み合わせとなりません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/605

606: １３２人目の素数さん [sage] 2019/12/29(日) 23:23:07.01 ID:BhvL9ciO z^p=x^p+y^pと書いたときzが素数とは限らない。 p=2のピタゴラス数ではzが素数でない例が存在する。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/606

607: １３２人目の素数さん [sage] 2019/12/29(日) 23:24:12.57 ID:e3HdTM/M 日高は本人の思い込みを述べるばかりで数学的な根拠を一回も述べない。これは数学ではない。なので数学板とも数学掲示板とも数学者とも無関係。数学に近寄らないでもらいたいね。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/607

608: １３２人目の素数さん [sage] 2019/12/30(月) 00:15:43.23 ID:acuQGWmg >>605 > 【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。 > 「(3)のxに 3以上の奇数を代入すると」では、 > すべてのx,y,zの組み合わせとなりません。 存在証明だから全ての組み合わせは必要ないです。 そのために自然数解をもたらさない 「任意の有理数」にしているのは本末転倒です。 どうしてもというのなら 「x>1 なる有理数」とでもすれば 定数倍することによってすべて自然数解にすることができます。 が、そんなことを長々と記述するのもま

た本末転倒です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/608

609: 日高 [] 2019/12/30(月) 06:04:14.21 ID:Cxnci0na >604 >むしろ数学的な根拠を要求しているのだが。 「数学的な根拠」とは？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/609

610: 日高 [] 2019/12/30(月) 06:06:39.11 ID:Cxnci0na >606 >p=2のピタゴラス数ではzが素数でない例が存在する。 そうですね。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/610

611: 日高 [] 2019/12/30(月) 06:10:42.36 ID:Cxnci0na >607 >数学に近寄らないでもらいたいね。 理由を教えていただけないでしょうか。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/611

612: 日高 [] 2019/12/30(月) 06:14:41.38 ID:Cxnci0na >608 >存在証明だから全ての組み合わせは必要ないです。 その通りだと思います。 「任意の有理数」にしている理由は、pが奇素数の場合も同じ要領だからです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/612

613: 日高 [] 2019/12/30(月) 06:17:08.56 ID:Cxnci0na 定理】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)}…(1)となる。 (左辺の右側)=(右辺の右側)となるので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)とおく。 (2)の有理数解は、x=1、y=1のみである。z^p=(x+y)にx=1、y=1を代入する。 z^p=1+1=2となる。z^p=2を満たす有理数zはない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 ht

tp://rio2016.5ch.net/test/read.cgi/math/1576824679/613

614: 日高 [] 2019/12/30(月) 06:18:13.75 ID:Cxnci0na 【定理】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)…(1)となる。 (左辺の右側)=(右辺の右側)となるので、1=(z-y)…(2)とおく。 (2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。 (3)のxに任意の有理数を代入すると、yは、有理数となる。 ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/614

615: １３２人目の素数さん [sage] 2019/12/30(月) 07:10:34.18 ID:go0eepce 定理】4つの数(左辺の左側),(左辺の右側),(右辺の左側),(右辺の右側)について (左辺の左側)×(左辺の右側)=(右辺の左側)×(右辺の右側)が成り立つとき、 (左辺の右側)=(右辺の右側)とはならない場合がある お互いに割り切れない3つの数a,b,cを考える (左辺の左側)=a×b、(左辺の右側)=c、(右辺の左側)=a、(右辺の右側)=b×cとおくと (左辺の左側)×(左辺の右側)=a×b×c、(右辺の左側)×(右辺の右側)=a×b×cとなるので (左辺の左側)×(左辺の右側)=(右辺の左側)×(右辺

の右側) そして(左辺の右側)≠(右辺の右側) よって (左辺の左側)×(左辺の右側)=(右辺の左側)×(右辺の右側)が成り立つとき、 (左辺の右側)=(右辺の右側)とはならない場合がある、が示された http://rio2016.5ch.net/test/read.cgi/math/1576824679/615

616: 日高 [] 2019/12/30(月) 07:27:45.56 ID:Cxnci0na >615 >そして(左辺の右側)≠(右辺の右側) どういう意味でしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/616

617: １３２人目の素数さん [sage] 2019/12/30(月) 07:30:22.46 ID:go0eepce >>616 (左辺の右側)と(右辺の右側)が別の数である、という意味です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/617

618: 日高 [] 2019/12/30(月) 07:44:28.86 ID:Cxnci0na >617 >(左辺の右側)と(右辺の右側)が別の数である、という意味です。 abc=acbということでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/618

619: １３２人目の素数さん [sage] 2019/12/30(月) 07:53:38.36 ID:go0eepce >618 証明に書いてある通り >　(左辺の左側)=a×b、(左辺の右側)=c、(右辺の左側)=a、(右辺の右側)=b×cとおくと にたとえばa=3,b=5,c=7を代入すると (左辺の左側)=15、(左辺の右側)=7、(右辺の左側)=3、(右辺の右側)=35 (左辺の右側)と(右辺の右側)は別の数です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/619

620: 日高 [] 2019/12/30(月) 07:58:03.39 ID:Cxnci0na >619 >(左辺の左側)=15、(左辺の右側)=7、(右辺の左側)=3、(右辺の右側)=35 15*7=3*35ということでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/620

621: １３２人目の素数さん [sage] 2019/12/30(月) 08:13:45.93 ID:go0eepce >>620 そうですね。 そんな例はいくらでもあって、そのうちの1つです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/621

622: 日高 [] 2019/12/30(月) 08:46:10.03 ID:Cxnci0na >621 >(左辺の右側)と(右辺の右側)は別の数です。 15*7=3*35の場合は、確かにそうなります。 式の場合は、等しくなります。 15*7=5*3*35*(1/5) http://rio2016.5ch.net/test/read.cgi/math/1576824679/622

623: １３２人目の素数さん [sage] 2019/12/30(月) 08:49:11.07 ID:KnagCoe/ >>622 > >621 > >(左辺の右側)と(右辺の右側)は別の数です。 > > 15*7=3*35の場合は、確かにそうなります。 > > 式の場合は、等しくなります。 > 15*7=5*3*35*(1/5) あほらし。数学ではない。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/623

624: １３２人目の素数さん [sage] 2019/12/30(月) 09:24:30.99 ID:F9RiJSn7 でも、どこをどう勘違いするとこういう考え方になるのかを探ることは興味深い。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/624

625: 日高 [] 2019/12/30(月) 09:30:21.16 ID:Cxnci0na >623 >あほらし。数学ではない。 どの部分のことでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/625

626: １３２人目の素数さん [sage] 2019/12/30(月) 09:31:12.56 ID:F9RiJSn7 AB=CDのような式の場合、「B=Dのこともある」を「B=Dとなる」と思い込んでいる？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/626

627: 日高 [] 2019/12/30(月) 09:31:41.35 ID:Cxnci0na >624 >でも、どこをどう勘違いするとこういう考え方になるのかを探ることは興味深い。 どの部分のことでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/627

628: 日高 [] 2019/12/30(月) 09:36:07.91 ID:Cxnci0na >626 >AB=CDのような式の場合、「B=Dのこともある」を「B=Dとなる」と思い込んでいる？ はい。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/628

629: １３２人目の素数さん [sage] 2019/12/30(月) 09:42:51.83 ID:KnagCoe/ >>623 > 15*7=5*3*35*(1/5) これの右辺の右側はなんですか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/629

630: 日高 [] 2019/12/30(月) 09:47:57.02 ID:Cxnci0na >629 >> 15*7=5*3*35*(1/5) これの右辺の右側はなんですか？ 35*(1/5)です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/630

631: 日高 [] 2019/12/30(月) 09:50:42.27 ID:Cxnci0na 【定理】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)}…(1)となる。 (左辺の右側)=(右辺の右側)となるので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)とおく。 (2)の有理数解は、x=1、y=1のみである。z^p=(x+y)にx=1、y=1を代入する。 z^p=1+1=2となる。z^p=2を満たす有理数zはない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

http://rio2016.5ch.net/test/read.cgi/math/1576824679/631

632: 日高 [] 2019/12/30(月) 09:51:44.20 ID:Cxnci0na 【定理】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)…(1)となる。 (左辺の右側)=(右辺の右側)となるので、1=(z-y)…(2)とおく。 (2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。 (3)のxに任意の有理数を代入すると、yは、有理数となる。 ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/632

633: １３２人目の素数さん [sage] 2019/12/30(月) 09:52:27.68 ID:F9RiJSn7 文字式とは、数の式があって、それのうちの同じ数を同じ文字で置き換えたもの、と思い込んでいる間は日高氏の境地に達することはできない。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/633

634: １３２人目の素数さん [sage] 2019/12/30(月) 09:52:33.96 ID:KnagCoe/ >>630 > >629 > >> 15*7=5*3*35*(1/5) > > これの右辺の右側はなんですか？ > > 35*(1/5)です。 右辺を変形すると、 5*3*35*(1/5) = 5*(3*35*(1/5)) = (5*3*35)*(1/5) になるので、 右辺の右側は (2*35*(1/5)) や 1/5 になってもいいのではないですか？ そもそも「右辺の右側」などという数学用語はないので意味不明です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/634

635: １３２人目の素数さん [sage] 2019/12/30(月) 09:57:57.50 ID:F9RiJSn7 同じと考えられるものは後から理屈をつけて同じとしてよい。この境地だ！ http://rio2016.5ch.net/test/read.cgi/math/1576824679/635

636: １３２人目の素数さん [sage] 2019/12/30(月) 10:03:58.94 ID:80R0XHCl 日高氏は正常人ではないので いくら言っても無駄だな ＞628 名前：日高[] 投稿日：2019/12/30(月) 09:36:07.91 ID:Cxnci0na [13/16] ＞>626 ＞ >AB=CDのような式の場合、「B=Dのこともある」を「B=Dとなる」と思い込んでいる？ ＞はい。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/636

637: １３２人目の素数さん [] 2019/12/30(月) 10:14:06.28 ID:HyrRKQB3 日本語が苦手なんじゃ。。。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/637

638: 日高 [] 2019/12/30(月) 10:29:37.59 ID:Cxnci0na >633 >文字式とは、数の式があって、それのうちの同じ数を同じ文字で置き換えたもの、 と思います。間違いでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/638

639: 日高 [] 2019/12/30(月) 10:33:24.53 ID:Cxnci0na >634 >右辺を変形すると、 5*3*35*(1/5) = 5*(3*35*(1/5)) = (5*3*35)*(1/5) になるので、 右辺の右側は (2*35*(1/5)) や 1/5 になってもいいのではないですか？ そもそも「右辺の右側」などという数学用語はないので意味不明です。 この場合は 15*7=(5*3)(35*(1/5))とします。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/639

640: 日高 [] 2019/12/30(月) 10:35:08.03 ID:Cxnci0na >635 >同じと考えられるものは後から理屈をつけて同じとしてよい。この境地だ！ 間違いでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/640

641: 日高 [] 2019/12/30(月) 10:36:33.34 ID:Cxnci0na 【定理】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)}…(1)となる。 (左辺の右側)=(右辺の右側)となるので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)とおく。 (2)の有理数解は、x=1、y=1のみである。z^p=(x+y)にx=1、y=1を代入する。 z^p=1+1=2となる。z^p=2を満たす有理数zはない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

http://rio2016.5ch.net/test/read.cgi/math/1576824679/641

642: 日高 [] 2019/12/30(月) 10:37:31.36 ID:Cxnci0na 【定理】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)…(1)となる。 (左辺の右側)=(右辺の右側)となるので、1=(z-y)…(2)とおく。 (2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。 (3)のxに任意の有理数を代入すると、yは、有理数となる。 ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/642

643: １３２人目の素数さん [sage] 2019/12/30(月) 10:41:12.16 ID:KnagCoe/ >>639 右辺の右側が何かというのは、自分の都合のいいように解釈していいということだね。 やっぱり数学じゃないわ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/643

644: 日高 [] 2019/12/30(月) 10:45:31.78 ID:Cxnci0na >643 >右辺の右側が何かというのは、自分の都合のいいように解釈していいということだね。 右辺の右側が積の形の場合、適当に選びます。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/644

645: １３２人目の素数さん [sage] 2019/12/30(月) 12:20:50.63 ID:acuQGWmg >>612 > 「任意の有理数」にしている理由は、pが奇素数の場合も同じ要領だからです。 はて、どこに同じ要領が？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/645

646: １３２人目の素数さん [sage] 2019/12/30(月) 12:22:03.38 ID:go0eepce >>622 その5とか1/5というのはなんですか？ それはもともとの式の(左辺の右側)にも(右辺の右側)にも入っていないので、 もともとの定理には何の関係もありません。 定理】4つの数(左辺の左側),(左辺の右側),(右辺の左側),(右辺の右側)について (左辺の左側)×(左辺の右側)=(右辺の左側)×(右辺の右側)が成り立つとき、 (左辺の右側)=(右辺の右側)とはならない場合がある これによってあなたの証明が間違いであることが証明されました。 http://rio2016.5ch.net/te

st/read.cgi/math/1576824679/646

647: １３２人目の素数さん [sage] 2019/12/30(月) 12:54:24.65 ID:go0eepce 定理】4つの数(左辺の左側),(左辺の右側),(右辺の左側),(右辺の右側)について (左辺の左側)×(左辺の右側)=(右辺の左側)×(右辺の右側)が成り立つとき、 (左辺の右側)=(右辺の右側)とはならない場合がある 駄文】0でない4つの数(左辺の左側),(左辺の右側),(右辺の左側),(右辺の右側)について (左辺の左側)×(左辺の右側)=(右辺の左側)×(右辺の右側)が成り立つとき、 ある数aを {(左辺の左側)×(左辺の右側)=a×(右辺の左側)×(右辺の右側)×1/a {(左辺の右側)=(右辺の右

側)×1/a が成り立つように決めることができる。 そのときa=(右辺の右側)÷(左辺の右側)である。 x^2*1=(z+y)(z-y)という式がある時、 (左辺の左側)=x^2,(左辺の右側)=1,(右辺の左側)=(z+y),(右辺の右側)=(z-y), そのとき上記のa=(z-y)÷1を (左辺の右側)=(右辺の右側)×1/aに代入して 1=(z-y)×1/(z-y) 整理して 1=1…(2) いったい(2)をどう使ったらいいんでしょうか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/647

648: １３２人目の素数さん [sage] 2019/12/30(月) 13:41:47.54 ID:A8RIl1CT 会話が成立していないことを日高氏が理解できるように証明することは、このスレでは余白が少ないようだ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/648

649: １３２人目の素数さん [sage] 2019/12/30(月) 14:25:17.11 ID:VG33Oegh 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 【日高氏式証明】1×(x^p+y^p)=(-z^p)×(-1)となる。 (左辺の右側)=(右辺の右側)となるので、x^p+y^p=-1となり x,yが自然数であることに反する。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/649

650: 日高 [] 2019/12/30(月) 14:28:40.38 ID:Cxnci0na >643 >右辺の右側が何かというのは、自分の都合のいいように解釈していいということだね。 自分の都合のいいように解釈していいということではありません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/650

651: 日高 [] 2019/12/30(月) 14:29:36.60 ID:Cxnci0na 【定理】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)}…(1)となる。 (左辺の右側)=(右辺の右側)となるので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)とおく。 (2)の有理数解は、x=1、y=1のみである。z^p=(x+y)にx=1、y=1を代入する。 z^p=1+1=2となる。z^p=2を満たす有理数zはない。 ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

http://rio2016.5ch.net/test/read.cgi/math/1576824679/651

652: 日高 [] 2019/12/30(月) 14:30:24.72 ID:Cxnci0na 【定理】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)…(1)となる。 (左辺の右側)=(右辺の右側)となるので、1=(z-y)…(2)とおく。 (2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。 (3)のxに任意の有理数を代入すると、yは、有理数となる。 ∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/652

653: １３２人目の素数さん [sage] 2019/12/30(月) 14:33:03.52 ID:9J2zXUMq >>609 > >604 > >むしろ数学的な根拠を要求しているのだが。 > > 「数学的な根拠」とは？ 今まで書いた。すべて読み直せば良い。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/653

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

あと 349 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.018s