【定理】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は、自然数解を持たない。
探検
フェルマーの最終定理の簡単な証明7
レス数が1000を超えています。これ以上書き込みはできません。
1日高
2020/02/26(水) 20:24:05.55ID:8eSkexwD952日高
2020/04/22(水) 07:36:58.07ID:u70Ekp4X 【定理】p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいて、x^2+y^2=(x+r)^2…(1)とする。
(1)は(x/r)^2+(y/r)^2=(x/r+1)^2、 (y/r)^2-1=2{(x/r)^(2-1)}、
r^(2-1){(y/r)^2-1}=2{x^(2-1)}…(2)となる。
(2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。
(3)はyを任意の有理数とすると、x,zは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいて、x^2+y^2=(x+r)^2…(1)とする。
(1)は(x/r)^2+(y/r)^2=(x/r+1)^2、 (y/r)^2-1=2{(x/r)^(2-1)}、
r^(2-1){(y/r)^2-1}=2{x^(2-1)}…(2)となる。
(2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。
(3)はyを任意の有理数とすると、x,zは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
953日高
2020/04/22(水) 07:43:27.98ID:u70Ekp4X >946
でも、(3)式に有理数解は存在しないのですよね？
はい。
でも、(3)式に有理数解は存在しないのですよね？
はい。
954日高
2020/04/22(水) 09:21:48.95ID:u70Ekp4X >947
> x^p+y^p=z^pに有理数の解が存在するならば、rは、有理数になります。
> r=(ap)^{1/(p-1)}になります。
と書いたじゃないですか
はい。
> x^p+y^p=z^pに有理数の解が存在するならば、rは、有理数になります。
> r=(ap)^{1/(p-1)}になります。
と書いたじゃないですか
はい。
955日高
2020/04/22(水) 09:26:06.22ID:u70Ekp4X >948,949
私がお尋ねしたのは「x,y,zが無理数で(3)を満たし整数比になる場合」が
なぜないのかですから，あなたの回答は的外れです。
「x,y,zが無理数で(3)を満たし整数比になる場合」があるならば、
x,y,zが有理数でもあるからです。
私がお尋ねしたのは「x,y,zが無理数で(3)を満たし整数比になる場合」が
なぜないのかですから，あなたの回答は的外れです。
「x,y,zが無理数で(3)を満たし整数比になる場合」があるならば、
x,y,zが有理数でもあるからです。
956日高
2020/04/22(水) 09:30:53.18ID:u70Ekp4X >950
> (3)に、整数比の無理数解があるならば、その無理数を落とした物は、(3)の有理数解となります。
嘘
なぜ、嘘なのでしょうか？
> (3)に、整数比の無理数解があるならば、その無理数を落とした物は、(3)の有理数解となります。
嘘
なぜ、嘘なのでしょうか？
957１３２人目の素数さん
2020/04/22(水) 10:27:00.44ID:N4D8myQa >>955 日高
> 「x,y,zが無理数で(3)を満たし整数比になる場合」があるならば、
> x,y,zが有理数でもあるからです。
「有理数でもあるからです」とありますが、その有理数はどの式を満たすのですか？
> 「x,y,zが無理数で(3)を満たし整数比になる場合」があるならば、
> x,y,zが有理数でもあるからです。
「有理数でもあるからです」とありますが、その有理数はどの式を満たすのですか？
958日高
2020/04/22(水) 11:26:50.19ID:u70Ekp4X >957
「有理数でもあるからです」とありますが、その有理数はどの式を満たすのですか？
x^p+y^p=(x+p^{1/(p-1)})^p…(3)
です。
「有理数でもあるからです」とありますが、その有理数はどの式を満たすのですか？
x^p+y^p=(x+p^{1/(p-1)})^p…(3)
です。
959１３２人目の素数さん
2020/04/22(水) 12:35:09.41ID:Po+Zxnua >>958 日高
> >957
> 「有理数でもあるからです」とありますが、その有理数はどの式を満たすのですか？
>
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)
> です。
それは元のx,y,zが満たす式。君のいう共通の無理数で割ったあとのx,y,zはその式を満たしません。
> >957
> 「有理数でもあるからです」とありますが、その有理数はどの式を満たすのですか？
>
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)
> です。
それは元のx,y,zが満たす式。君のいう共通の無理数で割ったあとのx,y,zはその式を満たしません。
960日高
2020/04/22(水) 16:54:04.84ID:u70Ekp4X >959
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)
> です。
それは元のx,y,zが満たす式。君のいう共通の無理数で割ったあとのx,y,zはその式を満たしません。
整数比となる、無理数の場合でしょうか？
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)
> です。
それは元のx,y,zが満たす式。君のいう共通の無理数で割ったあとのx,y,zはその式を満たしません。
整数比となる、無理数の場合でしょうか？
961１３２人目の素数さん
2020/04/22(水) 16:58:51.81ID:Po+Zxnua >>960 日高
そうです。
そうです。
962１３２人目の素数さん
2020/04/22(水) 17:23:01.56ID:eXtJ2gp8 x^p+y^p=(x+p^{1/(p-1)})^p を満たすx,y と任意のαについて成り立つ式は
(αx)^p+(αy)^p=(αx+(αp)^{1/(p-1)})^p
であって
(αx)^p+(αy)^p=(αx+p^{1/(p-1)})^p
じゃないんだよな
(αx)^p+(αy)^p=(αx+(αp)^{1/(p-1)})^p
であって
(αx)^p+(αy)^p=(αx+p^{1/(p-1)})^p
じゃないんだよな
963日高
2020/04/22(水) 17:50:27.62ID:u70Ekp4X (別解10)
【定理】pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)は(x/r)^p+(y/r)^p=(x/r+1)^p、 (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}、
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)のx,y,zは整数比とならない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。rは有理数となる。
(5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
【定理】pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)は(x/r)^p+(y/r)^p=(x/r+1)^p、 (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}、
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)のx,y,zは整数比とならない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。rは有理数となる。
(5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
964日高
2020/04/22(水) 17:51:41.16ID:u70Ekp4X 【定理】p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいて、x^2+y^2=(x+r)^2…(1)とする。
(1)は(x/r)^2+(y/r)^2=(x/r+1)^2、 (y/r)^2-1=2{(x/r)^(2-1)}、
r^(2-1){(y/r)^2-1}=2{x^(2-1)}…(2)となる。
(2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。
(3)はyを任意の有理数とすると、x,zは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいて、x^2+y^2=(x+r)^2…(1)とする。
(1)は(x/r)^2+(y/r)^2=(x/r+1)^2、 (y/r)^2-1=2{(x/r)^(2-1)}、
r^(2-1){(y/r)^2-1}=2{x^(2-1)}…(2)となる。
(2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。
(3)はyを任意の有理数とすると、x,zは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
965日高
2020/04/22(水) 17:58:43.11ID:u70Ekp4X >961
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)
x,y,zが、無理数で整数比になるならば、共通の無理数で割ると商は、有理数となります。
よって、(3)には、有理数解がないので、無理数で整数比になるx,y,zは、存在しません。
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)
x,y,zが、無理数で整数比になるならば、共通の無理数で割ると商は、有理数となります。
よって、(3)には、有理数解がないので、無理数で整数比になるx,y,zは、存在しません。
966１３２人目の素数さん
2020/04/22(水) 19:59:08.58ID:hr6d8VKW >>965 日高
> >961
> > x^p+y^p=(x+p^{1/(p-1)})^p…(3)
>
> x,y,zが、無理数で整数比になるならば、共通の無理数で割ると商は、有理数となります。
> よって、(3)には、有理数解がないので、無理数で整数比になるx,y,zは、存在しません。
「共通の無理数で割る」？
無理数は1ではないので、z-xの値は変わります。
元はp^{1/(p-1)},いまは別の値です。
だから(3)を満たさないのは当たり前。
大間違いです。
そんなことで矛盾が起きてフェルマーの最終定理が証明できたと思っているとしたら
相当おめでたい頭の持ち主と言わざるを得ません。
> >961
> > x^p+y^p=(x+p^{1/(p-1)})^p…(3)
>
> x,y,zが、無理数で整数比になるならば、共通の無理数で割ると商は、有理数となります。
> よって、(3)には、有理数解がないので、無理数で整数比になるx,y,zは、存在しません。
「共通の無理数で割る」？
無理数は1ではないので、z-xの値は変わります。
元はp^{1/(p-1)},いまは別の値です。
だから(3)を満たさないのは当たり前。
大間違いです。
そんなことで矛盾が起きてフェルマーの最終定理が証明できたと思っているとしたら
相当おめでたい頭の持ち主と言わざるを得ません。
967日高
2020/04/22(水) 20:25:06.98ID:u70Ekp4X >966
だから(3)を満たさないのは当たり前。
大間違いです。
(3)を満たす無理数が、あるならば、です。
だから(3)を満たさないのは当たり前。
大間違いです。
(3)を満たす無理数が、あるならば、です。
968１３２人目の素数さん
2020/04/22(水) 20:28:42.22ID:hr6d8VKW >>967 日高
> >966
> だから(3)を満たさないのは当たり前。
> 大間違いです。
>
> (3)を満たす無理数が、あるならば、です。
(3)を満たすだけでよいのですか？ほかにも条件があるでしょう？正確に書いてみてね。日高君。
> >966
> だから(3)を満たさないのは当たり前。
> 大間違いです。
>
> (3)を満たす無理数が、あるならば、です。
(3)を満たすだけでよいのですか？ほかにも条件があるでしょう？正確に書いてみてね。日高君。
969日高
2020/04/22(水) 20:33:19.23ID:u70Ekp4X >968
教えていただけないでしょうか。
教えていただけないでしょうか。
970１３２人目の素数さん
2020/04/22(水) 20:45:59.49ID:hr6d8VKW 努力しようとしないやつには教えない主義なので悪しからず。
971１３２人目の素数さん
2020/04/23(木) 00:43:55.40ID:kS4ZvDrX >>965
>>746にあなたが書いた通り
> > x^p+y^p=(x+p^{1/(p-1)})^pのx,y,zが、無理数で、整数比となるならば、
> を満たさないので
>
> (3√5)^2+(4√5)^2=(5√5)^2は、x^p+y^p=(x+p^{1/(p-1)})^pは、満たしません
>
> この例は、整数比となる、無理数解が、あるならば、有理数解もある。の例です。
p=2のとき、整数比となる無理数3√5、4√5、5√5を考えると
3√5、4√5、5√5は、x^p+y^p=(x+p^{1/(p-1)})^pを満たさなくても、それぞれを√5で割ったらx^p+y^p=(x+p^{1/(p-1)})^pを満たします。
そして3√5、4√5、5√5はx^p+y^p=z^pを満たします。
同様にpが奇素数の時、整数比となる、無理数解が、あるならば
整数比の有理数は、x^p+y^p=(x+p^{1/(p-1)})^pを満たさなくても、それぞれを共通の無理数で割ったらx^p+y^p=(x+p^{1/(p-1)})^pを満たします。
そして整数比の有理数は、x^p+y^p=z^pを満たします。
よっ>>963の証明は間違いです。
>>746にあなたが書いた通り
> > x^p+y^p=(x+p^{1/(p-1)})^pのx,y,zが、無理数で、整数比となるならば、
> を満たさないので
>
> (3√5)^2+(4√5)^2=(5√5)^2は、x^p+y^p=(x+p^{1/(p-1)})^pは、満たしません
>
> この例は、整数比となる、無理数解が、あるならば、有理数解もある。の例です。
p=2のとき、整数比となる無理数3√5、4√5、5√5を考えると
3√5、4√5、5√5は、x^p+y^p=(x+p^{1/(p-1)})^pを満たさなくても、それぞれを√5で割ったらx^p+y^p=(x+p^{1/(p-1)})^pを満たします。
そして3√5、4√5、5√5はx^p+y^p=z^pを満たします。
同様にpが奇素数の時、整数比となる、無理数解が、あるならば
整数比の有理数は、x^p+y^p=(x+p^{1/(p-1)})^pを満たさなくても、それぞれを共通の無理数で割ったらx^p+y^p=(x+p^{1/(p-1)})^pを満たします。
そして整数比の有理数は、x^p+y^p=z^pを満たします。
よっ>>963の証明は間違いです。
972１３２人目の素数さん
2020/04/23(木) 06:26:03.36ID:lv66amJS >>969 日高
(3)を満たす無理数解x,y,zであって自然数比をなすもの。
(3)を満たす無理数解x,y,zであって自然数比をなすもの。
973１３２人目の素数さん
2020/04/23(木) 07:25:28.48ID:QvAN5/xm >>956
> >950
> > (3)に、整数比の無理数解があるならば、その無理数を落とした物は、(3)の有理数解となります。
>
> 嘘
>
> なぜ、嘘なのでしょうか？
日高が言うことはすべて嘘だから。
それを否定する根拠も説明もないから。
> >950
> > (3)に、整数比の無理数解があるならば、その無理数を落とした物は、(3)の有理数解となります。
>
> 嘘
>
> なぜ、嘘なのでしょうか？
日高が言うことはすべて嘘だから。
それを否定する根拠も説明もないから。
974日高
2020/04/23(木) 07:35:50.57ID:dHUlU5mM (別解10)
【定理】pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)は(x/r)^p+(y/r)^p=(x/r+1)^p、 (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}、
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)のx,y,zは整数比とならない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。rは有理数となる。
(5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
【定理】pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)は(x/r)^p+(y/r)^p=(x/r+1)^p、 (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}、
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)のx,y,zは整数比とならない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。rは有理数となる。
(5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
975日高
2020/04/23(木) 07:37:16.15ID:dHUlU5mM 【定理】p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいて、x^2+y^2=(x+r)^2…(1)とする。
(1)は(x/r)^2+(y/r)^2=(x/r+1)^2、 (y/r)^2-1=2{(x/r)^(2-1)}、
r^(2-1){(y/r)^2-1}=2{x^(2-1)}…(2)となる。
(2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。
(3)はyを任意の有理数とすると、x,zは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいて、x^2+y^2=(x+r)^2…(1)とする。
(1)は(x/r)^2+(y/r)^2=(x/r+1)^2、 (y/r)^2-1=2{(x/r)^(2-1)}、
r^(2-1){(y/r)^2-1}=2{x^(2-1)}…(2)となる。
(2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。
(3)はyを任意の有理数とすると、x,zは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
976日高
2020/04/23(木) 08:36:12.67ID:dHUlU5mM >971
整数比の有理数は、x^p+y^p=(x+p^{1/(p-1)})^pを満たさなくても、それぞれを共通の無理数で割ったらx^p+y^p=(x+p^{1/(p-1)})^pを満たします。
ということは、x^p+y^p=(x+p^{1/(p-1)})^pを満たす無理数に、共通の無理数を、
掛けると、x^p+y^p=(x+p^{1/(p-1)})^pを、満たさない有理数になるということですね。
整数比の有理数は、x^p+y^p=(x+p^{1/(p-1)})^pを満たさなくても、それぞれを共通の無理数で割ったらx^p+y^p=(x+p^{1/(p-1)})^pを満たします。
ということは、x^p+y^p=(x+p^{1/(p-1)})^pを満たす無理数に、共通の無理数を、
掛けると、x^p+y^p=(x+p^{1/(p-1)})^pを、満たさない有理数になるということですね。
977１３２人目の素数さん
2020/04/23(木) 13:48:36.76ID:lv66amJS それで、日高君は自分の証明の誤りに気づいたかな？
978１３２人目の素数さん
2020/04/23(木) 13:57:23.87ID:lv66amJS 日高君は「あした来られる社員はここにはいない」
のような日本語の文型は理解できますか？
のような日本語の文型は理解できますか？
979日高
2020/04/23(木) 14:49:07.34ID:dHUlU5mM >978
わかりません。
わかりません。
980１３２人目の素数さん
2020/04/23(木) 15:26:02.40ID:lv66amJS やっとわかりました。それだと数学は無理でしょう。
英語で言えば関係代名詞を使った日本語の構文が理解できない人。
大学生にもときどきいます。
「(3)を満たすx,y,zはこれこれである」の構文が使えないわけです。
英語で言えば関係代名詞を使った日本語の構文が理解できない人。
大学生にもときどきいます。
「(3)を満たすx,y,zはこれこれである」の構文が使えないわけです。
981日高
2020/04/23(木) 15:38:10.87ID:dHUlU5mM >980
「(3)を満たすx,y,zはこれこれである」の構文が使えないわけです。
974のどの部分が、このことに相当するのでしょうか？
「(3)を満たすx,y,zはこれこれである」の構文が使えないわけです。
974のどの部分が、このことに相当するのでしょうか？
982１３２人目の素数さん
2020/04/23(木) 15:47:41.33ID:lv66amJS > (3)のx,y,zは整数比とならない。
983日高
2020/04/23(木) 17:00:49.29ID:dHUlU5mM >982
> (3)のx,y,zは整数比とならない。
この文のどこが、間違いなのでしょうか？
> (3)のx,y,zは整数比とならない。
この文のどこが、間違いなのでしょうか？
984１３２人目の素数さん
2020/04/23(木) 17:17:08.78ID:lv66amJS 「(3)を満たす有理数x,y,zは整数比とならない」というべきところ。
日高君はこの構文が理解できないのだからしかたがない。
日高君はこの構文が理解できないのだからしかたがない。
985１３２人目の素数さん
2020/04/23(木) 17:57:56.09ID:BZ83WM3y 有理数でしたっけ？
986１３２人目の素数さん
2020/04/23(木) 18:42:41.47ID:lv66amJS 有理数なら整数比となりますね。おかしなことを書きました。
「(3)を満たす有理数x,y,zは存在しない」。
「(3)を満たす有理数x,y,zは存在しない」。
987１３２人目の素数さん
2020/04/23(木) 18:45:35.92ID:lv66amJS すると
> (3)のx,y,zは整数比とならない。
が意味不明となりますか。無理数も許すならこれはフェルマーの最終定理の主張そのものです。
> (3)のx,y,zは整数比とならない。
が意味不明となりますか。無理数も許すならこれはフェルマーの最終定理の主張そのものです。
988１３２人目の素数さん
2020/04/23(木) 18:45:43.63ID:BZ83WM3y なるほど。
989日高
2020/04/23(木) 19:36:15.44ID:dHUlU5mM (別解10)
【定理】pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)は(x/r)^p+(y/r)^p=(x/r+1)^p、 (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}、
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)のx,y,zは整数比とならない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。rは有理数となる。
(5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
【定理】pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)は(x/r)^p+(y/r)^p=(x/r+1)^p、 (y/r)^p-1=p{(x/r)^(p-1)+…+x/r}、
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)のx,y,zは整数比とならない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。rは有理数となる。
(5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
990日高
2020/04/23(木) 19:37:17.18ID:dHUlU5mM 【定理】p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいて、x^2+y^2=(x+r)^2…(1)とする。
(1)は(x/r)^2+(y/r)^2=(x/r+1)^2、 (y/r)^2-1=2{(x/r)^(2-1)}、
r^(2-1){(y/r)^2-1}=2{x^(2-1)}…(2)となる。
(2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。
(3)はyを任意の有理数とすると、x,zは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいて、x^2+y^2=(x+r)^2…(1)とする。
(1)は(x/r)^2+(y/r)^2=(x/r+1)^2、 (y/r)^2-1=2{(x/r)^(2-1)}、
r^(2-1){(y/r)^2-1}=2{x^(2-1)}…(2)となる。
(2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。
(3)はyを任意の有理数とすると、x,zは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
991日高
2020/04/23(木) 19:38:50.40ID:dHUlU5mM >984
わかりません。
わかりません。
992日高
2020/04/23(木) 19:40:05.76ID:dHUlU5mM >985
わかりません。
わかりません。
993日高
2020/04/23(木) 19:41:29.61ID:dHUlU5mM >987
わかりません。
わかりません。
994日高
2020/04/23(木) 19:42:29.60ID:dHUlU5mM >988
わかりません。
わかりません。
995１３２人目の素数さん
2020/04/23(木) 20:10:38.04ID:g9ILpPtI 日高について、わかったこと、二つ。
１．命題P,Qについて「PかつQ」と「PならばQ」の区別がつかない。
２．「○○を××する△△は□□である」の構文が理解できない。
１．命題P,Qについて「PかつQ」と「PならばQ」の区別がつかない。
２．「○○を××する△△は□□である」の構文が理解できない。
996日高
2020/04/23(木) 20:33:39.98ID:dHUlU5mM >995
日高について、わかったこと、二つ。
１．命題P,Qについて「PかつQ」と「PならばQ」の区別がつかない。
２．「○○を××する△△は□□である」の構文が理解できない。
教えていただけないでしょうか。
日高について、わかったこと、二つ。
１．命題P,Qについて「PかつQ」と「PならばQ」の区別がつかない。
２．「○○を××する△△は□□である」の構文が理解できない。
教えていただけないでしょうか。
997日高
2020/04/23(木) 20:36:19.68ID:dHUlU5mM >996
日高について、わかったこと、二つ。
１．命題P,Qについて「PかつQ」と「PならばQ」の区別がつかない。
２．「○○を××する△△は□□である」の構文が理解できない。
よろしければ、具体的に、どうしたらいいのか、教えていただけないでしょうか。？
日高について、わかったこと、二つ。
１．命題P,Qについて「PかつQ」と「PならばQ」の区別がつかない。
２．「○○を××する△△は□□である」の構文が理解できない。
よろしければ、具体的に、どうしたらいいのか、教えていただけないでしょうか。？
998日高
2020/04/23(木) 20:39:27.77ID:dHUlU5mM >995
日高について、わかったこと、二つ。
１．命題P,Qについて「PかつQ」と「PならばQ」の区別がつかない。
２．「○○を××する△△は□□である」の構文が理解できない。
989の、どの部分が、これに相当するのでしょうか？
日高について、わかったこと、二つ。
１．命題P,Qについて「PかつQ」と「PならばQ」の区別がつかない。
２．「○○を××する△△は□□である」の構文が理解できない。
989の、どの部分が、これに相当するのでしょうか？
999１３２人目の素数さん
2020/04/23(木) 20:44:30.97ID:g9ILpPtI1000１３２人目の素数さん
2020/04/23(木) 20:45:06.69ID:g9ILpPtI このスレは埋めて、次に行きましょう。
10011001
Over 1000Thread このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 57日 0時間 21分 1秒
新しいスレッドを立ててください。
life time: 57日 0時間 21分 1秒
10021002
Over 1000Thread 5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/
▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/
▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php
レス数が1000を超えています。これ以上書き込みはできません。
ニュース
- 【食糧】スーパーのコメ５ｋｇ４０００円突破 値上がり続く 史上最高値を更新 農水省★４ [シャチ★]
- 「性犯罪マップ」が物議 事件・加害者情報などマッピング、誰でも閲覧可能 個人情報保護の観点で疑問の声 [おっさん友の会★]
- 「けんかをやめて」「維新と国民民主をとめて」 野党を糾合できない立憲民主の悲哀と限界 [蚤の市★]
- 維新の会が予算再修正案に同意へ、政策実現を重視 [蚤の市★]
- 【JA全農】「備蓄米」明記しないよう販売要請へ 取り合いになる可能性懸念 “スポット価格”は依然高止まりか ★2 [牛乳トースト★]
- 【高知】放課後はキャバクラ嬢、小学校の新人教諭を停職処分 「いざ給与をもらうと物足りず」 [牛乳トースト★]
- 【実況】博衣こよりのえちえち朝こよ🧪
- 【悲報】トランプ政権、クリミアをロシア領と認めることを検討 [733893279]
- ネットミームのつまらなさは異常※安倍晋三のぞく [652734855]
- 財務省解体しろ！👈ギリわかる でも政権交代はしないで！👈え？ [931948549]
- 【朗報】ホロライブ、大阪万博の大トリへ♥
- 【画像】朝7時からうどん屋でガッツリ食べるJK4人組を見ると元気が貰えるぞ👴✨ [632966346]