19/12/20 15:57:14.17 1mOJhAe/.net
【定理】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は、自然数解を持つ。
3:１３２人目の素数さん
19/12/20 15:57:36.79 MJNPKAcU.net
もうね
証明したした詐欺は良くない
いくら問題点が指摘されまくっても
理解能力なしでオウム返しだけをしまくるのは詐欺
4:１３２人目の素数さん
19/12/20 16:40:56.86 /CC2NhNl.net
また日高語録が生まれたね
前スレ>>993
1=7となるので、～
5:日高
19/12/20 16:54:03.01 1mOJhAe/.net
>3
>もうね
証明したした詐欺は良くない
>いくら問題点が指摘されまくっても
理解能力なしでオウム返しだけをしまくるのは詐欺
問題点は、なにでしょうか？
6:日高
19/12/20 16:56:00.61 1mOJhAe/.net
>4
>前スレ>>993
>1=7となるので、～
間違いを、ご指摘いただけないでしょうか。
7:１３２人目の素数さん
19/12/20 17:45:15 /SKS4t/o.net
8:普通の人間は1=7となったら自分の推論が間違っていると考え再考する。
9:日高
19/12/20 18:04:38 1mOJhAe/.net
>7
>普通の人間は1=7となったら自分の推論が間違っていると考え再考する。
1=7*(1/7)とします。
例.6*1=2*3
1=3*(1/3)
6=3*2
よって、6*1=3*2*3*(1/3)となります。
10:１３２人目の素数さん
19/12/20 18:51:28 57A57aBL.net
1=7となるので、
これ数学板で伝説になりそう
11:日高
19/12/20 19:12:42.69 1mOJhAe/.net
>9
>1=7となるので、
これ数学板で伝説になりそう
1=7となるとは、言っていません。
1=7*(1/7)となると、言いました。
12:１３２人目の素数さん
19/12/20 19:44:55.17 QVMLVtWb.net
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以上ならば、計算可能です。
515 １３２人目の素数さん 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であることを証明してください
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となります。
13:１３２人目の素数さん
19/12/20 19:50:59.40 D21U7G7W.net
日高は1=7を証明した天才だからな
14:日高
19/12/20 20:19:14.70 1mOJhAe/.net
>11
>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
>というよなアフォな式が成り立つわけがない。
この場合、zは、自然数となりません。
15:日高
19/12/20 20:21:24.27 1mOJhAe/.net
>12
>日高は1=7を証明した天才だからな
1=7は証明していません。
16:日高
19/12/20 20:23:02.19 1mOJhAe/.net
【定理】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は、自然数解を持つ。
17:１３２人目の素数さん
19/12/20 20:38:53.49 FgcMXF0J.net
1=7となると言ってないと言い張ってるので、前スレのやりとりを貼っときますね。
前スレ
>>981 日高
>日高氏へ：次の議論は正しいでしょうか？
pを奇数とする。x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
したがって、x^p+y^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)となる。
正しいです。
>>992
pに3,xに2,yに3を代入してごらん。
>>993 日高
>pに3,xに2,yに3を代入してごらん。
1=7となるので、
この場合は、1=7*(1/7)とします。
18:日高
19/12/20 20:44:52.91 1mOJhAe/.net
>16
>1=7となると言ってないと言い張ってるので、前スレのやりとりを貼っときますね。
>pに3,xに2,yに3を代入してごらん。
1=7となるので、（途中）
この場合は、1=7*(1/7)とします。
19:１３２人目の素数さん
19/12/20 20:46:44.26 FgcMXF0J.net
>>17
「1=7となるので」
と書いたら、1=7となることを意味します。
そうでないというのなら、あなたのやってるのは数学ではありません。
20:日高
19/12/20 20:51:48.29 1mOJhAe/.net
>18
>「1=7となるので」
と書いたら、1=7となることを意味します。
>そうでないというのなら、あなたのやってるのは数学ではありません。
文章の意味を読み取っていただけないでしょうか。
21:１３２人目の素数さん
19/12/20 20:53:48.70 FgcMXF0J.net
>>19
他に解釈のしようがありません。
22:１３２人目の素数さん
19/12/20 21:11:25.16 RBPIUSP9.net
>>19
> >18
> >「1=7となるので」
> と書いたら、1=7となることを意味します。
> >そうでないというのなら、あなたのやってるのは数学ではありません。
>
> 文章の意味を読み取っていただけないでしょうか。
正確に意味を読みとると、証明とやらはすべて間違い。
23:１３２人目の素数さん
19/12/20 21:44:48.72 NzBhn+Ul.net
1=7なんていうのは、自分でおかしなことをやらないと出てこないの。
1=xのxに7を代入しました、みたいな感じでね。
24:日高
19/12/21 07:42:39.03 MFpkHCEs.net
>20
>他に解釈のしようがありません。
「1≠7となるので、」と書けば良いのでしょうか？
25:日高
19/12/21 07:48:32.03 MFpkHCEs.net
>21
>正確に意味を読みとると、証明とやらはすべて間違い。
「1≠7となるので、この場合は、1=7*(1/7)とします。」
と書けば良いのでしょうか？
26:日高
19/12/21 07:54:08.03 MFpkHCEs.net
>22
>1=7なんていうのは、自分でおかしなことをやらないと出てこないの。
1=xのxに7を代入しました、みたいな感じでね。
A*B=C*Dならば、B=Dのとき、A=Cとなるので、
B=1としました。
27:１３２人目の素数さん
19/12/21 07:54:37.52 j1DRLFEa.net
>>23
> >20
> >他に解釈のしようがありません。
>
> 「1≠7となるので、」と書けば良いのでしょうか？
ダメ。意味不明。
28:日高
19/12/21 07:56:40.94 MFpkHCEs.net
【定理】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は、自然数解を持つ。
29:日高
19/12/21 07:58:27.25 MFpkHCEs.net
>26
>ダメ。意味不明。
理由を教えていただけないでしょうか。
30:１３２人目の素数さん
19/12/21 08:00:13.05 j1DRLFEa.net
>>25
> >22
> >1=7なんていうのは、自分でおかしなことをやらないと出てこないの。
> 1=xのxに7を代入しました、みたいな感じでね。
>
> A*B=C*Dならば、B=Dのとき、A=Cとなるので、
> B=1としました。
反論をするなら客観的な根拠を示せと言ってるだろうが。
言い訳は、指摘に対する無視同然。
指摘を理解できるまで自分で勉強してからコメントせよ。
31:１３２人目の素数さん
19/12/21 08:03:45.71 j1DRLFEa.net
>>28
> >26
> >ダメ。意味不明。
>
> 理由を教えていただけないでしょうか。
意味不明だからと理由が書いてあるが。
どこをどう変更して全体がどうなるかも分からないし。
32:１３２人目の素数さん
19/12/21 08:20:19.41 GAQr5iuC.net
まだやってるの？
成長した？
33:日高
19/12/21 08:26:02.35 MFpkHCEs.net
>29
>反論をするなら客観的な根拠を示せと言ってるだろうが。
言い訳は、指摘に対する無視同然。
指摘を理解できるまで自分で勉強してからコメントせよ。
「A*B=C*Dならば、B=Dのとき、A=Cとなるので、
B=1としました。」は、
客観的な根拠ではないでしょうか？
34:１３２人目の素数さん
19/12/21 08:27:04.89 GAQr5iuC.net
成長してないみたいだね
35:日高
19/12/21 08:28:11.75 MFpkHCEs.net
>30
>意味不明だからと理由が書いてあるが。
どこをどう変更して全体がどうなるかも分からないし。
そうですね。
36:日高
19/12/21 08:30:28.85 MFpkHCEs.net
>31
>まだやってるの？
成長した？
同じ事を、やっています。
37:日高
19/12/21 08:32:17.62 MFpkHCEs.net
>33
>成長してないみたいだね
今のところ、同じ事しかできません。
38:日高
19/12/21 09:07:29.67 MFpkHCEs.net
(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
39:１３２人目の素数さん
19/12/21 09:10:30.11 JYhzMwUH.net
日高のいていることが全く理解できない
むしろ日高の言っていることを理解しようとすると体が拒否する
>>36
いや永遠に同じことしかできないだろ
40:日高
19/12/21 09:16:53.62 MFpkHCEs.net
>38
>日高のいていることが全く理解できない
むしろ日高の言っていることを理解しようとすると体が拒否する
>>36
いや永遠に同じことしかできないだろ
どこから、理解できないのでしょうか？
最初からでしょうか？
41:日高
19/12/21 09:18:53.70 MFpkHCEs.net
【定理】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は、自然数解を持つ。
42:１３２人目の素数さん
19/12/21 09:23:30.75 JYhzMwUH.net
>>39
1=7ってなんですか？
なんで1=7なんですか？
43:日高
19/12/21 09:36:37.21 MFpkHCEs.net
>41
>1=7ってなんですか？なんで1=7なんですか？
1番の、1={x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)となる。に、
x=2, y=3を代入すると、1=7となります。
44:日高
19/12/21 09:40:09.32 MFpkHCEs.net
>42
追伸 p=3の場合です。
45:１３２人目の素数さん
19/12/21 10:20:57.90 JYhzMwUH.net
…の部分が分からないのですが
46:日高
19/12/21 10:33:49.10 MFpkHCEs.net
>44
>…の部分が分からないのですが
x^p+y^pを、因数分解すると、(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}となります。
1番の証明を、読んでいただけないでしょうか。
47:１３２人目の素数さん
19/12/21 10:54:04.21 JYhzMwUH.net
>>45
分かりました。
ってあれ？2^3+3^3ってことでしょ？
ん？2^3+3^3=35だったはず...
因数分解は式の変形だから式の内容は変わらないはず
駄目だ...頭がこんがらがってきた...
48:１３２人目の素数さん
19/12/21 11:00:15.72 7TnOd0ie.net
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
1 = 7
が成立する。本スレ >>16 以降を参照。
a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
変わりはありません。
この迷言に対し
> 小学校から大学教養レベルあたりまでの数学で、「数」とは
> 自然数、整数、実数（有理数、無理数）、複素数
> であるが a^{1/(1-1) は上記のどれにあたるのだ？
という指摘がなされたが、これに対しても
a^{1/(1-1) は特定できない数です。
という世紀の珍答を与えている。さらに
> スレ主は以下の命題の真偽がわかるかね？
> (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となりません。
と漫才の
49:ような珍答を与えている。
50:１３２人目の素数さん
19/12/21 11:30:26.79 j1DRLFEa.net
>>32
> >29
> >反論をするなら客観的な根拠を示せと言ってるだろうが。
> 言い訳は、指摘に対する無視同然。
> 指摘を理解できるまで自分で勉強してからコメントせよ。
>
> 「A*B=C*Dならば、B=Dのとき、A=Cとなるので、
> B=1としました。」は、
> 客観的な根拠ではないでしょうか？
本人の思いこみ。教科書などを引用し、それらを根拠として議論しない限り客観的な根拠ではない。
51:日高
19/12/21 11:52:06.54 MFpkHCEs.net
>46
>ん？2^3+3^3=35だったはず...
>因数分解は式の変形だから式の内容は変わらないはず
2^3+3^3=35
(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}=5*7=35
この場合は、x,yは任意で、式を満たします。
(日高のルール）を使うと、
(x^3+y^3)*1=(x+y)(x^2-xy+y^2)
x^3+y^3=z^3なので、
z^3*1=(x+y)(x^2-xy+y^2)となります。
1=(x+y)(x^2-xy+y^2)を満たすのは、x=1,y=1のみです。
z^3=2となります。
zは自然数となりません。
(日高のルール）とは、
A*1=B*Cならば、1=Cのとき、A=Bとなる。です。(A,B,Cは式)
52:日高
19/12/21 11:54:59.76 MFpkHCEs.net
>47
>***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
以前、同じものを拝見しました。
53:日高
19/12/21 11:57:53.16 MFpkHCEs.net
>48
>本人の思いこみ。教科書などを引用し、それらを根拠として議論しない限り客観的な根拠ではない。
はい。本人の思いこみです。
54:日高
19/12/21 11:59:28.18 MFpkHCEs.net
【定理】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は、自然数解を持つ。
55:１３２人目の素数さん
19/12/21 12:51:17.33 7TnOd0ie.net
>>50
君の証明と称する雑文も数学ナビの掲示板以来本質的に何も変わっていないw
56:日高
19/12/21 13:07:18.98 MFpkHCEs.net
>53
>君の証明と称する雑文も数学ナビの掲示板以来本質的に何も変わっていないw
そうでしょうか？
57:１３２人目の素数さん
19/12/21 14:33:27.59 yNKosF9D.net
文１：0でない4つの数A,B,C,Dについて、AB=CDが成り立つとき、必ずA=Cである
お互いに割り切れない3つの数a,b,cを考える(3,5,7など）
A=a×b、B=c、C=a、D=b×cとおくと
AB=a×b×c、CD=a×b×cとなるのでAB=CD
しかしA≠C
よって文1は間違いである
58:１３２人目の素数さん
19/12/21 14:38:25.44 yNKosF9D.net
文2：0でない4つの数A,B,C,Dとある数aについて、AB=aCD(1/a)が成り立つとき、必ずA=aCである
E=aC、F=D(1/a)とおくと、>>55より
0でない4つの数A,B,E,Fについて、AB=EFが成り立つとき、必ずA=Eである
は間違いである
よって文2は間違いである。
59:日高
19/12/21 14:41:21.53 MFpkHCEs.net
>55
>文１：0でない4つの数A,B,C,Dについて、AB=CDが成り立つとき、必ずA=Cである
お互いに割り切れない3つの数a,b,cを考える(3,5,7など）
A=a×b、B=c、C=a、D=b×cとおくと
AB=a×b×c、CD=a×b×cとなるのでAB=CD
しかしA≠C
よって文1は間違いである
その通りですね。
60:日高
19/12/21 14:52:29.98 MFpkHCEs.net
>56
>文2：0でない4つの数A,B,C,Dとある数aについて、AB=aCD(1/a)が成り立つとき、必ずA=aCである
E=aC、F=D(1/a)とおくと、>>55より
0でない4つの数A,B,E,Fについて、AB=EFが成り立つとき、必ずA=Eである
は間違いである
よって文2は間違いである。
その通りですね。
61:１３２人目の素数さん
19/12/21 14:58:08.66 yNKosF9D.net
文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)とおくと、文1より
文3は間違いである
62:日高
19/12/21 15:41:48 MFpkHCEs.net
>59
>文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)とおくと、文1より
文3は間違いである
その通りですね。
63:日高
19/12/21 17:57:34.56 MFpkHCEs.net
>60
x^2=(z+y)となりますが、「文1より」が間違いです。
64:１３２人目の素数さん
19/12/21 18:35:15.76 yNKosF9D.net
>>61
> 「文1より」が間違いです。
そうですね、そこは間違えました
文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は間違いである。
65:１３２人目の素数さん
19/12/21 20:21:32.85 7TnOd0ie.net
日高クンは次の命題の真偽がわかるだろうか？
1 = 7 ⇒ 2 > 3
66:日高
19/12/21 20:21:39.89 MFpkHCEs.net
>62
すみません。>>55より、がわかりません。
簡単にして、頂けないでしょうか。（簡単な言い方）
（文１、文２、文３をまとめた言い方）
67:日高
19/12/21 20:24:34.62 MFpkHCEs.net
>63
>日高クンは次の命題の真偽がわかるだろうか？
1 = 7 ⇒ 2 > 3
どういう意味かを、詳しく説明していただけないでしょうか。
68:日高
19/12/22 08:42:26.50 JmVFhdX8.net
(日高のルール）
A=BCならば、C=1のとき、A=Bとなる。(A,B,Cは式)
69:日高
19/12/22 09:39:43.36 JmVFhdX8.net
【定理】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は、自然数解を持つ。
70:日高
19/12/22 10:06:46.62 JmVFhdX8.net
(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のみを、検討すればよい。
71:１３２人目の素数さん
19/12/22 11:24:05.74 zXV7IPoi.net
A*B = B*AならA=B？
72:日高
19/12/22 12:15:09.60 JmVFhdX8.net
>69
>A*B = B*AならA=B？
A=A、B=Bとなります。
73:１３２人目の素数さん
19/12/22 12:42:04.66 zXV7IPoi.net
> A=A、B=Bとなります。
どうして？
貴方の主張は(右側)=(右側)なんでしょう？
74:日高
19/12/22 12:47:12.01 JmVFhdX8.net
>71
>A=A、B=Bとなります。
75:>どうして？ 貴方の主張は(右側)=(右側)なんでしょう？ A*B = B*A=A*Bとなるので、A=A、B=Bとなります。
76:１３２人目の素数さん
19/12/22 13:18:54.38 zXV7IPoi.net
> A*B = B*A=A*Bとなるので、A=A、B=Bとなります。
じゃあ、A=Bの可能性は無い？
77:日高
19/12/22 13:48:13.14 JmVFhdX8.net
>73
>A*B = B*A=A*Bとなるので、A=A、B=Bとなります。
じゃあ、A=Bの可能性は無い？
A=Bとすると、B*B=B*Bとなります。
78:１３２人目の素数さん
19/12/22 14:07:09.02 zXV7IPoi.net
可能性は有るの？無いの？
79:１３２人目の素数さん
19/12/22 14:52:17.44 Mz3jqrQm.net
>>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は間違いである。
80:日高
19/12/22 15:07:34.70 JmVFhdX8.net
(日高のルール）
A=BCならば、C=1のとき、A=Bとなる。(A,B,Cは式)
81:日高
19/12/22 15:10:33.32 JmVFhdX8.net
【定理】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は、自然数解を持つ。
82:日高
19/12/22 15:13:11.98 JmVFhdX8.net
(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のみを、検討すればよい。
83:１３２人目の素数さん
19/12/22 15:44:11.80 ZUHHxvXH.net
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
(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
84:１３２人目の素数さん
19/12/22 15:46:04.93 ZUHHxvXH.net
┌日┐
｜※｜ 毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜ 数学力、国語力は人類をはるか超越するレベルです。
｜の｜
｜本｜ 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
｜ま｜
｜せ｜ 数学史上、燦然と輝く珍証明です。(｀⌒´)エｯﾍﾝ！(｀^´)
｜ん｜
｜！｜ おかげで睾丸無知な私の下半身が甦りました。(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
└高┘
85:１３２人目の素数さん
19/12/22 15:48:16.37 zXV7IPoi.net
無視かよw
AB=CDのとき、成立する連立方程式は何組ある？
86:日高
19/12/22 16:12:00.77 JmVFhdX8.net
>75
>可能性は有るの？無いの？
あります。
87:日高
19/12/22 16:14:31.77 JmVFhdX8.net
>82
>無視かよw
>AB=CDのとき、成立する連立方程式は何組ある？
よくわかりません。
88:１３２人目の素数さん
19/12/22 16:48:55 rfBIjjYQ.net
>>83
つうことは、右側=右側の場合と、右側=左側の場合と、調べなきゃいけないんではないの？
89:１３２人目の素数さん
19/12/22 17:01:03.52 rfBIjjYQ.net
>>84
マジかw
１組は、A=CとB=D。全部で何組？
90:日高
19/12/22 17:07:06.82 JmVFhdX8.net
>85
>つうことは、右側=右側の場合と、右側=左側の場合と、調べなきゃいけないんではないの？
AB=CDならば、B=Dのとき、A=Cとなります。
AB=CDならば、B=Cのとき、A=Dとなります。
91:日高
19/12/22 17:17:19 JmVFhdX8.net
(日高のルール）
A=BCならば、C=1のとき、A=Bとなる。(A,B,Cは式)
92:日高
19/12/22 17:25:18 JmVFhdX8.net
【定理】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は、自然数解を持つ。
93:日高
19/12/22 17:28:03 JmVFhdX8.net
(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のみを、検討すればよい。
94:１３２人目の素数さん
19/12/22 17:46:05.05 L44cnxPR.net
>>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)の左辺の右側と、右辺の右側は等しいので、
いいえ。等しいというなら、それをきちんと証明せよ。
95:日高
19/12/22 17:48:22.16 JmVFhdX8.net
(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
96:１３２人目の素数さん
19/12/22 17:53:19.96 EfTr4oQ/.net
ちゃんと説明するために、変更
文イ：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である」は間違いである…結果ロ
97:１３２人目の素数さん
19/12/22 17:57:22.85 EfTr4oQ/.net
書き間違えた部分を修正
考察ロ
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つの数を考えると、
98:日高
19/12/22 18:00:54.27 JmVFhdX8.net
>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となります。
99:１３２人目の素数さん
19/12/22 18:02:06.09 EfTr4oQ/.net
文イ''：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)である」は間違いである…結果ハ
100:１３２人目の素数さん
19/12/22 18:16:15.65 aKriljiH.net
日高氏には、A,B,C,Dなどに具体的な数値を
当てはめて例を示した方が通じやすいかと
思われます。
101:１３２人目の素数さん
19/12/22 18:26:40.02 L44cnxPR.net
>>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=BCならば、B=Cのとき、A=Bとなります。
> 証明。B=Cなので、AC=BCとなります。両辺は等しいので、A=Bとなります。
ダメ。さんざん指摘されてる通り。
102:日高
19/12/22 18:33:32.81 JmVFhdX8.net
AB=BCならば、B=Cのとき、A=Bとなります。
証明。B=Cなので、AC=BCとなります。両辺は等しいので、A=Bとなります。
訂正します。
AB=CDならば、B=Dのとき、A=Cとなります。
証明。B=Dなので、AD=CDとなります。両辺は等しいので、A=Cとなります。
103:１３２人目の素数さん
19/12/22 18:37:19.53 EfTr4oQ/.net
>>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」となるとは、限りません。
と書かれているので具体的な数字を入れると理解してもらえなくなるのです。
104:日高
19/12/22 18:56:13.37 JmVFhdX8.net
>96
>「0より大きい3つの数x,y,zについてx^2×1=(z+y)×(z-y)が成り立つとき、必ずx^2=(z+y)である」は間違いである…結果ハ
1=z-yのとき、必ずx^2=z+yとなります。
105:１３２人目の素数さん
19/12/22 19:16:01.00 EfTr4oQ/.net
>>101
何度も言われているように、x,y,zがどんな数なのかはっきり書いていなければ証明とは言えません。
0より大きい3つの数x,y,zについて1=z-yが成り立たない組み合わせはいくらでもあります。
106:１３２人目の素数さん
19/12/22 19:38:39.82 EfTr4oQ/.net
考察ハ'
文イ''の「必ずA=Cである」を「必ずB=Dである」に置き換えても同じ考察が可能なので
「0より大きい3つの数x,y,zについてx^2×1=(z+y)×(z-y)が成り立つとき、必ず1=(z-y)である」は間違いである…結果ハ'
107:１３２人目の素数さん
19/12/22 20:13:17.12 aKriljiH.net
>>100
ありがとう。それは難儀ですね。
108:日高
19/12/22 20:26:17.94 JmVFhdX8.net
>102
>何度も言われているように、x,y,zがどんな数なのかはっきり書いていなければ証明とは言えません。
0より大きい3つの数x,y,zについて1=z-yが成り立たない組み合わせはいくらでもあります。
x,y,zは、有理数です。
109:１３２人目の素数さん
19/12/22 20:28:52.25 CtNCJB0X.net
>>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も、必ず奇数で自然数
110:日高
19/12/22 20:30:59.89 JmVFhdX8.net
>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)のとき、がありません。
111:１３２人目の素数さん
19/12/22 20:33:51.32 zXV7IPoi.net
> 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
これらの場合、何故考えないの？
112:１３２人目の素数さん
19/12/22 20:37:10.15 zXV7IPoi.net
あと、
>>>AB=CDのとき、成立する連立方程式は何組ある？
>>よくわかりません。
>マジかw
>１組は、A=CとB=D。全部で何組？
これも答えて。
113:日高
19/12/22 20:41:48.66 JmVFhdX8.net
>106
ありがとうございます。
114:日高
19/12/22 20:59:01.40 JmVFhdX8.net
>107
>1=(z-y)のとき、必ず1=(z-y)となります。
考察ハ'は、1=(z-y)のとき、がありません。
訂正します。
x^2×1=(z+y)×(z-y)が成り立つならば、
1=(z-y)のとき、必ずx^2=(z+y)となる。
115:１３２人目の素数さん
19/12/22 21:04:56.47 EfTr4oQ/.net
>>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つでもあれば間違いであるので
左辺の右側と、右辺の右側は(必ず）等しい
も間違いです。
116:１３２人目の素数さん
19/12/22 21:09:32 HjBnJeEI.net
>>99 日高
> AB=BCならば、B=Cのとき、A=Bとなります。
> 証明。B=Cなので、AC=BCとなります。両辺は等しいので、A=Bとなります。
「両辺が等しいので」とあるけどなぜそのとき「A=B」なのか証明できますか？
117:日高
19/12/22 21:12:05 JmVFhdX8.net
>108
>したがって、z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)となる
>ここでは(右側)=(左側)を無視するの？
x,yが自然数の場合、1=x+yを満たさないからです。
118:日高
19/12/22 21:21:50 JmVFhdX8.net
>109
>AB=CDのとき、成立する連立方程式は何組ある？
>>よくわかりません。
>マジかw
>１組は、A=CとB=D。全部で何組？
>これも答えて。
よくわかりません。
119:１３２人目の素数さん
19/12/22 21:32:41 zXV7IPoi.net
>114
↓こっちは無視？
(左辺) = z^p * 1 = z^(p-1) * z = ... = z * z^(p-1) = 1 * z^p
これらの場合、何故考えないの？
>115
連立方程式、知らない？
120:日高
19/12/22 21:32:44 JmVFhdX8.net
>112
>「必ず1=(z-y)である」は間違いです。
そうですね。
z=17、y=8の場合、間違いとなります。
121:日高
19/12/22 21:33:12 JmVFhdX8.net
>112
>「必ず1=(z-y)である」は間違いです。
そうですね。
z=17、y=8の場合、間違いとなります。
122:日高
19/12/22 21:33:15 JmVFhdX8.net
>112
>「必ず1=(z-y)である」は間違いです。
そうですね。
z=17、y=8の場合、間違いとなります。
123:１３２人目の素数さん
19/12/22 21:34:13 zXV7IPoi.net
>114
↓こっちは無視？
(左辺) = z^p * 1 = z^(p-1) * z = ... = z * z^(p-1) = 1 * z^p
これらの場合、何故考えないの？
>115
連立方程式、知らない？
124:日高
19/12/22 21:35:23.22 JmVFhdX8.net
>112
>「必ず1=(z-y)である」は間違いです。
そうですね。z=17、y=8の場合、間違いとなります。
125:日高
19/12/22 21:35:35.14 JmVFhdX8.net
>112
>「必ず1=(z-y)である」は間違いです。
そうですね。z=17、y=8の場合、間違いとなります。
126:日高
19/12/22 21:39:46.70 JmVFhdX8.net
>113
>「両辺が等しいので」とあるけどなぜそのとき「A=B」なのか証明できますか？
すみません。書き間違いでした。
127:日高
19/12/22 21:41:21.98 JmVFhdX8.net
>116
>連立方程式、知らない？
よくわかりません。
128:１３２人目の素数さん
19/12/22 21:42:53.54 HjBnJeEI.net
>>123 日高
> >113
> >「両辺が等しいので」とあるけどなぜそのとき「A=B」なのか証明できますか？
>
> すみません。書き間違いでした。
では修正版を書いてください。
129:日高
19/12/22 21:45:46.93 JmVFhdX8.net
【定理】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は、自然数解を持つ。
130:日高
19/12/22 21:47:22.61 JmVFhdX8.net
(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のみを、検討すればよい。
131:日高
19/12/22 21:49:10.12 JmVFhdX8.net
(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
132:１３２人目の素数さん
19/12/22 21:54:48.95 EfTr4oQ/.net
>>126
> 左辺の右側と、右辺の右側は等しい
あなたは>>57で
「AB=CDが成り立つとき、必ずA=Cである」は間違いである
に対してその通りと書いていますね。
何の証明もすることなしに、「左辺の右側と、右辺の右側は等しい」ということはできません。
ですからその証明は間違いです。
133:日高
19/12/22 21:55:18.21 JmVFhdX8.net
(日高のルール）
A=BCならば、C=1のとき、A=Bとなる。(A,B,Cは式)
134:日高
19/12/22 21:59:21.58 JmVFhdX8.net
>125
>では修正版を書いてください。
AB=CDならば、A=Cのとき、B=Dとなる。
135:１３２人目の素数さん
19/12/22 22:00:47.03 EfTr4oQ/.net
>>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)の左辺の右側と、右辺の右側は等しい」
は使えないのです。
136:日高
19/12/22 22:05:30 JmVFhdX8.net
>129
>あなたは>>57で
「AB=CDが成り立つとき、必ずA=Cである」は間違いである
に対してその通りと書いていますね。
何の証明もすることなしに、「左辺の右側と、右辺の右側は等しい」ということはできません。
>ですからその証明は間違いです。
正しくは、(左辺の右側）=(右辺の右側)のとき、(左辺の左側）=(右辺の左側)となる
です。
137:１３２人目の素数さん
19/12/22 22:10:10 HjBnJeEI.net
>>131 日高
> >125
> >では修正版を書いてください。
>
> AB=CDならば、A=Cのとき、B=Dとなる。
ではこれを証明してください。
138:１３２人目の素数さん
19/12/22 22:11:47 EfTr4oQ/.net
>>133
つまり、(左辺の右側）=(右辺の右側)を「確かめてから」でないと
(左辺の左側）=(右辺の左側)を使ってはいけません
同じように、(左辺の左側）=(右辺の左側)を「確かめてから」でないと
(左辺の右側）=(右辺の右側)を使ってはいけません
139:日高
19/12/22 22:14:02 JmVFhdX8.net
>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)をたしかめる必要はありません。
140:１３２人目の素数さん
19/12/22 22:19:43 HjBnJeEI.net
>>136 日高
> 「1=(z-y)とすると」なので、1=(z-y)をたしかめる必要はありません。
そうだとしたら、この後の議論では常に「1=(z-y)とすると」を付加せねばなりません。
141:日高
19/12/22 22:19:56 JmVFhdX8.net
>135
>つまり、(左辺の右側）=(右辺の右側)を「確かめてから」でないと
(左辺の左側）=(右辺の左側)を使ってはいけません
同じように、(左辺の左側）=(右辺の左側)を「確かめてから」でないと
(左辺の右側）=(右辺の右側)を使ってはいけません
AB=CDならば、A=Cのとき、B=Dとなる。
この場合、A=Cとなるかは、確かめてはいません。
142:１３２人目の素数さん
19/12/22 22:24:54.05 zXV7IPoi.net
>124
知らないなら調べておいで。
↓で、こっちは無視か？
(左辺) = z^p * 1 = z^(p-1) * z = ... = z * z^(p-1) = 1 * z^p
これらの場合、何故考えないの？
143:１３２人目の素数さん
19/12/22 22:25:58.38 EfTr4oQ/.net
>>138
AB=CDならば、…(1)
A=Cのとき、…(2)
B=Dとなる。…(3)
あなたは>>1でも>>2でも(2)を書いていませんし、本当に(2)を満たすA,Cがあるのかどうか
確かめてもいません。
ｊなので間違いです。
144:１３２人目の素数さん
19/12/22 22:36:25.05 HjBnJeEI.net
>>138 日高
> >135
> AB=CDならば、A=Cのとき、B=Dとなる。
> この場合、A=Cとなるかは、確かめてはいません。
だから，小学校卒業レベルの「論理」がわかっていないんだよ。
145:日高
19/12/22 22:39:07.66 JmVFhdX8.net
>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)
146:日高
19/12/22 22:41:53.81 JmVFhdX8.net
>137
>「1=(z-y)とすると」なので、1=(z-y)をたしかめる必要はありません。
>そうだとしたら、この後の議論では常に「1=(z-y)とすると」を付加せねばなりません。
そうですね。
147:１３２人目の素数さん
19/12/22 22:43:36.37 HjBnJeEI.net
>>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)
これは例を挙げただけ。これが証明になっていると思うなら，小学校の算数からやり直せ。
148:日高
19/12/22 22:44:10.28 JmVFhdX8.net
>139
>(左辺) = z^p * 1 = z^(p-1) * z = ... = z * z^(p-1) = 1 * z^p
これらの場合、何故考えないの？
同じだからです。
149:１３２人目の素数さん
19/12/22 22:44:59.35 HjBnJeEI.net
>>143 日高
> >137
> >「1=(z-y)とすると」なので、1=(z-y)をたしかめる必要はありません。
>
> >そうだとしたら、この後の議論では常に「1=(z-y)とすると」を付加せねばなりません。
>
> そうですね。
じゃあそれを付加して、君の証明とやらを書いてごらん。
150:日高
19/12/22 22:47:47.40 JmVFhdX8.net
>140
>AB=CDならば、…(1)
A=Cのとき、…(2)
B=Dとなる。…(3)
あなたは>>1でも>>2でも(2)を書いていませんし、本当に(2)を満たすA,Cがあるのかどうか
確かめてもいません。
ｊなので間違いです。
A=Cのとき、…(2)は、正確には「A=Cとすると」です。
151:日高
19/12/22 22:50:41.42 JmVFhdX8.net
>146
>じゃあそれを付加して、君の証明とやらを書いてごらん。
付加するだけなので、同じです。
152:１３２人目の素数さん
19/12/22 22:51:38.61 zXV7IPoi.net
>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)となる。
これらが同じだと？
153:１３２人目の素数さん
19/12/22 22:53:05.98 EfTr4oQ/.net
> 【定理】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)の左辺の右側と、右辺の右側は等しい
は間違いです。
154:１３２人目の素数さん
19/12/22 22:54:10.03 HjBnJeEI.net
>>148 日高
> >146
> >じゃあそれを付加して、君の証明とやらを書いてごらん。
>
> 付加するだけなので、同じです。
同じなら、付加した形で書いてごらんよ。何か問題ある？
155:日高
19/12/22 22:54:43.80 JmVFhdX8.net
>141
>AB=CDならば、A=Cのとき、B=Dとなる。
> この場合、A=Cとなるかは、確かめてはいません。
>だから，小学校卒業レベルの「論理」がわかっていないんだよ。
「A=Cのとき、」は、正確には「A=Cとすると」です。
156:１３２人目の素数さん
19/12/22 22:58:36.60 HjBnJeEI.net
>>152 日高
> >141
> >AB=CDならば、A=Cのとき、B=Dとなる。
> > この場合、A=Cとなるかは、確かめてはいません。
> >だから，小学校卒業レベルの「論理」がわかっていないんだよ。
>
> 「A=Cのとき、」は、正確には「A=Cとすると」です。
「～のとき」と「～とすると」は同義ですからそれはどうでもよろしい。
そう仮定したなら、以下ずっと「A=Cとすると」を書き加えねばなりません。
157:日高
19/12/22 22:59:06.19 JmVFhdX8.net
>149
z^(p-1)×z=z^pとなるので、同じとなります。
158:日高
19/12/22 23:04:52.37 JmVFhdX8.net
>150
>> (1)の左辺の右側と、(1)の左辺の右側は等しい
>は間違いです。
正確には、(左辺の右側)=(左辺の右側)とすると、です。
159:１３２人目の素数さん
19/12/22 23:05:05.10 HjBnJeEI.net
普通の人は、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となって矛盾。
160:日高
19/12/22 23:07:50.87 JmVFhdX8.net
>151
>同じなら、付加した形で書いてごらんよ。何か問題ある？
問題は、ありませんが、今のところ書く予定はありません。
161:日高
19/12/22 23:10:02.99 JmVFhdX8.net
>153
>「～のとき」と「～とすると」は同義ですからそれはどうでもよろしい。
そう仮定したなら、以下ずっと「A=Cとすると」を書き加えねばなりません。
そうですね。
162:１３２人目の素数さん
19/12/22 23:13:08.86 HjBnJeEI.net
163:="../test/read.cgi/math/1576824679/157" rel="noopener noreferrer" target="_blank" class="reply_link">>>157 日高 > >151 > >同じなら、付加した形で書いてごらんよ。何か問題ある？ > > 問題は、ありませんが、今のところ書く予定はありません。 じゃあ次にフェルマーの最終定理の簡単な証明を書くときには付加しますね？
164:日高
19/12/22 23:13:11.29 JmVFhdX8.net
>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を考えます。
165:１３２人目の素数さん
19/12/22 23:13:47.81 A2tvuhO3.net
>>148
> >146
> >じゃあそれを付加して、君の証明とやらを書いてごらん。
>
> 付加するだけなので、同じです。
意味が違うので同じではありません。
書き直さないかぎり、数学的に間違っているので無意味です。
166:１３２人目の素数さん
19/12/22 23:15:03.97 HjBnJeEI.net
>>158 日高
> >153
> >「～のとき」と「～とすると」は同義ですからそれはどうでもよろしい。
> そう仮定したなら、以下ずっと「A=Cとすると」を書き加えねばなりません。
>
> そうですね。
ひとごとのような書きぶりだけど，そう認めた以上，今後は君はそれを書き足さねばならない。
わかってる？
167:１３２人目の素数さん
19/12/22 23:19:09.92 EfTr4oQ/.net
>>155
それなら、
>>1の場合、「pが奇素数のとき、必ず(左辺の右側)=(左辺の右側)となる」
>>2の場合、「pが2の場合、必ず(左辺の右側)=(左辺の右側)となる」
を証明するか、
場合分けとして
「(左辺の右側)=(左辺の右側)でないとき」あるいは「(左辺の右側)≠(左辺の右側)とすると
を証明するか
どちらかをしないと証明できたことになりません。
168:１３２人目の素数さん
19/12/22 23:20:38.32 HjBnJeEI.net
>>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です。
169:１３２人目の素数さん
19/12/22 23:23:23.10 HjBnJeEI.net
ある式...…(1) から別の式...…(2) を導いたとき，
(1)を満たすx,y,などに対しそれらが(2)を満たすのが当然です。
そうでないなら(1)から(2)を導いたのが間違いです。
これ、わかりますか？
170:１３２人目の素数さん
19/12/22 23:49:56.20 zXV7IPoi.net
>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)}
171:１３２人目の素数さん
19/12/23 00:04:14.06 4FcTgt+Y.net
>>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)}
とも書けるがどの場合でも「左辺の右＝右辺の右」ですか
と聞いているんですよね。
172:１３２人目の素数さん
19/12/23 00:29:33.55 GNTdQjpR.net
>>167
x^2=x^2×1=x^2×1×1=x^2×1×1×1=x^2×1×1×1×1×1=…
×1（かけるいち）を入れていいことにすると、書き方が一意どころか無限になってしまうので、
×1を因数に含めてはいけない
r^2=x＾2-y^2
両辺を因数分解して
r×r=(x+y)×(x-y)
という指摘に対して
> r^2=r×rは、因数分解ではないと思います。
> 因数分解とは、和の形を積の形にすることだと思います。
x^2をx^2×1と書くことは、彼にとって唯一通りの因数分解らしいです。
173:１３２人目の素数さん
19/12/23 00:41:02.86 4FcTgt+Y.net
>>168
ああなるほど。わかってきました。
174:日高
19/12/23 06:42:40.29 ApwmpHz4.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
175:日高
19/12/23 06:45:43.74 ApwmpHz4.net
>161
>書き直さないかぎり、数学的に間違っているので無意味です。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
176:日高
19/12/23 06:48:37.87 ApwmpHz4.net
>162
>ひとごとのような書きぶりだけど，そう認めた以上，今後は君はそれを書き足さねばならない。
>わかってる？
書き直しました。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
177:日高
19/12/23 06:50:40.97 ApwmpHz4.net
>163
>場合分けとして
「(左辺の右側)=(左辺の右側)でないとき」あるいは「(左辺の右側)≠(左辺の右側)とすると
を証明するか
>どちらかをしないと証明できたことになりません。
書き直しました。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
178:日高
19/12/23 06:52:54.85 ApwmpHz4.net
>164
>頭の働きが普通でないようです。
x=2,y=3を代入したのですから、もうx,yをさがす必要はありません。
x=2,y=3です。
書き直しました。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
179:日高
19/12/23 06:55:44.03 ApwmpHz4.net
>165
>ある式...…(1) から別の式...…(2) を導いたとき，
(1)を満たすx,y,などに対しそれらが(2)を満たすのが当然です。
そうでないなら(1)から(2)を導いたのが間違いです。
>これ、わかりますか？
書き直しました。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
180:日高
19/12/23 06:57:56.53 ApwmpHz4.net
>166
>>z^(p-1)×z=z^pとなるので、同じとなります。
>貴方は↓これらの式が『全て同じ。』と申すのか？
書き直しました。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
181:日高
19/12/23 07:00:56.78 ApwmpHz4.net
>167
>たぶん意味が通じていません。
書き直しました。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
182:日高
19/12/23 07:04:28.90 ApwmpHz4.net
>168
>x^2をx^2×1と書くことは、彼にとって唯一通りの因数分解らしいです。
書き直しました。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
183:日高
19/12/23 07:06:12.02 ApwmpHz4.net
>169
>ああなるほど。わかってきました。
書き直しました。
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
184:１３２人目の素数さん
19/12/23 08:02:32.13 /hls35hQ.net
>>179
> >169
> >ああなるほど。わかってきました。
>
> 書き直しました。
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
> (1)の自然数解は、x=1、y=1のみである。
何故？
185:１３２人目の素数さん
19/12/23 08:04:40.26 /hls35hQ.net
{x^(p-1)-x^(p-2)y+…+y^(p-1)}≠1
の考察がない。やり直し
186:１３２人目の素数さん
19/12/23 08:24:25.90 J8D9GTGE.net
>176
質問に対する答えになっていないが。
私が問うているのは
>貴方は↓これらの式が『全て同じ。』と申すのか？
これに対する回答は、先ずは『はい。』か『いいえ。』ではないのか？
其の上で、『はい。』なら何故同じなのかを、
『いいえ。』なら同じでない場合の証明を書くべきではないのか？
187:１３２人目の素数さん
19/12/23 10:23:09.62 g9LnGtlX.net
【日高の定理】二等辺三角形は正三角形である。
【日高の証明】三辺の長さをa,b,cとする。a=bとする。
a=cのときa=b=cなので正三角形である。
∴二等辺三角形は正三角形である。
188:１３２人目の素数さん
19/12/23 10:41:39.97 vWngmKCV.net
>>183
ワロタ
日高そのまんまの理屈だなｗ
189:１３２人目の素数さん
19/12/23 10:42:34.39 vWngmKCV.net
日高新スタイル
仮定を仮定の中で変形する
190:日高
19/12/23 14:45:49.82 ApwmpHz4.net
>180
>{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
> (1)の自然数解は、x=1、y=1のみである。
何故？
x,yに大きな自然数を代入するほど、{x^(p-1)-x^(p-2)y+…+y^(p-1)}の値が、
大きくなります。
191:１３２人目の素数さん
19/12/23 15:18:23.84 vWngmKCV.net
正三角形 ⇒ 二等辺三角形 ：真
二等辺三角形 ⇒ 正三角形 ：偽
これより正三角形は二等辺三角形であることの十分条件でしかない
必要十分条件をやり直した方がよいと思う
192:１３２人目の素数さん
19/12/23 15:18:41.99 x9BwKyMs.net
>>186
> x,yに大きな自然数を代入するほど、{x^(p-1)-x^(p-2)y+…+y^(p-1)}の値が、
> 大きくなります。
何故？証明は？
193:日高
19/12/23 15:42:40.63 ApwmpHz4.net
>181
>{x^(p-1)-x^(p-2)y+…+y^(p-1)}≠1
の考察がない。やり直し
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1
を満たすx,yについて考えます。
194:日高
19/12/23 15:50:51.33 ApwmpHz4.net
>182
はい。
z^(p-1)×zと、z^pは同じだからです。
195:日高
19/12/23 15:53:31.18 ApwmpHz4.net
>183
>【日高の定理】二等辺三角形は正三角形である。
【日高の証明】三辺の長さをa,b,cとする。a=bとする。
a=cのときa=b=cなので正三角形である。
∴二等辺三角形は正三角形である。
【日高の定理】
【日高の証明】ではありません。
196:１３２人目の素数さん
19/12/23 15:56:04.76 J8D9GTGE.net
>190
>はい。
>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)}
いつの間に
1=z=z^2=...=z^p
になったのだ？
197:日高
19/12/23 16:01:03.15 ApwmpHz4.net
>188
>x,yに大きな自然数を代入するほど、{x^(p-1)-x^(p-2)y+…+y^(p-1)}の値が、
> 大きくなります。
何故？証明は？
証明は、ありません。実験てきにそうなります。
198:日高
19/12/23 16:06:34.90 ApwmpHz4.net
>192
>あなたは↓これらの式の左辺が『同じ』に見えるのか？
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)}
いつの間に
1=z=z^2=...=z^p
>になったのだ？
書き直した証明は、「左辺の右側と右辺の右側は等しいので、」は関係ありません。
199:日高
19/12/23 16:07:53.42 ApwmpHz4.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
200:１３２人目の素数さん
19/12/23 16:09:17.82 lNOBk12o.net
>>193
> >188
> >x,yに大きな自然数を代入するほど、{x^(p-1)-x^(p-2)y+…+y^(p-1)}の値が、
> > 大きくなります。
> 何故？証明は？
>
> 証明は、ありません。実験てきにそうなります。
じゃあ証明としては間違い。
201:１３２人目の素数さん
19/12/23 16:10:39.32 lNOBk12o.net
>>189
> >181
> >{x^(p-1)-x^(p-2)y+…+y^(p-1)}≠1
> の考察がない。やり直し
>
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1
> を満たすx,yについて考えます。
考察がなければ、証明としては間違い。終わり。
202:１３２人目の素数さん
19/12/23 16:12:09.23 lNOBk12o.net
>>195
> 【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
> (1)の自然数解は、x=1、y=1のみである。
> x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
> (2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
> ∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
だめだと指摘があったのだから、解決し無い限り間違いのゴミ
203:１３２人目の素数さん
19/12/23 16:14:52.15 J8D9GTGE.net
>194
>書き直した証明は、「左辺の右側と右辺の右側は等しいので、」は関係ありません。
また質問のに対する回答になっていないが。
>{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
これは貴方が
z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
の(左辺の右側)=(右辺の右側)という条件だろう？
その場合に解が無いのは合っているので問題無い。
私が問うているのは、
z^(p-1)×z=(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^2×z^(p-2)=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
z×z^(p-1)=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
の場合は別の方程式になるが、これら方程式が『同じ』と申すのか？
ということだ。
204:１３２人目の素数さん
19/12/23 16:33:45.40 J8D9GTGE.net
>194
連立方程式、調べたのか？
言われたお使いすら儘成らぬのか？
貴方が証明したのは、
z^p×1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
とした場合、
[1]連立方程式
(1) z^p=(x+y)
(2) 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
の場合、(2)を満たす自然数解は{x,y|x=y=1}だけである。
よってz^p=2であり、
故に、x^p+y^p=z^pとなる自然数解x,y,zは存在しない。
[2]連立方程式
(1) 1=(x+y)
(2) z^p={x^(p-1)-x^(p-2)y+…+y^(p-1)}
の場合、(1)を満たす自然数解{x,y}が存在しない。
故に、x^p+y^p=z^pとなる自然数解{x,y,z}は存在しない。
の２パターンだけである。
他の連立方程式、例えば
z^(p-1)×z=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
とした場合の、
(1) z^(p-1)=(x+y)
(2) z={x^(p-1)-x^(p-2)y+…+y^(p-1)}
の場合は何故考慮せぬのだ？
205:１３２人目の素数さん
19/12/23 16:36:51.35 IzDk6yO7.net
>>195
結論が違う。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1 のとき、
x^p+y^p=z^pは、自然数解を持たない。
を証明してるだけ。
それ以外のときも証明して下さい。
206:１３２人目の素数さん
19/12/23 16:52:30.62 g9LnGtlX.net
>>193
問題の式が(x^p+y^p)/(x+y)に等しいことから証明できないかな。
207:日高
19/12/23 17:33:53.96 ApwmpHz4.net
>202
>問題の式が(x^p+y^p)/(x+y)に等しいことから証明できないかな。
ヒント。ありがとうございました。解決しました。
208:日高
19/12/23 17:54:31.16 ApwmpHz4.net
A=BCならば、C=1、B=Aとなる。
209:日高
19/12/23 18:06:44.62 ApwmpHz4.net
>196
>>x,yに大きな自然数を代入するほど、{x^(p-1)-x^(p-2)y+…+y^(p-1)ｎ}の値が、
> > 大きくなります。
> 何故？証明は？
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)
解は、x=y=1となります。これを超えると(x^p+y^p)/(x+y)の値が大きくなります。
210:日高
19/12/23 18:11:49.67 ApwmpHz4.net
>197
> >{x^(p-1)-x^(p-2)y+…+y^(p-1)}≠1
> の考察がない。やり直し
A=BCならば、C=1、B=Aとなる。
B=(x+y)、C={x^(p-1)-x^(p-2)y+…+y^(p-1)}、A=z^2
211:１３２人目の素数さん
19/12/23 18:49:06.55 JhSiZ4b4.net
>>204
A=BC ⇒ C=1 ∧ A=B
または
A=BC ⇒ B=1 ∧ A=C
これなんか意味あんの
結論はA=B=Cか？ｗ
212:１３２人目の素数さん
19/12/23 20:09:55.47 mnLF//R7.net
藤林丈司
213:日高
19/12/23 20:29:05.21 ApwmpHz4.net
>207
>結論はA=B=Cか？ｗ
よく意味がわかりません。
214:日高
19/12/23 20:30:41.46 ApwmpHz4.net
>208
>藤林丈司
よく意味がわかりません。
215:日高
19/12/23 20:40:47.88 ApwmpHz4.net
>201
>{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1 のとき、
x^p+y^p=z^pは、自然数解を持たない。
を証明してるだけ。
それ以外のときも証明して下さい。
A=BCならば、C=1、B=Aとなる。
B=(x+y)、C={x^(p-1)-x^(p-2)y+…+y^(p-1)}、A=z^2
216:日高
19/12/23 20:52:05.41 ApwmpHz4.net
>200
>他の連立方程式、例えば
z^(p-1)×z=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
とした場合の、
(1) z^(p-1)=(x+y)
(2) z={x^(p-1)-x^(p-2)y+…+y^(p-1)}
>の場合は何故考慮せぬのだ？
z^(p-1)×z=z^pとなるからです。
217:日高
19/12/23 20:57:25.53 ApwmpHz4.net
>199
>z^2×z^(p-2)=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
z×z^(p-1)=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
の場合は別の方程式になるが、これら方程式が『同じ』と申すのか？
>ということだ。
同じとなります。
218:日高
19/12/23 21:15:45.85 ApwmpHz4.net
【定理】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)となる。(z-y)=1…(2)とおく。
(2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。
(3)のxに任意の自然数を代入すると、yは、自然数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
219:日高
19/12/23 21:18:53.06 ApwmpHz4.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
220:日高
19/12/23 21:27:49.63 ApwmpHz4.net
A=BCならば、C=1、B=Aとなる。
C={x^(p-1)-x^(p-2)y+…+y^(p-1)}、B=(x+y)、A=z^p
221:１３２人目の素数さん
19/12/23 21:34:42.23 V6QF2hSU.net
>>216 日高
> A=BCならば、C=1、B=Aとなる。
222: A=25,B=C=5のとき成り立たないでしょ？ という説明は通用しないんだよね。
223:１３２人目の素数さん
19/12/23 21:52:57.31 J8D9GTGE.net
>212,213
だから連立方程式を調べてこい、と申している。
>z^(p-1)×z=z^pとなるからです。
だから何だ？
2組の連立方程式
(1-1) z^p=(x+y)
(1-2) 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
と
(2-1) z^(p-1)=(x+y)
(2-2) z={x^(p-1)-x^(p-2)y+…+y^(p-1)}
とは別物だぞ？
貴方はこれが同じ方程式に見えるのか？
そんなものが成立するのは
1=z=z^2=...=z^p
の場合だけで、整数解{x,y,z}が存在しないことは明らかであろう。
>同じとなります。
p=3,z=2とした場合、次の４つの方程式の解はそれぞれ何になる？
(1) 2x+5y=1と置いた時の、x+3y=z^p
(2) 2x+5y=zと置いた時の、x+3y=z^(p-1)
(3) 2x+5y=z^2と置いた時の、x+3y=z^(p-2)
(4) 2x+5y=z^3と置いた時の、x+3y=z^(p-3)
貴方の主張では、これらの方程式は『全て同じ』なので、同じ解になる筈だ。
224:１３２人目の素数さん
19/12/23 22:11:23.47 Akky99Qg.net
>>211
> A=BCならば、C=1、B=Aとなる。
別途証明が必要です。
いかなる場合も上記が成立することを証明して下さい。
225:１３２人目の素数さん
19/12/23 22:59:05.71 JhSiZ4b4.net
数学っていうのは全称命題か存在命題かをきちんと明示する必要がある
つまり元の成立範囲がわからなければ証明に意味がない
とくに圏論などが扱う対象については一階述語論理が通用しない場合もあるので
気を付けなければならない
圏論やホモロジー代数を使う可換環論や代数幾何学を学ぶ者は
とくに論理記号の成立範囲に注意をする必要がある
226:１３２人目の素数さん
19/12/23 22:59:55.08 V6QF2hSU.net
>>216 日高
> A=BCならば、C=1、B=Aとなる。
これは「A=BCならば、C=1、B=Aである」とは違うのですか？
227:１３２人目の素数さん
19/12/23 23:11:39.79 61Ic8zbh.net
6=2*3なので、3=1、2=6らしい
228:１３２人目の素数さん
19/12/23 23:25:10.16 URZ91DrQ.net
日高氏に聞いてみよう。
二つの多項式f(x,y)とg(x,y)とが等しいことの定義は何ですか？
229:１３２人目の素数さん
19/12/24 00:02:15.10 8vqh4FYI.net
>>205
> >196
> >>x,yに大きな自然数を代入するほど、{x^(p-1)-x^(p-2)y+…+y^(p-1)ｎ}の値が、
> > > 大きくなります。
> > 何故？証明は？
>
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)
> 解は、x=y=1となります。
いいえ。他に解が無いことが示されてません。
230:１３２人目の素数さん
19/12/24 00:04:11.36 8vqh4FYI.net
>>206
> >197
> > >{x^(p-1)-x^(p-2)y+…+y^(p-1)}≠1
> > の考察がない。やり直し
>
> A=BCならば、C=1、B=Aとなる。
意味不明。やり直し。数学の言葉で述べよ。
231:日高
19/12/24 05:42:34.90 wiVzZJzo.net
>217
>A=BCならば、C=1、B=Aとなる。
>A=25,B=C=5のとき成り立たないでしょ？
という説明は通用しないんだよね。
25=5*5
25=5*5*5*(1/5)
となります。
232:日高
19/12/24 05:57:46.07 wiVzZJzo.net
>218
>だから連立方程式を調べてこい、と申している。
>(2-1) z^(p-1)=(x+y)
>(2-2) z={x^(p-1)-x^(p-2)y+…+y^(p-1)}
(2-1),(2-2)が間違いです。
233:１３２人目の素数さん
19/12/24 06:19:52.89 r/nrjDdN.net
URLﾘﾝｸ(youtu.be)
234:日高
19/12/24 06:22:37.82 wiVzZJzo.net
>227
>(2-1),(2-2)が間違いです。
「意味がない」という意味です。
235:日高
19/12/24 06:32:00 wiVzZJzo.net
>219
>A=BCならば、C=1、B=Aとなる。
別途証明が必要です。
>いかなる場合も上記が成立することを証明して下さい。
例
6=2*3
6=3*2*3*(1/3)
6=3*2*1
6=6
236:１３２人目の素数さん
19/12/24 06:41:28.31 upTKB2mp.net
>>230
> >219
> >A=BCならば、C=1、B=Aとなる。
> 別途証明が必要です。
> >いかなる場合も上記が成立することを証明して下さい。
>
> 例
> 6=2*3
> 6=3*2*3*(1/3)
> 6=3*2*1
> 6=6
例はいくらあっても証明としては無意味。やり直し。
237:日高
19/12/24 06:43:48.86 wiVzZJzo.net
>220
>数学っていうのは全称命題か存在命題かをきちんと明示する必要がある
私の勉強が及びません。
238:日高
19/12/24 06:47:23.44 wiVzZJzo.net
>221
> A=BCならば、C=1、B=Aとなる。
>これは「A=BCならば、C=1、B=Aである」とは違うのですか？
A=BCならば、C=1とした場合は、B=Aとなる。という意味です。
239:１３２人目の素数さん
19/12/24 06:47:28.20 upTKB2mp.net
>>232
> >220
> >数学っていうのは全称命題か存在命題かをきちんと明示する必要がある
>
> 私の勉強が及びません。
なら、証明書く資格なし。絶対に正しい証明書けないから。
240:１３２人目の素数さん
19/12/24 06:48:15.70 upTKB2mp.net
>>233
> >221
> > A=BCならば、C=1、B=Aとなる。
> >これは「A=BCならば、C=1、B=Aである」とは違うのですか？
>
> A=BCならば、C=1とした場合は、B=Aとなる。という意味です。
言い訳は無意味。意味が通じてない時点で、数学としては間違い。
241:日高
19/12/24 06:57:06.07 wiVzZJzo.net
>222
>6=2*3なので、3=1、2=6らしい
6=2*3なので、3*(1/3)=1、3*2=6となります。
242:日高
19/12/24 07:02:05.28 wiVzZJzo.net
>223
>二つの多項式f(x,y)とg(x,y)とが等しいことの定義は何ですか？
分からないので、教えていただけないでしょうか。
243:日高
19/12/24 07:07:56.48 wiVzZJzo.net
>224
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)
> 解は、x=y=1となります。
いいえ。他に解が無いことが示されてません。
(x^p+y^p)/(x+y)に、x=y=1以外の数を代入すると、
x=y=1を代入した場合よりも、値が大きくなるからです。
244:日高
19/12/24 07:15:58.51 wiVzZJzo.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
245:日高
19/12/24 07:17:36.07 wiVzZJzo.net
【定理】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)となる。(z-y)=1…(2)とおく。
(2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。
(3)のxに任意の自然数を代入すると、yは、自然数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
246:日高
19/12/24 07:20:51.13 wiVzZJzo.net
A=BCならば、C=1のとき、B=Aとなる。
C={x^(p-1)-x^(p-2)y+…+y^(p-1)}、B=(x+y)、A=z^p
例
6=2*3
6=3*2*3*(1/3)
247:１３２人目の素数さん
19/12/24 07:30:59.78 uYcqp1CL.net
>>241
「A=BCならば」といった時点で、A,B,Cはもう何かの値を持つ数です。
後から×1をして、その×1を×Ｃということにすることはできません。
248:１３２人目の素数さん
19/12/24 07:37:10.26 uYcqp1CL.net
A=BCの例として6=2*3といった時点で、A=6,B=2,C=3と決定されます。
問題を解いている途中で6=2*3×1としても、A=2*3、C=1と変更してはいけません。
249:日高
19/12/24 07:37:15.84 wiVzZJzo.net
>242
>「A=BCならば」といった時点で、A,B,Cはもう何かの値を持つ数です。
後から×1をして、その×1を×Ｃということにすることはできません。
詳しく説明していただけないでしょうか。
250:日高
19/12/24 07:39:55.14 wiVzZJzo.net
>243
>A=BCの例として6=2*3といった時点で、A=6,B=2,C=3と決定されます。
>問題を解いている途中で6=2*3×1としても、A=2*3、C=1と変更してはいけません。
理由を教えていただけないでしょうか。
251:１３２人目の素数さん
19/12/24 07:57:47.55 2wc4yS4K.net
>>227,229
間違い？意味が無い？
では、218の４つの方程式を解いてみよ。
貴方が正しければ全て同じ式であり、同じ解だよな？
252:１３２人目の素数さん
19/12/24 07:57:50.87 uYcqp1CL.net
>>245
「A=BCならば」というのは今から話をする上で全員が認めること、「前提条件」です。
みんなで守らなければいけない決まり事です。
話の中で、「a=1とおくと」のように新たに文字を決めて使うのとは全く違います。
みんなで守らなければいけない決まり事を守れないならば、みんなの掲示板に書き込まないでください。
253:１３２人目の素数さん
19/12/24 08:15:32.47 2wc4yS4K.net
>>246
この程度、『判りません』などと申すなよ？
254:１３２人目の素数さん
19/12/24 08:40:28.89 BWz/rqva.net
>>233
「となる」と「である」との違いをお尋ねしています。
答えてください。
255:１３２人目の素数さん
19/12/24 08:43:46.32 BWz/rqva.net
>>237
二つと多項式が等しいことの定義を知らないで、
「A=Bとなります」って主張してるの？
おかしくない？
256:１３２人目の素数さん
19/12/24 09:11:42.43 BWz/rqva.net
日高氏へ：
一次方程式ax=bは解けますか？
257:日高
19/12/24 09:26:47.44 wiVzZJzo.net
>248
>p=3,z=2とした場合、次の４つの方程式の解はそれぞれ何になる？
(1) 2x+5y=1と置いた時の、x+3y=z^p
(2) 2x+5y=zと置いた時の、x+3y=z^(p-1)
(3) 2x+5y=z^2と置いた時の、x+3y=z^(p-2)
(4) 2x+5y=z^3と置いた時の、x+3y=z^(p-3)
(1)(2)(3)(4)ともx,yは自然数となりません。
258:１３２人目の素数さん
19/12/24 10:18:10.90 vIniIgSY.net
素因数分解の素って素数だよな
つまり1は含まれないから
6=2×3×1なんて書けないと思うよ
259:１３２人目の素数さん
19/12/24 10:19:49.38 2wc4yS4K.net
>>252
誰も『自然数解で』などと制限していないであろう。
『解が同じになるか？』と問うているのだが。
して、解けたのか？
260:日高
19/12/24 10:46:05.18 wiVzZJzo.net
>249
>「となる」と「である」との違いをお尋ねしています。
答えてください。
よくわかりません。
261:日高
19/12/24 10:48:13.44 wiVzZJzo.net
>250
>二つと多項式が等しいことの定義を知らないで、
「A=Bとなります」って主張してるの？
おかしくない？
よくわかりません。
262:日高
19/12/24 10:52:28.81 wiVzZJzo.net
>251
>日高氏へ：
一次方程式ax=bは解けますか？
わかりません。
263:日高
19/12/24 10:55:09.56 wiVzZJzo.net
>253
>素因数分解の素って素数だよな
つまり1は含まれないから
6=2×3×1なんて書けないと思うよ
よく意味がわかりません。
264:日高
19/12/24 11:25:43.92 wiVzZJzo.net
>254
>誰も『自然数解で』などと制限していないであろう。
『解が同じになるか？』と問うているのだが。
して、解けたのか？
(1)x=-37、y=15
(2)x=-14、y=16
(3)x=2、y=0
(4)x=19、y=-6
となります。
265:日高
19/12/24 11:28:12.22 wiVzZJzo.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇数なのでx^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形できる。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1…(1)とおく。
(1)の自然数解は、x=1、y=1のみである。
x^p+y^p=z^pなので、z^p=(x+y)…(2)となる。
(2)に、x=1、y=1を代入すると、z^p=2となる。zは自然数とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
266:日高
19/12/24 11:29:16.16 wiVzZJzo.net
【定理】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)となる。(z-y)=1…(2)とおく。
(2)をx^2=(z+y)に代入すると、x^2=2y+1…(3)となる。
(3)のxに任意の自然数を代入すると、yは、自然数となる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
267:日高
19/12/24 11:30:36.97 wiVzZJzo.net
A=BCならば、C=1のとき、B=Aとなる。
C={x^(p-1)-x^(p-2)y+…+y^(p-1)}、B=(x+y)、A=z^p
例
6=2*3
6=3*2*3*(1/3)
268:１３２人目の素数さん
19/12/24 11:47:56.28 2wc4yS4K.net
>>259
上出来だ。
だが、(2)はy=6だ。
して、解は同じか？
方程式は『同じ』と言えるのか？
269:日高
19/12/24 12:00:06 wiVzZJzo.net
>263
>上出来だ。
>だが、(2)はy=6だ。
どういうことでしょうか。
>して、解は同じか？
どの解とくらべて、でしょうか。
>方程式は『同じ』と言えるのか？
どの方程式と比べてでしょうか。
270:１３２人目の素数さん
19/12/24 12:00:21 2wc4yS4K.net
>>263
４つの方程式はp=3の場合の
z^p=(2x+5y)(x+3y)
から作られたものだ。
即ち、
(1) 1×z^3=(2x+5y)(x+3y)
(2) z×z^2=(2x+5y)(x+3y)
(3) z^2×z=(2x+5y)(x+3y)
(4) z^3×1=(2x+5y)(x+3y)
の4パターンだ。
271:１３２人目の素数さん
19/12/24 12:09:48.75 BWz/rqva.net
>>257
一次方程式ax=bの日高氏式解法：
b*1=a*xなので1=x,b=a。
272:１３２人目の素数さん
19/12/24 12:10:24.29 2wc4yS4K.net
>>264
>どういうことでしょうか。
ほぼ正解だが、(2)のyだけ間違えている、と申しているのだ。
>どの解とくらべて、でしょうか。
>どの方程式と比べてでしょうか。
4つの方程式それぞれ、だ。
本気で聞いているのか？
貴方の主張に乗っ取れば、これらの方程式は『同じで区別する意味が無い』のであろう？
同じ方程式なら同じ解に成るべきだが？
273:１３２人目の素数さん
19/12/24 12:18:38 BWz/rqva.net
>>233 日高
> >221
> A=BCならば、C=1、B=Aとなる。
> >これは「A=BCならば、C=1、B=Aである」とは違うのですか？
>
> A=BCならば、C=1とした場合は、B=Aとなる。という意味です。
「C=1、」が「C=1とした場合は、」の意味になるんですね。
あなたの日本語は難解すぎてついてゆけません。
274:日高
19/12/24 12:33:59.31 wiVzZJzo.net
>263
>４つの方程式はp=3の場合の
z^p=(2x+5y)(x+3y)
から作られたものだ。
即ち、
(1) 1×z^3=(2x+5y)(x+3y)
(2) z×z^2=(2x+5y)(x+3y)
(3) z^2×z=(2x+5y)(x+3y)
(4) z^3×1=(2x+5y)(x+3y)
>の4パターンだ。
(1)(2)(3)(4)とも、それぞれx,yの値は、異なりますが、
左辺は全て同じz^3となります。
275:１３２人目の素数さん
19/12/24 12:36:23.96 BWz/rqva.net
>>239 を読んで再投稿：
【日高氏式定理】二等辺三角形は正三角形である。
【日高氏式証明】三辺の長さをa,b,cとし、a=bとする。a=cとおく。a=b=cとなるので正三角形となる。
∴二等辺三角形は正三角形である。
276:１３２人目の素数さん
19/12/24 12:50:01 2wc4yS4K.net
>>269
>(1)(2)(3)(4)とも、それぞれx,yの値は、異なりますが、
左辺は全て同じz^3となります。
して、４式は『同じである』のか？
277:１３２人目の素数さん
19/12/24 12:55:35.52 2wc4yS4K.net
>>271
ちゃんと質問に対する回答をするのだぞ。
先ずは『はい。同じです。』か『いいえ。違います。』からだ。
弁解はその後だ。
278:日高ま
19/12/24 12:59:36.31 wiVzZJzo.net
>271
>>(1)(2)(3)(4)とも、それぞれx,yの値は、異なりますが、
左辺は全て同じz^3となります。
>して、４式は『同じである』のか？
形は同じですが、x,yの値は異なります。
279:日高
19/12/24 13:05:46.63 wiVzZJzo.net
>266
>一次方程式ax=bの日高氏式解法：
b*1=a*xなので1=x,b=a。
b=axならば、x=1のとき、a=bとなるので、
b*1=a*xなので1=x,b=a。となります。
280:日高
19/12/24 13:09:40.46 wiVzZJzo.net
>272
>ちゃんと質問に対する回答をするのだぞ。
先ずは『はい。同じです。』か『いいえ。違います。』からだ。
弁解はその後だ。
『はい。同じです。』
281:日高
19/12/24 13:15:08.24 wiVzZJzo.net
>270
>【日高氏式定理】二等辺三角形は正三角形である。
【日高氏式証明】三辺の長さをa,b,cとし、a=bとする。a=cとおく。a=b=cとなるので正三角形となる。
∴二等辺三角形は正三角形である。
よく意味がわかりません。フェルマーの最終定理の簡単な証明はこれとは、異なります。
282:１３２人目の素数さん
19/12/24 13:20:51.63 1JxoQQV4.net
>>230
>219
>A=BCならば、C=1、B=Aとなる。
別途証明が必要です。
>いかなる場合も上記が成立することを証明して下さい。
例
6=2*3
6=3*2*3*(1/3)
6=3*2*1
6=6
これは、C=1 ならば A=BC の時に A=B を示しているのであって、
必要な証明は A=BC ならば、C=1、B=A です。
改めて、証明をお願いします。
283:日高
19/12/24 13:31:59.55 wiVzZJzo.net
>277
>これは、C=1 ならば A=BC の時に A=B を示しているのであって、
必要な証明は A=BC ならば、C=1、B=A です。
>改めて、証明をお願いします。
「必要な証明は A=BC ならば、C=1、B=A です。」
すみません。意味がよく分からないのですが、
A=BC ならば、C=1としたとき、B=A となる。です。