[過去ﾛｸﾞ]
フェルマーの最終定理の簡単な証明4 (1002ﾚｽ)
フェルマーの最終定理の簡単な証明4 http://rio2016.5ch.net/test/read.cgi/math/1576824679/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
68: 日高 [] 2019/12/22(日) 10:06:46.62 ID:JmVFhdX8 (x,y,z)=(15,8,17)…(1) x^2=2y+1に、x=15を代入すると、y=112となる。 (x,y,z)=(15,112,113)…(2)となる。 (1),(2)とも、xの値は等しい。 (1)のとき、z-y=9 (2)のとき、z-y=1 (2)が存在しなければ、(1)は存在しない。 よって、x^2+y^2=z^2の自然数解の有無は、x^2=2y+1のみを、検討すればよい。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/68
69: １３２人目の素数さん [sage] 2019/12/22(日) 11:24:05.74 ID:zXV7IPoi A*B = B*AならA=B？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/69
70: 日高 [] 2019/12/22(日) 12:15:09.60 ID:JmVFhdX8 >69 >A*B = B*AならA=B？ A=A、B=Bとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/70
71: １３２人目の素数さん [sage] 2019/12/22(日) 12:42:04.66 ID:zXV7IPoi > A=A、B=Bとなります。 どうして？ 貴方の主張は(右側)=(右側)なんでしょう？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/71
72: 日高 [] 2019/12/22(日) 12:47:12.01 ID:JmVFhdX8 >71 >A=A、B=Bとなります。 >どうして？ 貴方の主張は(右側)=(右側)なんでしょう？ A*B = B*A=A*Bとなるので、A=A、B=Bとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/72
73: １３２人目の素数さん [sage] 2019/12/22(日) 13:18:54.38 ID:zXV7IPoi > A*B = B*A=A*Bとなるので、A=A、B=Bとなります。 じゃあ、A=Bの可能性は無い？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/73
74: 日高 [] 2019/12/22(日) 13:48:13.14 ID:JmVFhdX8 >73 >A*B = B*A=A*Bとなるので、A=A、B=Bとなります。 じゃあ、A=Bの可能性は無い？ A=Bとすると、B*B=B*Bとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/74
75: １３２人目の素数さん [sage] 2019/12/22(日) 14:07:09.02 ID:zXV7IPoi 可能性は有るの？無いの？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/75
76: １３２人目の素数さん [sage] 2019/12/22(日) 14:52:17.44 ID:Mz3jqrQm >>64 まとめてやったぞ。 >>55 > 文１：0でない4つの数A,B,C,Dについて、 > AB=CDが成り立つとき、必ずA=Cである > > 文1は間違いである >>56 > 文2：0でない4つの数A,B,C,Dとある数aについて、 > AB=aCD(1/a)が成り立つとき、必ずA=aCである > > 文2は間違いである。 >>62 > 文3：x^2、1、(z+y)、(z-y)について、 > x^2×1=(z+y)(z-y)がなりたつとき、必ずx^2=(z+y)である。 > > A=x^2、B=1、C=(z+y)、D=(
z-y)とおくと、>>55より > 0でない4つの数A,B,C,Dについて、 > AB=CDが成り立つとき、必ずA=Cである > は間違いである > > よって文3は間違いである。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/76
77: 日高 [] 2019/12/22(日) 15:07:34.70 ID:JmVFhdX8 (日高のルール） A=BCならば、C=1のとき、A=Bとなる。(A,B,Cは式) http://rio2016.5ch.net/test/read.cgi/math/1576824679/77
78: 日高 [] 2019/12/22(日) 15:10:33.32 ID:JmVFhdX8 【定理】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)の左辺の右側と、右辺の右側は等しいので、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/78
79: 日高 [] 2019/12/22(日) 15:13:11.98 ID:JmVFhdX8 (x,y,z)=(15,8,17)…(1) x^2=2y+1に、x=15を代入すると、y=112となる。 (x,y,z)=(15,112,113)…(2)となる。 (1),(2)とも、xの値は等しい。 (1)のとき、z-y=9 (2)のとき、z-y=1 (2)が存在しなければ、(1)は存在しない。 よって、x^2+y^2=z^2の自然数解の有無は、x^2=2y+1のみを、検討すればよい。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/79
80: １３２人目の素数さん [sage] 2019/12/22(日) 15:44:11.80 ID:ZUHHxvXH ***** このスレを初めてご覧になる方へ（歴史に残る日高語録）***** (1) 1 = 7 が成立する。本スレ >>16 以降を参照。 (2)a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには 変わりはありません。a^{1/(1-1) は特定できない数です。 (3)命題の真偽 > スレ主は以下の命題の真偽がわかるかね？ > (1) sin(π/2) = 0 ⇒ cos(π/3) = 1 > (2) sin(π/2) = 1 ⇒ cos(π/3) = 1 > (3) sin(π/3) = 0 ⇒ cos(π/3) = 1 とい
う質問に対して 問題の意味がよくわかりません。 ⇒の意味は、〜ならば〜である。と思いますが、 sin(π/2) = 0, sin(π/3) = 0となりません。 sin(π/2) = 1となりますが、 cos(π/3) = 1となりません。 wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww http://rio2016.5ch.net/test/read.cgi/math/1576824679/80
81: １３２人目の素数さん [sage] 2019/12/22(日) 15:46:04.93 ID:ZUHHxvXH ┌日┐ ｜※｜ 毎日毎日、暇を持て余している爺さんです。(´・ω・｀) ｜数｜ ｜学｜ 数学力、国語力は人類をはるか超越するレベルです。 ｜の｜ ｜本｜ 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.net/test/read.cgi/math/1576824679/81
82: １３２人目の素数さん [] 2019/12/22(日) 15:48:16.37 ID:zXV7IPoi 無視かよw AB=CDのとき、成立する連立方程式は何組ある？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/82
83: 日高 [] 2019/12/22(日) 16:12:00.77 ID:JmVFhdX8 >75 >可能性は有るの？無いの？ あります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/83
84: 日高 [] 2019/12/22(日) 16:14:31.77 ID:JmVFhdX8 >82 >無視かよw >AB=CDのとき、成立する連立方程式は何組ある？ よくわかりません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/84
85: １３２人目の素数さん [sage] 2019/12/22(日) 16:48:55.47 ID:rfBIjjYQ >>83 つうことは、右側=右側の場合と、右側=左側の場合と、調べなきゃいけないんではないの？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/85
86: １３２人目の素数さん [sage] 2019/12/22(日) 17:01:03.52 ID:rfBIjjYQ >>84 マジかw １組は、A=CとB=D。全部で何組？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/86
87: 日高 [] 2019/12/22(日) 17:07:06.82 ID:JmVFhdX8 >85 >つうことは、右側=右側の場合と、右側=左側の場合と、調べなきゃいけないんではないの？ AB=CDならば、B=Dのとき、A=Cとなります。 AB=CDならば、B=Cのとき、A=Dとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/87
88: 日高 [] 2019/12/22(日) 17:17:19.17 ID:JmVFhdX8 (日高のルール） A=BCならば、C=1のとき、A=Bとなる。(A,B,Cは式) http://rio2016.5ch.net/test/read.cgi/math/1576824679/88
89: 日高 [] 2019/12/22(日) 17:25:18.77 ID:JmVFhdX8 【定理】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)の左辺の右側と、右辺の右側は等しいので、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/89
90: 日高 [] 2019/12/22(日) 17:28:03.98 ID:JmVFhdX8 (x,y,z)=(15,8,17)…(1) x^2=2y+1に、x=15を代入すると、y=112となる。 (x,y,z)=(15,112,113)…(2)となる。 (1),(2)とも、xの値は等しい。 (1)のとき、z-y=9 (2)のとき、z-y=1 (2)が存在しなければ、(1)は存在しない。 よって、x^2+y^2=z^2の自然数解の有無は、x^2=2y+1のみを、検討すればよい。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/90
91: １３２人目の素数さん [sage] 2019/12/22(日) 17:46:05.05 ID:L44cnxPR >>89 > 【定理】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)の左辺の右側と、右辺の右側は等しいので、 いいえ。等しいというなら、それをきちんと証明せよ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/91
92: 日高 [] 2019/12/22(日) 17:48:22.16 ID:JmVFhdX8 (x,y,z)=(3,4,5) (X,Y,Z)=(5,12,13) (x',y',z')=(15,8,17) x'=Xx,y'=Z-z,z'=Z+y http://rio2016.5ch.net/test/read.cgi/math/1576824679/92
93: １３２人目の素数さん [sage] 2019/12/22(日) 17:53:19.96 ID:EfTr4oQ/ ちゃんと説明するために、変更 文イ：4つの数A,B,C,Dについて、AB=CDが成り立つとき、必ずA=Cである 考察イ 文イが正しいか間違いかを考える。 「必ず…である。」という文は、そうでない例が1つでもあれば間違いである。 いま例として、お互いに割り切れない3つの数a,b,cを考える(3,5,7など） A=a、B=b×c、C=a×b、D=cとおくと AB=a×b×c、CD=a×b×cとなるのでAB=CD しかしA≠C そうでない例があったので、 「4つの数A,B,C,Dについて、AB=CDが成り立つとき、必ずA=Cで
ある」は間違いである…結果イ 文イ'：4つの数A,B,C,Dについて、B≠0、AB=CDの2つの式が成り立つとき、必ずA=Cである 考察イ' 考察イと同じように考えて 「4つの数A,B,C,Dについて、B≠0、AB=CDの2つの式が成り立つとき、必ずA=Cである」は間違いである…結果イ' 文ロ：3つの数E,F,Gについて、E×1=FGが成り立つとき、必ずE=Fである 考察ロ 0でないある数bについて、A=E×b、B＝1×b、C＝E×b、D＝F×bの4つの数を考えると、 取ることができる値の範囲や条件が文イ'と同じなので、結果イ'をbでわって 「3つの数E,F,Gについて、E×1=FGが成り立つ
とき、必ずE=Fである」は間違いである…結果ロ http://rio2016.5ch.net/test/read.cgi/math/1576824679/93
94: １３２人目の素数さん [sage] 2019/12/22(日) 17:57:22.85 ID:EfTr4oQ/ 書き間違えた部分を修正 考察ロ 0でないある数bについて、A=E×b、B＝1×b、C＝F×b、D＝G×bの4つの数を考えると、 考察ロ' 0でないある数bについて、A=E×b、B＝1×b、C＝F×b、D＝G×bの4つの数を考えると、 http://rio2016.5ch.net/test/read.cgi/math/1576824679/94
95: 日高 [] 2019/12/22(日) 18:00:54.27 ID:JmVFhdX8 >91 >【定理】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^2-y^2を因数分解すると、(z+y)(z-y)となります。 z^2-y^2=x^2なので、x^2×1=(z+y)(z-y)…(1)となります。 AB=BCならば、B=Cのとき、A=Bとなります。 証明。B=Cなので、AC=BCとなります。両辺は等しいの
で、A=Bとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/95
96: １３２人目の素数さん [sage] 2019/12/22(日) 18:02:06.09 ID:EfTr4oQ/ 文イ''：0より大きい4つの数A,B,C,Dについて、C>D、AB=CDが成り立つとき、必ずA=Cである 考察イ'' 文イ''が正しいか間違いかを考える。 「必ず…である。」という文は、そうでない例が1つでもあれば間違いである。 いま例として、お互いに割り切れない3つの数a,b,c、ただしa>b>c>1を考える A=a、B=b×c、C=a×b、D=cとおくと AB=a×b×c、CD=a×b×cとなるのでAB=CD、a>b>c>1なので、C>D しかしA≠C そうでない例があったので、 「0より大きい4つ
の数A,B,C,Dについて、C>D、AB=CDが成り立つとき、必ずA=Cである」は間違いである…結果イ'' 文ロ'：0より大きい3つの数E,F,Gについて、F>G、E×1=FGの2つの式が成り立つとき、必ずE=Fである 考察ロ' 0より大きいある数bについて、A=E×b、B＝1×b、C＝F×b、D＝G×bの4つの数を考えると、 取ることができる値の範囲や条件が文イ''と同じなので、結果イ''をbでわって 「0より大きい3つの数E,F,Gについて、F>G、E×1=FGの2つの式が成り立つとき、必ずE=Fである」は間違いである…結果ロ' 文ハ：0より大きい3つの数x,y,zについてx^2×1=(z
+y)×(z-y)が成り立つとき、必ずx^2=(z+y)である 考察ハ 条件よりz^2-y^2=x^2で、x^2>0なのでz^2>y^2、y>0,z>0なのでz>y、よって(z-y)>0 また、y>0より(z+y)>(z-y) E=x^2、F=(z+y)、G=(z-y)の3つの数を考えると、 取ることができる値の範囲や条件が文ロ'と同じなので、結果ロ'より 「0より大きい3つの数x,y,zについてx^2×1=(z+y)×(z-y)が成り立つとき、必ずx^2=(z+y)である」は間違いである…結果ハ http://rio2016.5ch.net/test/read.cgi/math/1576824679/96
97: １３２人目の素数さん [sage] 2019/12/22(日) 18:16:15.65 ID:aKriljiH 日高氏には、A,B,C,Dなどに具体的な数値を 当てはめて例を示した方が通じやすいかと 思われます。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/97
98: １３２人目の素数さん [sage] 2019/12/22(日) 18:26:40.02 ID:L44cnxPR >>95 > >91 > >【定理】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^2-y^2を因数分解すると、(z+y)(z-y)となります。 > z^2-y^2=x^2なので、x^2×1=(z+y)(z-y)…(1)となります。 > > AB=B
Cならば、B=Cのとき、A=Bとなります。 > 証明。B=Cなので、AC=BCとなります。両辺は等しいので、A=Bとなります。 ダメ。さんざん指摘されてる通り。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/98
99: 日高 [] 2019/12/22(日) 18:33:32.81 ID:JmVFhdX8 AB=BCならば、B=Cのとき、A=Bとなります。 証明。B=Cなので、AC=BCとなります。両辺は等しいので、A=Bとなります。 訂正します。 AB=CDならば、B=Dのとき、A=Cとなります。 証明。B=Dなので、AD=CDとなります。両辺は等しいので、A=Cとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/99
100: １３２人目の素数さん [sage] 2019/12/22(日) 18:37:19.53 ID:EfTr4oQ/ >>97 前スレ523で > 523 名前：日高[] 投稿日：2019/12/11(水) 09:41:30.28 ID:f9OO01yV >>522 >>仮定「AB=CD」のみから > 結論「A=C」を示すことができますか？ > > A,B,C,Dは、すべて文字なので、「A=C」となります。 > A,B,C,Dが数字ならば、「A=C」となるとは、限りません。 と書かれているので具体的な数字を入れると理解してもらえなくなるのです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/100
101: 日高 [] 2019/12/22(日) 18:56:13.37 ID:JmVFhdX8 >96 >「0より大きい3つの数x,y,zについてx^2×1=(z+y)×(z-y)が成り立つとき、必ずx^2=(z+y)である」は間違いである…結果ハ 1=z-yのとき、必ずx^2=z+yとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/101
102: １３２人目の素数さん [sage] 2019/12/22(日) 19:16:01.00 ID:EfTr4oQ/ >>101 何度も言われているように、x,y,zがどんな数なのかはっきり書いていなければ証明とは言えません。 0より大きい3つの数x,y,zについて1=z-yが成り立たない組み合わせはいくらでもあります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/102
103: １３２人目の素数さん [sage] 2019/12/22(日) 19:38:39.82 ID:EfTr4oQ/ 考察ハ' 文イ''の「必ずA=Cである」を「必ずB=Dである」に置き換えても同じ考察が可能なので 「0より大きい3つの数x,y,zについてx^2×1=(z+y)×(z-y)が成り立つとき、必ず1=(z-y)である」は間違いである…結果ハ' http://rio2016.5ch.net/test/read.cgi/math/1576824679/103
104: １３２人目の素数さん [sage] 2019/12/22(日) 20:13:17.12 ID:aKriljiH >>100 ありがとう。それは難儀ですね。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/104
105: 日高 [] 2019/12/22(日) 20:26:17.94 ID:JmVFhdX8 >102 >何度も言われているように、x,y,zがどんな数なのかはっきり書いていなければ証明とは言えません。 0より大きい3つの数x,y,zについて1=z-yが成り立たない組み合わせはいくらでもあります。 x,y,zは、有理数です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/105
106: １３２人目の素数さん [] 2019/12/22(日) 20:28:52.25 ID:CtNCJB0X >>101 素晴らしい超完璧です。 尚ワィは、日高さん応援する者です。 フェルマの定理はよく知らん。でも z-y=1なら、x,y,zが自然数でも x^2×1=(z+y)×(z-y)になると思います。 しかもx,y,zの組み合せ、必ず無限個 (x,y,z)=(3,4,5) (x,y,z)=(5,12,13) (x,y,z)=(7,24,25) (x,y,z)=(9,40,41) (x,y,z)=(11,60,61) など無限個です。 無限個の証明概要テクニック x=全ての奇数 xはモピロン無限個 y=(x^2-1)/2は、必ず偶数で自然数 z=(x^2+1)/2も、必ず奇数で自然数 h
ttp://rio2016.5ch.net/test/read.cgi/math/1576824679/106
107: 日高 [] 2019/12/22(日) 20:30:59.89 ID:JmVFhdX8 >103 >考察ハ' 文イ''の「必ずA=Cである」を「必ずB=Dである」に置き換えても同じ考察が可能なので 「0より大きい3つの数x,y,zについてx^2×1=(z+y)×(z-y)が成り立つとき、必ず1=(z-y)である」は間違いである…結果ハ' 1=(z-y)のとき、必ず1=(z-y)となります。 考察ハ'は、1=(z-y)のとき、がありません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/107
108: １３２人目の素数さん [] 2019/12/22(日) 20:33:51.32 ID:zXV7IPoi > 87 > AB=CDならば、B=Dのとき、A=Cとなります。 > AB=CDならば、B=Cのとき、A=Dとなります。 じゃあなんで > 【証明】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)の左辺の右側と右辺の右側は等しいので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。 ここでは(右側)=(左側)を無視するの？ 他にも、 (左辺) = z^p * 1 = z^(p-1) * z = ...
= z * z^(p-1) = 1 * z^p これらの場合、何故考えないの？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/108
109: １３２人目の素数さん [sage] 2019/12/22(日) 20:37:10.15 ID:zXV7IPoi あと、 >>>AB=CDのとき、成立する連立方程式は何組ある？ >>よくわかりません。 >マジかw >１組は、A=CとB=D。全部で何組？ これも答えて。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/109
110: 日高 [] 2019/12/22(日) 20:41:48.66 ID:JmVFhdX8 >106 ありがとうございます。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/110
111: 日高 [] 2019/12/22(日) 20:59:01.40 ID:JmVFhdX8 >107 >1=(z-y)のとき、必ず1=(z-y)となります。 考察ハ'は、1=(z-y)のとき、がありません。 訂正します。 x^2×1=(z+y)×(z-y)が成り立つならば、 1=(z-y)のとき、必ずx^2=(z+y)となる。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/111
112: １３２人目の素数さん [sage] 2019/12/22(日) 21:04:56.47 ID:EfTr4oQ/ >>107 入っていますよ。 「0より大きい3つの数x,y,zについてx^2×1=(z+y)×(z-y)が成り立つとき」という条件をみたすx,y,zの組の中には 1=(z-y)を満たすものと1=(z-y)を満たさないものの2種類あります。 1=(z-y)を満たすものについては、必ず1=(z-y)となります。 1=(z-y)を満たさないものについては、1=(z-y)となりません。 1=(z-y)を満たさないものを満たさないものが含まれているのですから、「必ず1=(z-y)である」は間違いです。 「必ず…である。」という文
は、そうでない例が1つでもあれば間違いであるので 左辺の右側と、右辺の右側は(必ず）等しい も間違いです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/112
113: １３２人目の素数さん [sage] 2019/12/22(日) 21:09:32.94 ID:HjBnJeEI >>99 日高 > AB=BCならば、B=Cのとき、A=Bとなります。 > 証明。B=Cなので、AC=BCとなります。両辺は等しいので、A=Bとなります。 「両辺が等しいので」とあるけどなぜそのとき「A=B」なのか証明できますか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/113
114: 日高 [] 2019/12/22(日) 21:12:05.15 ID:JmVFhdX8 >108 >したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる >ここでは(右側)=(左側)を無視するの？ x,yが自然数の場合、1=x+yを満たさないからです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/114
115: 日高 [] 2019/12/22(日) 21:21:50.21 ID:JmVFhdX8 >109 >AB=CDのとき、成立する連立方程式は何組ある？ >>よくわかりません。 >マジかw >１組は、A=CとB=D。全部で何組？ >これも答えて。 よくわかりません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/115
116: １３２人目の素数さん [sage] 2019/12/22(日) 21:32:41.85 ID:zXV7IPoi >114 ↓こっちは無視？ (左辺) = z^p * 1 = z^(p-1) * z = ... = z * z^(p-1) = 1 * z^p これらの場合、何故考えないの？ >115 連立方程式、知らない？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/116
117: 日高 [] 2019/12/22(日) 21:32:44.12 ID:JmVFhdX8 >112 >「必ず1=(z-y)である」は間違いです。 そうですね。 z=17、y=8の場合、間違いとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/117
118: 日高 [] 2019/12/22(日) 21:33:12.53 ID:JmVFhdX8 >112 >「必ず1=(z-y)である」は間違いです。 そうですね。 z=17、y=8の場合、間違いとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/118
119: 日高 [] 2019/12/22(日) 21:33:15.54 ID:JmVFhdX8 >112 >「必ず1=(z-y)である」は間違いです。 そうですね。 z=17、y=8の場合、間違いとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/119
120: １３２人目の素数さん [sage] 2019/12/22(日) 21:34:13.14 ID:zXV7IPoi >114 ↓こっちは無視？ (左辺) = z^p * 1 = z^(p-1) * z = ... = z * z^(p-1) = 1 * z^p これらの場合、何故考えないの？ >115 連立方程式、知らない？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/120
121: 日高 [] 2019/12/22(日) 21:35:23.22 ID:JmVFhdX8 >112 >「必ず1=(z-y)である」は間違いです。 そうですね。z=17、y=8の場合、間違いとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/121
122: 日高 [] 2019/12/22(日) 21:35:35.14 ID:JmVFhdX8 >112 >「必ず1=(z-y)である」は間違いです。 そうですね。z=17、y=8の場合、間違いとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/122
123: 日高 [] 2019/12/22(日) 21:39:46.70 ID:JmVFhdX8 >113 >「両辺が等しいので」とあるけどなぜそのとき「A=B」なのか証明できますか？ すみません。書き間違いでした。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/123
124: 日高 [] 2019/12/22(日) 21:41:21.98 ID:JmVFhdX8 >116 >連立方程式、知らない？ よくわかりません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/124
125: １３２人目の素数さん [sage] 2019/12/22(日) 21:42:53.54 ID:HjBnJeEI >>123 日高 > >113 > >「両辺が等しいので」とあるけどなぜそのとき「A=B」なのか証明できますか？ > > すみません。書き間違いでした。 では修正版を書いてください。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/125
126: 日高 [] 2019/12/22(日) 21:45:46.93 ID:JmVFhdX8 【定理】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)の左辺の右側と、右辺の右側は等しいので、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/126
127: 日高 [] 2019/12/22(日) 21:47:22.61 ID:JmVFhdX8 (x,y,z)=(15,8,17)…(1) x^2=2y+1に、x=15を代入すると、y=112となる。 (x,y,z)=(15,112,113)…(2)となる。 (1),(2)とも、xの値は等しい。 (1)のとき、z-y=9 (2)のとき、z-y=1 (2)が存在しなければ、(1)は存在しない。 よって、x^2+y^2=z^2の自然数解の有無は、x^2=2y+1のみを、検討すればよい。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/127
128: 日高 [] 2019/12/22(日) 21:49:10.12 ID:JmVFhdX8 (x,y,z)=(3,4,5) (X,Y,Z)=(5,12,13) (x',y',z')=(15,8,17) x'=Xx,y'=Z-z,z'=Z+y http://rio2016.5ch.net/test/read.cgi/math/1576824679/128
129: １３２人目の素数さん [sage] 2019/12/22(日) 21:54:48.95 ID:EfTr4oQ/ >>126 > 左辺の右側と、右辺の右側は等しい あなたは>>57で 「AB=CDが成り立つとき、必ずA=Cである」は間違いである に対してその通りと書いていますね。 何の証明もすることなしに、「左辺の右側と、右辺の右側は等しい」ということはできません。 ですからその証明は間違いです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/129
130: 日高 [] 2019/12/22(日) 21:55:18.21 ID:JmVFhdX8 (日高のルール） A=BCならば、C=1のとき、A=Bとなる。(A,B,Cは式) http://rio2016.5ch.net/test/read.cgi/math/1576824679/130
131: 日高 [] 2019/12/22(日) 21:59:21.58 ID:JmVFhdX8 >125 >では修正版を書いてください。 AB=CDならば、A=Cのとき、B=Dとなる。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/131
132: １３２人目の素数さん [sage] 2019/12/22(日) 22:00:47.03 ID:EfTr4oQ/ >>130 >>126の > 【定理】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)をたしかめていないのだから > (1)の左辺の右側と、右辺の右側は等しい」 は使えないのです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/132
133: 日高 [] 2019/12/22(日) 22:05:30.54 ID:JmVFhdX8 >129 >あなたは>>57で 「AB=CDが成り立つとき、必ずA=Cである」は間違いである に対してその通りと書いていますね。 何の証明もすることなしに、「左辺の右側と、右辺の右側は等しい」ということはできません。 >ですからその証明は間違いです。 正しくは、(左辺の右側）=(右辺の右側)のとき、(左辺の左側）=(右辺の左側)となる です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/133
134: １３２人目の素数さん [sage] 2019/12/22(日) 22:10:10.04 ID:HjBnJeEI >>131 日高 > >125 > >では修正版を書いてください。 > > AB=CDならば、A=Cのとき、B=Dとなる。 ではこれを証明してください。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/134
135: １３２人目の素数さん [sage] 2019/12/22(日) 22:11:47.35 ID:EfTr4oQ/ >>133 つまり、(左辺の右側）=(右辺の右側)を「確かめてから」でないと (左辺の左側）=(右辺の左側)を使ってはいけません 同じように、(左辺の左側）=(右辺の左側)を「確かめてから」でないと (左辺の右側）=(右辺の右側)を使ってはいけません http://rio2016.5ch.net/test/read.cgi/math/1576824679/135
136: 日高 [] 2019/12/22(日) 22:14:02.80 ID:JmVFhdX8 >132 >【定理】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)をたしかめていないのだから > (1)の左辺の右側と、右辺の右側は等しい」 >は使えないのです。 1=(z-y)とすると、x^2=(z+y)となります。 「1=(z-y)とすると」なので、1=(z-y)をたしかめる必要はありません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/136
137: １３２人目の素数さん [] 2019/12/22(日) 22:19:43.00 ID:HjBnJeEI >>136 日高 > 「1=(z-y)とすると」なので、1=(z-y)をたしかめる必要はありません。 そうだとしたら、この後の議論では常に「1=(z-y)とすると」を付加せねばなりません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/137
138: 日高 [] 2019/12/22(日) 22:19:56.96 ID:JmVFhdX8 >135 >つまり、(左辺の右側）=(右辺の右側)を「確かめてから」でないと (左辺の左側）=(右辺の左側)を使ってはいけません 同じように、(左辺の左側）=(右辺の左側)を「確かめてから」でないと (左辺の右側）=(右辺の右側)を使ってはいけません AB=CDならば、A=Cのとき、B=Dとなる。 この場合、A=Cとなるかは、確かめてはいません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/138
139: １３２人目の素数さん [sage] 2019/12/22(日) 22:24:54.05 ID:zXV7IPoi >124 知らないなら調べておいで。 ↓で、こっちは無視か？ (左辺) = z^p * 1 = z^(p-1) * z = ... = z * z^(p-1) = 1 * z^p これらの場合、何故考えないの？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/139
140: １３２人目の素数さん [sage] 2019/12/22(日) 22:25:58.38 ID:EfTr4oQ/ >>138 AB=CDならば、…(1) A=Cのとき、…(2) B=Dとなる。…(3) あなたは>>1でも>>2でも(2)を書いていませんし、本当に(2)を満たすA,Cがあるのかどうか 確かめてもいません。 ｊなので間違いです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/140
141: １３２人目の素数さん [sage] 2019/12/22(日) 22:36:25.05 ID:HjBnJeEI >>138 日高 > >135 > AB=CDならば、A=Cのとき、B=Dとなる。 > この場合、A=Cとなるかは、確かめてはいません。 だから，小学校卒業レベルの「論理」がわかっていないんだよ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/141
142: 日高 [] 2019/12/22(日) 22:39:07.66 ID:JmVFhdX8 >134 > AB=CDならば、A=Cのとき、B=Dとなる。 ではこれを証明してください。 A=6、B=1、C=3*2、D=3*(1/3) 6*1=3*2*3*(1/3) http://rio2016.5ch.net/test/read.cgi/math/1576824679/142
143: 日高 [] 2019/12/22(日) 22:41:53.81 ID:JmVFhdX8 >137 >「1=(z-y)とすると」なので、1=(z-y)をたしかめる必要はありません。 >そうだとしたら、この後の議論では常に「1=(z-y)とすると」を付加せねばなりません。 そうですね。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/143
144: １３２人目の素数さん [saeg] 2019/12/22(日) 22:43:36.37 ID:HjBnJeEI >>142 日高 > >134 > > AB=CDならば、A=Cのとき、B=Dとなる。 > ではこれを証明してください。 > > A=6、B=1、C=3*2、D=3*(1/3) > 6*1=3*2*3*(1/3) これは例を挙げただけ。これが証明になっていると思うなら，小学校の算数からやり直せ。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/144
145: 日高 [] 2019/12/22(日) 22:44:10.28 ID:JmVFhdX8 >139 >(左辺) = z^p * 1 = z^(p-1) * z = ... = z * z^(p-1) = 1 * z^p これらの場合、何故考えないの？ 同じだからです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/145
146: １３２人目の素数さん [sage] 2019/12/22(日) 22:44:59.35 ID:HjBnJeEI >>143 日高 > >137 > >「1=(z-y)とすると」なので、1=(z-y)をたしかめる必要はありません。 > > >そうだとしたら、この後の議論では常に「1=(z-y)とすると」を付加せねばなりません。 > > そうですね。 じゃあそれを付加して、君の証明とやらを書いてごらん。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/146
147: 日高 [] 2019/12/22(日) 22:47:47.40 ID:JmVFhdX8 >140 >AB=CDならば、…(1) A=Cのとき、…(2) B=Dとなる。…(3) あなたは>>1でも>>2でも(2)を書いていませんし、本当に(2)を満たすA,Cがあるのかどうか 確かめてもいません。 ｊなので間違いです。 A=Cのとき、…(2)は、正確には「A=Cとすると」です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/147
148: 日高 [] 2019/12/22(日) 22:50:41.42 ID:JmVFhdX8 >146 >じゃあそれを付加して、君の証明とやらを書いてごらん。 付加するだけなので、同じです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/148
149: １３２人目の素数さん [sage] 2019/12/22(日) 22:51:38.61 ID:zXV7IPoi >145 貴方の書き方をマネすれば、 したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。 (1)の左辺の右側と右辺の右側は等しいので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。 したがって、z^(p-1)×z=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。 (1)の左辺の右側と右辺の右側は等しいので、z={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。 したがって、z^(p-2)×z^2=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。 (1)の左辺の右側と
右辺の右側は等しいので、z^2={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。 これらが同じだと？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/149
150: １３２人目の素数さん [sage] 2019/12/22(日) 22:53:05.98 ID:EfTr4oQ/ > 【定理】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)の左辺の右側と右辺の右側は等しい は間違いです。 > 【定理】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)の左辺の右側と、右辺の右側は等しい は間違いです。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/150
151: １３２人目の素数さん [sage] 2019/12/22(日) 22:54:10.03 ID:HjBnJeEI >>148 日高 > >146 > >じゃあそれを付加して、君の証明とやらを書いてごらん。 > > 付加するだけなので、同じです。 同じなら、付加した形で書いてごらんよ。何か問題ある？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/151
152: 日高 [] 2019/12/22(日) 22:54:43.80 ID:JmVFhdX8 >141 >AB=CDならば、A=Cのとき、B=Dとなる。 > この場合、A=Cとなるかは、確かめてはいません。 >だから，小学校卒業レベルの「論理」がわかっていないんだよ。 「A=Cのとき、」は、正確には「A=Cとすると」です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/152
153: １３２人目の素数さん [sage] 2019/12/22(日) 22:58:36.60 ID:HjBnJeEI >>152 日高 > >141 > >AB=CDならば、A=Cのとき、B=Dとなる。 > > この場合、A=Cとなるかは、確かめてはいません。 > >だから，小学校卒業レベルの「論理」がわかっていないんだよ。 > > 「A=Cのとき、」は、正確には「A=Cとすると」です。 「〜のとき」と「〜とすると」は同義ですからそれはどうでもよろしい。 そう仮定したなら、以下ずっと「A=Cとすると」を書き加えねばなりません。 http://rio2016.5ch.net/test/read.cgi/math/
1576824679/153
154: 日高 [] 2019/12/22(日) 22:59:06.19 ID:JmVFhdX8 >149 z^(p-1)×z=z^pとなるので、同じとなります。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/154
155: 日高 [] 2019/12/22(日) 23:04:52.37 ID:JmVFhdX8 >150 >> (1)の左辺の右側と、(1)の左辺の右側は等しい >は間違いです。 正確には、(左辺の右側)=(左辺の右側)とすると、です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/155
156: １３２人目の素数さん [sage] 2019/12/22(日) 23:05:05.10 ID:HjBnJeEI 普通の人は、pを3として (x^3+y^3)*1=(x+y)(x^2-xy+y^2)から1=x^2-xy+y^2を導いたとしても x=2,y=3を代入して1=2^2-2*3+3^2となった時点で1=7だから何か間違えたと考える。 日高氏式フェルマーの最終定理の証明： z^p=x^p+y^pとおいてz^p*1=1*z^p、これら両辺の右が等しいので1=z^p,z=1となって矛盾。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/156
157: 日高 [] 2019/12/22(日) 23:07:50.87 ID:JmVFhdX8 >151 >同じなら、付加した形で書いてごらんよ。何か問題ある？ 問題は、ありませんが、今のところ書く予定はありません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/157
158: 日高 [] 2019/12/22(日) 23:10:02.99 ID:JmVFhdX8 >153 >「〜のとき」と「〜とすると」は同義ですからそれはどうでもよろしい。 そう仮定したなら、以下ずっと「A=Cとすると」を書き加えねばなりません。 そうですね。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/158
159: １３２人目の素数さん [sage] 2019/12/22(日) 23:13:08.86 ID:HjBnJeEI >>157 日高 > >151 > >同じなら、付加した形で書いてごらんよ。何か問題ある？ > > 問題は、ありませんが、今のところ書く予定はありません。 じゃあ次にフェルマーの最終定理の簡単な証明を書くときには付加しますね？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/159
160: 日高 [] 2019/12/22(日) 23:13:11.29 ID:JmVFhdX8 >156 >普通の人は、pを3として (x^3+y^3)*1=(x+y)(x^2-xy+y^2)から1=x^2-xy+y^2を導いたとしても x=2,y=3を代入して1=2^2-2*3+3^2となった時点で1=7だから何か間違えたと考える。 この場合は、1=x^2-xy+y^2を満たす、x,yを考えます。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/160
161: １３２人目の素数さん [sage] 2019/12/22(日) 23:13:47.81 ID:A2tvuhO3 >>148 > >146 > >じゃあそれを付加して、君の証明とやらを書いてごらん。 > > 付加するだけなので、同じです。 意味が違うので同じではありません。 書き直さないかぎり、数学的に間違っているので無意味です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/161
162: １３２人目の素数さん [sage] 2019/12/22(日) 23:15:03.97 ID:HjBnJeEI >>158 日高 > >153 > >「〜のとき」と「〜とすると」は同義ですからそれはどうでもよろしい。 > そう仮定したなら、以下ずっと「A=Cとすると」を書き加えねばなりません。 > > そうですね。 ひとごとのような書きぶりだけど，そう認めた以上，今後は君はそれを書き足さねばならない。 わかってる？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/162
163: １３２人目の素数さん [sage] 2019/12/22(日) 23:19:09.92 ID:EfTr4oQ/ >>155 それなら、 >>1の場合、「pが奇素数のとき、必ず(左辺の右側)=(左辺の右側)となる」 >>2の場合、「pが2の場合、必ず(左辺の右側)=(左辺の右側)となる」 を証明するか、 場合分けとして 「(左辺の右側)=(左辺の右側)でないとき」あるいは「(左辺の右側)≠(左辺の右側)とすると を証明するか どちらかをしないと証明できたことになりません。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/163
164: １３２人目の素数さん [sage] 2019/12/22(日) 23:20:38.32 ID:HjBnJeEI >>160 日高 > >普通の人は、pを3として > (x^3+y^3)*1=(x+y)(x^2-xy+y^2)から1=x^2-xy+y^2を導いたとしても > x=2,y=3を代入して1=2^2-2*3+3^2となった時点で1=7だから何か間違えたと考える。 > > この場合は、1=x^2-xy+y^2を満たす、x,yを考えます。 頭の働きが普通でないようです。 x=2,y=3を代入したのですから、もうx,yをさがす必要はありません。 x=2,y=3です。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/164
165: １３２人目の素数さん [sage] 2019/12/22(日) 23:23:23.10 ID:HjBnJeEI ある式...…(1) から別の式...…(2) を導いたとき， (1)を満たすx,y,などに対しそれらが(2)を満たすのが当然です。 そうでないなら(1)から(2)を導いたのが間違いです。 これ、わかりますか？ http://rio2016.5ch.net/test/read.cgi/math/1576824679/165
166: １３２人目の素数さん [sage] 2019/12/22(日) 23:49:56.20 ID:zXV7IPoi >154 >z^(p-1)×z=z^pとなるので、同じとなります。 貴方は↓これらの式が『全て同じ。』と申すのか？ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)} z={x^(p-1)-x^(p-2)y+…+y^(p-1)} z^2={x^(p-1)-x^(p-2)y+…+y^(p-1)} ... z^p={x^(p-1)-x^(p-2)y+…+y^(p-1)} http://rio2016.5ch.net/test/read.cgi/math/1576824679/166
167: １３２人目の素数さん [sage] 2019/12/23(月) 00:04:14.06 ID:4FcTgt+Y >>166 たぶん意味が通じていません。 >>1 日高 > したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる。 > (1)の左辺の右側と右辺の右側は等しいので、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。 において(1)を z^1*z^(p-1)=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)} z^2*z^(p-2)=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)} ... z^(p-2)*z^2=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)} z^(p-1)*z^1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)} とも書けるが
どの場合でも「左辺の右＝右辺の右」ですか と聞いているんですよね。 http://rio2016.5ch.net/test/read.cgi/math/1576824679/167
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 835 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.027s