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 となる。です。
284:１３２人目の素数さん
19/12/24 13:32:07.09 2wc4yS4K.net
>>275
>『はい。同じです。』
では、弁解を聞こうか。
『同じ方程式』なのに『異なる解』とは、此れ如何に？
285:１３２人目の素数さん
19/12/24 13:45:29.91 BWz/rqva.net
「C=1、B=A」を「C=1としたとき、B=A」の意味で使っているんだ。「かつ」と「ならば」の混同だね。
286:日高
19/12/24 14:05:21.67 wiVzZJzo.net
>279
(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)
上記全て、
8=(2x+5y)(x+3y)なので、同じです。
1*8=(2x+5y)(x+3y)
2*4=(2x+5y)(x+3y)
4*2=(2x+5y)(x+3y)
8*1=(2x+5y)(x+3y)とすると、
x,yの値は、ことなりますが、すべて８となります。
ピタゴラス数(x,y,z)=(15,8,17)と
ピタゴラス数(x,y,z)=(15,112,113)の関係と同じです。
287:日高
19/12/24 14:10:50.68 wiVzZJzo.net
>280
>「C=1、B=A」を「C=1としたとき、B=A」の意味で使っているんだ。「かつ」と「ならば」の混同だね。
よくわかりません。
288:１３２人目の素数さん
19/12/24 14:22:30.55 HqxIkLiI.net
わかりませんbot
289:１３２人目の素数さん
19/12/24 14:57:11.22 1JxoQQV4.net
>>278
> 「必要な証明は A=BC ならば、C=1、B=A です。」
> すみません。意味がよく分からないのですが、
> A=BC ならば、C=1としたとき、B=A となる。です。
であれば、>>211 での書き込みと矛盾しております。
>>211 では
>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
とおっしゃってます。
与式=1 以外のときも証明を、という問いに対し、
A=BC ならば、 C=1 とすれば B=A という回答は無意味です。
290:１３２人目の素数さん
19/12/24 15:20:09.93 2wc4yS4K.net
>>281
>x,yの値は、ことなりますが、すべて８となります。
z^p=(2x+5y)(x+3y)になるのは当たり前であろうが。
４つの方程式はそれを場合分けしたものなのだぞ。
その場合場合は別物であろうが。
先にも述べたが、貴方の証明はパターンが足りない。
(左辺)が1でないパターンが考慮されていない。
>ピタゴラス数(x,y,z)=(15,8,17)と
>ピタゴラス数(x,y,z)=(15,112,113)の関係と同じです。
其れは両者共にx^2+y^2=z^2の解であろうが。
パターン分けされた(1)の解が、他の(2)～(4)の解になるのか？
元の
z^p=(2x+5y)(x+3y)
は（少なくとも）４パターンから導かれた４組の解を
解として持つ。
其れを導くためには場合分けが必要だ。
其の証拠に、パターン同士で解が異なるであろう。
貴方の証明は(2)(3)に相当する考察が無い。
291:１３２人目の素数さん
19/12/24 16:13:41.13 Sv73zD9J.net
>>238
> >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を代入した場合よりも、値が大きくなるからです。
理由になってない。そもそも、他に解がある。
292:１３２人目の素数さん
19/12/24 16:27:37.71 VJmFFI+p.net
>>273
異なる値をとるなら異なる文字を使わなければならない
293:日高
19/12/24 16:56:32.02 wiVzZJzo.net
>284
>A=BCならば、C=1、B=Aとなる。
B=(x+y)、C={x^(p-1)-x^(p-2)y+…+y^(p-1)}、A=z^2
とおっしゃってます。
与式=1 以外のときも証明を、という問いに対し、
>A=BC ならば、 C=1 とすれば B=A という回答は無意味です。
フェルマーの最終定理の簡単な証明を簡単に説明すると、
z^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を解けば良いことになります。
zを自然数としても、x,yは、求まりません。
そこで、
z^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}として、zを自然数とすると、
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}、z^p=z^pの２元連立方程式を解けばよいことになります。
例えば、z=2、p=3の場合、2^3=8ですので、4*2、8*1どちらの２元連立方程式を解いても、同じとなります。(x,yの値は、それぞれ異なりますが、)
294:１３２人目の素数さん
19/12/24 17:13:58.85 Sv73zD9J.net
>>288
> >284
> >A=BCならば、C=1、B=Aとなる。
> B=(x+y)、C={x^(p-1)-x^(p-2)y+…+y^(p-1)}、A=z^2
>
> とおっしゃってます。
> 与式=1 以外のときも証明を、という問いに対し、
> >A=BC ならば、 C=1 とすれば B=A という回答は無意味です。
>
> フェルマーの最終定理の簡単な証明を簡単に説明すると、
> z^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を解けば良いことになります。
> zを自然数としても、x,yは、求まりません。
> そこで、
> z^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}として、zを自然数とすると、
> 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}、z^p=z^pの２元連立方程式を解けばよいことになります。
> 例えば、z=2、p=3の場合、2^3=8ですので、4*2、8*1どちらの２元連立方程式を解いても、同じとなります。(x,yの値は、それぞれ異なりますが、)
指摘は放置か。ゴミ老人。
295:日高
19/12/24 17:15:33.37 wiVzZJzo.net
>285
>元の
z^p=(2x+5y)(x+3y)
は（少なくとも）４パターンから導かれた４組の解を
解として持つ。
其れを導くためには場合分けが必要だ。
>其の証拠に、パターン同士で解が異なるであろう。
z^p=(2x+5y)(x+3y)は、z=2、p=3としても、x,yを特定することは、出来ません。
しかし、
4*2=(2x+5y)(x+3y)、8*1=(2x+5y)(x+3y)とすると、二元連立方程式なので、x,yを特定することが出来ます。
x,yは、異なりますが、4*2と8*1は、同じ整数です。
296:１３２人目の素数さん
19/12/24 17:29:29.03 2wc4yS4K.net
>>290
>4*2=(2x+5y)(x+3y)、8*1=(2x+5y)(x+3y)とすると、二元連立方程式なので、x,yを特定することが出来ます。
>x,yは、異なりますが、4*2と8*1は、同じ整数です。
詰まり、『1×z^pだけでなく、z×z^(p-1)等のパターンも考慮せねば、全ての解は導けない』ということだろう？
貴方も申している通り、4×2と8×1で解が異なる。
無論、2×4と1×8も必要だ。
297:１３２人目の素数さん
19/12/24 17:32:24.25 2wc4yS4K.net
>>291
先にも申したが、貴方の証明は1×8と8×1のパターンしか無い。
298:１３２人目の素数さん
19/12/24 20:00:39.51 1JxoQQV4.net
>>288
z^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}として、zを自然数とすると、
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}、z^p=z^pの２元連立方程式を解けばよいことになります。
別途証明が必要です。
連立方程式を解けばよいことになることを証明して下さい。
299:１３２人目の素数さん
19/12/24 20:02:52.89 1JxoQQV4.net
>>293
ちょいと言葉が足りなかったかな。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
とおいて連立方程式を解けばよいことを証明して下さい。
300:１３２人目の素数さん
19/12/24 20:25:37.00 okVlNB5t.net
>>282 日高
> >280
> >「C=1、B=A」を「C=1としたとき、B=A」の意味で使っているんだ。「かつ」と「ならば」の混同だね。
>
> よくわかりません。
日高氏の「、」は「としたとき、」の意味になるときがあるので要注意。
301:１３２人目の素数さん
19/12/24 20:41:51.12 okVlNB5t.net
>>290 日高
> 4*2=(2x+5y)(x+3y)、8*1=(2x+5y)(x+3y)とすると、二元連立方程式なので、x,yを特定することが出来ます。
同じ式が二つ書いてあるようにしか見えないが。
302:日高
19/12/24 20:45:58.97 wiVzZJzo.net
>285
>>x,yの値は、ことなりますが、すべて８となります。
z^p=(2x+5y)(x+3y)になるのは当たり前であろうが。
４つの方程式はそれを場合分けしたものなのだぞ。
その場合場合は別物であろうが。
先にも述べたが、貴方の証明はパターンが足りない。
(左辺)が1でないパターンが考慮されていない。
パターン分けされた(1)の解が、他の(2)～(4)の解になるのか？
元の
z^p=(2x+5y)(x+3y)
は（少なくとも）４パターンから導かれた４組の解を
解として持つ。
其れを導くためには場合分けが必要だ。
其の証拠に、パターン同士で解が異なるであろう。
貴方の証明は(2)(3)に相当する考察が無い。
(0)8=(2x+5y)(x+3y)
(1)1*8=(2x+5y)(x+3y)、x=-37、y=15(二元連立方程式の解)
(2)2*4=(2x+5y)(x+3y)、x=-14、y=6(二元連立方程式の解)
(3)4*2=(2x+5y)(x+3y)、x=2、y=0(二元連立方程式の解)
(4)8*1=(2x+5y)(x+3y)、x=19、y=-6(二元連立方程式の解)
(0)の解は、(1)の解でも、(2)の解でも、(3)の解でも、(4)の解でもよいです。
303:１３２人目の素数さん
19/12/24 20:48:49.16 okVlNB5t.net
>>297 日高
> (0)8=(2x+5y)(x+3y)
> (1)1*8=(2x+5y)(x+3y)、x=-37、y=15(二元連立方程式の解)
> (2)2*4=(2x+5y)(x+3y)、x=-14、y=6(二元連立方程式の解)
> (3)4*2=(2x+5y)(x+3y)、x=2、y=0(二元連立方程式の解)
> (4)8*1=(2x+5y)(x+3y)、x=19、y=-6(二元連立方程式の解)
もしかして、A*B=(C)(D) と書いたら「A=C かつ B=D」の意味だと思っている？
304:日高
19/12/24 21:00:00.99 wiVzZJzo.net
>286
> {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を代入した場合よりも、値が大きくなるからです。
理由になってない。そもそも、他に解がある。
間違いならば、その理由を示して下さい。
305:日高
19/12/24 21:05:28.70 wiVzZJzo.net
>289
>指摘は放置か。ゴミ老人。
どんな指摘でしょうか？
306:日高
19/12/24 21:09:19.49 wiVzZJzo.net
>291
>4*2=(2x+5y)(x+3y)、8*1=(2x+5y)(x+3y)とすると、二元連立方程式なので、x,yを特定することが出来ます。
>x,yは、異なりますが、4*2と8*1は、同じ整数です。
詰まり、『1×z^pだけでなく、z×z^(p-1)等のパターンも考慮せねば、全ての解は導けない』ということだろう？
貴方も申している通り、4×2と8×1で解が異なる。
>無論、2×4と1×8も必要だ。
(0)8=(2x+5y)(x+3y)
(1)1*8=(2x+5y)(x+3y)、x=-37、y=15(二元連立方程式の解)
(2)2*4=(2x+5y)(x+3y)、x=-14、y=6(二元連立方程式の解)
(3)4*2=(2x+5y)(x+3y)、x=2、y=0(二元連立方程式の解)
(4)8*1=(2x+5y)(x+3y)、x=19、y=-6(二元連立方程式の解)
(0)の解は、(1)の解でも、(2)の解でも、(3)の解でも、(4)の解でもよいです。
307:日高
19/12/24 21:12:22.97 wiVzZJzo.net
>292
>先にも申したが、貴方の証明は1×8と8×1のパターンしか無い。
(0)8=(2x+5y)(x+3y)
(1)1*8=(2x+5y)(x+3y)、x=-37、y=15(二元連立方程式の解)
(2)2*4=(2x+5y)(x+3y)、x=-14、y=6(二元連立方程式の解)
(3)4*2=(2x+5y)(x+3y)、x=2、y=0(二元連立方程式の解)
(4)8*1=(2x+5y)(x+3y)、x=19、y=-6(二元連立方程式の解)
(0)の解は、(1)の解でも、(2)の解でも、(3)の解でも、(4)の解でもよいです。
308:日高
19/12/24 21:16:02.65 wiVzZJzo.net
>293
>z^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}として、zを自然数とすると、
>1={x^(p-1)-x^(p-2)y+…+y^(p-1)}、z^p=z^pの２元連立方程式を解けばよいことになります。
別途証明が必要です。
連立方程式を解けばよいことになることを証明して下さい。
(0)8=(2x+5y)(x+3y)
(1)1*8=(2x+5y)(x+3y)、x=-37、y=15(二元連立方程式の解)
(2)2*4=(2x+5y)(x+3y)、x=-14、y=6(二元連立方程式の解)
(3)4*2=(2x+5y)(x+3y)、x=2、y=0(二元連立方程式の解)
(4)8*1=(2x+5y)(x+3y)、x=19、y=-6(二元連立方程式の解)
(0)の解は、(1)の解でも、(2)の解でも、(3)の解でも、(4)の解でもよいです。
309:１３２人目の素数さん
19/12/24 21:18:21.63 2wc4yS4K.net
>>297,301,302
>(0)8=(2x+5y)(x+3y)
>(1)1*8=(2x+5y)(x+3y)、x=-37、y=15(二元連立方程式の解)
>(2)2*4=(2x+5y)(x+3y)、x=-14、y=6(二元連立方程式の解)
>(3)4*2=(2x+5y)(x+3y)、x=2、y=0(二元連立方程式の解)
>(4)8*1=(2x+5y)(x+3y)、x=19、y=-6(二元連立方程式の解)
>(0)の解は、(1)の解でも、(2)の解でも、(3)の解でも、(4)の解でもよいです。
その通りだ。
単にその上に書い
310:てある私の説明を、私が提示した方程式で表現しただけだな。 で貴方の『フェルマーの最終定理の簡単な証明』に、(2)(3)に相当する箇所は在るのか？
311:日高
19/12/24 21:19:11.04 wiVzZJzo.net
>294
>ちょいと言葉が足りなかったかな。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
とおいて連立方程式を解けばよいことを証明して下さい。
例
(0)8=(2x+5y)(x+3y)
(1)1*8=(2x+5y)(x+3y)、x=-37、y=15(二元連立方程式の解)
(2)2*4=(2x+5y)(x+3y)、x=-14、y=6(二元連立方程式の解)
(3)4*2=(2x+5y)(x+3y)、x=2、y=0(二元連立方程式の解)
(4)8*1=(2x+5y)(x+3y)、x=19、y=-6(二元連立方程式の解)
(0)の解は、(1)の解でも、(2)の解でも、(3)の解でも、(4)の解でもよいです。
312:日高
19/12/24 21:25:54.19 wiVzZJzo.net
>296
>> 4*2=(2x+5y)(x+3y)、8*1=(2x+5y)(x+3y)とすると、二元連立方程式なので、x,yを特定することが出来ます。
同じ式が二つ書いてあるようにしか見えないが。
8=(2x+5y)(x+3y)の解は、4*2=(2x+5y)(x+3y)、8*1=(2x+5y)(x+3y)の二元連立方程式の解となります。
313:日高
19/12/24 21:28:55.60 wiVzZJzo.net
>298
>もしかして、A*B=(C)(D) と書いたら「A=C かつ B=D」の意味だと思っている？
よく意味がわかりませんので、詳しく説明していただけないでしょうか。
314:１３２人目の素数さん
19/12/24 21:33:17.28 okVlNB5t.net
>>307 日高
> >298
> >もしかして、A*B=(C)(D) と書いたら「A=C かつ B=D」の意味だと思っている？
> よく意味がわかりませんので、詳しく説明していただけないでしょうか。
これより詳しく説明する方法を知りませんが，>>305 から引用すると
> (2)2*4=(2x+5y)(x+3y)、x=-14、y=6(二元連立方程式の解)
は2=2x+5y,4=x+3yという連立一次方程式を意味するのですか？
315:日高
19/12/24 21:35:51.27 wiVzZJzo.net
>304
>>(0)8=(2x+5y)(x+3y)
>(1)1*8=(2x+5y)(x+3y)、x=-37、y=15(二元連立方程式の解)
>(2)2*4=(2x+5y)(x+3y)、x=-14、y=6(二元連立方程式の解)
>(3)4*2=(2x+5y)(x+3y)、x=2、y=0(二元連立方程式の解)
>(4)8*1=(2x+5y)(x+3y)、x=19、y=-6(二元連立方程式の解)
>(0)の解は、(1)の解でも、(2)の解でも、(3)の解でも、(4)の解でもよいです。
>その通りだ。
>単にその上に書いてある私の説明を、私が提示した方程式で表現しただけだな。
で貴方の『フェルマーの最終定理の簡単な証明』に、(2)(3)に相当する箇所は在るのか？
(2)(3)に相当する箇所は(1)でも、(4)でもよいです。
(0)に代入すれば、
316:成り立ちます。
317:日高
19/12/24 21:39:48.51 wiVzZJzo.net
>308
> (2)2*4=(2x+5y)(x+3y)、x=-14、y=6(二元連立方程式の解)
>は2=2x+5y,4=x+3yという連立一次方程式を意味するのですか？
はいそうです。
318:１３２人目の素数さん
19/12/24 21:43:08.50 okVlNB5t.net
>>310 日高
> >308
> > (2)2*4=(2x+5y)(x+3y)、x=-14、y=6(二元連立方程式の解)
> >は2=2x+5y,4=x+3yという連立一次方程式を意味するのですか？
>
> はいそうです。
そんな約束、どこにもないよ。「2*4」は無条件に「8」に等しい。8=(2x+5y)(x+3y)と書いたのと同じ。
319:１３２人目の素数さん
19/12/24 21:49:24.34 2wc4yS4K.net
>>309
またまた、質問に対する回答になっていないのだが。
私は貴方の証明に『(2)(3)に相当する箇所があるのか？』と問うている。
先ずは『はい。』か『いいえ。』で答えよ。
320:１３２人目の素数さん
19/12/24 22:40:08.55 1JxoQQV4.net
>>305
(0)の解は、(1)の解でも、(2)の解でも、(3)の解でも、(4)の解でもよいです。
て、それからどうなります？
まだ証明されていないです。
321:１３２人目の素数さん
19/12/24 22:48:32.76 yopNsLPQ.net
>>299
> >286
> > {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を代入した場合よりも、値が大きくなるからです。
> 理由になってない。そもそも、他に解がある。
>
> 間違いならば、その理由を示して下さい。
他に解があるって書いてあるだろが。ボケ老人
322:１３２人目の素数さん
19/12/24 22:49:31.22 yopNsLPQ.net
>>300
> >289
> >指摘は放置か。ゴミ老人。
>
> どんな指摘でしょうか？
またごまかしか。ゴミが。
323:１３２人目の素数さん
19/12/24 23:02:02.75 okVlNB5t.net
>>309 日高
> >304
> >>(0)8=(2x+5y)(x+3y)
この式が理解できません。最初から詳しく説明していただけませんか。
324:日高
19/12/25 07:32:10.71 I7fkRyTk.net
>311
> (2)2*4=(2x+5y)(x+3y)、x=-14、y=6(二元連立方程式の解)
> >は2=2x+5y,4=x+3yという連立一次方程式を意味するのですか？
>そんな約束、どこにもないよ。「2*4」は無条件に「8」に等しい。8=(2x+5y)(x+3y)と書いたのと同じ。
約束は、ありません。8=(2x+5y)(x+3y)と書いたのと同じとなります。
325:日高
19/12/25 07:36:16.36 I7fkRyTk.net
>312
>私は貴方の証明に『(2)(3)に相当する箇所があるのか？』と問うている。
先ずは『はい。』か『いいえ。』で答えよ。
『いいえ。』
326:日高
19/12/25 07:39:05.80 I7fkRyTk.net
>313
>(0)の解は、(1)の解でも、(2)の解でも、(3)の解でも、(4)の解でもよいです。
>て、それからどうなります？
まだ証明されていないです。
私の一番
327:日高
19/12/25 07:41:17.01 I7fkRyTk.net
>313
>(0)の解は、(1)の解でも、(2)の解でも、(3)の解でも、(4)の解でもよいです。
>て、それからどうなります？
まだ証明されていないです。
私の１の証明は、(4)の解を使っています。
328:日高
19/12/25 07:43:11.56 I7fkRyTk.net
>314
>他に解があるって書いてあるだろが。ボケ老人
他に解はありません。
329:日高
19/12/25 07:52:39.45 I7fkRyTk.net
>316
>(0)8=(2x+5y)(x+3y)
>この式が理解できません。最初から詳しく説明していただけませんか。
8=(2x+5y)(x+3y)は、8*1=(2x+5y)(x+3y)とすることが出来ます。
連立方程式8=(2x+5y)、1=(x+3y)の解は、8=(2x+5y)(x+3y)の解となります。
330:１３２人目の素数さん
19/12/25 09:26:54.78 Vvgqq9qg.net
>>321
> >314
> >他に解があるって書いてあるだろが。ボケ老人
>
> 他に解はありません。
うわ。マジでやめれば。
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)
> 解は、x=y=1となります。
p=3だと、(x^2-xy+y^2)=(x^3+y^3)/(x+y)
だが。x=y=2とすれば、4=16/4
で成り立っているだろうが。
自分で実験してみろよ。
あと、指摘に対してもっと考えろ。
331:日高
19/12/25 09:37:03.66 I7fkRyTk.net
>323
>> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)
> 解は、x=y=1となります。
p=3だと、(x^2-xy+y^2)=(x^3+y^3)/(x+y)
だが。x=y=2とすれば、4=16/4
で成り立っているだろうが。
自分で実験してみろよ。
x=y=2とすれば、(x^2-xy+y^2)=1となりません。
332:１３２人目の素数さん
19/12/25 09:39:14.80 snkHMfC+.net
xとyって異なるものを表すんだよな
x=y=1
ってありえなくね
1=2って言っているようなもんだぞ
x=yがあり得るのはたとえばx=1,y=2/2のようなときだ
333:１３２人目の素数さん
19/12/25 09:51:38.98 PhlXHftl.net
>>318
>『いいえ。』
何故、不要なのだ？
弁解せよ。
私は既に反例を示した。
>詰まり、『1×z^pだけでなく、z×z^(p-1)等のパターンも考慮せねば、全ての解は導けない』ということだろう？
>貴方も申している通り、4×2と8×1で解が異なる。
>無論、2×4と1×8も必要だ。
334:日高
19/12/25 09:55:56.99 I7fkRyTk.net
>325
>xとyって異なるものを表すんだよな
x=y=1ってありえなくね
1=2って言っているようなもんだぞ
>x=yがあり得るのはたとえばx=1,y=2/2のようなときだ
x=1、y=1の場合、x=y=1と書いても通用すると思います。
335:１３２人目の素数さん
19/12/25 10:09:30.65 mpbuV+QP.net
>>322
その式はどこから出てきたの？
336:１３２人目の素数さん
19/12/25 10:09:39.71 Vvgqq9qg.net
>>324
> >323
> >> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)
> > 解は、x=y=1となります。
> p=3だと、(x^2-xy+y^2)=(x^3+y^3)/(x+y)
> だが。x=y=2とすれば、4=16/4
> で成り立っているだろうが。
> 自分で実験してみろよ。
>
> x=y=2とすれば、(x^2-xy+y^2)=1となりません。
問題をすりかえるな。痴呆がすすんでいるのですか？
(x^2-xy+y^2)=1「でない」場合はどうか？
と聞いたら、
337:１３２人目の素数さん
19/12/25 10:12:07.04 Vvgqq9qg.net
>>324
> >323
> >>
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)
> > 解は、x=y=1となります。
> p=3だと、(x^2-xy+y^2)=(x^3+y^3)/(x+y)
> だが。x=y=2とすれば、4=16/4
> で成り立っているだろうが。
> 自分で実験してみろよ。
>
> x=y=2とすれば、(x^2-xy+y^2)=1となりません。
失敗したのでもう一度。
問題をすりかえるな。
(x^2-xy+y^2)=1でない場合を聞いているのだから、(x^2-xy+y^2)=1とならないのはあたりまえ。
日高は、
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)
について、
> 解は、x=y=1となります。
と答えた。
それは嘘だという指摘なのだから、反論するなら、
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)
を満たす解がx=y=1以外にないことを示せよ。痴呆さん。
338:日高
19/12/25 10:14:14.98 I7fkRyTk.net
>326
>>『いいえ。』
何故、不要なのだ？
弁解せよ。
私は既に反例を示した。
>詰まり、『1×z^pだけでなく、z×z^(p-1)等のパターンも考慮せねば、全ての解は導けない』ということだろう？
>貴方も申している通り、4×2と8×1で解が異なる。
>無論、2×4と1×8も必要だ。
8の解は、4×2の解、2×4の解、1×8の解、8×1の解となるからです。
例
6=(2x)(3y)の解は、
2=(2x)、3=(3y)の解となります。また、6=(2x)、1=(3y)の解となります。
339:１３２人目の素数さん
19/12/25 10:19:00.27 SGQTkl/E.net
>>320
私の１の証明は、(4)の解を使っています。
で、それからどうなります？
まだ証明されていません。
340:日高
19/12/25 10:23:05.43 I7fkRyTk.net
>330
>それは嘘だという指摘なのだから、反論するなら、
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)
を満たす解がx=y=1以外にないことを示せよ。痴呆さん。
失礼しました。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)を満たす解は、無数にあります。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1、(x^p+y^p)/(x+y)=1を満たす解は、
x=y=1以外にはありません。
341:日高
19/12/25 10:27:49.68 I7fkRyTk.net
>332
>私の１の証明は、(4)の解を使っています。
１の証明にあてはめてみてください。
342:１３２人目の素数さん
19/12/25 10:29:23.10 Vvgqq9qg.net
>>333
> >330
> >それは嘘だという指摘なのだから、反論するなら、
> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)
> を満たす解がx=y=1以外にないことを示せよ。痴呆さん。
>
> 失礼しました。
ふざけてんのか？さんざん主張しておいて一言で終わりか。痴呆が。
要は、平気で嘘つきまくるってことだ。えらそうに反論するとか言っているんじゃねえよ。
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=(x^p+y^p)/(x+y)を満たす解は、無数にあります。
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1、(x^p+y^p)/(x+y)=1を満たす解は、
> x=y=1以外にはありません。
じゃあ、話が戻って、
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合はどうなんだっていっているんだよ。
オマエは、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1しかありえないと主張したんだから、それを証明しろ。
343:１３２人目の素数さん
19/12/25 10:44:32.02 snkHMfC+.net
>>327
通用しないよ
x=1かつy=1の場合ってどういうとき？
たとえば
xy=1
x=1
y=1/1
はあり得るけど
x=1
y=1
xy=1
を言いたいのなら
x^2=1
あるいは
y^2=1
と書かなければならない
344:１３２人目の素数さん
19/12/25 10:56:09.97 snkHMfC+.net
たとえば整数全体Zから任意の元を選ぶというとき
∀x,y∈Z
たとえx≠yと明示されていなくてもxとyは異なる元だ
それは任意の元を選ぶとその元は固定される
つまりxやyは固定して選ぶ
このときx=yとなることはない
もしxやyが動くと考えるならば
もしかしたらx=yということはあるかも知れない
しかしこれは誰かが間違えたものだ
345:１３２人目の素数さん
19/12/25 10:59:18.74 1T6dmHZv.net
日高っち可愛ｅ( *´艸｀)>>210
ﾌﾟﾌﾟ...
346:１３２人目の素数さん
19/12/25 11:02:10.64 iBZIIAiE.net
日高っち頑張れー！
いぢわる爺に負けるな～！
347:１３２人目の素数さん
19/12/25 11:14:33 AyWIZmE3.net
>>339
また新たな敵が現れたようだな....
348:１３２人目の素数さん
19/12/25 11:15:49 snkHMfC+.net
x=1 ∧ y=1/1があり得るっていうのは写像
f：Z → Q
x f(x)=1/1 (∀x)
が在るっていうことね
もちろんこのときのxは1
(Zから任意にxを選び1に固定されている)
349:１３２人目の素数さん
19/12/25 11:25:54.83 PhlXHftl.net
>>331
>8の解は、4×2の解、2×4の解、1×8の解、8×1の解となるからです。
8の解全てを導く為には、1×8、2×4、4×2、8×1のパターンが必要である、と申している。
1×8のパターンのみから、如何にして他の解を導けるのか？
やって見せよ。
>6=(2x)(3y)の解は、
>2=(2x)、3=(3y)の解となります。また、6=(2x)、1=(3y)の解となります。
此方もだ。
{2=2x,3=3y}の解{1,1}から、{6=2x,1=3y}の解が導けるのか？
350:日高
19/12/25 11:26:15.72 I7fkRyTk.net
>328
> (1)1=(2x+5y)、8=(x+3y)、x=-37、y=15(連立方程式の解)
> (2)2=(2x+5y)、4=(x+3y)、x=-14、y=6(連立方程式の解)
> (3)4=(2x+5y)2=(x+3y)、x=2、y=0(連立方程式の解)
> (4)8=(2x+5y)1=(x+3y)、x=19、y=-6(連立方程式の解)
(0)8=(2x+5y)(x+3y)
(1)(2)(3)(4)の解は(0)の解になります。
351:１３２人目の素数さん
19/12/25 11:39:52.68 XZ353yY9.net
>>328
回答まだぁ？
352:日高
19/12/25 11:48:14.37 I7fkRyTk.net
>335
>じゃあ、話が戻って、
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合はどうなんだっていっているんだよ。
オマエは、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1しかありえないと主張したんだから、それを証明しろ。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合も同じとなります。
> (1)1=(2x+5y)、8=(x+3y)、x=-37、y=15(連立方程式の解)
> (2)2=(2x+5y)、4=(x+3y)、x=-14、y=6(連立方程式の解)
> (3)4=(2x+5y)2=(x+3y)、x=2、y=0(連立方程式の解)
> (4)8=(2x+5y)1=(x+3y)、x=19、y=-6(連立方程式の解)
(0)8=(2x+5y)(x+3y)
(1)(2)(3)(4)の解は(0)の解になります。
353:日高
19/12/25 11:50:28.30 I7fkRyTk.net
>336
>通用しないよ
わかりました。改めます。
354:日高
19/12/25 11:51:30.24 I7fkRyTk.net
>337
わかりました。改めます。
355:日高
19/12/25 11:53:28.78 I7fkRyTk.net
>341
>x=1 ∧ y=1/1があり得るっていうのは写像
よくわかりません。
356:日高
19/12/25 12:07:39.26 I7fkRyTk.net
>342
>8の解全てを導く為には、1×8、2×4、4×2、8×1のパターンが必要である、と申している。
1×8のパターンのみから、如何にして他の解を導けるのか？
>やって見せよ。
2×4、4×2、8×1の解は、8を分解して、連立方程式の形を作れば他の解を導けます。
>6=(2x)(3y)の解は、
>2=(2x)、3=(3y)の解となります。また、6=(2x)、1=(3y)の解となります。
此方もだ。
{2=2x,3=3y}の解{1,1}から、{6=2x,1=3y}の解が導けるのか？
{2=2x,3=3y}から、6=(2x)(3y)が作れるので、分解して、{6=2x,1=3y}をつくります。
357:日高
19/12/25 12:10:27.25 I7fkRyTk.net
>344
>回答まだぁ？
343です。
358:１３２人目の素数さん
19/12/25 12:13:42.32 XZ353yY9.net
その式はどこから出てきたの？
フェルマーの最終定理の証明とどう関係するの？
359:１３２人目の素数さん
19/12/25 12:23:00.97 XZ353yY9.net
通じないといけないので念のため。
> 8=(2x+5y)(x+3y)
は何の式ですか？
360:１３２人目の素数さん
19/12/25 12:49:19.04 eHLbauhI.net
＼＼
💩
>>340
361:１３２人目の素数さん
19/12/25 12:50:09.14 eHLbauhI.net
日高ｶﾞﾝｶﾞﾚ〰！
362:１３２人目の素数さん
19/12/25 12:50:36.32 eHLbauhI.net
日高ｶﾞﾝｶﾞﾚ〰!
363:１３２人目の素数さん
19/12/25 12:51:47.70 eHLbauhI.net
あ、２�
364:�...５めんなψ...
365:１３２人目の素数さん
19/12/25 12:55:21.70 SGQTkl/E.net
>>334
それからどうなります？
まだ証明されていません。
366:１３２人目の素数さん
19/12/25 13:51:52.49 Vvgqq9qg.net
>>345
> >335
> >じゃあ、話が戻って、
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合はどうなんだっていっているんだよ。
> オマエは、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1しかありえないと主張したんだから、それを証明しろ。
>
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合も同じとなります。
> > (1)1=(2x+5y)、8=(x+3y)、x=-37、y=15(連立方程式の解)
> > (2)2=(2x+5y)、4=(x+3y)、x=-14、y=6(連立方程式の解)
> > (3)4=(2x+5y)2=(x+3y)、x=2、y=0(連立方程式の解)
> > (4)8=(2x+5y)1=(x+3y)、x=19、y=-6(連立方程式の解)
> (0)8=(2x+5y)(x+3y)
> (1)(2)(3)(4)の解は(0)の解になります。
証明になってない。ゴミ。
367:１３２人目の素数さん
19/12/25 14:16:15.57 PhlXHftl.net
>>349
>2×4、4×2、8×1の解は、8を分解して、連立方程式の形を作れば他の解を導けます。
>{2=2x,3=3y}から、6=(2x)(3y)が作れるので、分解して、{6=2x,1=3y}をつくります。
貴方は自分が何を申しているのか、理解しているのか？
『分解し直す』という事は『1×8以外のパターンが必要』という事であろうが。
貴方の主張では、他のパターンは『意味が無い』のだから不要であろう？
なら、『分解し直す』は禁じ手である。
再度問う。
1×8のパターンのみから、如何にして他の解を導けるのか？
やって見せよ。
368:１３２人目の素数さん
19/12/25 16:00:08.76 AQXcu0xg.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
｜ま｜
｜せ｜ 数学史上、燦然と輝く珍証明です。(｀⌒´)エｯﾍﾝ！(｀^´)
｜ん｜
｜！｜ おかげで睾丸無知な私の下半身が甦りました。(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
└高┘
369:１３２人目の素数さん
19/12/25 16:11:59.90 FTCilfk1.net
>>360
またこのコピペか
370:めだか
19/12/25 16:12:31.98 FTCilfk1.net
女子っぽいな
371:１３２人目の素数さん
19/12/25 19:45:46 AGL/SK0w.net
2x+5yは>>218で初めて現れた一種の例であってフェルマーの最終定理の簡単な証明とは無関係？
372:１３２人目の素数さん
19/12/25 21:58:23.25 PhlXHftl.net
>>363
その通りだ。
フェルマーの最終定理とは何ら関係無い。
故に無視してもらって構わない。
記法が出鱈目で申し訳無いが、下記の実例を挙げたまでだ。
>詰まり、『1×z^pだけでなく、z×z^(p-1)等のパターンも考慮せねば、全ての解は導けない』ということだろう？
>貴方も申している通り、4×2と8×1で解が異なる。
>無論、2×4と1×8も必要だ。
（正直、この例で一目瞭然と見込んでいたのだが、中々手強いな。）
373:１３２人目の素数さん
19/12/26 01:18:18.00 ZF0qc8os.net
zが素数でない場合もありますよね。
374:１３２人目の素数さん
19/12/26 08:39:38.71 YOrB1HpQ.net
日高センセーと
URLﾘﾝｸ(oshiete.goo.ne.jp)
は、どっちがすごいのだろうか？
375:１３２人目の素数さん
19/12/26 09:56:29.62 AicH2D8x.net
ゐぢわるぢぢゐ～！
376:１３２人目の素数さん
19/12/26 10:00:25.78 AicH2D8x.net
助けてーっ！いぢわるぢぢぃがーっ！
しつこくスレを襲撃してくるーっ！！
377:１３２人目の素数さん
19/12/26 10:02:20.54 AicH2D8x.net
嫌みなのーっ！嫌みでしつこいの～！
ゐぢわるぢぢゐが数学を拗らせて
しつこく弄くり倒してくるの～っ！
378:１３２人目の素数さん
19/12/26 10:51:26.40 JxRz1hAx.net
いい年したおっさんがこれを書いてると思うと泣けてくる
379:１３２人目の素数さん
19/12/26 11:04:06.07 xP5G3+jE.net
皆さんここは無法地帯なので逃げてください
また変な日高を応援するやつは無視してください
380:１３２人目の素数さん
19/12/26 11:20:00.59 PvMFGgT4.net
>>371
＞変な日高を応援するやつ×
日高を応援する変なやつ○
↑の間違いでは？
381:１３２人目の素数さん
19/12/26 11:22:04.96 PvMFGgT4.net
２択の確率も外してるのに。。。
数学って・・・😏💨ﾌﾟｯ!
382:１３２人目の素数さん
19/12/26 11:24:05.97 PvMFGgT4.net
>>370
２択程度の確率も外すミス力
>>371
日本語文おかしい。
泣けてくる( つД｀)
383:日高
19/12/26 17:37:01.84 ZucFvsRL.net
>359
>1×8のパターンのみから、如何にして他の解を導けるのか？
>やって見せよ。
a=(2x+5y)、b=(x+3y) のとき、
a*b=8ならば、8=(2x+5y)(x+3y)となります。
解x,yの組み合わせは、無数にあります。
384:１３２人目の素数さん
19/12/26 18:11:18.33 HAc9OTqc.net
それって、x,yは自然数？ 有理数？ それとも実数？
385:１３２人目の素数さん
19/12/26 18:17:49.51 ByNxs/CF.net
>>375
質問に対する回答になっていないと、何度指摘すれば理解出来るのだ？
>1×8のパターンのみから、如何にして他の解を導けるのか？
>やって見せよ。
出来たのか否か、申せ。
否なら、出来ない理由を考えよ。
可なら、此処に示せ。
386:日高
19/12/26 19:33:44.56 ZucFvsRL.net
>377
>>1×8のパターンのみから、如何にして他の解を導けるのか？
>やって見せよ。
否なら、出来ない理由を考えよ。
>可なら、此処に示せ。
否です。
387:日高
19/12/26 19:36:19.85 ZucFvsRL.net
>376
>それって、x,yは自然数？ 有理数？ それとも実数？
実数です。
388:日高
19/12/26 19:44:37.34 ZucFvsRL.net
>365
>zが素数でない場合もありますよね。
はい。
389:１３２人目の素数さん
19/12/26 20:00:33.56 ByNxs/CF.net
>>378
>否です。
理由を考えよ。
逆に、何が在れば導ける？
390:日高
19/12/26 20:04:59.26 ZucFvsRL.net
>381
>理由を考えよ。
>逆に、何が在れば導ける？
わかりません。
391:１３２人目の素数さん
19/12/26 20:14:23.81 IhRm0mKZ.net
わからないのに正しいと言い張る理屈がわからない
392:日高
19/12/26 20:18:12.01 ZucFvsRL.net
>383
>わからないのに正しいと言い張る理屈がわからない
a=(2x+5y)、b=(x+3y) のとき、
a*b=8ならば、8=(2x+5y)(x+3y)となります。
解x,yの組み合わせは、無数にあります。
このことが理由です。
393:１３２人目の素数さん
19/12/26 21:07:44.99 gB9lN63o.net
それで、フェルマーの最終定理の簡単な証明はどうなった？
394:１３２人目の素数さん
19/12/26 21:09:32.47 w1J3ReH4.net
>>384
> >383
> >わからないのに正しいと言い張る理屈がわからない
>
> a=(2x+5y)、b=(x+3y) のとき、
> a*b=8ならば、8=(2x+5y)(x+3y)となります。
> 解x,yの組み合わせは、無数にあります。
>
> このことが理由です。
理由になっていないからだめだといわれているのだろうが。
本人の思い込みは根拠にならない。
理由になるというなら、その裏付けを示せ。
395:１３２人目の素数さん
19/12/26 22:44:54.96 YOrB1HpQ.net
日高センセーは数学より漫才のほうがいいと思う
396:１３２人目の素数さん
19/12/26 23:05:00.30 FNVa88Jd.net
文A:A=BC ならば、C=1としたとき、B=A となる。
考察A
1つでもB=Aとならない例があれば、文Aは間違いである。
例として15=(x+1)(x-1)という等式をxが満たすときを考える。
このときA=15、B=(x+1)、C=(x-1)
15×1=(x+1)(x-1)
x-1=1としたとき、x=2
左辺の左側は15、右辺の左側は3
よってB=Aとならない
B=Aとならない例があったので、文Aは間違いである。…結果A
397:１３２人目の素数さん
19/12/26 23:07:13.89 gB9lN63o.net
a=2x+5y,b=x+3yならばx=3a-5b,y=-a+2b。
398:日高
19/12/27 06:08:19.32 40kRiIy3.net
>385
>それで、フェルマーの最終定理の簡単な証明はどうなった？
１を読んで下さい。
今の議論は、例です。
399:日高
19/12/27 06:14:33.55 40kRiIy3.net
>386
>理由になっていないからだめだといわれているのだろうが。
本人の思い込みは根拠にならない。
理由になるというなら、その裏付けを示せ。
a=(2x+5y)、b=(x+3y) のとき、
> a*b=8ならば、8=(2x+5y)(x+3y)となります。
> 解x,yの組み合わせは、無数にあります。
上記の事を簡単に言うと、
A=B、C=Dならば、AC=BDとなる。です。
400:日高
19/12/27 06:46:47.20 40kRiIy3.net
>388
>文A:A=BC ならば、C=1としたとき、B=A となる。
考察A
1つでもB=Aとならない例があれば、文Aは間違いである。
例として15=(x+1)(x-1)という等式をxが満たすときを考える。
このときA=15、B=(x+1)、C=(x-1)
15×1=(x+1)(x-1)
x-1=1としたとき、x=2
左辺の左側は15、右辺の左側は3
よってB=Aとならない
B=Aとならない例があったので、文Aは間違いである。…結果A
A=BC ならば、C=1としたとき、B=A となる。ので、
15=(x+1)(x-1)を満たすのは、x=4、x=-4のときのみです。
401:日高
19/12/27 07:08:28.91 40kRiIy3.net
>389
>a=2x+5y,b=x+3yならばx=3a-5b,y=-a+2b。
その通りですね。
x,yは、a,bの組み合わせによって決まりますね。
402:日高
19/12/27 07:16:41.63 40kRiIy3.net
>392
A=BC ならば、C=1としたとき、B=A となる。ので、
15=(x+1)(x-1)を満たすのは、x=4、x=-4のときのみです。
「A=BC ならば、」の意味は、
A=BCとなるとき、
A=BCをみたすとき、
の意味です。
403:日高
19/12/27 09:04:24.48 40kRiIy3.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は、自然数解を持つ。
404:１３２人目の素数さん
19/12/27 09:33:01.60 RI/CI7cJ.net
>>391
> >386
> >理由になっていないからだめだといわれているのだろうが。
> 本人の思い込みは根拠にならない。
> 理由になるというなら、その裏付けを示せ。
>
> a=(2x+5y)、b=(x+3y) のとき、
> > a*b=8ならば、8=(2x+5y)(x+3y)となります。
> > 解x,yの組み合わせは、無数にあります。
>
> 上記の事を簡単に言うと、
> A=B、C=Dならば、AC=BDとなる。です。
本人の思い込みは聞いてない。
裏付けとは、教科書など、よく認められたものに従った議論・証明のことである。
思い込みは全く意味なし。
405:日高
19/12/27 09:39:10.41 40kRiIy3.net
>396
>> A=B、C=Dならば、AC=BDとなる。です。
本人の思い込みは聞いてない。
A=B、C=Dならば、AC=BD
は、思い込みでしょうか？
406:１３２人目の素数さん
19/12/27 09:44:
407:48.36 ID:RI/CI7cJ.net
408:１３２人目の素数さん
19/12/27 10:56:33 oOklA3h9.net
>>1なら
> (1)の左辺の右側と右辺の右側は等しいので
が誤り。
409:１３２人目の素数さん
19/12/27 11:09:15 RI/CI7cJ.net
結局のところ、日高は本人論理が破綻しているから思い込みと証明の区別が出来ないわけで、
必死になって小学生～中学生あたりの算数・数学・国語を勉強する以外に解決策は無い。
勉強するのを必死に避けているのだから、「証明」などといった嘘を主張するのはやめるべき。
410:１３２人目の素数さん
19/12/27 11:10:13 RI/CI7cJ.net
ちょっとミスった。
結局のところ、日高は本人の論理が破綻しているから、思い込みと証明の区別が出来ないわけで、
必死になって小学生～中学生あたりの算数・数学・国語を勉強する以外に解決策は無い。
勉強するのを必死に避けているのだから、「証明」などといった嘘を主張するのはやめるべき。
411:日高
19/12/27 11:11:45 40kRiIy3.net
>399
> (1)の左辺の右側と右辺の右側は等しいので
が誤り。
よろしければ、誤りの理由を教えていただけないでしょうか。
412:１３２人目の素数さん
19/12/27 11:14:50 oOklA3h9.net
>>16を読み直してください。
413:日高
19/12/27 11:55:41.97 40kRiIy3.net
>403
>>>16を読み直してください
訂正します。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たすx,yを求めます。
414:１３２人目の素数さん
19/12/27 11:58:32.53 agCU/ANF.net
>>358
> >>345
>
> > >335
> > >じゃあ、話が戻って、
> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合はどうなんだっていっているんだよ。
> > オマエは、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1しかありえないと主張したんだから、それを証明しろ。
> >
> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合も同じとなります。
これが証明出来てない。
具体例は証明ではない。
415:日高
19/12/27 12:43:00.38 40kRiIy3.net
>405
>> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合はどうなんだっていっているんだよ。
{x^(p-1)-x^(p-2)y+…+y^(p-1)}=1を満たすx,yを求めます。
> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合も同じとなります。
これが証明出来てない。
z^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}なので、
連立方程式
1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
z^p=(x+y)
の解x,yを求めます。
1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}の解は、x=1、y=1となります。
z^p=(x+y)=2となるので、この式を満たす有理数はありません。
z^p*1=z^p=z^(p-1)*z=z^(p-2)*z^2となります。
416:１３２人目の素数さん
19/12/27 13:01:44.25 OYQpEK26.net
>>406
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
417:日高
19/12/27 13:06:25.02 40kRiIy3.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は、自然数解を持つ。
418:１３２人目の素数さん
19/12/27 13:16:05.71 oOklA3h9.net
>>404
>>16は恒等式の話をしているんだよ。方程式との違いはわかってるよね？
419:１３２人目の素数さん
19/12/27 13:37:59.91 agCU/ANF.net
>>406
> >405
> >> > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合はどうなんだっていっているんだよ。
>
> {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1を満たすx,yを求めます。
>
> > > {x^(p-1)-x^(p-2)y+…+y^(p-1)}=1以外の場合も同じとなります。
> これが証明出来てない。
>
> z^p*1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}なので、
> 連立方程式
> 1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
> z^p=(x+y)
> の解x,yを求めます。
> 1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}の解は、x=1、y=1となります。
> z^p=(x+y)=2となるので、この式を満たす有理数はありません。
>
> z^p*1=z^p=z^(p-1)*z=z^(p-2)*z^2となります。
全く証明になってない。意味なし。