20/02/26 04:12:02.35 EKpyPykm.net
>>981
それと、一文字で書くと>>970みたいなことができると思い込んでいるふしがある。
1009:１３２人目の素数さん
20/02/26 04:23:44.43 EKpyPykm.net
>>982
>>978氏が丁寧に誤りを説明しておられるが
数値書き換えの技が使えると信じているスレ主に
伝わるかどうか。
1010:１３２人目の素数さん
20/02/26 04:33:13.56 EKpyPykm.net
「1=...じゃなくてa=...となるかもしれない」と説明しているのに
スレ主の頭の中では「だったら1=...に値を変えればよい」ということらしい。
これを日高の定数変化法とでも呼ぶか。
1011:日高
20/02/26 09:32:30.18 8eSkexwD.net
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)を、z=5、y=4は満たす。
これを(x^p/1)=(z+y)に代入すると、x=3のとき、式を満たす。
(3)を満たす自然数があるので、(1),(2)を満たす自然数がある。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
1012:日高
20/02/26 09:33:50.05 8eSkexwD.net
(修正)
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形して、
z^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)を考える。
(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
これを、(z^p/1)=(x+y)に代入すると、zは自然数とならない。
(3)を満たす自然数が無いので、(1),(2)を満たす自然数は無い。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
1013:日高
20/02/26 11:56:54.50 8eSkexwD.net
>970
> Cを6に、Dを1に変えれば、良いということです。
よくない。そういう勝手なことをするのならそれは数学ではない。
どうしてでしょうか？
1014:日高
20/02/26 11:59:01.82 8eSkexwD.net
>973
> 良くわかりません。
わからないと誤魔化すな。ゴミ老人。勉強しなおせ。
どうしてでしょうか？
1015:日高
20/02/26 12:01:24.24 8eSkexwD.net
>974
> 同じ式では、ないです。
はい、それじゃ同値な式と訂正しておきましょう。
同値な式で良いと思います。
1016:日高
20/02/26 12:04:32.25 8eSkexwD.net
>975
ルールを守って、既知の事実から新しい事実を導くのが数学です。
どの部分が、ルールを守っていないのでしょうか？
1017:日高
20/02/26 12:08:54.96 8eSkexwD.net
>977
> (3)を満たす自然数が無いので、(1),(2)を満たす自然数は無い。
「(3)を満たす自然数が無い」ってどこで証明していますか？
(3)を(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
これを、(z^p/1)=(x+y)に代入すると、zは自然数とならない。
で、証明しています。
1018:日高
20/02/26 12:33:19 8eSkexwD.net
>978
{ 1/2=(z-y)
{ (x^p/(1/2))=(z+y)
を満たす自然数の解が存在しないことを調べたけど、そんなことを調べても無駄です。
{ 1/2=(z-y)
{ (x^p/(1/2))=(z+y)
を満たす自然数の組は存在しませんが、有理数の組は存在します。
例. x=4/4、y=3/4、z=5/4
分母を払うと、x=4、y=3、z=5となります。
別の説明から、(x^p/(1/2))(1/2)=(z+y)(z-y)…(4)を満たす自然数の解が存在することが証明できます。
（連立式に、有理数解が、存在するので、(4)に自然数解が、存在します。)
連立式を、満たさない、自然数の解が存在しない、成り立たないことをいくら調べても、
そこから何も言えないので証明の役に立たないのです。
上記の理由により、違うと思います。
1019:日高
20/02/26 12:42:13 8eSkexwD.net
>979
> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
を満たす自然数x,y,zが存在する」を命題P,
{1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{(z^p/1)=(x+y)に
を満たす自然数x,y,zが存在する」を命題Q
とすると
PはQの必要条件であることは自明ですが十分条件であるかどうかは不明です。
{1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{(z^p/1)=(x+y)に
を満たす自然数x,y,zが存在しないならば、
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
を満たす自然数x,y,zも、存在しません。
1020:日高
20/02/26 12:53:09 8eSkexwD.net
>984
「1=...じゃなくてa=...となるかもしれない」と説明しているのに
スレ主の頭の中では「だったら1=...に値を変えればよい」ということらしい。
これを日高の定数変化法とでも呼ぶか。
よく、意味が読み取れません。
1021:１３２人目の素数さん
20/02/26 17:42:27 EKpyPykm.net
>>987 日高
> >970
> > Cを6に、Dを1に変えれば、良いということです。
>
> よくない。そういう勝手なことをするのならそれは数学ではない。
>
> どうしてでしょうか？
そういうルールだから。
1022:１３２人目の素数さん
20/02/26 17:44:51 EKpyPykm.net
>>990 日高
> >975
> ルールを守って、既知の事実から新しい事実を導くのが数学です。
>
> どの部分が、ルールを守っていないのでしょうか？
一度決めた値を勝手に書き換えるところ。
1023:日高
20/02/26 17:46:15 8eSkexwD.net
【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】z^p-y^p=(z+y)(z-y)と変形して、
x^p=(z+y)(z-y)…(1)を考える。
(x^p/a)a=(z+y)(z-y)…(2)
(x^p/1)1=(z+y)(z-y)…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(x^p/1)=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)を、z=5、y=4は満たす。
これを(x^p/1)=(z+y)に代入すると、x=3のとき、式を満たす。
(3)を満たす自然数があるので、(1),(2)を満たす自然数がある。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
1024:１３２人目の素数さん
20/02/26 17:47:33 EKpyPykm.net
>>991 日高
証明になっていません。
1025:日高
20/02/26 17:49:19 8eSkexwD.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形して、
z^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)を考える。
(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
等式の性質により、
(3)を満たす自然数があれば、(1),(2)を満たす自然数がある。
(3)を満たす自然数が無いならば、(1),(2)を満たす自然数は無い。
(3)を(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
これを、(z^p/1)=(x+y)に代入すると、zは自然数とならない。
(3)を満たす自然数が無いので、(1),(2)を満たす自然数は無い。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
1026:１３２人目の素数さん
20/02/26 17:49:50 EKpyPykm.net
>>993 日高
> {1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
> {(z^p/1)=(x+y)に
> を満たす自然数x,y,zが存在しないならば、
> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
> を満たす自然数x,y,zも、存在しません。
はい、でまかせ確定。
1027:1001
Over 1000 Thread .net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 17日 0時間 23分 16秒
1028:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています