n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3とおく。x,yは有理数。
x^3=3y^2+3y+1…(1)と変形する。
(1)が成立する可能性があるのは、x,yの分母が1のときのみである。
(1)を{(x^3-1)/3}^(1/2)={y(y+1)}^(1/2)…(2)と変形する。
(2)の右辺はyの増加につれて、y+0.5に近づく。
(2)の左辺はxの増加につれて、y+0.5に近づかない。
∴n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。
初等数学によるフェルマーの最終定理の証明
■ このスレッドは過去ログ倉庫に格納されています
1日高
2023/01/28(土) 19:36:01.97ID:cewLr2LS433132人目の素数さん
2023/02/22(水) 11:38:31.31ID:0APDfECi >>432
t=1, y>0の場合は?
t=1, y>0の場合は?
434日高
2023/02/22(水) 11:39:50.50ID:9pyS4aLJ 再訂正
>420
(x^3-t^3)/3=ay(y+1)/aが
t=4のとき、整数解を持つ理由は、Bの違いです。(t=1と比較して)
(x^3-t^3)=(x-t)(x^2+tx+t^2)となるからです。
t=4の場合は、xの増加につれて|B-D|は減少から増加に転じます。(aによって)
t=1の場合は、(x^3-1^3)=(x-1)(x^2+x+1)となります。
xの増加につれて|B-D|も増加します。(aにかかわらず)
>420
(x^3-t^3)/3=ay(y+1)/aが
t=4のとき、整数解を持つ理由は、Bの違いです。(t=1と比較して)
(x^3-t^3)=(x-t)(x^2+tx+t^2)となるからです。
t=4の場合は、xの増加につれて|B-D|は減少から増加に転じます。(aによって)
t=1の場合は、(x^3-1^3)=(x-1)(x^2+x+1)となります。
xの増加につれて|B-D|も増加します。(aにかかわらず)
435132人目の素数さん
2023/02/22(水) 12:28:38.78ID:P7/kj/w9 >>431
(x-t)=A,(x^2+tx+t^2)/3=B,ay=C,(y+1)/a=D
A=Cのときx-t=ay (a>0) とするとy=(x-t)/a 従って D=(y+1)/a={x+(a-t)}/(a^2)
よって
B-D=(x^2+tx+t^2)/3-(y+1)/a=(x^2+tx+t^2)/3-{x+(a-t)}/(a^2) (=f(x)とおく)
f'(x)=(2x+t)/3-1/(a^2)
>(x^3-t^3)/3=ay(y+1)/aが
>t=4のとき、整数解を持つ理由は、Bの違いです。(t=1と比較して)
>(x^3-t^3)=(x-t)(x^2+tx+x^2)となるからです。
>t=4の場合は、xの増加につれて|B-D|は減少します。(aによって)
>t=1の場合は、(x^3-1^3)=(x-1)(x^2+x+1)となります。
>xの増加につれて|B-D|も増加します。(aにかかわらず)
f'(x)=(2x+t)/3-1/(a^2)
日高さん、この式の意味がわかりますか?
苦し紛れに大嘘をついてはいけません。
(x-t)=A,(x^2+tx+t^2)/3=B,ay=C,(y+1)/a=D
A=Cのときx-t=ay (a>0) とするとy=(x-t)/a 従って D=(y+1)/a={x+(a-t)}/(a^2)
よって
B-D=(x^2+tx+t^2)/3-(y+1)/a=(x^2+tx+t^2)/3-{x+(a-t)}/(a^2) (=f(x)とおく)
f'(x)=(2x+t)/3-1/(a^2)
>(x^3-t^3)/3=ay(y+1)/aが
>t=4のとき、整数解を持つ理由は、Bの違いです。(t=1と比較して)
>(x^3-t^3)=(x-t)(x^2+tx+x^2)となるからです。
>t=4の場合は、xの増加につれて|B-D|は減少します。(aによって)
>t=1の場合は、(x^3-1^3)=(x-1)(x^2+x+1)となります。
>xの増加につれて|B-D|も増加します。(aにかかわらず)
f'(x)=(2x+t)/3-1/(a^2)
日高さん、この式の意味がわかりますか?
苦し紛れに大嘘をついてはいけません。
436日高
2023/02/22(水) 12:42:33.18ID:9pyS4aLJ >t=1, y>0の場合は?
a=1のとき、
x=2,y=1,B-D=0.333
x=3,y=2,B-D=1.333
(x-1)=ayのとき、xの増加につれて|B-D|も増加します。
yの増加につれて|B-D|も増加します。
a=1のとき、
x=2,y=1,B-D=0.333
x=3,y=2,B-D=1.333
(x-1)=ayのとき、xの増加につれて|B-D|も増加します。
yの増加につれて|B-D|も増加します。
437日高
2023/02/22(水) 12:47:51.18ID:9pyS4aLJ >f'(x)=(2x+t)/3-1/(a^2)
日高さん、この式の意味がわかりますか?
わかりません。教えてください。
日高さん、この式の意味がわかりますか?
わかりません。教えてください。
438132人目の素数さん
2023/02/22(水) 13:08:59.95ID:P7/kj/w9 >>434
導関数ってご存じないんですか?
導関数が何を示すかぐらい教えを請うようなことではないと思うんですが。
私にはf'(x)=(2x+t)/3-1/(a^2)という式は
t=1のときaの値によらずに増加するというのは大嘘である、B-Dはt=1のときでも減少することはあり得るし、t>1ならばその値が大きい方が増加に転じるのはより早い。
ということを示しているように読めます。
どう思われます?
f'(x)の計算を間違っているかもしれないので、日高さんも計算してみてください。
導関数ってご存じないんですか?
導関数が何を示すかぐらい教えを請うようなことではないと思うんですが。
私にはf'(x)=(2x+t)/3-1/(a^2)という式は
t=1のときaの値によらずに増加するというのは大嘘である、B-Dはt=1のときでも減少することはあり得るし、t>1ならばその値が大きい方が増加に転じるのはより早い。
ということを示しているように読めます。
どう思われます?
f'(x)の計算を間違っているかもしれないので、日高さんも計算してみてください。
439日高
2023/02/22(水) 13:49:55.88ID:9pyS4aLJ >438
f'(x)=(2x+t)/3-1/(a^2)という式の
f'(x)はB-Dのグラフの勾配でしょうか?
f'(x)=(2x+t)/3-1/(a^2)という式の
f'(x)はB-Dのグラフの勾配でしょうか?
440132人目の素数さん
2023/02/22(水) 14:03:26.84ID:P7/kj/w9 いずれにせよ、aの値でB-Dがどうこうとかはどうでもいいことです。
何度も指摘しますが、aを設定してしまうところで根本的なところが間違っています。
>(3)を(x-1)=A,(x^2+x+1)/3=B,ay=C,(y+1)/a=Dとおく。
このときのx,yってそもそもなんですか?
x-1=yとなる有理数としては存在しえない解x,yでしょう。
そもそもこの場合、あり得ない解x,y,つまり現実にはAB=CDをみたさない存在しないx,yを想定しているんだからその解xをa倍してyを1/a倍して(さらにそれを掛け合わせても)、現実には存在し得ない解になるのは当たり前です。
前にも指摘しましたが、あなたは解がないことを証明しているのではありません。
絶対に解に至らない出口のない迷路を暴走して、解に至らないことを解がない、と誤魔化しているだけです。
何を言われても自分の間違いを認められないでしょう。
でもa倍して1/a倍するというアイデアは何の価値もありません。
ありていに言ってゴミです。屑です。
いつかヲーターする、気づきの日が来るといいですね。
まあ、現実にはいつまでもユーレカ、ユーレカと叫び続けているんでしょうけど。
何度も指摘しますが、aを設定してしまうところで根本的なところが間違っています。
>(3)を(x-1)=A,(x^2+x+1)/3=B,ay=C,(y+1)/a=Dとおく。
このときのx,yってそもそもなんですか?
x-1=yとなる有理数としては存在しえない解x,yでしょう。
そもそもこの場合、あり得ない解x,y,つまり現実にはAB=CDをみたさない存在しないx,yを想定しているんだからその解xをa倍してyを1/a倍して(さらにそれを掛け合わせても)、現実には存在し得ない解になるのは当たり前です。
前にも指摘しましたが、あなたは解がないことを証明しているのではありません。
絶対に解に至らない出口のない迷路を暴走して、解に至らないことを解がない、と誤魔化しているだけです。
何を言われても自分の間違いを認められないでしょう。
でもa倍して1/a倍するというアイデアは何の価値もありません。
ありていに言ってゴミです。屑です。
いつかヲーターする、気づきの日が来るといいですね。
まあ、現実にはいつまでもユーレカ、ユーレカと叫び続けているんでしょうけど。
441132人目の素数さん
2023/02/22(水) 14:05:04.10ID:P7/kj/w9 × x-1=yとなる有理数としては存在しえない解x,yでしょう。
○ x-1=yとなる正の有理数としては存在しえない解x,yでしょう。
○ x-1=yとなる正の有理数としては存在しえない解x,yでしょう。
442日高
2023/02/22(水) 14:41:20.19ID:9pyS4aLJ >何度も指摘しますが、aを設定してしまうところで根本的なところが間違っています。
aを設定する意味は、a=1ならば、y=x-1
a=2ならば、x-1=2yすなはち、y=(x-1)/2
a=1/2ならば、x-1=y/2すなはち、y=2x-2=2(x-1)
とするためです。
aを設定する意味は、a=1ならば、y=x-1
a=2ならば、x-1=2yすなはち、y=(x-1)/2
a=1/2ならば、x-1=y/2すなはち、y=2x-2=2(x-1)
とするためです。
443日高
2023/02/22(水) 14:49:42.22ID:9pyS4aLJ >このときのx,yってそもそもなんですか?
x-1=yとなる有理数としては存在しえない解x,yでしょう。
そもそもこの場合、あり得ない解x,y,つまり現実にはAB=CDをみたさない存在しないx,yを想定してい
有理数x=1,y=0は、AB=CDをみたします。
x-1=yとなる有理数としては存在しえない解x,yでしょう。
そもそもこの場合、あり得ない解x,y,つまり現実にはAB=CDをみたさない存在しないx,yを想定してい
有理数x=1,y=0は、AB=CDをみたします。
444132人目の素数さん
2023/02/22(水) 17:35:42.63ID:P7/kj/w9 >>443
○ x-1=yとなる正の有理数としては存在しえない解x,yでしょう。
x>0かつy>0の意味ですよ。もちろん。
無駄な揚げ足取りはやめましょう。
>>442
そういう作業がyを変数であることを無視することを正当化してしまっているので、そのようなaの設定は有害無益です。
xを定めた後、適当に(いいかげんにという意味ではありません。念のため) yを大きくすれば右辺は左辺より大きくなり、yを小さくすれば右辺は左辺より小さくなります。
ちょうど等しくなる値を取るときが解となります。
変数aなと不要です。
t=4のとき、あなたの方法では絶対に解に行き着きません。
それがわかっているのに失敗するとわかっている方法にこだわるのはなんといえばいいんでしょうか。
頑迷固陋?無知蒙昧?愚昧?馬k・・・?
○ x-1=yとなる正の有理数としては存在しえない解x,yでしょう。
x>0かつy>0の意味ですよ。もちろん。
無駄な揚げ足取りはやめましょう。
>>442
そういう作業がyを変数であることを無視することを正当化してしまっているので、そのようなaの設定は有害無益です。
xを定めた後、適当に(いいかげんにという意味ではありません。念のため) yを大きくすれば右辺は左辺より大きくなり、yを小さくすれば右辺は左辺より小さくなります。
ちょうど等しくなる値を取るときが解となります。
変数aなと不要です。
t=4のとき、あなたの方法では絶対に解に行き着きません。
それがわかっているのに失敗するとわかっている方法にこだわるのはなんといえばいいんでしょうか。
頑迷固陋?無知蒙昧?愚昧?馬k・・・?
445132人目の素数さん
2023/02/22(水) 18:12:21.58ID:P7/kj/w9 >有理数x=1,y=0は、AB=CDをみたします。
x=1,y=0 ならば」A=C=0 であり、A,Cに何をかけても0になります。
あなたの証明は0に何をかけても0以外の何で割っても0です、と言ってるだけなんですか?
そんなものはフェルマーの最終定理の証明でもなんでもないでしょう。
小学校の教科書に書いてあることに過ぎません。
確認のためにおたずねしますが、
>(3)を(x-1)=A,(x^2+x+1)/3=B,ay=C,(y+1)/a=Dとおく。
このときのx,yって何なんですか?
x>0、y>0、x-1=yの有理数解である、というならば、そんなx,yは存在しないんだからそのx,yを含むA,B,C,Dは存在しないのは当たり前ではないんですか?
有理数x,y(x>0,y>0)が存在しないとき、x-1=ay、(x^2+x+1)/3=(y+1)/aも等号成立以前に存在しえないという当たり前の事実が何を証明するんです?
私には何一つ証明できていないように思えますが、私の方が無知蒙昧で馬k・・・なんでしょうか?
x=1,y=0 ならば」A=C=0 であり、A,Cに何をかけても0になります。
あなたの証明は0に何をかけても0以外の何で割っても0です、と言ってるだけなんですか?
そんなものはフェルマーの最終定理の証明でもなんでもないでしょう。
小学校の教科書に書いてあることに過ぎません。
確認のためにおたずねしますが、
>(3)を(x-1)=A,(x^2+x+1)/3=B,ay=C,(y+1)/a=Dとおく。
このときのx,yって何なんですか?
x>0、y>0、x-1=yの有理数解である、というならば、そんなx,yは存在しないんだからそのx,yを含むA,B,C,Dは存在しないのは当たり前ではないんですか?
有理数x,y(x>0,y>0)が存在しないとき、x-1=ay、(x^2+x+1)/3=(y+1)/aも等号成立以前に存在しえないという当たり前の事実が何を証明するんです?
私には何一つ証明できていないように思えますが、私の方が無知蒙昧で馬k・・・なんでしょうか?
446日高
2023/02/22(水) 18:40:04.62ID:9pyS4aLJ >t=4のとき、あなたの方法では絶対に解に行き着きません。
解に行き着く方法は、二つあります。
一つは、a=1/16とする方法です。(a=1/16は後からでた結果ですが時間をかければ、でます))
もう一つは、{(x^3-t^3)/3}^(1/2)=y+0.4999....とする方法です。
(このほうが、早いです)
解に行き着く方法は、二つあります。
一つは、a=1/16とする方法です。(a=1/16は後からでた結果ですが時間をかければ、でます))
もう一つは、{(x^3-t^3)/3}^(1/2)=y+0.4999....とする方法です。
(このほうが、早いです)
447132人目の素数さん
2023/02/22(水) 18:50:11.43ID:FxXjIitY >>436
> >t=1, y>0の場合は?
>
> a=1のとき、
> x=2,y=1,B-D=0.333
> x=3,y=2,B-D=1.333
> (x-1)=ayのとき、xの増加につれて|B-D|も増加します。
> yの増加につれて|B-D|も増加します。
たとえばx=2.7, y=2, a=0.85のとき
B-D=(x^2+x+1)/3-(y+1)/a=0.134...
x=3.3, y=3, a=0.767のとき
B-D=(x^2+x+1)/3-(y+1)/a=-0.152...
> x= 2,y=1, B-D =0.333
!! x=2.7,y=2,|B-D|=0.134 (減少) !!!
> x= 3,y=2, B-D =1.333
!! x=3.3,y=3,|B-D|=0.152 (減少) !!!
> (x-1)=ayのとき、xの増加につれて|B-D|も増加します。
> yの増加につれて|B-D|も増加します。
具体例があるから間違いであることが確定
> >t=1, y>0の場合は?
>
> a=1のとき、
> x=2,y=1,B-D=0.333
> x=3,y=2,B-D=1.333
> (x-1)=ayのとき、xの増加につれて|B-D|も増加します。
> yの増加につれて|B-D|も増加します。
たとえばx=2.7, y=2, a=0.85のとき
B-D=(x^2+x+1)/3-(y+1)/a=0.134...
x=3.3, y=3, a=0.767のとき
B-D=(x^2+x+1)/3-(y+1)/a=-0.152...
> x= 2,y=1, B-D =0.333
!! x=2.7,y=2,|B-D|=0.134 (減少) !!!
> x= 3,y=2, B-D =1.333
!! x=3.3,y=3,|B-D|=0.152 (減少) !!!
> (x-1)=ayのとき、xの増加につれて|B-D|も増加します。
> yの増加につれて|B-D|も増加します。
具体例があるから間違いであることが確定
448日高
2023/02/22(水) 18:50:44.46ID:9pyS4aLJ >x>0、y>0、x-1=yの有理数解である、というならば、そんなx,yは存在しないんだからそのx,yを含むA,B,C,Dは存在しないのは当たり前ではないんです
xが有理数、yが無理数ならば、存在するので、x,yを有理数として、
両辺の差を調べています。(B-Dは同じ意味)
xの増加につれて、|B-D|が減少するならば、証明は失敗です。
xが有理数、yが無理数ならば、存在するので、x,yを有理数として、
両辺の差を調べています。(B-Dは同じ意味)
xの増加につれて、|B-D|が減少するならば、証明は失敗です。
449日高
2023/02/22(水) 19:01:57.42ID:9pyS4aLJ > x= 2,y=1, B-D =0.333
!! x=2.7,y=2,|B-D|=0.134 (減少) !!!
x=2.7の場合は、y=1.7,|B-D|=0.96333 (増加)
となります。
!! x=2.7,y=2,|B-D|=0.134 (減少) !!!
x=2.7の場合は、y=1.7,|B-D|=0.96333 (増加)
となります。
450132人目の素数さん
2023/02/22(水) 19:28:15.01ID:FxXjIitY >>449
> x=2.7の場合は、y=1.7,|B-D|=0.96333 (増加)
> となります。
> x=2.7,y=1.7,|B-D|=0.96333
x=2.7のままでyを増加させると
!! x=2.7,y= 2 ,|B-D|=0.134 (減少) !!!
> yの増加につれて|B-D|も増加します。
具体例があるから間違いであることが確定
> x=2.7の場合は、y=1.7,|B-D|=0.96333 (増加)
> となります。
> x=2.7,y=1.7,|B-D|=0.96333
x=2.7のままでyを増加させると
!! x=2.7,y= 2 ,|B-D|=0.134 (減少) !!!
> yの増加につれて|B-D|も増加します。
具体例があるから間違いであることが確定
451日高
2023/02/22(水) 19:33:28.03ID:9pyS4aLJ > yの増加につれて|B-D|も増加します。
具体例があるから間違いであることが確定
x=2.7の場合は、y=1.7となります。
具体例があるから間違いであることが確定
x=2.7の場合は、y=1.7となります。
452132人目の素数さん
2023/02/22(水) 19:43:54.87ID:FxXjIitY453132人目の素数さん
2023/02/22(水) 19:45:30.79ID:kgBLeQcb >>446
> >t=4のとき、あなたの方法では絶対に解に行き着きません。
>
> 解に行き着く方法は、二つあります。
> 一つは、a=1/16とする方法です。(a=1/16は後からでた結果ですが時間をかければ、でます))
正の有理数全体の集合は可算ですからいつかゆきつきますが、日高さんの方法では1/16は何番目の有理数ですか?
> >t=4のとき、あなたの方法では絶対に解に行き着きません。
>
> 解に行き着く方法は、二つあります。
> 一つは、a=1/16とする方法です。(a=1/16は後からでた結果ですが時間をかければ、でます))
正の有理数全体の集合は可算ですからいつかゆきつきますが、日高さんの方法では1/16は何番目の有理数ですか?
454132人目の素数さん
2023/02/22(水) 19:48:55.35ID:P7/kj/w9 >>446
a=1/16というのはどうやって行き着くんですか?
y=12096を知っていなければa=1/16という数値は出てこないでしょう。
a=1/2,1/3,1/4....と探していくくんですか?
時間をかければ出るんだったら、xにある値を代入した後、yを直接探した方がいいでしょう。
t=4のときx=760、y=12096などという大きな数値は予想していなかったのではありませんか。
このときyの値はx-tではありません。
あなたの方法というのはx-t=yと置くことではないのですか?
またt=1のときには、いつまで試し続けたら解がないという結論が出るんですか?
あるものはいつかしら試行錯誤の末に行き着くかもしれませんが、ないという証明は困難、いやこの方法では無理ですよ。
aをきめて、つぎのaに移るまでにxはどこまで計算すればいいんですか?
1000までですか?
1億まででしょうか?
>{(x^3-t^3)/3}^(1/2)=y+0.4999....
こっちも同じです。
xに値を代入して(x^3-t^3)/3の値を得たならば、そのルートなど取らずにy(y+1)を探した方がいいでしょう。
ああ、ルートは取った方がいいですね。その値を参考にy(y+1)となるyを決められますから。
結局yの値を動かして探していくことになり、そしてこの場合もx-t=yではありません。
あなたの方法ではないでしょ。
x-t=yである、という固定概念を捨てましょう。
aをかけてaで割るという意味不明な計算方法をやめましょう。
よく理解できていないy+0.4999....などという近似値計算ではなくy(y+1)を直接計算しましょう。
他人のいうことに耳を傾けましょう。
自分はフェルマーの最終定理を証明したという妄想を捨てましょう。
客観的に見てあなたのやっていることは数学ではありません。
関数の増減について微分を使うことを思いつかない、その意味を理解できないなど論外です。
謙虚にそれを認めることから出発しましょう。
a=1/16というのはどうやって行き着くんですか?
y=12096を知っていなければa=1/16という数値は出てこないでしょう。
a=1/2,1/3,1/4....と探していくくんですか?
時間をかければ出るんだったら、xにある値を代入した後、yを直接探した方がいいでしょう。
t=4のときx=760、y=12096などという大きな数値は予想していなかったのではありませんか。
このときyの値はx-tではありません。
あなたの方法というのはx-t=yと置くことではないのですか?
またt=1のときには、いつまで試し続けたら解がないという結論が出るんですか?
あるものはいつかしら試行錯誤の末に行き着くかもしれませんが、ないという証明は困難、いやこの方法では無理ですよ。
aをきめて、つぎのaに移るまでにxはどこまで計算すればいいんですか?
1000までですか?
1億まででしょうか?
>{(x^3-t^3)/3}^(1/2)=y+0.4999....
こっちも同じです。
xに値を代入して(x^3-t^3)/3の値を得たならば、そのルートなど取らずにy(y+1)を探した方がいいでしょう。
ああ、ルートは取った方がいいですね。その値を参考にy(y+1)となるyを決められますから。
結局yの値を動かして探していくことになり、そしてこの場合もx-t=yではありません。
あなたの方法ではないでしょ。
x-t=yである、という固定概念を捨てましょう。
aをかけてaで割るという意味不明な計算方法をやめましょう。
よく理解できていないy+0.4999....などという近似値計算ではなくy(y+1)を直接計算しましょう。
他人のいうことに耳を傾けましょう。
自分はフェルマーの最終定理を証明したという妄想を捨てましょう。
客観的に見てあなたのやっていることは数学ではありません。
関数の増減について微分を使うことを思いつかない、その意味を理解できないなど論外です。
謙虚にそれを認めることから出発しましょう。
455日高
2023/02/22(水) 19:57:50.71ID:9pyS4aLJ >aをきめて、つぎのaに移るまでにxはどこまで計算すればいいんですか?
1000までですか?
1億まででしょうか?
t=1の場合の増加は、aに依りません。
1000までですか?
1億まででしょうか?
t=1の場合の増加は、aに依りません。
456132人目の素数さん
2023/02/22(水) 19:58:14.43ID:kgBLeQcb だから、中学生用の参考書を拾ってきて読みなさい、って言ってるんです。
457日高
2023/02/22(水) 20:02:35.93ID:9pyS4aLJ >関数の増減について微分を使うことを思いつかない、その意味を理解できないなど論外です
f'(x)=(2x+t)/3-1/(a^2)という式の使い方を、おしえていただけないでしょうか?
f'(x)=(2x+t)/3-1/(a^2)という式の使い方を、おしえていただけないでしょうか?
458132人目の素数さん
2023/02/22(水) 20:09:33.93ID:kgBLeQcb 「微分のことは微分でせよ」ってありましたな。
459日高
2023/02/22(水) 20:12:05.78ID:9pyS4aLJ 正の有理数全体の集合は可算ですからいつかゆきつきますが、日高さんの方法では1/16は何番目の有理数ですか
aを見つける方法よりも、{(x^3-t^3)/3}^(1/2)=y+0.4999....
の方法が早いです。
xに整数を756個代入すれば、解が見つかります。
aを見つける方法よりも、{(x^3-t^3)/3}^(1/2)=y+0.4999....
の方法が早いです。
xに整数を756個代入すれば、解が見つかります。
460132人目の素数さん
2023/02/22(水) 20:13:10.54ID:kgBLeQcb >>442
> a=2ならば、x-1=2yすなはち、y=(x-1)/2
> a=1/2ならば、x-1=y/2すなはち、y=2x-2=2(x-1)
「すなわち」を「すなはち」と書いてますが、これは戦前の書き方です。
日高さんは90歳は超えている?
> a=2ならば、x-1=2yすなはち、y=(x-1)/2
> a=1/2ならば、x-1=y/2すなはち、y=2x-2=2(x-1)
「すなわち」を「すなはち」と書いてますが、これは戦前の書き方です。
日高さんは90歳は超えている?
461132人目の素数さん
2023/02/22(水) 20:15:39.10ID:kgBLeQcb462日高
2023/02/22(水) 20:19:33.47ID:9pyS4aLJ >x-1=ay, x=2.7ならay=1.7
y>0ならa=1.7/yでaの値はyによって変わるので間違い
aの値は最初に決めます。
y>0ならa=1.7/yでaの値はyによって変わるので間違い
aの値は最初に決めます。
463132人目の素数さん
2023/02/22(水) 20:22:20.62ID:kgBLeQcb > aの値は最初に決めます。
だからa=1/16は何番目? って聞いてるんだよ。
だからa=1/16は何番目? って聞いてるんだよ。
464日高
2023/02/22(水) 20:26:38.64ID:9pyS4aLJ >よほど変な数え方をしないかぎり、1/16は256番目までにははいると思うぞ。
こっちのほうが早いのでは。
正しくは756です。
この場合は、16×756=12096番目に、x=760が求まります。
こっちのほうが早いのでは。
正しくは756です。
この場合は、16×756=12096番目に、x=760が求まります。
465日高
2023/02/22(水) 20:30:09.74ID:9pyS4aLJ >だからa=1/16は何番目? って聞いてるんだよ。
a=1/16は、16番目ですが、それぞれに、756回試す必要があります。
a=1/16は、16番目ですが、それぞれに、756回試す必要があります。
466日高
2023/02/22(水) 20:31:34.42ID:9pyS4aLJ >日高さんは90歳は超えている?
いいえ。
いいえ。
467132人目の素数さん
2023/02/22(水) 20:36:02.20ID:kgBLeQcb > a=1/16は、16番目ですが、それぞれに、756回試す必要があります。
じゃあa=2/1は何番目?
じゃあa=2/1は何番目?
468132人目の素数さん
2023/02/22(水) 20:37:10.38ID:kgBLeQcb aを決めればxとyの関係が決まる。一変数の方程式になって、すぐに解の有無がわかると思うけど。
469132人目の素数さん
2023/02/22(水) 20:46:32.94ID:P7/kj/w9 >>465
a=1/2から始めるとして、a=1/2について756回試せばよいというその756というのはどこから出てくるんですか。
結局y=12096を知っているからそう言ってるだけでしょう。
そもそもあなたの方法というのはx-t=yを代入して、その場合には解はない。
だからx-t=ayのときにも解はない、という結論を導く方法だったはずです。
具体的にx-t=ayの場合を計算せずに済ませる方法でしょう。
この方法によると t=4,x=760のとき、y=x-t=760-4=756は(x^3-t^3)/3=y(y+1)の解ではない、としてx=760は素通りされてしまうのではないですか?
そうじゃないのなら基準となるxはなんですか?
結局(x^2+tx+t^2)/3=y+1=x+1-tの解であるxを基準としているのではありませんか。
このときxが有理数でないのならば、x-1=ayも有理数にならないので、a=1/16の場合でも計算せずに切り捨てられるのではありませんか?
a=1/2から始めるとして、a=1/2について756回試せばよいというその756というのはどこから出てくるんですか。
結局y=12096を知っているからそう言ってるだけでしょう。
そもそもあなたの方法というのはx-t=yを代入して、その場合には解はない。
だからx-t=ayのときにも解はない、という結論を導く方法だったはずです。
具体的にx-t=ayの場合を計算せずに済ませる方法でしょう。
この方法によると t=4,x=760のとき、y=x-t=760-4=756は(x^3-t^3)/3=y(y+1)の解ではない、としてx=760は素通りされてしまうのではないですか?
そうじゃないのなら基準となるxはなんですか?
結局(x^2+tx+t^2)/3=y+1=x+1-tの解であるxを基準としているのではありませんか。
このときxが有理数でないのならば、x-1=ayも有理数にならないので、a=1/16の場合でも計算せずに切り捨てられるのではありませんか?
470132人目の素数さん
2023/02/22(水) 20:59:38.28ID:P7/kj/w9 それにです。
整数解だけ考えても意味ないでしょう。
xは有理数ですよ。
xが0と1の間にあるときには有理数解があるのかないのか、という結論を得るには無限の計算が必要になりますがどうするんです。
それだから、具体的にx-1=ayを計算せずに済ませようとしてたんじゃないんですか?
あればいつかは解に至る、というのは実は正しいとはいえません。
整数解だってxをどれだけ大きくしていっても解に至らないから解はないとはいいきれません。
答えを知っているから計算回数を制限できるんです。
無限の試行が有限の時間で許されるなら、私は任意の円弧をコンパスと定規だけで3等分できる方法を知っているんですが、べつにそれは偉くもなんともありませんよね。
整数解だけ考えても意味ないでしょう。
xは有理数ですよ。
xが0と1の間にあるときには有理数解があるのかないのか、という結論を得るには無限の計算が必要になりますがどうするんです。
それだから、具体的にx-1=ayを計算せずに済ませようとしてたんじゃないんですか?
あればいつかは解に至る、というのは実は正しいとはいえません。
整数解だってxをどれだけ大きくしていっても解に至らないから解はないとはいいきれません。
答えを知っているから計算回数を制限できるんです。
無限の試行が有限の時間で許されるなら、私は任意の円弧をコンパスと定規だけで3等分できる方法を知っているんですが、べつにそれは偉くもなんともありませんよね。
471日高
2023/02/22(水) 21:19:22.18ID:9pyS4aLJ >無限の試行が有限の時間で許されるなら、私は任意の円弧をコンパスと定規だけで3等分できる方法を知っているんですが、べつにそれは偉くもなんともありませんよね
私の方法は、解を見つけるのではなくて、xが増加したときの、|B-D|の増減を見て
解があるかどうかを判定する方法です。
私の方法は、解を見つけるのではなくて、xが増加したときの、|B-D|の増減を見て
解があるかどうかを判定する方法です。
472132人目の素数さん
2023/02/22(水) 21:22:47.54ID:FxXjIitY >>462
> >x-1=ay, x=2.7ならay=1.7
> y>0ならa=1.7/yでaの値はyによって変わるので間違い
>
> aの値は最初に決めます。
aの値を変えれば|B-D|の値が変わるのだから
aの値を最初に決めている証明は間違い
> >x-1=ay, x=2.7ならay=1.7
> y>0ならa=1.7/yでaの値はyによって変わるので間違い
>
> aの値は最初に決めます。
aの値を変えれば|B-D|の値が変わるのだから
aの値を最初に決めている証明は間違い
473日高
2023/02/22(水) 21:23:16.64ID:9pyS4aLJ >aを決めればxとyの関係が決まる。一変数の方程式になって、すぐに解の有無がわかると思うけど
。
2元方程式にしかならないと思います。
。
2元方程式にしかならないと思います。
474日高
2023/02/22(水) 21:25:10.15ID:9pyS4aLJ >aの値を最初に決めている証明は間違い
aの値を最初に決めないと、|B-D|の増減は、わかりません。
aの値を最初に決めないと、|B-D|の増減は、わかりません。
475132人目の素数さん
2023/02/22(水) 21:37:46.17ID:KX7eQ4Kz476132人目の素数さん
2023/02/22(水) 21:46:48.38ID:P7/kj/w9477132人目の素数さん
2023/02/22(水) 22:54:48.37ID:P7/kj/w9 >>434
>t=1の場合は、(x^3-1^3)=(x-1)(x^2+x+1)となります。
>xの増加につれて|B-D|も増加します。(aにかかわらず)
x-1=ayよりy=(x-1)/a (a>0) 従って D=(y+1)/a=(x-1+a)/a^2
B-D=(x^2+x+1)/3-(x-1+a)/a^2
a=1/2のとき
B-D=(x^2-11x+7)/3 = (x-11/2)^2/3-31/4 (これであってるかな?)
これでB-Dのグラフがかけるので|B-D|のグラフもかける。
|B-D|は減少することはないのかな?
グラフを眺めてみた結論を言うと、私は日高氏は大嘘つきであると思います。
大嘘つきになってしまう原因はたぶんx-1=ayにおいてa>1の場合しか考えていないからでしょう。
>t=1の場合は、(x^3-1^3)=(x-1)(x^2+x+1)となります。
>xの増加につれて|B-D|も増加します。(aにかかわらず)
x-1=ayよりy=(x-1)/a (a>0) 従って D=(y+1)/a=(x-1+a)/a^2
B-D=(x^2+x+1)/3-(x-1+a)/a^2
a=1/2のとき
B-D=(x^2-11x+7)/3 = (x-11/2)^2/3-31/4 (これであってるかな?)
これでB-Dのグラフがかけるので|B-D|のグラフもかける。
|B-D|は減少することはないのかな?
グラフを眺めてみた結論を言うと、私は日高氏は大嘘つきであると思います。
大嘘つきになってしまう原因はたぶんx-1=ayにおいてa>1の場合しか考えていないからでしょう。
478132人目の素数さん
2023/02/23(木) 00:08:08.90ID:CJDknwZ2 >>448
>xの増加につれて、|B-D|が減少するならば、証明は失敗です。
おお、こんなことが書いてありました。
a=1/2のとき |B-D|=f(x)=|(x^2-11x+7)|/3={(x-11/2)^2/3-31/4|
このとき、
f(11/2)=|-31/4|=31/4=7.75
f(6)=|36-66+7|/3=|-23/3|=23/3=7.666....
f(7)=|49-77+7|/3=|-21/3|=21/3=7
xは増加してますが、|B-D|は減少しています。
証明は失敗ということでよろしいですか?
|
>xの増加につれて、|B-D|が減少するならば、証明は失敗です。
おお、こんなことが書いてありました。
a=1/2のとき |B-D|=f(x)=|(x^2-11x+7)|/3={(x-11/2)^2/3-31/4|
このとき、
f(11/2)=|-31/4|=31/4=7.75
f(6)=|36-66+7|/3=|-23/3|=23/3=7.666....
f(7)=|49-77+7|/3=|-21/3|=21/3=7
xは増加してますが、|B-D|は減少しています。
証明は失敗ということでよろしいですか?
|
479日高
2023/02/23(木) 05:51:21.72ID:SDZMfJjQ >t=4はあるとわかっているから、t=2、t=3 あたりの解の有無を判定してもらえませんか。
t=1、t=4ときていますから、t=7でもいいですよ。
参考にはなりますが、同値式ではないので、あまり意味はありません。
t=1、t=4ときていますから、t=7でもいいですよ。
参考にはなりますが、同値式ではないので、あまり意味はありません。
480日高
2023/02/23(木) 06:20:28.36ID:SDZMfJjQ >xは増加してますが、|B-D|は減少しています。
証明は失敗ということでよろしいですか?
a=1/2
x=2
|B-D|=|-3.666|=3.666
x=3
|B-D|=|-5.666|=5.666(増)
私の計算ですので、確認お願いします。
証明は失敗ということでよろしいですか?
a=1/2
x=2
|B-D|=|-3.666|=3.666
x=3
|B-D|=|-5.666|=5.666(増)
私の計算ですので、確認お願いします。
481日高
2023/02/23(木) 06:23:40.69ID:SDZMfJjQ n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を(x-1)(x^2+x+1)/3=ay(y+1)/a…(3)と変形する。
(3)を(x-1)=A,(x^2+x+1)/3=B,ay=C,(y+1)/a=Dとおく。
(3)はAB=CDならば、A=Cのとき、B=Dとなる。
(3)は(x-1)=ayのとき、xの増加につれて|B-D|も増加する。
よって、B=Dとなるのは、x=1,y=0のときのみである。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を(x-1)(x^2+x+1)/3=ay(y+1)/a…(3)と変形する。
(3)を(x-1)=A,(x^2+x+1)/3=B,ay=C,(y+1)/a=Dとおく。
(3)はAB=CDならば、A=Cのとき、B=Dとなる。
(3)は(x-1)=ayのとき、xの増加につれて|B-D|も増加する。
よって、B=Dとなるのは、x=1,y=0のときのみである。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
482日高
2023/02/23(木) 06:49:33.45ID:SDZMfJjQ 両辺を比較する作業をしているので、
t=2,3,4.....の場合は、右辺も変える必要があります。
t=2,3,4.....の場合は、右辺も変える必要があります。
483132人目の素数さん
2023/02/23(木) 07:15:59.37ID:RZjsO+J4484132人目の素数さん
2023/02/23(木) 07:22:28.24ID:CJDknwZ2485132人目の素数さん
2023/02/23(木) 07:30:00.30ID:um+YmJ+P x=2,|B-D|=3.666.
x=3,|B-D|=5.666.
x=4,|B-D|=7.
x=5,|B-D|=7.666.
x=6,|B-D|=7.666.
x=7,|B-D|=7.
x=8,|B-D|=5.666.
x=9,|B-D|=3.666.
x=10,|B-D|=1.
x=3,|B-D|=5.666.
x=4,|B-D|=7.
x=5,|B-D|=7.666.
x=6,|B-D|=7.666.
x=7,|B-D|=7.
x=8,|B-D|=5.666.
x=9,|B-D|=3.666.
x=10,|B-D|=1.
486132人目の素数さん
2023/02/23(木) 08:10:58.85ID:oTevVIzT >>481
> (1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
> (2)を(x-1)(x^2+x+1)/3=ay(y+1)/a…(3)と変形する。
> (3)を(x-1)=A,(x^2+x+1)/3=B,ay=C,(y+1)/a=Dとおく。
> (3)はAB=CDならば、A=Cのとき、B=Dとなる。
> (3)は(x-1)=ayのとき、xの増加につれて|B-D|も増加する。
AB=CDでA=C,B=Dとなった場合
x,yが有理数でたとえばx>2のとき
|B-D|<0.00001とか|B-D|<0.000000001になることはないということですか?
> (1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
> (2)を(x-1)(x^2+x+1)/3=ay(y+1)/a…(3)と変形する。
> (3)を(x-1)=A,(x^2+x+1)/3=B,ay=C,(y+1)/a=Dとおく。
> (3)はAB=CDならば、A=Cのとき、B=Dとなる。
> (3)は(x-1)=ayのとき、xの増加につれて|B-D|も増加する。
AB=CDでA=C,B=Dとなった場合
x,yが有理数でたとえばx>2のとき
|B-D|<0.00001とか|B-D|<0.000000001になることはないということですか?
487132人目の素数さん
2023/02/23(木) 08:18:58.72ID:Aik0Buyu488132人目の素数さん
2023/02/23(木) 09:11:17.71ID:CJDknwZ2 >>480
a=1/2のとき
B-D=(x^2-11x+7)/3 = (x-11/2)^2/3-31/4 (= g(x)とする)
g(x)は(11/2,-31/4)を頂点とする二次の係数が正の二次方程式ですから頂点が第4象限にある下に凸なグラフを描きます。
f(x)=|g(x)|={B-D|は第4象限にある部分が第1象限に折り返されることになります。
この部分は反転して上に凸になります。
なので、f(x)にxの増加につれて減少する部分があることは微分したり実際にグラフをかいてみたりxにいろいろ値を代入してみたりするまでもなく自明なことなんですよ。
aと1/aなので無意識にa>1を想定してしまったことが失敗の原因ですか?
でもね、t=4のときx=760、y=12096なんだから、t=1のときもx-1=ayとするならば、そう置くことの当否はともかくとしてa<1も考えておかないと。
a=1/2のとき
B-D=(x^2-11x+7)/3 = (x-11/2)^2/3-31/4 (= g(x)とする)
g(x)は(11/2,-31/4)を頂点とする二次の係数が正の二次方程式ですから頂点が第4象限にある下に凸なグラフを描きます。
f(x)=|g(x)|={B-D|は第4象限にある部分が第1象限に折り返されることになります。
この部分は反転して上に凸になります。
なので、f(x)にxの増加につれて減少する部分があることは微分したり実際にグラフをかいてみたりxにいろいろ値を代入してみたりするまでもなく自明なことなんですよ。
aと1/aなので無意識にa>1を想定してしまったことが失敗の原因ですか?
でもね、t=4のときx=760、y=12096なんだから、t=1のときもx-1=ayとするならば、そう置くことの当否はともかくとしてa<1も考えておかないと。
489132人目の素数さん
2023/02/23(木) 23:26:32.66ID:Q4ABdZf6 >>481
題意より、x>0,y>0,z>0である
yを有理数とする
yを1つ決めると、それに対して(w-1)(w^2+w+1)/3=y(y+1)を満たすような実数w(ちなみにw>1)が1つ必ず存在する
有理数か無理数かわからないwに対して、そのいくらでも近くに有理数xをとることができる
1つ決めたyに対してxが決まる、その1つの組x,yに対してa=(x-1)/yを満たすaを定義する、
(x-1)=ayのとき、B-Dはxの取り方によっていくらでも0に近づけることが出来る
aの定義を書いていないインチキ
aがxとyで決まる数なのを隠しているインチキ
(x-1)(x^2+x+1)/3=y(y+1),(x-1)=ayの2つの式を満たすy,x,aはyの値を1つ決めれば対応して1つ決まるのに
ばらばらに考えているインチキ
題意より、x>0,y>0,z>0である
yを有理数とする
yを1つ決めると、それに対して(w-1)(w^2+w+1)/3=y(y+1)を満たすような実数w(ちなみにw>1)が1つ必ず存在する
有理数か無理数かわからないwに対して、そのいくらでも近くに有理数xをとることができる
1つ決めたyに対してxが決まる、その1つの組x,yに対してa=(x-1)/yを満たすaを定義する、
(x-1)=ayのとき、B-Dはxの取り方によっていくらでも0に近づけることが出来る
aの定義を書いていないインチキ
aがxとyで決まる数なのを隠しているインチキ
(x-1)(x^2+x+1)/3=y(y+1),(x-1)=ayの2つの式を満たすy,x,aはyの値を1つ決めれば対応して1つ決まるのに
ばらばらに考えているインチキ
490132人目の素数さん
2023/02/25(土) 12:18:38.60ID:moNqrtGi 【仮定】
n=3のとき、
X^n+Y^n=Z^nは自然数解を持たない
ならば、
2(X^3)=Z^3でも自然数解を持たない
Y=1 ならば、
2(X^3)+1=Z^3でも自然数解を持たない
n=3のとき、
X^n+Y^n=Z^nは自然数解を持たない
ならば、
2(X^3)=Z^3でも自然数解を持たない
Y=1 ならば、
2(X^3)+1=Z^3でも自然数解を持たない
491132人目の素数さん
2023/02/25(土) 12:27:33.84ID:moNqrtGi 【仮定】
立方数を2つの立方数の和に
分けることはできない
↓
立法数からそれよりも小さい立法数を
引いた数は、立方数ではない
立方数を2つの立方数の和に
分けることはできない
↓
立法数からそれよりも小さい立法数を
引いた数は、立方数ではない
492132人目の素数さん
2023/02/25(土) 20:54:26.12ID:OefUgrhb もともとはx,y,zの自然数三つ。
それをx,y二つの有理数にするのは勝手。
x-1=ayとおいてxまたはyとaの有理数二つにするのも勝手。
でも有理数二つは分母分子で自然数四つだから、日高の変形は何ら証明に貢献していない。
それをx,y二つの有理数にするのは勝手。
x-1=ayとおいてxまたはyとaの有理数二つにするのも勝手。
でも有理数二つは分母分子で自然数四つだから、日高の変形は何ら証明に貢献していない。
493132人目の素数さん
2023/02/26(日) 10:05:59.10ID:f+Cjd/Ir n | n^3
1 | 1
2 | 8
3 | 27
4 | 64
5 | 125
6 | 216
7 | 343
8 | 512
9 | 729
10 | 1000
729-512=217 は興味深い
1 | 1
2 | 8
3 | 27
4 | 64
5 | 125
6 | 216
7 | 343
8 | 512
9 | 729
10 | 1000
729-512=217 は興味深い
494132人目の素数さん
2023/02/26(日) 13:18:07.15ID:f+Cjd/Ir n^3から直前の(n-1)^3を引いた数に
立法数はない
n | n^3-(n-1)^3
1 | 1
2 | 7
3 | 19
4 | 37
5 | 61
6 | 91
7 | 127
8 | 169
9 | 217
10 | 271
立法数はない
n | n^3-(n-1)^3
1 | 1
2 | 7
3 | 19
4 | 37
5 | 61
6 | 91
7 | 127
8 | 169
9 | 217
10 | 271
495132人目の素数さん
2023/02/26(日) 14:20:48.19ID:f+Cjd/Ir n^6+n^8+1=n^9
496132人目の素数さん
2023/02/27(月) 10:37:22.89ID:PUdhp/vt 【仮定】
立方数を2つの立方数の和に
分けることはできない
↓
2つの立法数を3つの立法数に
分ける事はできない
立方数を2つの立方数の和に
分けることはできない
↓
2つの立法数を3つの立法数に
分ける事はできない
497132人目の素数さん
2023/02/27(月) 20:31:26.87ID:HTgKJgr5 このスレの雰囲気、変わってきたけど、もしかして、アクセス制限で書き込めない人続出?
498132人目の素数さん
2023/02/27(月) 21:26:48.03ID:HTgKJgr5 「初等代数学によるフェルマーの最終定理の証明」ってYouTubeにあがっているぞ。
499132人目の素数さん
2023/02/28(火) 11:41:58.15ID:2kib3c5O 立方数(cubic number)
自然数の最小の立方数は1
1, 8, 27, 64, 125, 216, 343, 512, 729, 1000,
1331, 1728, 2197, 2744, 3375, 4096, 4913,
5832, 6859, 8000,9261,10648,12167,
13824,15625 …
1からn番目までの立方数の和が、
1からnまでの自然数の和 (三角数) の
2乗に等しい
1, 9, 36, 100, 225, 441, 784, 1296, 2025,
3025,…
自然数の最小の立方数は1
1, 8, 27, 64, 125, 216, 343, 512, 729, 1000,
1331, 1728, 2197, 2744, 3375, 4096, 4913,
5832, 6859, 8000,9261,10648,12167,
13824,15625 …
1からn番目までの立方数の和が、
1からnまでの自然数の和 (三角数) の
2乗に等しい
1, 9, 36, 100, 225, 441, 784, 1296, 2025,
3025,…
500132人目の素数さん
2023/02/28(火) 11:49:19.68ID:2kib3c5O 2つの大きなルービックキューブを
3つの中くらいのキューブに
分ける事はできない
3つの中くらいのキューブに
分ける事はできない
501132人目の素数さん
2023/02/28(火) 20:54:34.14ID:oRvF1+io 日高さんよ。
もしもアクセス制限にひっかかっているなら、
自分のブログに書いてくれ。
見に行くから。
もしもアクセス制限にひっかかっているなら、
自分のブログに書いてくれ。
見に行くから。
502132人目の素数さん
2023/03/02(木) 07:35:44.98ID:VrkpXNWd フェルマーの予想は整数に関する算術と数学的帰納法だけでは
証明不可能な命題であるのかもしれないな。
フェルマーの予想よりももっとずっと簡単でほぼ解決が自明な問題だが、
「整数の算術と数学的機能法だけでは解決しない命題」の例があればいいのにね。
そういうのがあったら、初等的解決は不可能じゃないかという納得感が
とても増す気がする。
証明不可能な命題であるのかもしれないな。
フェルマーの予想よりももっとずっと簡単でほぼ解決が自明な問題だが、
「整数の算術と数学的機能法だけでは解決しない命題」の例があればいいのにね。
そういうのがあったら、初等的解決は不可能じゃないかという納得感が
とても増す気がする。
503日高
2023/03/02(木) 17:25:35.41ID:FivOHFD1 >なので、f(x)にxの増加につれて減少する部分があることは微分したり実際にグラフをかいてみたりxにいろいろ値を代入してみたりするまでもなく自明なことなんですよ
その通りでした。勘違いでした。
その通りでした。勘違いでした。
504日高
2023/03/03(金) 10:41:54.51ID:iXTDc+st n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を(x-1)(x^2+x+1)=3(y^2+y)…(3)と変形する。
(3)は(x-1)=3のとき、(4^2+4+1)=(y^2+y)となるが、成立しない。
よって、(x-1)(x^2+x+1)=a3(y^2+y)/aも成立しない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を(x-1)(x^2+x+1)=3(y^2+y)…(3)と変形する。
(3)は(x-1)=3のとき、(4^2+4+1)=(y^2+y)となるが、成立しない。
よって、(x-1)(x^2+x+1)=a3(y^2+y)/aも成立しない。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
505日高
2023/03/03(金) 10:52:31.97ID:iXTDc+st n=2のとき、X^n+Y^n=Z^nは自然数解を持つ。
X^2+Y^2=Z^2を、X^2+Y^2=(Y+m)^2…(1)とおく。
(1)をx^2+y^2=(y+1)^2…(2)とおく。x,yは有理数。
(2)を(x-1)(x+1)=2y…(3)と変形する。
(3)は(x-1)=2のとき、(3+1)=yとなり、成立する。
よって、(x-1)(x+1)=a2y/aも成立する。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を持つ。
X^2+Y^2=Z^2を、X^2+Y^2=(Y+m)^2…(1)とおく。
(1)をx^2+y^2=(y+1)^2…(2)とおく。x,yは有理数。
(2)を(x-1)(x+1)=2y…(3)と変形する。
(3)は(x-1)=2のとき、(3+1)=yとなり、成立する。
よって、(x-1)(x+1)=a2y/aも成立する。
∴n=2のとき、X^n+Y^n=Z^nは自然数解を持つ。
506132人目の素数さん
2023/03/03(金) 10:55:10.33ID:pGWxN81o >>504
> (2)を(x-1)(x^2+x+1)=3(y^2+y)…(3)と変形する。
> (3)は(x-1)=3のとき、(4^2+4+1)=(y^2+y)となるが、成立しない。
> よって、(x-1)(x^2+x+1)=a3(y^2+y)/aも成立しない。
> ∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
間違い
> (2)を(x-1)(x^2+x+1)=3(y^2+y)…(3)と変形する。
> (3)は(x-1)=3のとき、(4^2+4+1)=(y^2+y)となるが、成立しない。
> よって、(x-1)(x^2+x+1)=a3(y^2+y)/aも成立しない。
> ∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
間違い
507132人目の素数さん
2023/03/03(金) 11:09:49.01ID:WlqisaFl508132人目の素数さん
2023/03/03(金) 11:27:58.61ID:0puH1Usm >>504
xy=9が整数解を持つかどうかを調べる
xy=9 において 2*n=9 は成立しない(nは自然数)。
よって (a*2)*(n/a)=9 も成立しない。
∴xy=9 には自然数解はない。
あなたには伝わらないと思いますが、上の証明と称するものでやっていることは上と同じ誤りを犯しています。
たった一つの解の候補x=4の場合のみを調べて、x=4の解がないからxがどんな値を取っても解はないという結論を得ることはできません。
xy=9が整数解を持つかどうかを調べる
xy=9 において 2*n=9 は成立しない(nは自然数)。
よって (a*2)*(n/a)=9 も成立しない。
∴xy=9 には自然数解はない。
あなたには伝わらないと思いますが、上の証明と称するものでやっていることは上と同じ誤りを犯しています。
たった一つの解の候補x=4の場合のみを調べて、x=4の解がないからxがどんな値を取っても解はないという結論を得ることはできません。
509132人目の素数さん
2023/03/03(金) 11:33:11.33ID:0puH1Usm さらにいえば、あなたは都合の悪いことはもうお忘れになったかもしれませんが、その論理では
(x-t)(x^2+tx+t^2)=y(y+1)
の場合はt=4の場合でも解がないという結論に至るはずです。
現に>346であなたはそう誤った結論に至っています。
t=1の場合にはその証明の論理が通用するのに、t=4の場合にはなぜ通用しないのかを説明しない限り、その論理はt=1の場合の結論を証明できる論理たり得ません。
(x-t)(x^2+tx+t^2)=y(y+1)
の場合はt=4の場合でも解がないという結論に至るはずです。
現に>346であなたはそう誤った結論に至っています。
t=1の場合にはその証明の論理が通用するのに、t=4の場合にはなぜ通用しないのかを説明しない限り、その論理はt=1の場合の結論を証明できる論理たり得ません。
510132人目の素数さん
2023/03/03(金) 11:48:46.20ID:0puH1Usm t=1の場合が通用するように読めてしまうので少し訂正。
t=4の場合にはその証明の論理が通用しないのに、t=1の場合にはなぜ通用するのか(通用させてよいのか)を説明しない限り、その論理はt=1の場合の結論を証明できる論理たり得ません。
t=4の場合にはその証明の論理が通用しないのに、t=1の場合にはなぜ通用するのか(通用させてよいのか)を説明しない限り、その論理はt=1の場合の結論を証明できる論理たり得ません。
511日高
2023/03/03(金) 11:51:55.21ID:iXTDc+st >508
xy=9 において 2*n=9 は成立しない(nは自然数)。
この場合、 2*n=9の左辺の2は、なぜ、2なのでしょうか?
xy=9 において 2*n=9 は成立しない(nは自然数)。
この場合、 2*n=9の左辺の2は、なぜ、2なのでしょうか?
512132人目の素数さん
2023/03/03(金) 13:09:21.56ID:aMcvbGyi 6^3+8^3+1=9^3
この+1 を式の変形で消去できれば
この+1 を式の変形で消去できれば
513132人目の素数さん
2023/03/03(金) 14:11:56.28ID:0puH1Usm514132人目の素数さん
2023/03/03(金) 15:49:51.73ID:i001hkX+ 8(6^3+8^3)+2^3 =8(9^3)
515132人目の素数さん
2023/03/03(金) 15:53:35.43ID:i001hkX+ (2^3)(6^3+8^3)+2^3 =(2^3)(9^3)
516132人目の素数さん
2023/03/03(金) 16:21:04.53ID:i001hkX+ (6^3+8^3)+1=(9^3)
2(6^3+8^3)+2=2(9^3)
2(6^3+8^3)+1=2(9^3)-1
n>0 のとき、
2(6^3+8^3)+(-1)^(2n)=2(9^3)-(-1)^(2n)
2(6^3+8^3)+2=2(9^3)
2(6^3+8^3)+1=2(9^3)-1
n>0 のとき、
2(6^3+8^3)+(-1)^(2n)=2(9^3)-(-1)^(2n)
517132人目の素数さん
2023/03/03(金) 16:51:17.14ID:i001hkX+ 2を加えて立方数となる
平方数は25のみである
平方数は25のみである
518132人目の素数さん
2023/03/04(土) 14:51:07.76ID:/92PbEhx n^3から直前の(n-1)^3を引いた数
n^3-(n-1)^3=3n^2-3n+1
この3n^2-3n+1をΣでくくって
Σ{3n^2-3n+1,{n,a,b,(a≦b,a≧1)}}
nの範囲をaからbまで
任意の範囲で変化させて
総和を求めても、
立方数にならない事を
数学的に証明できれば良い
n^3-(n-1)^3=3n^2-3n+1
この3n^2-3n+1をΣでくくって
Σ{3n^2-3n+1,{n,a,b,(a≦b,a≧1)}}
nの範囲をaからbまで
任意の範囲で変化させて
総和を求めても、
立方数にならない事を
数学的に証明できれば良い
519日高
2023/03/04(土) 15:03:50.17ID:ZjC3e+fw >509
(x-t)(x^2+tx+t^2)=a3y(y+1)/a
t=1, a=0, x=1, y=0
t=2, a=14, x=44, y=168
t=3, a=78, x=237, y=2106
t=4, a=252, x=760, y=12096
t=5, a=620, x=1865, y=46500
a=t(t^3-1)
よって、t=1の場合の有理数解は、x=1, y=0のみとなります。
(x-t)(x^2+tx+t^2)=a3y(y+1)/a
t=1, a=0, x=1, y=0
t=2, a=14, x=44, y=168
t=3, a=78, x=237, y=2106
t=4, a=252, x=760, y=12096
t=5, a=620, x=1865, y=46500
a=t(t^3-1)
よって、t=1の場合の有理数解は、x=1, y=0のみとなります。
520日高
2023/03/04(土) 15:27:50.45ID:ZjC3e+fw n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を(x-1)(x^2+x+1)=a3(y^2+y)/a…(3)と変形する。
(3)はa=t(t^3-1),(x-t)(x^2+tx+t^2)=a3(y^2+y)/aのとき、成立する。
(3)はt=1なので、a=0となり、有理数解は、x=1, y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、X^3+Y^3=(Y+m)^3…(1)とおく。
(1)をx^3+y^3=(y+1)^3…(2)とおく。x,yは有理数。
(2)を(x-1)(x^2+x+1)=a3(y^2+y)/a…(3)と変形する。
(3)はa=t(t^3-1),(x-t)(x^2+tx+t^2)=a3(y^2+y)/aのとき、成立する。
(3)はt=1なので、a=0となり、有理数解は、x=1, y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
521132人目の素数さん
2023/03/04(土) 15:51:56.29ID:UqWSE5Nt522日高
2023/03/04(土) 17:27:54.29ID:ZjC3e+fw >ゼロで割り算はできない
そうですね。
0/0=1でしょうか?
そうですね。
0/0=1でしょうか?
523132人目の素数さん
2023/03/04(土) 17:39:54.50ID:uyb66uuc524日高
2023/03/04(土) 17:52:54.20ID:ZjC3e+fw >出来ないの意味すら分かってないwww
出来ない理由をおしえていただけないでしょうか?
出来ない理由をおしえていただけないでしょうか?
525132人目の素数さん
2023/03/04(土) 18:12:45.52ID:uyb66uuc >>524
中卒程度の数学すら分からないやつに説明するだけ無駄www
中卒程度の数学すら分からないやつに説明するだけ無駄www
526日高
2023/03/04(土) 18:15:31.46ID:ZjC3e+fw >中卒程度の数学すら分からないやつに説明するだけ無駄www
残念です。理由が知りたかったのですが。
残念です。理由が知りたかったのですが。
527132人目の素数さん
2023/03/04(土) 18:50:34.48ID:8rM5RGJD >>520
>(2)を(x-1)(x^2+x+1)=a3(y^2+y)/a…(3)と変形する。
>(3)はa=t(t^3-1),(x-t)(x^2+tx+t^2)=a3(y^2+y)/aのとき、成立する。
(x-t)(x^2+tx+t^2)=3(y^2+y) が成立しているのならば、
(x-t)(x^2+tx+t^2)=a3(y^2+y)/a は
a=0でない限りどんな実数値をとっても成立するので、aをa=t(t^3-1)に限定するのは誤り。
というかa=0を強引に導くためにもっともらしくでっち上げられたでたらめ。
でたらめじゃありません、というならば、どこから a=t(t^3-1) がみちびかれ、なぜそう置かなければならないのか説明しましょう。
>(2)を(x-1)(x^2+x+1)=a3(y^2+y)/a…(3)と変形する。
>(3)はa=t(t^3-1),(x-t)(x^2+tx+t^2)=a3(y^2+y)/aのとき、成立する。
(x-t)(x^2+tx+t^2)=3(y^2+y) が成立しているのならば、
(x-t)(x^2+tx+t^2)=a3(y^2+y)/a は
a=0でない限りどんな実数値をとっても成立するので、aをa=t(t^3-1)に限定するのは誤り。
というかa=0を強引に導くためにもっともらしくでっち上げられたでたらめ。
でたらめじゃありません、というならば、どこから a=t(t^3-1) がみちびかれ、なぜそう置かなければならないのか説明しましょう。
528132人目の素数さん
2023/03/04(土) 18:58:08.29ID:NNqfWM3k >>526
間違いばかり書いて反省せずに荒らし続ける嘘つき老人が何様のつもりだよ
間違いばかり書いて反省せずに荒らし続ける嘘つき老人が何様のつもりだよ
529132人目の素数さん
2023/03/04(土) 19:02:07.17ID:0QV96cbg530日高
2023/03/04(土) 19:09:36.76ID:ZjC3e+fw >でたらめじゃありません、というならば、どこから a=t(t^3-1) がみちびかれ、なぜそう置かなければならないのか説明しましょう
感です。でも、a=t(t^3-1)によって、x,yは整数になることは、間違いありません。
>a=0でない限りどんな実数値をとっても成立するので、
aが有理数の場合は、成立しません。
感です。でも、a=t(t^3-1)によって、x,yは整数になることは、間違いありません。
>a=0でない限りどんな実数値をとっても成立するので、
aが有理数の場合は、成立しません。
531132人目の素数さん
2023/03/04(土) 19:09:49.10ID:8rM5RGJD あなたのaをかけてaでわるというのは、aが変化しうることを前提にした考え方ではないのですか?
a=t(t^3-1)なんてどこから導かれるんですか?
a=t(t^3-1)というのは、t=1ならばa=0になるのは当たり前ですから、あなたがやっているのは最初からa=0に固定して、方程式に0をかけているのと同じです。
a=0をかければ、y(y+1)に限らずあらゆる多項式はその積が0になります、
こんな論理が通用するのならば、すべての方程式から解が消滅してしまいます。
解がある方程式でもa=t(t^3-1)かつt=1ならば解が消滅する結果になる。
それをおかしいとは思いませんか?
どんどん証明と称するものがでたらめになっていってますが、大丈夫ですか?
お薬増やしてくださいと頼んだ方がいいのではありませんか?
他人事ながら心配になります。
a=t(t^3-1)なんてどこから導かれるんですか?
a=t(t^3-1)というのは、t=1ならばa=0になるのは当たり前ですから、あなたがやっているのは最初からa=0に固定して、方程式に0をかけているのと同じです。
a=0をかければ、y(y+1)に限らずあらゆる多項式はその積が0になります、
こんな論理が通用するのならば、すべての方程式から解が消滅してしまいます。
解がある方程式でもa=t(t^3-1)かつt=1ならば解が消滅する結果になる。
それをおかしいとは思いませんか?
どんどん証明と称するものがでたらめになっていってますが、大丈夫ですか?
お薬増やしてくださいと頼んだ方がいいのではありませんか?
他人事ながら心配になります。
532日高
2023/03/04(土) 19:15:09.49ID:ZjC3e+fw >たとえば前の証明の(x-1)=3だと「実数解が無限個ある」と「それらが全ての実数解である」
ことが示されていない
(x-1)=3だと、x=4なので、yは無理数となります。
ことが示されていない
(x-1)=3だと、x=4なので、yは無理数となります。
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- マイクロソフト、「365」世界で大規模障害 メール送れずビジネスに影響 ★2 [蚤の市★]
- 高市首相のフィリピン、中国訪問を発表 [少考さん★]
- JALニューヨーク線60周年、日本人客は4割に 外務省幹部「内向き志向」に危機感 [首都圏の虎★]
- 【MLB】大谷翔平、4年連続のMVPならず… 無念の思いを告白「悔しいシーズン」 PCAが初受賞 大谷は投票2位 [冬月記者★]
- 大谷翔平 MVP発表中継に出演せず [首都圏の虎★]
- 米国防長官 大声で注意した衛兵に勲章授与 自身と側近らが「無名戦士の墓」で談笑 [七波羅探題★]
- ヘグセス国防長官がアーリントンで叱責された兵士に勲章を授与「愛国者よ良くやった。その調子でやってくれ」 [633746646]
- これからカレーの具材買いに行くわ
- 【高市悲報】自動運転、一件でも事故が起きたら即リコールへ [709039863]
- ワイ氏、iPhoneから格安Androidに変えた結果後悔してしまう
- 【急募】元NVIDIAのジェンスン(革ジャン)を日本に招いて国内で働いてもらう方法 [882118878]
- 【悲報】高市首相、徒歩1分の移動も困難なご様子 [431136663]