初等数学によるフェルマーの最終定理の証明

日高 · 2023/01/28(土) 19:36:01.97

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以外の整数解を持たない。

日高 · 2023/01/28(土) 19:37:45.83

x^3+y^3=(y+1)^3
x^3=3y^2+3y+1
y=-3+√{3^2-4*3(1-x^3)}/6
yが有理数になるには、{3^2-4*3(1-x^3)}=t^2。tは有理数。
x=b/aとおく。
-3+12*(b/a)^3=t^2
(b^3)/(a^3)=(t^2+3)/12
b^3=(a^3)(t^2+3)/12
b={a*(t^2+3)^(1/3)}/12^(1/3)
12^(1/3)が無理数なので、b,xは無理数。

**１３２人目の素数さん** · 2023/01/28(土) 20:14:10.73

>>2
> b={a*(t^2+3)^(1/3)}/12^(1/3)

簡単に分かる例として

t=3のときbは有理数 (t^2+3=3^2+3=12より)

t=k/12のときt^2=k^2/(12*12)であるから
> 12^(1/3)が無理数なので
は使えない

日高 · 2023/01/28(土) 20:23:03.10

＞t=3のときbは有理数 (t^2+3=3^2+3=12より)

t=k/12のときt^2=k^2/(12*12)であるから
> 12^(1/3)が無理数なので
は使えない

その場合は、a/b=x=1となります。

**１３２人目の素数さん** · 2023/01/28(土) 20:52:39.08

>>1
最初の式変形からおかしい
z=y+1なの？

日高 · 2023/01/28(土) 21:33:25.64

＞最初の式変形からおかしい
z=y+1なの？

この場合
x,yは、有理数です。

誘導 · 2023/01/28(土) 21:34:13.91

フェルマーの最終定理の簡単な証明11
https://rio2016.5ch.net/test/read.cgi/math/1623532956/l50

**１３２人目の素数さん** · 2023/01/28(土) 22:01:05.23

>>6
答えになってない
x, y, zの3変数の方程式からどうしてzが除去できるの?

**１３２人目の素数さん** · 2023/01/28(土) 22:44:34.22

＞答えになってない
x, y, zの3変数の方程式からどうしてzが除去できるの?

x^3+y^3=(y+m)^3とできるからです。

日高 · 2023/01/29(日) 10:37:05.99

x^2+y^2=(y+2)^2の解(x,y,z)=(8,15,17)と、
x^2+y^2=(y+1)^2の解(x,y,z)=(4,15/2,17/2)は、同じ比です。

日高 · 2023/01/29(日) 10:49:47.24

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-1)/3}^(1/2)={y(y+1)}^(1/2)と変形する。
x,yが有理数で成り立つならば、整数でも成り立つので、整数で検討する。
右辺はyの増加につれて、y+0.5に近づく。
左辺はxの増加につれて、y+0.5に近づかない。
∴n=3のとき、x^n+y^n=z^nは0以外の整数解を持たない。

日高 · 2023/01/29(日) 10:50:26.95

x^3+y^3=(y+1)^3
x^3=3y^2+3y+1
y=-3+√{3^2-4*3(1-x^3)}/6
yが有理数になるには、{3^2-4*3(1-x^3)}=t^2。tは有理数。
x=b/aとおく。
-3+12*(b/a)^3=t^2
(b^3)/(a^3)=(t^2+3)/12
b^3=(a^3)(t^2+3)/12
b={a*(t^2+3)^(1/3)}/12^(1/3)
12^(1/3)が無理数なので、b,xは無理数。

日高 · 2023/01/29(日) 10:54:05.90

xが整数の場合は、
a=1とする。
x=b/aとおく。
-3+12*(b/a)^3=t^2
(b^3)/(a^3)=(t^2+3)/12
b^3=(a^3)(t^2+3)/12
b={a*(t^2+3)^(1/3)}/12^(1/3)
12^(1/3)が無理数なので、b,xは無理数。

日高 · 2023/01/29(日) 11:01:59.54

n=4のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^4+y^4=z^4を、x^4+y^4=(y+1)^4とおく。x,yは有理数。
{(x^4-1)/4}^(1/3)=(y^3+1.5y^2+y)^(1/3)と変形する。
x,yが有理数で成り立つならば、整数でも成り立つので、整数で検討する。
右辺はyの増加につれて、y+0.5に近づく。
左辺はxの増加につれて、y+0.5に近づかない。
∴n=4のとき、x^n+y^n=z^nは0以外の整数解を持たない。

日高 · 2023/01/29(日) 11:04:41.19

n=5のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^5+y^5=z^5を、x^5+y^5=(y+1)^5とおく。x,yは有理数。
{(x^5-1)/5}^(1/4)=(y^4+2y^3+2y^2+y)^(1/4)と変形する。
x,yが有理数で成り立つならば、整数でも成り立つので、整数で検討する。
右辺はyの増加につれて、y+0.5に近づく。
左辺はxの増加につれて、y+0.5に近づかない。
∴n=5のとき、x^n+y^n=z^nは0以外の整数解を持たない。

日高 · 2023/01/29(日) 11:07:43.73

n=7のとき、x^n+y^n=z^nは0以外の整数解を持たない。
x^7+y^7=z^7を、x^7+y^7=(y+1)^7とおく。x,yは有理数。
{(x^7-1)/7}^(1/6)=(y^6+3y^5+5y^4+5y^3+3y^2+y)^(1/6)と変形する。
x,yが有理数で成り立つならば、整数でも成り立つので、整数で検討する。
右辺はyの増加につれて、y+0.5に近づく。
左辺はxの増加につれて、y+0.5に近づかない。
∴n=7のとき、x^n+y^n=z^nは0以外の整数解を持たない。

**１３２人目の素数さん** · 2023/01/29(日) 12:16:39.31

>>13
>a=1とする。
・・・
>b={a*(t^2+3)^(1/3)}/12^(1/3)
>12^(1/3)が無理数なので、b,xは無理数。

a=1なので、(t^2+3)^(1/3)=k*12^(1/3)のとき
b={a*(t^2+3)^(1/3)}/12^(1/3)=(t^2+3)^(1/3)/12^(1/3)=k

となり、kが有理数ならばbは有理数

無理数を無理数で割るときには有理数になる場合があることは理解されていますよね。
ですので割る数(=分母が)無理数であるというだけでは、bが無理数とは結論できません。

従って
>12^(1/3)が無理数なので、b,xは無理数。
という結論は誤りです。

**１３２人目の素数さん** · 2023/01/29(日) 12:22:58.79

>>10
> x^2+y^2=(y+2)^2の解(x,y,z)=(8,15,17)と、
> x^2+y^2=(y+1)^2の解(x,y,z)=(4,15/2,17/2)は、同じ比です。

あなたが書いた通り、n=2のとき
x,yの分母が2でも(1)が成立していますね。

> (1)が成立する可能性があるのは、x,yの分母が1のときのみである。

は間違いです。

**１３２人目の素数さん** · 2023/01/29(日) 12:30:11.52

>>11

n=2のとき
(3,4,5)は(1)の解、同じ比の整数の(1)の解は(3,4,5)それ自身のみ
(4,15/2,17/2)は(1)の解、同じ比の整数の(1)の解は存在しない
有理数の解があっても、同じ比の整数の解はない

よって
> x,yが有理数で成り立つならば、整数でも成り立つので、整数で検討する。

は間違い

日高 · 2023/01/29(日) 13:02:25.07

＞無理数を無理数で割るときには有理数になる場合があることは理解されていますよね。
ですので割る数(=分母が)無理数であるというだけでは、bが無理数とは結論できません

(t^2+3)^(1/3)/12^(1/3)=k
{t(t+3/t)}^(1/3)/12^(1/3)=k
t^(1/3)(t+3/t)^(1/3)/12^(1/3)=k
t=12
(12+3/12)^(1/3)≠k
となります。

日高 · 2023/01/29(日) 13:08:07.15

> (1)が成立する可能性があるのは、x,yの分母が1のときのみである。

は間違いです。

これは、n=3についてです。

日高 · 2023/01/29(日) 13:13:25.76

よって
> x,yが有理数で成り立つならば、整数でも成り立つので、整数で検討する。

は間違い

有理数解があるならば、整数解があるという意味です。
x=b/aで成立するならば、a=1でも成立します。

**１３２人目の素数さん** · 2023/01/29(日) 13:22:59.19

>>21
n=3について
> (1)が成立する可能性があるのは、x,yの分母が1のときのみである。
ということの証拠が証明のどこにもありません。

間違いです。

**１３２人目の素数さん** · 2023/01/29(日) 13:23:34.47

>>22
> x=b/aで成立するならば、a=1でも成立します。
ということの証拠が証明のどこにもありません。

間違いです。

**１３２人目の素数さん** · 2023/01/29(日) 13:28:21.41

>>22
> x=b/aで成立するならば、a=1でも成立します。

これってn=2のときでいうと、
x^2+y^2=(y+1)^2は(x,y)=(4,15/2)で成立するので、a=1のとき、つまり(x,y)=(8,15)でもx^2+y^2=(y+1)^2が成立する

といっているのと同じです。ひどすぎる間違いです。

**１３２人目の素数さん** · 2023/01/29(日) 14:22:04.06

>>20
>(t^2+3)^(1/3)/12^(1/3)=k
>{t(t+3/t)}^(1/3)/12^(1/3)=k
>t^(1/3)(t+3/t)^(1/3)/12^(1/3)=k
>t=12
>(12+3/12)^(1/3)≠k
>となります。

この計算に納得するのは「AB=CDのときA=C、B=Dである」と考えるあなただけです。
t^(1/3)(t+3/t)^(1/3)/12^(1/3)=k から
t=12 がどうして結論できるんですか。

その結果を導き出せるものは数学ではありません。
あなた以外の人にとってそればきわめて単純で明快な誤謬であり、ただの思い込みでしかありません。

**１３２人目の素数さん** · 2023/01/29(日) 15:01:51.71

ちなみに、この式がAB=CDのときA=Cと置いてはいけない式であることは昔私が証明済みです。
237 名前：１３２人目の素数さん[sage] 投稿日：2021/10/01(金) 00:20:44.36 ID:c68A5E60
A,B,C,Dは0より大きく、AB=CDとする。
|
|m=B-A,n=D-Cとおく。代入して整理すると
|A(A+m)=C(C+n)
|A^2+Am=C^2+Cn
|A^2-C^2+Am-Cn=0
|
|さて、m,nはm=nであるかm≠nであるか必ずどちらかである.それ以外にはならない。
|
|m=nのとき
||
||A^2-C^2+(A-C)m=0
||(A-C)(A+C)+(A-C)m=0
||(A-C)(A+C+m)=0
||よってA=CまたはA=-(C+m)=-D、
||最初の条件A>0,D>0よりA=-Dは不適
||よって解はA=Cとなる。
||
|ここまでm=nのときの話
|
|つまりAB=CDで、m=nのとき、答えはA=Cの1つだけである。
|
|m≠nのとき
||
||d=m-nとおく。代入して整理すると
||A^2-C^2+Am-C(m-d)=0
||(A-C)(A+C+m)+Cd=0
||
||A=Cとすると、
|||
|||0(A+C+m)+Cd=Cd=0
|||C>0,m≠nよりこれは矛盾
|||よって最後に置いた仮定A=Cが間違い
|||A=Cにはならない
|||
||ここまでA=Cとした時の話
||
||つまりm≠nのとき、A=Cにならない。
||
|ここまでm≠nのときの話
|
|つまりAB=CDで、m≠nのとき、A=Cには絶対にならない。
|
ここまでA,B,C,Dは0より大きく、AB=CDとする話

(x-1)(x^2+x+1)/3=y(y+1)についてA=x-1,B=(x^2+x+1)/3,C=y,D=y+1と当てはめると
m=B-A=(x^2)/3+x/3+1/3-(x-1)=(x^2)/3-2x/3+4/3
n=D-C=(y+1)-y=1

m=nのとき、すなわち(x^2)/3-2x/3+4/3=1のとき
x^2-2x+4=3
(x-1)^2=0
よって、
AB=CDで、x=1のとき、A=Cが成り立つ。このときx-1=y=0 これは元の条件y>0より解ではない。
AB=CDで、x≠1のとき、A=Cは成り立たない。
AB=CDで、x≠1のとき、A=Cは成り立たないので、A=Cと置いた式が出てきた時点でインチキ確定
>>231はインチキ確定

日高 · 2023/01/29(日) 16:46:09.11

＞といっているのと同じです。ひどすぎる間違いです。

比が同じになります。

日高 · 2023/01/29(日) 16:50:52.45

＞この計算に納得するのは「AB=CDのときA=C、B=Dである」と考えるあなただけです。
t^(1/3)(t+3/t)^(1/3)/12^(1/3)=k から
t=12 がどうして結論できるんですか。

その結果を導き出せるものは数学ではありません。
あなた以外の人にとってそればきわめて単純で明快な誤謬であり、ただの思い込みでしかありません。

kが有理数となる条件からです。

**１３２人目の素数さん** · 2023/01/29(日) 17:23:38.93

>>28

これってn=2のときでいうと、
x^2+y^2=(y+1)^2は(x,y)=(4,15/2)で成立するので、x^2+y^2=(y+1)^2に(x,y)=(4,15/2)と同じ比の整数解が存在する

といっているのと同じです。ひどすぎる間違いです。

間違っていることの証明
x^2+y^2=(y+1)^2の解(x,y)=(4,15/2)と同じ比の解を(x,y)=(8s,15s)とおく
代入してsを求める

(8^2+15^2)s^2=(15s+1)^2
289s^2=225s^2+30s+1
64s^2-30s-1=0

s=30±√(900+256)/128

=(30±34)/128

s=1/2,-1/32

元々の解の条件よりs>0なのでs=1/2

つまりx^2+y^2=(y+1)^2の解のうち、(x,y)=(4,15/2)と同じ比の解は(x,y)=(4,15/2)自身のみ

**１３２人目の素数さん** · 2023/01/29(日) 17:26:28.63

>>29
>t^(1/3)(t+3/t)^(1/3)/12^(1/3)=k から
>t=12 がどうして結論できるんですか。

>kが有理数となる条件からです。

「kが有理数となる条件」とは何ですか？
(t+3/t)^(1/3)=1と最初からわかっていることになりますが、そんなことがなぜわかるんです。
というよりt>0 ならば明らかに (t+3/t)^(1/3)>1 ですよね。
従ってt=12にはなりません。

(t+3/t)^(1/3)のほうが12^(1/3)の倍数であることをなぜ最初から否定できるんですか。
あなた以外が理解していない理論を展開しているんだから、言葉と数式による説明を惜しんではいけません。

**１３２人目の素数さん** · 2023/01/29(日) 18:03:20.12

>>31
t=12と判断できるということは、
×(t+3/t)^(1/3)=1と最初からわかっていることになりますが、そんなことがなぜわかるんです。
　というよりt>0 ならば明らかに (t+3/t)^(1/3)>1 ですよね。
　従ってt=12にはなりません。(t+3/t)^(1/3)=1と最初からわかっていることになりますが
○(t+3/t)^(1/3)=kと最初からわかっていることになりますが、そんなことがなぜわかるんです？

に訂正。

それで、(t+3/t)^(1/3)のほうが12^(1/3)の倍数であることは、なぜ最初から否定できるんですか。
まさか、式で先に書いてあるから、ではないですよね。

**１３２人目の素数さん** · 2023/01/29(日) 18:12:42.84

t^(1/3)(t+3/t)^(1/3)/12^(1/3)=k
のt^(1/3)は分母の12^(1/3)に対応させるつもりでくくり出されたのだと思いますが、あなたがそういうつもりだったとしても、個人の主観にかかわらず、式はそれ自体で意味を持つので、(t+3/t)^(1/3)の方が12^(1/3)に対応しても何の不思議もありません。

t^(1/3)の方だけが12^(1/3)に対応するというのは、あなたの主観でしかありません。
あなたの主観で客観的であるべき数式の評価がねじ曲がってしまっている、と思いませんか？

日高 · 2023/01/29(日) 18:20:43.57

＞(t+3/t)^(1/3)のほうが12^(1/3)の倍数であることをなぜ最初から否定できるんですか

t^(1/3)(t+3/t)^(1/3)/12^(1/3)=k
t=3ならば、(t+3/t)^(1/3)/12^(1/3)は有理数となりますが、
t^(1/3)は無理数となります。

**１３２人目の素数さん** · 2023/01/29(日) 18:28:35.96

>>34
t=3とか個別の例を挙げてもしょうがないでしょう。
整数値すべてについて検討するんですか。

反例なら一つの例でかまいませんが、証明ならば一般的に行わないと。
たった一つの例を挙げて反論しよう、反論できたと思うところも常々、「何でこんなこと書き込むんだろ。不思議だねー。言っていること伝わってんのかな？」、と思っているんですけどね。

**１３２人目の素数さん** · 2023/01/29(日) 18:36:39.53

>>34
というかt=3を検討していること自体、>20のt=12だけではだめだ、ということを自認してしまってますよ。

>12によれば、ｔは有理数と言うことなので、一般的にt=(有理数)で証明してみましょう。

**１３２人目の素数さん** · 2023/01/29(日) 18:44:40.98

>>28
> 比が同じになります。

x^n+y^n=(y+1)^nの整数解と整数解でない有理数解の比x:y:y+1が同じになることはない

**１３２人目の素数さん** · 2023/01/29(日) 22:09:23.21

>>9
説明になってない

**１３２人目の素数さん** · 2023/01/29(日) 23:32:51.86

新スレ立てるんなら前のスレ埋めてからにしろ
テメーのブログじゃないんだから資源の無駄遣いすんなや
つーか十年以上1ミリも成長がないんだから他人を巻き込まずにやれ

日高 · 2023/01/30(月) 09:09:52.51

t^(1/3)(t+3/t)^(1/3)/12^(1/3)=k
{t^(1/3)^(1/3)}*{(t+3/t)^(1/3)}=(k/m)(km)
左辺は、有理数＊無理数または、無理数＊有理数
右辺は有理数＊有理数となります。

日高 · 2023/01/30(月) 09:10:42.25

新スレ立てるんなら前のスレ埋めてからにしろ

ゆるしてください。

日高 · 2023/01/30(月) 09:24:27.05

x^3+y^3=(y+1)^3
(x-1)(x^2+x+1)=3y(y+1)
(x^2+x+1)={3/(x-1)}y(y+1)
左辺は、因数分解できない形。
右辺は、因数分解の形。
よって、両辺は一致しない。

**１３２人目の素数さん** · 2023/01/30(月) 11:33:18.84

>>42
あなたの書き込みを見ていて思うんですが、あなたは「その式が解を持つ」ことと「式の左辺と右辺が同一である」ことの区別がついてませんよね。
グラフで考えてみましょう。
左辺と右辺のグラフがぴったりと重なる必要はありません。
交点を持てばその値が解になりますし、それで求める答えとしては十分です。

なぜグラフが一致することを要求するんですか？

**１３２人目の素数さん** · 2023/01/30(月) 12:08:25.65

>>42
>左辺は、因数分解できない形。

x^3+y^3=(y+1)^3 におけるx,yは有理数であり整数に限られないことをまず確認しておきます。
しかし、x,yが整数であったとしても、因数分解できないということは、計算の結果として出てきた値が素因数分解できないことを意味していません。
x^2+x+1 にx=4を代入すれば4^2+4+1=21=3*7 となり、ちゃんと素因数分解でき、左辺も整数の積の形になりえます。
(左辺も整数の積となり得るといっているのであって、x=4が解であると言っているのではありません。念のため)
あとは、yか(y+1)がx-1の倍数であれば、右辺も矛盾なく整数値を取ることになります。

数式が因数分解できるかどうかは等号成立とは無関係です。
(x^2+x+1)={3/(x-1)}y(y+4) には解がないとはいえないでしょう。

日高 · 2023/01/30(月) 12:09:29.90

その式が解を持つ」ことは「式の左辺と右辺の値が同一である」ことではないでしょうか？。

**１３２人目の素数さん** · 2023/01/30(月) 12:37:46.98

>>45
その通りですよ。
ですが、あくまで「同一の値」であって、「同一の形」ではありません。
解を持つとは、左辺と右辺が同一の値を取ることであって、右辺は因数分解できるが左辺はできないとかは関係ないと言っているんです。

(x^2+x+1)={3/(x-1)}y(y+4) の左辺は因数分解できません。
あなたの主張によれば、上の式には解がないことになりますけどそれは間違ってます。
左辺が因数分解できなくても解はありえます。
上の式はその一例です、と申し上げています。

ご理解いただけましたか？

**１３２人目の素数さん** · 2023/01/30(月) 13:05:08.95

おそらく、たぶんあなたは、「数式が同一の値を取るならば同一の形を取るはずだ」と思っているのだと思います。
>20の
(t^2+3)^(1/3)/12^(1/3)=k
{t(t+3/t)}^(1/3)/12^(1/3)=k
t^(1/3)(t+3/t)^(1/3)/12^(1/3)=k
t=12
(12+3/12)^(1/3)≠k

の3行目から t^(1/3) =12^(1/3) を導くところなど、そうとしか考えられません。
しかし、そのような議論の進め方は全くの誤りです。
形なんかどうでもいいんですよ。
ただ等号の前後にある値さえ一致すればそれでいいんです。

あなたのやっていることが数学とよべなくなるのは、「同一の値を取るならば同一の形を取るはずだ」と考えてしまうことが根本原因の一つであることを、いつの日か理解できるようになるといいですね。

**１３２人目の素数さん** · 2023/01/30(月) 15:38:09.92

>>41
いやいやいやいや
許してくださいとかじゃねーよ
前のスレ埋めるように誘導するなりなんなりしろや
あほみたいにクソスレ連発しまくって目障りでしょうがないんだわ
ついでに言わせてもらえれば、どうせ進展なく「比は同じです」で無限ループするところまでがどうせお作法なんだろうから
せめてスレは下げてくれ
あほみたいに上位表示させんな

日高 · 2023/01/31(火) 06:08:00.06

n=3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3…(1)とおく。x,yは有理数。
(1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
(2)の解はx=1,y=0のみである。
∴n=3のとき、x^n+y^n=z^nは自然数解を持たない。

日高 · 2023/01/31(火) 06:17:13.39

n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=z^2を、x^2+y^2=(y+1)^2…(1)とおく。x,yは有理数。
(1)を(x-1)(x+1)/2=y…(2)と変形する。
(2)の解は、xは全ての有理数,yは適当な有理数である。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。

日高 · 2023/01/31(火) 06:20:58.28

＞おそらく、たぶんあなたは、「数式が同一の値を取るならば同一の形を取るはずだ」と思っているのだと思います

はいそうです。

日高 · 2023/01/31(火) 06:24:01.43

はいそうです。
AB=CDならば、A=Cのとき、B=Dとなります。

**１３２人目の素数さん** · 2023/01/31(火) 07:33:50.58

>>52
> AB=CDならば、A=Cのとき、B=Dとなります。
このことがもし正しいとしたらx,yが有理数であるかどうかは関係ない

> (1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
> (2)の解はx=1,y=0のみである。

(2)が実数解を持つことは簡単に分かるから証明は間違い

日高 · 2023/01/31(火) 08:09:16.73

＞(2)が実数解を持つことは簡単に分かるから証明は間違い

x,yの有理数解は、一つのみです
他には、ありません。数を代入してみてください。

**１３２人目の素数さん** · 2023/01/31(火) 08:30:41.89

>>54
> x,yの有理数解は、一つのみです

> AB=CDならば、A=Cのとき、B=Dとなります。
このことがもし正しいとしたらx,yが有理数であるかどうかは関係ない
このことがもし正しいとしたらx,yが有理数であるかどうかは関係ない
このことがもし正しいとしたらx,yが有理数であるかどうかは関係ない

> (1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
> (2)の解はx=1,y=0のみである。

(2)が有理数解以外に解を持つことは簡単に分かるから証明は間違い

**１３２人目の素数さん** · 2023/01/31(火) 11:09:00.87

>>52
これが嘘だってのははるか昔に証明されてるだろが、クズ

日高 · 2023/01/31(火) 12:32:58.15

＞(2)が有理数解以外に解を持つことは簡単に分かるから証明は間違い

有理数解以外の解は、自然数解ではありません。

日高 · 2023/01/31(火) 12:34:29.99

＞これが嘘だってのははるか昔に証明されてるだろが、クズ

これが嘘だという証明は、どこにあるのでしょうか？

日高 · 2023/01/31(火) 14:35:00.74

n=4のとき、x^n+y^n=z^nは自然数解を持たない。
x^4+y^4=z^4を、x^4+y^4=(y+1)^4…(1)とおく。x,yは有理数。
(1)を(x-1)(x^3+x^2+x+1)/4=y(y^2+1.5y+1)…(2)と変形する。
(2)の解はx=1,y=0のみである。
∴n=4のとき、x^n+y^n=z^nは自然数解を持たない。

日高 · 2023/01/31(火) 14:50:19.19

n=5のとき、x^n+y^n=z^nは自然数解を持たない。
x^5+y^5=z^5を、x^5+y^5=(y+1)^5…(1)とおく。x,yは有理数。
(1)を(x-1)(x^4+x^3+x^2+x+1)/5=y(y^3+2y^2+2y+1)…(2)と変形する。
(2)の解はx=1,y=0のみである。
∴n=5のとき、x^n+y^n=z^nは自然数解を持たない。

**１３２人目の素数さん** · 2023/01/31(火) 14:50:59.59

z=y+1となる自然数解が存在しないだけですね
そしてそれは長々と書くまでもなく当たり前ですね

日高 · 2023/01/31(火) 15:18:31.68

n=7のとき、x^n+y^n=z^nは自然数解を持たない。
x^7+y^7=z^7を、x^7+y^7=(y+1)^7…(1)とおく。x,yは有理数。
(1)を(x-1)(x^6+x^5+x^4+x^3+x^2+x+1)/7=y(y^5+3y^4+5y^3+5y^2+3y+1)…(2)と変形する。
(2)の解はx=1,y=0のみである。
∴n=7のとき、x^n+y^n=z^nは自然数解を持たない。

日高 · 2023/01/31(火) 15:22:26.30

＞z=y+1となる自然数解が存在しないだけですね
そしてそれは長々と書くまでもなく当たり前ですね

z=y+1となる有理数解が存在しません。(x=1,y=0以外は)

日高 · 2023/01/31(火) 15:29:26.39

＞61
計算してみてください。
n=10000,x=2のとき、
左辺ー右辺は、1/10000となります。

日高 · 2023/01/31(火) 16:26:57.94

n=3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3…(1)とおく。x,yは有理数。
(1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
(2)の解はx=1,y=0のみである。
∴n=3のとき、x^n+y^n=z^nは自然数解を持たない。
AB=CDならば、A=Cのとき、B=Dとなる。
この場合、A=(x-1),B=(x^2+x+1)/3,C=y,D=(y+1)となります。

日高 · 2023/01/31(火) 16:48:18.28

計算してみてください。
n=98,x=2のとき、
左辺ー右辺は、1/98となります。

**１３２人目の素数さん** · 2023/01/31(火) 17:27:27.50

>>66
> 計算してみてください。

>>63
> A=(x-1),B=(x^2+x+1)/3,C=y,D=(y+1)となります。
これを満たす実数解を計算して全て書きなさい

日高 · 2023/01/31(火) 17:33:02.89

＞これを満たす実数解を計算して全て書きなさい

有理数解は、x=1,y=0のみです。
無理数解は、無限にあります。

**１３２人目の素数さん** · 2023/01/31(火) 17:57:21.21

>>68
> 無理数解は、無限にあります。
答えになっていない

> A=(x-1),B=(x^2+x+1)/3,C=y,D=(y+1)となります。
これを満たす実数解を計算して全て書きなさい

日高 · 2023/01/31(火) 18:01:00.30

> A=(x-1),B=(x^2+x+1)/3,C=y,D=(y+1)となります。
これを満たす実数解を計算して全て書きなさい

(x-1)(x^2+x+1)/3=y(y+1)の解のことではないでしょうか？

**１３２人目の素数さん** · 2023/01/31(火) 18:17:58.25

>>70
> (x-1)(x^2+x+1)/3=y(y+1)の解のことではないでしょうか？
おまえの考えではAB=CDの解ではダメなんだろ？

> AB=CDならば、A=Cのとき、B=Dとなる。
> この場合、A=(x-1),B=(x^2+x+1)/3,C=y,D=(y+1)となります
これを満たす実数解を計算して全て書きなさい

日高 · 2023/01/31(火) 18:21:39.08

＞おまえの考えではAB=CDの解ではダメなんだろ？

ダメでは、ありません。
有理数解は、x=1,y=0のみです。

**１３２人目の素数さん** · 2023/01/31(火) 18:45:12.14

>>72
> ダメでは、ありません。

> AB=CDならば、A=Cのとき、B=Dとなる。
おまえはA=CおよびB=Dの場合しか考えていないだろ

日高 · 2023/01/31(火) 18:49:14.38

＞おまえはA=CおよびB=Dの場合しか考えていないだろ

はい。

**１３２人目の素数さん** · 2023/01/31(火) 19:13:55.15

>>74
> ＞おまえはA=CおよびB=Dの場合しか考えていないだろ
>
> はい。

> A=(x-1),B=(x^2+x+1)/3,C=y,D=(y+1)
のときx-1=yおよびx^2+x+1=3(y+1)
x=y+1よりx^2+x+1=3x
x^2-2x+1=0からx=1,y=0を導いてもこれらが全ての解であることは言えない

日高 · 2023/01/31(火) 19:25:23.30

x^2-2x+1=0からx=1,y=0を導いてもこれらが全ての解であることは言えない

x=1.000000001を代入してみてください。

**１３２人目の素数さん** · 2023/01/31(火) 19:25:27.98

>>74
> ＞おまえはA=CおよびB=Dの場合しか考えていないだろ
>
> はい。

全ての実数解を求めるとしてA=CおよびB=Dの場合だけだと
> A=(x-1),B=(x^2+x+1)/3,C=y,D=(y+1)
のときx-1=yおよびx^2+x+1=3(y+1), x=y+1よりx^2+x+1=3x
x^2-2x+1=0からx=1,y=0となるので
>>68
> 無理数解は、無限にあります。
実数解が無限にあることはA=CおよびB=Dの場合だけからは導けない

日高 · 2023/01/31(火) 19:28:14.68

> 無理数解は、無限にあります。
実数解が無限にあることはA=CおよびB=Dの場合だけからは導けない

x=1.000000001を代入してみてください。
次に、x=1.000000002を代入してみてください。

**１３２人目の素数さん** · 2023/01/31(火) 19:40:50.90

>>78
> x=1.000000001を代入してみてください。
> 次に、x=1.000000002を代入してみてください。

> ＞おまえはA=CおよびB=Dの場合しか考えていないだろ
>
> はい。
A=CおよびB=Dの場合
式を変形するとx^2-2x+1=0となる
x=1.000000001を代入するとx^2-2x+1は0にならないから解は存在しない
x=1.000000002を代入するとx^2-2x+1は0にならないから解は存在しない

x^3+y^3=(y+1)^3, 3y^2+3y-(x^3-1)=0で考えると
9+12(1.000000001^3-1) > 0なので実数解は存在する
9+12(1.000000002^3-1) > 0なので実数解は存在する
解の存在が一致しないので日高の主張は間違い

日高 · 2023/01/31(火) 19:47:20.82

＞解の存在が一致しないので日高の主張は間違い

xに1以外の有理数を代入したとき、両辺が一致しないので、有理数解はない。
xが大きくなるほど、左辺ー右辺は大きくなります。

**１３２人目の素数さん** · 2023/01/31(火) 20:01:34.05

>>80
> xに1以外の有理数を代入したとき、両辺が一致しないので、有理数解はない。
有理数の場合に一致しないことの証明がなされていない

> xが大きくなるほど、左辺ー右辺は大きくなります。
無意味

日高 · 2023/01/31(火) 20:06:01.70

＞無意味
どうしてでしょうか？
ｘがどれだけ大きくなっても、両辺は一致しない証拠になります。

**１３２人目の素数さん** · 2023/01/31(火) 20:25:15.57

>>82
> どうしてでしょうか？
> ｘがどれだけ大きくなっても、両辺は一致しない証拠になります。

平行でない2直線を考えてみろ
xを十分に大きくすれば2直線はどんどん離れていくことになるが
どこかで必ず交わっている

**１３２人目の素数さん** · 2023/01/31(火) 22:34:03.87

>>52
AB=CD≠0 であることを前提とすると
P 「AB=CDならば、A=Cのとき、B=Dとなる」
この命題Pは真です。しかし
Q「A≠CかつB≠DでもAB=CDは成り立つ」
この命題Qも真です。

日高さん、あなたの論証はPが真であるという主張から、その命題から論理的に導かれる範囲をはるかに飛び越えて、何の根拠もなく
「AB=CDが成り立つのはA=CかつB=Dのときのみである」
つまり命題Qは偽である、としているところで根本的かつ決定的に間違っているんですよ。

前に言ったでしょう。
2*6=3*4である、と。
あなたの主張は小学生でも理解できるこの計算を否定してしまっているんですよ。

**１３２人目の素数さん** · 2023/01/31(火) 22:53:53.41

>AB=CDならば、A=Cのとき、B=Dとなる。
>この場合、A=(x-1),B=(x^2+x+1)/3,C=y,D=(y+1)となります。

上に書いたことから、この>65の主張が全くの誤りだと言うことがわかるでしょう。
正しくは、あなたが愛用されている表現をxに関して使えば
A=a(x-1),B=(x^2+x+1)/a　です。
もちろんa=1とは断定できません。
このばあいx、およびABが有理数であればよいのならばaは無理数でもよいことになります。
あなたがいろいろ書いていることは正の実数であればいかなる値を取ってもよいaについてa=1の場合には解がない、とただそれだけを示しただけです。
従って
∴n=3のとき、x^n+y^n=z^nは自然数解を持たない。
とは結論できません。a=1の場合しか調べていませんからね。

上の結論を導きたければすべての正の実数aについて解がないことを示さなければ！！！
頑張って証明してみてください。

**１３２人目の素数さん** · 2023/01/31(火) 22:55:12.48

×　A=a(x-1),B=(x^2+x+1)/a　です。
○　A=a(x-1),B=(x^2+x+1)/3a　です。

**１３２人目の素数さん** · 2023/01/31(火) 23:37:34.64

日高さん、
「A=Cのとき、B=Dとなる」
と
「A=CおよびB=Dとなる」
は同じ意味ですか？

日高 · 2023/02/01(水) 10:25:24.90

＞前に言ったでしょう。
2*6=3*4である、と。

2*6=3*4の、右辺の3を2と置き換えると、（左辺と揃えると）
両辺が等しいならば、右辺の右側は、6となります。
これは、
「AB=CDならば、A=Cのとき、B=Dとなる。」の私の言ってる意味です。

日高 · 2023/02/01(水) 10:33:18.49

＞平行でない2直線を考えてみろ
xを十分に大きくすれば2直線はどんどん離れていくことになるが
どこかで必ず交わっている

x=1,y=0で交わります。
(x-1)(x^2+x+1)/3=y(y+1)両辺とも、直線の式ではありませんが。

日高 · 2023/02/01(水) 10:36:36.32

＞日高さん、
「A=Cのとき、B=Dとなる」
と
「A=CおよびB=Dとなる」
は同じ意味ですか？

言葉の意味が、よくわかりません。
具体例を、示して下さい。

日高 · 2023/02/01(水) 10:44:36.44

＞∴n=3のとき、x^n+y^n=z^nは自然数解を持たない。
とは結論できません。a=1の場合しか調べていませんからね。

a*1/a=1なので、実数aについても同じです。

日高 · 2023/02/01(水) 11:20:36.47

＞「AB=CDが成り立つのはA=CかつB=Dのときのみである」
つまり命題Qは偽である、としているところで根本的かつ決定的に間違っているんですよ

私が言っているのは、「AB=CDならば、A=Cのとき、B=Dとなる。」です。

日高 · 2023/02/01(水) 11:55:56.36

>79
A=CおよびB=Dの場合

私が言っているのは、「AB=CDならば、A=Cのとき、B=Dとなる。」です。

日高 · 2023/02/01(水) 12:01:46.49

>43
なぜグラフが一致することを要求するんですか？

要求していません。両辺の数が一致することを、要求しています。

日高 · 2023/02/01(水) 12:47:01.89

n=2のとき、x^n+y^n=z^nは自然数解を持つ。
x^2+y^2=z^2を、x^2+y^2=(y+1)^2…(1)とおく。x,yは有理数。
(1)を(x-1)(x+1)/2=y…(2)と変形する。
(2)の解は、xは全ての有理数,yは適当な有理数である。
∴n=2のとき、x^n+y^n=z^nは自然数解を持つ。

日高 · 2023/02/01(水) 12:48:00.03

n=3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3…(1)とおく。x,yは有理数。
(1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
(2)の解はx=1,y=0のみである。
∴n=3のとき、x^n+y^n=z^nは自然数解を持たない。

日高 · 2023/02/01(水) 12:54:29.48

n=3のとき、x^n+y^n=z^nは自然数解を持たない。
(x-1)(x^2+x+1)/3=y(y+1)
n=3,x=2のとき、両辺の差は、1/3となる。

日高 · 2023/02/01(水) 13:00:04.39

n=2のとき、x^n+y^n=z^nは自然数解を持つ。
(x-1)(x+1)/2=y
n=2、x=2のとき、両辺の差は、0となる。

**１３２人目の素数さん** · 2023/02/01(水) 13:40:10.61

>>88
その「置き換え」なんて必要ないでしょう。
置き換えなくても2*6=3*4は完全に成り立っています。
あなたは3を2で「置き換える」ことによって、A=Cの場合のみしか取り扱わないことを正当化しているんでしょう。

繰り返しますがAB=CDはA≠Cのときでも成り立ちます。
あなたの証明のどこでA≠Cの場合、つまり2*6=3*4の形で等式が成立する可能性が考慮されていますか。
その可能性まで考慮しなければ「証明した」とはいえないんですよ。
あなた以外の人にとっては。
その「証明」なるものは、少なくとも「数学の言葉で書かれた証明」であるべきだ、と思っている人にとっては。

日高 · 2023/02/01(水) 13:47:42.34

＞その「置き換え」なんて必要ないでしょう。

「置き換え」することは、間違いでしょうか？

**１３２人目の素数さん** · 2023/02/01(水) 14:09:12.84

日高さん、あなたの書き込みを見ていて思うんですが、あなたは整式の積というものを整数の積と同視しているんじゃないですか？
2*6=(2*(3/2))*(6*(2/3))=3*4 だから2*6=3*4は結局2*6=2*6である、と思っていませんか。
それと同じ考えで(x-1)(x^2+x+1)/3=y(y+1)のときもx-1=yの場合だけを調べればいいと思っているんじゃないですか？
その場合だけを調べれば、その他の場合はA=a(x-1)、B=(x^2+x+1)/(3a)となるだけだから検討する必要がない。
そう思っていませんか？

そう考えるとあなたの理論がなぜぶっとんでしまうのか、なんでそうなってしまうのかがよく・・・いや、なんとなく理解できるんですが。

**１３２人目の素数さん** · 2023/02/01(水) 14:13:53.60

>>100
決定的に間違っています。
(x-1)(x^2+x+1)/3=y(y+1)の場合は「置き換えて」 x-1=yとするんでしょう。
その置き換えができる、と思うところが間違いの根源です。
ちゃんとx-1=y以外の場合も考慮しましょう。

日高 · 2023/02/01(水) 14:55:28.91

＞日高さん、あなたの書き込みを見ていて思うんですが、あなたは整式の積というものを整数の積と同視しているんじゃないですか
？
はい。整式の積を整数の積と同視しています。

日高 · 2023/02/01(水) 15:35:11.77

＞(x-1)(x^2+x+1)/3=y(y+1)の場合は「置き換えて」 x-1=yとするんでしょう。
その置き換えができる、と思うところが間違いの根源です。
ちゃんとx-1=y以外の場合も考慮しましょう。

(x-1)(x^2+x+1)/3=(y+1)yとしても、x,yが正の有理数の場合は両辺は一致しません。

**１３２人目の素数さん** · 2023/02/01(水) 17:03:27.34

>>104
はい、それを証明しましょう。

それを証明するのがあなたがこのスレでできるといっていることであり、しなければならないことです。

我々はあなたの方法では全くだめですよ、といっているのであって、こうすればうまくいきますよ、といっているのではありませんから。

**１３２人目の素数さん** · 2023/02/01(水) 17:08:15.26

それにね、行き詰まると

>(x-1)(x^2+x+1)/3=(y+1)yとしても、x,yが正の有理数の場合は両辺は一致しません。

と証明主題、証明すべき命題そのものをを何の根拠もなしにばーんと提示して反論したつもりになるのもやめましょうよ。
上にも書いているように、それは数学の言葉で証明すべきことであって、単に主張すればそれでいいというものではないんですから。

日高 · 2023/02/01(水) 17:18:41.37

>(x-1)(x^2+x+1)/3=(y+1)yとしても、x,yが正の有理数の場合は両辺は一致しません。
と証明主題、証明すべき命題そのものをを何の根拠もなしにばーんと提示して反論したつもりになるのもやめましょうよ

xが増加するにつれて、差が広がっていきます。

**１３２人目の素数さん** · 2023/02/01(水) 17:38:02.76

>>107
> xが増加するにつれて、差が広がっていきます。

xの値がいくつの場合からそれが言えるの？

日高 · 2023/02/01(水) 18:10:05.81

> xが増加するにつれて、差が広がっていきます。
xの値がいくつの場合からそれが言えるの？

x=2です。

**１３２人目の素数さん** · 2023/02/01(水) 18:37:27.16

>>109
> > xが増加するにつれて、差が広がっていきます。
> xの値がいくつの場合からそれが言えるの？
>
> x=2です。

x>2だと途中で差が減ることは全く無いの？

日高 · 2023/02/01(水) 18:45:30.39

x>2だと途中で差が減ることは全く無いの？

はい。

**１３２人目の素数さん** · 2023/02/01(水) 18:55:37.05

>>111
> x>2だと途中で差が減ることは全く無いの？
>
> はい。

x>2でyが実数なら差が0になる場合があるよね？

日高 · 2023/02/01(水) 19:46:15.05

＞x>2でyが実数なら差が0になる場合があるよね？

教えてください。

**１３２人目の素数さん** · 2023/02/01(水) 19:58:20.37

>>113
> > x>2だと途中で差が減ることは全く無いの？
> >
> > はい。
>
> x>2でyが実数なら差が0になる場合があるよね？
>
> 教えてください。

解(x,y)を持てば差が0なんだろ？
xが有理数でyが実数の解はあればこのとき差は0になるだろ

**１３２人目の素数さん** · 2023/02/01(水) 20:07:03.50

>>113
> 教えてください。

(x-1)(x^2+x+1)=3y(y+1) (x,yは有理数)ということは
(x-1)(x^2+x+1)=3m*y(y+m) (m,x,yは整数)と同じで
mの値を変えれば
> x>2だと途中で差が減ることは全く無いの？
>
> はい。
おまえがウソを言っていることは理解できるだろ

日高 · 2023/02/01(水) 20:10:12.83

> はい。
おまえがウソを言っていることは理解できるだろ

教えてください。

**１３２人目の素数さん** · 2023/02/01(水) 20:15:01.08

>>111
日高さん、そうなると自分に都合がよいからと言ってよく確かめもせずにそんなでたらめをいってはいけません。

x=10,y=17のとき　(x^3-1)/3=333 333-17*18=27
x=22,y=59のとき　(x^3-1)/3=3549 3549-59*60=9

**１３２人目の素数さん** · 2023/02/01(水) 20:16:03.29

>>116
> 教えてください。

x^3 と y^2 ならx^3の方が早く大きくなるが
x^3 と m*y^2ならmを大きくすれば差は小さくできるだろ

**１３２人目の素数さん** · 2023/02/01(水) 20:18:02.69

> 私が言っているのは、「AB=CDならば、A=Cのとき、B=Dとなる。」です。

これ、間違いです。0*1=0*2ですが1=2ではありません。

**１３２人目の素数さん** · 2023/02/01(水) 20:21:04.72

>>90
> ＞日高さん、
> 「A=Cのとき、B=Dとなる」
> と
> 「A=CおよびB=Dとなる」
> は同じ意味ですか？
>
> 言葉の意味が、よくわかりません。
> 具体例を、示して下さい。

じゅうぶん具体的に書いているだろうが。これがわからないなら数学は無理ですよ。

**１３２人目の素数さん** · 2023/02/01(水) 20:24:23.62

x=760,y=12096のとき　(x^3-1)/3=146325333　　146325333-12096*12097=21というのもなかなかの数字ですね。

日高さん、そう思いませんか？

日高 · 2023/02/01(水) 20:32:00.90

x=10,y=17のとき　(x^3-1)/3=333 333-17*18=27？
x=22,y=59のとき　(x^3-1)/3=3549 3549-59*60=9？

**１３２人目の素数さん** · 2023/02/01(水) 20:38:32.53

>>122
えっ、意味がわかりませんか？

>>107の
>xが増加するにつれて、差が広がっていきます。

というのは大嘘ですよ、という意味ですが。

(x-1)(x^2+x+1)/3=(y+1)yは、xが増加するにつれて、差が広がっていくんですか？

**１３２人目の素数さん** · 2023/02/01(水) 21:25:57.52

それに日高さん>107を書いたとき、x,yはいつの間にかまた整数と考えているでしょ。
上ではあえてx,yが整数の場合の例を挙げましたが、(x-1)(x^2+x+1)/3=(y+1)yのx,yは有理数です。

yに任意の正の有理数を代入して、y(y+1)を求めてみましょう。
3倍して1を足します。
x^3=3y(y+1)+1を計算しています。
xを求めるためにその3乗根を取ってみましょう。
たぶん無限小数となっているでしょう(有限小数なら、フェルマーの最終定理の反例になってしまいますから)が、任意の桁で四捨五入して有理数化してみましょう。
どこで四捨五入するかで両辺の差がどのくらいあるかが決まります。
両辺の差はxの大きさによりません。有理数化をする桁数によります。

つまり、あなたが>107で書き込んだ
>xが増加するにつれて、差が広がっていきます。
というのは全くの誤りです。
間違いを素直に認めましょう。
先に進めませんよ。

**１３２人目の素数さん** · 2023/02/02(木) 00:47:03.48

(x+1)(x-1)=(y+5)(y-5)

A=x+1,B=x-1,C=y+5,D=y-5とおく

AB=CDのとき、A=Cにはならない　証明は>>27

新たに、A=aCとなるようなaを考えると、a=A/C

aC=E,D(1/a)=Fとおくと

AB=EF　でA=EのときB=Fとなるが、

AB=EF
=aCD(1/a)
={(A/C)C}{D(1/(A/C))}
={A}{CD/A}

元の文字式に戻すと

(x+1)(x-1)=(x+1){(y+5)(y-5)/(x+1)}

左辺の左側=右辺の左側だとしても

x+1=x+1

にしかならない。A=Cにはならない。A=aCとおくのはただのごまかしである。

AB=CDが成り立つのに、A=Cにならない式があるので「AB=CDならば、A=Cのとき、B=Dとなる。」は間違い。

そして、(x-1)(x^2+x+1)/3=(y+1)yが成り立つときはx=1,y=0以外にも無限に実数解があるがこのときA=Cとならない。証明は>>27
「AB=CDならば、A=Cのとき、B=Dとなる。」は間違い。

**１３２人目の素数さん** · 2023/02/02(木) 01:08:28.73

>>125をもう少し正確に言うと

AB=CDならば、A=Cのとき、B=Dとなる。はいいとしても

実際の式に当てはめた時　AB=CDとA=Cが同時に成り立つかどうかを調べていないことが間違い。

同時に成り立たないなら、A=Cの時は来ない。来ないことを考える意味がない。

日高 · 2023/02/02(木) 07:03:01.06

x=10,y=17のとき　(x^3-1)/3=333 333-17*18=27？

(x^3-1)/3=333の間違いでは？
私のやり方では、
この場合、右辺は9*10です。
両辺が等しい場合、共通の因数を持ちます。
また、ｙ(y+1)も満たす必要があります。

**１３２人目の素数さん** · 2023/02/02(木) 12:34:10.25

もちろんx=10,y=17のとき　(x^3-1)/3=333　ですよ。
x=10,y=17のとき　(x^3-1)/3=333　　、　　　333-17*18=27 です。

>この場合、右辺は9*10です。
>両辺が等しい場合、共通の因数を持ちます。
>また、ｙ(y+1)も満たす必要があります。

xとyが独立なのになんで右辺が右辺は9*10なんですか？
x=10 だから x-1=9=y ですか。

>両辺が等しい場合、共通の因数を持ちます。

その考え方自体が間違っているとわかりませんか？

xとyは独立の変数である。
その意味をかみしめましょう。

いやー、あなたが何でこんなむちゃくちゃででたらめな証明なるものを展開できるのかよくわかりました。
数式の計算結果が 2*6=3*4 となるとき、そのような計算をもたらす式自体の評価が間違っているので、その結果は無視していいんですね。
いやー凄いですね。
中学レベルの数学ぐらいまででもよく理解できましたね。
その努力と熱意に敬意を払います。

**１３２人目の素数さん** · 2023/02/02(木) 12:51:31.97

>127 に書いてあることからすれば
>92で
>私が言っているのは、「AB=CDならば、A=Cのとき、B=Dとなる。」です。
を、あなたがどう弁明なさろうと、現に展開している論理は
「AB=CDならば、常にA=C かつ B=Dである」でしかないんですが、そこら辺のことは理解されていますか？
つまり
2*6=3*4は誤りである。3と4を置き換えて2*6=2*6にしないと正しい計算とは言えない。
あなたはそうおっしゃっているのと同じことなんですよ。

**１３２人目の素数さん** · 2023/02/02(木) 18:08:16.06

相対性理論のあの式がなんで光の速さの「二乗」なのか
それは相対性理論を説明するのに三平方の定理を使うから
こんな感じで楕円が何関係あんのかざっくり教えろ

**１３２人目の素数さん** · 2023/02/03(金) 00:42:35.04

だから日高さんは
「AB=CDならば、A=Cのとき、B=Dとなる」
の「ならば」「のとき」の意味がわかっていないんだよ。

**１３２人目の素数さん** · 2023/02/04(土) 19:29:46.04

日高さんは>>96

> (1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
> (2)の解はx=1,y=0のみである。

(2)を見てx-1=yと思い込み、
左辺-右辺=(x-1)(x^2+x+1)/3-(x-1)x=(x^3-3x^2+3x-1)/3=(x-1)^3/3
がx>=1で単調増加だといってるだけ？

**１３２人目の素数さん** · 2023/02/05(日) 03:52:08.84

ふぇるまーの問題のように、本来は整数の問題であるのに、その証明に際して
実数や複素数の道具立てを使って証明がされたという場合に、
もしかすると、その問題は実数や複素数の道具を使わないのではどうあがいても
証明が出来ない、そのような性格のものなのではなかろうか？

任意角を三等分する初等作図法の不存在を証明することが、初等幾何と
作図法の規則からだけではどうやっても導けていないように。
（座標幾何を入れて、代数の問題として扱わなければ解決しなかったように）。

しかし、であるとすれば、整数の範囲を超えたたとえば実数とか複素数の
論理の導入を認めない立場であれば、証明もまたできていないことにもならない
だろうか？

**１３２人目の素数さん** · 2023/02/07(火) 01:10:45.93

　　　　　　　　　代数トポロジー　　　　ホモロジー

ガロア理論　　基本群と被覆空間

　　　　　　　　　リーマン面

　　　　　　　　　複素解析

**１３２人目の素数さん** · 2023/02/07(火) 01:24:03.94

モチーフ　　　　　　　　　モチーフ

志村多様体　　　　　射影多様体

　保型表現　　Galois表現

　　　　　ゼータ函数

　　　類数　　　特殊値

Hilbert類体　　　Bernoulli数

　　　　　　　　　　　　モチーフ

**１３２人目の素数さん** · 2023/02/07(火) 11:33:03.71

ガロア理論
表現論
代数トポロジー

**１３２人目の素数さん** · 2023/02/07(火) 12:14:13.46

線形代数
群論
環と加群
体とガロア理論
表現論
可換環論
ホモロジー代数

**１３２人目の素数さん** · 2023/02/07(火) 14:34:23.69

線形代数
　ベクトル・行列
　行列式
　一般線形空間
　内積
　行列の標準化
　テンソル代数

**１３２人目の素数さん** · 2023/02/08(水) 22:53:54.14

もしもふぇるまーの大定理が選択公理を仮定しなければ証明ができないような
ものだったら、選択公理を仮定して証明されたそのような整数の問題に対する
定理をハイそうですかといって受け入れるのはなんだか気持ちが悪い気がする。

**１３２人目の素数さん** · 2023/02/09(木) 06:03:06.62

自分でも何書いてるか理解できてなさそう
覚えたての言葉を使いたくなっちゃったのかな？

日高 · 2023/02/10(金) 19:44:27.52

n=3のとき、x^n+y^n=z^nは自然数解を持たない。
x^3+y^3=z^3を、x^3+y^3=(y+1)^3…(1)とおく。x,yは有理数。
(1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
(2)はAB=CDならば、Ａ=Cのとき、B=Dとなる。このことにより、
(2)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、x^n+y^n=z^nは自然数解を持たない。

**１３２人目の素数さん** · 2023/02/10(金) 19:57:16.28

1つ目の式変形が理解できないんだけどもう少し詳しくかける？

日高 · 2023/02/10(金) 20:13:43.91

＞1つ目の式変形が理解できないんだけどもう少し詳しくかける？

(1)の式変形でしょうか？
x^3+y^3=(y+m)^3(x,y,mは整数)の両辺をm^3で割ると、
X^3+Y^3=(Y+1)^3となり、X,Yは有理数となります。

**１３２人目の素数さん** · 2023/02/10(金) 22:41:28.77

>>141
> (1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
> (2)はAB=CDならば、Ａ=Cのとき、B=Dとなる。このことにより、
> (2)の有理数解はx=1,y=0のみとなる。

x,yが実数のときでも
> AB=CDならば、Ａ=Cのとき、B=Dとなる
から(2)の実数解はx=1,y=0のみということだよね？

**１３２人目の素数さん** · 2023/02/10(金) 23:57:48.00

>>141

(x-1)(x+4)=y(y+1)
AB=CDのとき、A=Cとならない
AB=CDならば、Ａ=Cのとき、B=Dとなる。はインチキ

(x-1)(x+3)=y(y+1)
AB=CDのとき、A=Cとならない
AB=CDならば、Ａ=Cのとき、B=Dとなる。はインチキ

(x-1)(x+7)=y(y+1)
AB=CDのとき、A=Cとならない
AB=CDならば、Ａ=Cのとき、B=Dとなる。はインチキ

(x-1)(x+6)=y(y+1)
AB=CDのとき、A=Cとならない
AB=CDならば、Ａ=Cのとき、B=Dとなる。はインチキ

(x-1)(x+10)=y(y+1)
AB=CDのとき、A=Cとならない
AB=CDならば、Ａ=Cのとき、B=Dとなる。はインチキ

(x-1)(x+9)=y(y+1)
AB=CDのとき、A=Cとならない
AB=CDならば、Ａ=Cのとき、B=Dとなる。はインチキ

(x-1)(x^2+x+1)/3=y(y+1)
y=C=0のとき、元の式の当たり前の解であって今探している解ではない
それ以外でAB=CDのとき、A=Cとならない
AB=CDならば、Ａ=Cのとき、B=Dとなる。はインチキ

**１３２人目の素数さん** · 2023/02/11(土) 00:35:14.51

(x-1)(x+5)=y(y+1)
AB=CDのとき、A=Cとならない

A=aCとなるようにaを定義する。定義よりa=A/C

AB=[aC][D(1/a)]
=[(A/C)C][D(1/(A/C))]
=[A][CD/A]

式の左側に注目すると、A=aでもないし、A=aCはa=A/Cを代入するとA=Aにしかならない
AとCの関係の式はどこにも出てこない
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ

(x-1)(x^2+x+1)/3=y(y+1)
y=C=0のとき、元の式の当たり前の解であって今探している解ではない
それ以外でAB=CDのとき、A=Cとならない

A=aCとなるようにaを定義する。定義よりa=A/C

AB=[aC][D(1/a)]
=[(A/C)C][D(1/(A/C))]
=[A][CD/A]

式の左側に注目すると、A=aでもないし、A=aCはa=A/Cを代入するとA=Aにしかならない
AとCの関係の式はどこにも出てこない
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ

**１３２人目の素数さん** · 2023/02/11(土) 01:05:49.71

おっと
>>145-146
について
どの式もy=0は自明な解つまりあたりまえの解だけど、それは探している解ではないので除外します

日高 · 2023/02/11(土) 09:48:34.30

＞AB=CDならば、A=Cのとき、B=Dとなる。はインチキ

どうしてでしょうか？
当たり前のことと思いますが。

日高 · 2023/02/11(土) 09:53:01.51

n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、x^3+y^3=(y+1)^3…(1)とおく。x,yは有理数。
(1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
(2)はAB=CDならば、Ａ=Cのとき、B=Dとなる。このことにより、
(2)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

**１３２人目の素数さん** · 2023/02/11(土) 10:19:22.35

>>149
> (1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
> (2)はAB=CDならば、Ａ=Cのとき、B=Dとなる。このことにより、
> (2)の有理数解はx=1,y=0のみとなる。

x,yが実数のときでも
> AB=CDならば、Ａ=Cのとき、B=Dとなる
から(2)の実数解はx=1,y=0のみということだよね？

**１３２人目の素数さん** · 2023/02/11(土) 10:26:26.66

>>148

当たり前でないことをいくつも例を挙げて示しているのですが読んでもらえていないのでしょうか？

(x-1)(x+16)=y(y+1)
y=C=0のとき、当たり前の解であって今探している解ではない
それ以外でAB=CDのとき、A=Cとならない

A=aCとなるようにaを定義する。定義よりa=A/C

AB=[aC][D(1/a)]
=[(A/C)C][D(1/(A/C))]
=[A][CD/A]

式の左側に注目すると、A=aでもないし、A=aCはa=A/Cを代入するとA=Aにしかならない
AとCの関係の式はどこにも出てこない
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ

(x-1)(x+15)=y(y+1)
y=C=0のとき、当たり前の解であって今探している解ではない
それ以外でAB=CDのとき、A=Cとならない

A=aCとなるようにaを定義する。定義よりa=A/C

AB=[aC][D(1/a)]
=[(A/C)C][D(1/(A/C))]
=[A][CD/A]

式の左側に注目すると、A=aでもないし、A=aCはa=A/Cを代入するとA=Aにしかならない
AとCの関係の式はどこにも出てこない
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ

(x-1)(x+19)=y(y+1)
y=C=0のとき、当たり前の解であって今探している解ではない
それ以外でAB=CDのとき、A=Cとならない

A=aCとなるようにaを定義する。定義よりa=A/C

AB=[aC][D(1/a)]
=[(A/C)C][D(1/(A/C))]
=[A][CD/A]

式の左側に注目すると、A=aでもないし、A=aCはa=A/Cを代入するとA=Aにしかならない
AとCの関係の式はどこにも出てこない
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ

わざわざ例をあげるまでもなくいくらでもありますが。

日高 · 2023/02/11(土) 10:31:44.33

＞当たり前でないことをいくつも例を挙げて示しているのですが

やさしい数字の具体例をあげてください。

日高 · 2023/02/11(土) 10:37:35.38

n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
X^3+Y^3=Z^3を、x^3+y^3=(y+1)^3…(1)とおく。x,yは有理数。
(1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
(2)はAB=CDならば、Ａ=Cのとき、B=Dとなる。よって、
(2)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

**１３２人目の素数さん** · 2023/02/11(土) 10:41:45.50

>>153
> (1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
> (2)はAB=CDならば、Ａ=Cのとき、B=Dとなる。このことにより、
> (2)の有理数解はx=1,y=0のみとなる。

x,yが実数のときでも
> AB=CDならば、Ａ=Cのとき、B=Dとなる
から(2)の実数解はx=1,y=0のみということだよね？

日高 · 2023/02/11(土) 10:43:56.75

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(y+1)…(3)と変形する。
(3)はAB=CDならば、Ａ=Cのとき、B=Dとなる。よって、
(3)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

日高 · 2023/02/11(土) 10:47:56.26

＞x,yが実数のときでも
> AB=CDならば、Ａ=Cのとき、B=Dとなる
から(2)の実数解はx=1,y=0のみということだよね？

実数解ではなく、
有理数解はx=1,y=0のみということです。

日高 · 2023/02/11(土) 10:51:29.33

n=3,4,5,6.....も、155と同じ要領です。

**１３２人目の素数さん** · 2023/02/11(土) 10:55:04.37

>>152

この上なくやさしいんですけど。

(x-1)(x+4)=y(y+1)
y=C=0のとき、当たり前の解であって今探している解ではない
それ以外でAB=CDのとき、A=Cとならない
AB=CDとなるのはx=2,y=2のとき
AB=CDならば、Ａ=Cのとき、B=Dとなる。はインチキ

(x-1)(x+3)=y(y+1)
y=C=0のとき、当たり前の解であって今探している解ではない
それ以外でAB=CDのとき、A=Cとならない
AB=CDとなるのはx=3,y=3のとき
AB=CDならば、Ａ=Cのとき、B=Dとなる。はインチキ

(x-1)(x+7)=y(y+1)
y=C=0のとき、当たり前の解であって今探している解ではない
それ以外でAB=CDのとき、A=Cとならない
AB=CDとなるのはx=3,y=4のとき
AB=CDならば、Ａ=Cのとき、B=Dとなる。はインチキ

以下yが1つ増えてるだけです。

**１３２人目の素数さん** · 2023/02/11(土) 10:57:50.05

>>156
> 実数解ではなく、
> 有理数解はx=1,y=0のみということです。

それだとx=1,y=0以外の実数解の中に有理数解があるかどうかは
全くわからないから証明になっていないだろ

**１３２人目の素数さん** · 2023/02/11(土) 11:00:32.68

>>158
最後の行修正
yが１つ　ではなく　yが1ずつ

**１３２人目の素数さん** · 2023/02/11(土) 11:42:09.59

>>158

また修正

どんな実数yに対してもAB=CDとなるような実数xを決められるけど
AB=CDとなるx,yの組を1つ挙げるならx=2,y=2

他も同様

日高 · 2023/02/11(土) 12:08:55.05

＞(x-1)(x+3)=y(y+1)

x=3,y=3
2*6=3*4
AB=CDなので、
右辺の３を2に置き換えると、
右辺の４は６となります。

**１３２人目の素数さん** · 2023/02/11(土) 12:33:17.39

>>162

> 右辺の３を2に置き換えると、

意味が分かりません
そんなことをしていいって誰が言いましたか

> 右辺の４は６となります。

意味が分かりません
右辺の右側は(右辺の左側)+1のはずですけど

日高 · 2023/02/11(土) 12:36:44.90

(x-1)(x^2+x+1)/3=y(y+1)…(3)

xに1.001を代入すると、
両辺の差は、0.000000333となります。
xの増加に伴って、両辺の差は大きくなります。

日高 · 2023/02/11(土) 12:42:19.33

(x-1)(x+3)=y(y+1)
は、
(x-1)(x+3)=(2/3)y(y+1)(3/2)と同じです。

**１３２人目の素数さん** · 2023/02/11(土) 13:21:15.35

> (x-1)(x+3)=y(y+1)
> は、
> (x-1)(x+3)=(2/3)y(y+1)(3/2)と同じです。

その2/3というのはどこから出てくるのか

私から答えを聞いたあなたが、
A=aCとなるようにaを定義する。定義よりa=A/C=(x-1)/y
から考えたのではないですか。

(x-1)(x+3)=y(y+1)
=ay(y+1)(1/a)とすると

(x-1)(x+3)={[(x-1)/y]y}(y+1){1/[(x-1)/y]}
=(x-1)[y(y+1)/(x-1)]

左辺の左は(x-1)　右辺の左も(x-1)
x=3,y=3のとき左辺の左　と　右辺の左が同じになるようにごまかしのインチキを使っただけで
xとyとの関係は出てきません。ごまかしのインチキです。

こんなごまかしのインチキでいいのなら
(x-1)(x^2+x+1)/3=y(y+1)
は
(x-1)(x^2+x+1)/3=[(x-1)/y]y(y+1){1/[(x-1)/y]}
と同じですから

あなたのりくつでいえば、
(x-1)(x+3)=y(y+1)に整数解があるので(x-1)(x^2+x+1)/3=y(y+1)にも整数解があるはず

**１３２人目の素数さん** · 2023/02/11(土) 14:03:30.75

くりかえしになりますが

x=1,y=0のあたりまえの解でないとき、
(x-1)(x^2+x+1)/3=y(y+1)
は
(x-1)(x^2+x+1)/3=[(x-1)/y]y(y+1){1/[(x-1)/y]}
とおなじである

A=(x-1)
B=(x^2+x+1)/3
C=[(x-1)/y]y
D=y(y+1){1/[(x-1)/y]}
とおくと、すべての有理数yについて、
AB=CDならば、A=Cで、B=Dであるから

あなたのりくつでいえば
(x-1)(x^2+x+1)/3=y(y+1)には有理数解が存在するはず

しかしこれは(x-1)=(x-1)といっているだけのごまかしのインチキ

**１３２人目の素数さん** · 2023/02/11(土) 14:04:45.43

>>167修正
D=(y+1){1/[(x-1)/y]}

日高 · 2023/02/11(土) 14:43:04.73

＞とおくと、すべての有理数yについて、
AB=CDならば、A=Cで、B=Dであるから
あなたのりくつでいえば
(x-1)(x^2+x+1)/3=y(y+1)には有理数解が存在するはず

(x-1)(x^2+x+1)/3=y(y+1)には有理数解は一つです。
あとは、無理数解です。

**１３２人目の素数さん** · 2023/02/11(土) 15:12:23.79

>>169

AB=CDならば、A=Cのとき、B=Dとなる。

が全然当たり前でない、ただのごまかしのインチキである

ということについて、理解していただけましたか？

日高 · 2023/02/11(土) 15:49:37.95

＞AB=CDならば、A=Cのとき、B=Dとなる。
が全然当たり前でない、ただのごまかしのインチキである
ということについて、理解していただけましたか？

インチキでは、ありません。

**１３２人目の素数さん** · 2023/02/11(土) 15:57:52.96

>>171

えー

(x-1)(x+3)=y(y+1)
y=C=0のとき、当たり前の解であって今探している解ではない
それ以外でAB=CDのとき、A=Cとならないのに
AB=CDならば、A=Cのとき、B=Dとなる。
なんて、いんちきじゃないですか。
A=aCとおくことがごまかしであることも、>>166などをよめばわかるはずです。

(x-1)(x^2+x+1)/3=y(y+1)
y=C=0のとき、当たり前の解であって今探している解ではない
それ以外でAB=CDのとき、A=Cとならないのに
AB=CDならば、A=Cのとき、B=Dとなる。
なんて、いんちきじゃないですか。
A=aCとおくことがごまかしであることも、>>167などをよめばわかるはずです。

日高 · 2023/02/11(土) 16:17:54.99

AB=CDならば、A=Cのとき、B=Dとなる。

これは、当たり前の話です。

**１３２人目の素数さん** · 2023/02/11(土) 17:13:55.29

相変わらず一切の進展が見込めませんな
人に意見を求めておいてそれを聞き入れないってどういう了見なんだか理解に苦しむ
すでに10年以上無駄な時間を費やして、更に巻き込んだ方々に精神的なダメージを与え続けてるんだから
そろそろスレ閉じよう

あなたのブログの中、狭いところでやってくれ

目障りなだけでなく精神有害

日高 · 2023/02/11(土) 17:21:05.62

＞更に巻き込んだ方々に精神的なダメージを与え続けてるんだから

どなたに、精神的なダメージを与えたのでしょうか？

**１３２人目の素数さん** · 2023/02/11(土) 17:35:00.15

>>169
> (x-1)(x^2+x+1)/3=y(y+1)には有理数解は一つです。
> あとは、無理数解です。

>>156
> 実数解ではなく、
> 有理数解はx=1,y=0のみということです。

それだとx=1,y=0以外の実数解の中に有理数解があるかどうかは
全くわからないから証明になっていないだろ

**１３２人目の素数さん** · 2023/02/11(土) 17:43:00.15

>>173
> AB=CDならば、A=Cのとき、B=Dとなる。
>
> これは、当たり前の話です。

解ごとにAやCが変化することも当たり前の話なんだが
日高はA=x-1とC=yの場合しか考えていないから証明になっていない

日高 · 2023/02/11(土) 17:54:10.08

＞それだとx=1,y=0以外の実数解の中に有理数解があるかどうかは
全くわからないから証明になっていないだろ

(x-1)(x^2+x+1)/3=y(y+1)の配置を変えても、
(x-1)(x^2+x+1)/3=ay(y+1)(1/a)としても、同じ結果となります。

日高 · 2023/02/11(土) 17:56:03.46

＞日高はA=x-1とC=yの場合しか考えていないから証明になっていない

(x-1)(x^2+x+1)/3=y(y+1)の配置を変えても、
(x-1)(x^2+x+1)/3=ay(y+1)(1/a)としても、同じ結果となります。

**１３２人目の素数さん** · 2023/02/11(土) 18:12:28.20

>>179
> (x-1)(x^2+x+1)/3=y(y+1)の配置を変えても、
> (x-1)(x^2+x+1)/3=ay(y+1)(1/a)としても、同じ結果となります。

AB=CDが同じでも
A=Cから得られる式とB=Dから得られる式は異なるから同じ結果にならない

日高 · 2023/02/11(土) 18:20:05.43

＞A=Cから得られる式とB=Dから得られる式は異なるから同じ結果にならない

例を示して下さい。

日高 · 2023/02/11(土) 18:29:31.79

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(y+1)…(3)と変形する。
(3)はAB=CDならば、Ａ=Cのとき、B=Dとなる。よって、
(3)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

**１３２人目の素数さん** · 2023/02/11(土) 18:37:08.03

>>181
> ＞A=Cから得られる式とB=Dから得られる式は異なるから同じ結果にならない
>
> 例を示して下さい。

解がx=1,y=0のとき
A=Cから得られる式はx-1=y

x,yが有理数のときx<yならばy-x=r (rは有理数)と書ける
このときA=Cから得られる式はx-1=y+r-1
y-x=1/2ならばx=y-(1/2), x-1=y-(3/2)
y-x=1/3ならばx=y-(1/3), x-1=y-(4/3)
y-x=5/7ならばx=y-(5/7), x-1=y-(12/7)など
A=x-1とおけばA=Cが異なることは明らか

**１３２人目の素数さん** · 2023/02/11(土) 18:42:32.30

>>181
> 例を示して下さい。

自分は証明の途中の計算を示せていないだろ

>>182
> (3)はAB=CDならば、Ａ=Cのとき、B=Dとなる。よって、
> (3)の有理数解はx=1,y=0のみとなる。

x=1,y=0の場合の
A=Cから得られる式は？
B=Dから得られる式は？
実数解の場合の
A=Cから得られる式は？
B=Dから得られる式は？

**１３２人目の素数さん** · 2023/02/11(土) 19:03:07.02

>>183
> このときA=Cから得られる式はx-1=y+r-1

A=Cから得られる式はx-1=y-r-1
に訂正

日高 · 2023/02/11(土) 19:20:08.80

＞A=Cから得られる式はx-1=y-r-1

A=Cから得られる式はx-1=yです。

**１３２人目の素数さん** · 2023/02/11(土) 19:23:48.15

日高さんは
「AB=CDならば、Ａ=Cのとき、B=Dとなる」って書いてるけど、
「『AB=CDならば、Ａ=Cのとき』、B=Dとなる」ですか、それとも
「AB=CDならば、『Ａ=Cのとき、B=Dとなる』」ですか？

**１３２人目の素数さん** · 2023/02/11(土) 19:26:56.57

>>186
> A=Cから得られる式はx-1=yです。

それでx-1=yでない解をどうやって求めるの？

日高 · 2023/02/11(土) 19:28:21.99

＞A=aCとおくことがごまかしであることも、

同じ結果となります。

**１３２人目の素数さん** · 2023/02/11(土) 19:31:21.63

>>186
> ＞A=Cから得られる式はx-1=y-r-1
>
> A=Cから得られる式はx-1=yです。

> (x-1)(x^2+x+1)/3=y(y+1)の配置を変えても、
> (x-1)(x^2+x+1)/3=ay(y+1)(1/a)としても、同じ結果となります。

(x-1)*{(x^2+x+1)/3}=(y-r-1)*{y(y+1)(1/(y-r-1))}だと
A=x-1,C=y-r-1であってC=yではないだろ

日高 · 2023/02/11(土) 19:49:26.72

＞「『AB=CDならば、Ａ=Cのとき』、B=Dとなる」ですか、それとも
「AB=CDならば、『Ａ=Cのとき、B=Dとなる』」ですか？

違いを教えて下さい。

日高 · 2023/02/11(土) 19:53:34.79

＞それでx-1=yでない解をどうやって求めるの？

配置を変えて下さい。
a＊(1/a)=1なので、同じです。

**１３２人目の素数さん** · 2023/02/11(土) 19:57:00.78

>>187 訂正。
> 日高さんは
> 「AB=CDならば、Ａ=Cのとき、B=Dとなる」って書いてるけど、
< 「『AB=CDならば、Ａ=C』のとき、B=Dとなる」ですか、それとも
> 「AB=CDならば、『Ａ=Cのとき、B=Dとなる』」ですか？

日高 · 2023/02/11(土) 20:01:31.98

＞(x-1)*{(x^2+x+1)/3}=(y-r-1)*{y(y+1)(1/(y-r-1))}だと
A=x-1,C=y-r-1であってC=yではないだろ

(y-r-1)*{y(y+1)(1/(y-r-1))}
この式を細かく書いて下さい。

日高 · 2023/02/11(土) 20:03:49.15

＞「『AB=CDならば、Ａ=C』のとき、B=Dとなる」ですか、それとも
> 「AB=CDならば、『Ａ=Cのとき、B=Dとなる』」ですか？

違いを教えて下さい。

**１３２人目の素数さん** · 2023/02/11(土) 20:04:49.03

>>192
> 配置を変えて下さい。
> a＊(1/a)=1なので、同じです。

答えが異なるのに方程式が同じではおかしいだろ
一体何が同じなの？

> 例を示して下さい。
自分は証明の途中の計算を示せていないだろ

x=1,y=0の場合の
A=Cから得られる式は？
B=Dから得られる式は？
実数解の場合の
A=Cから得られる式は？
B=Dから得られる式は？

**１３２人目の素数さん** · 2023/02/11(土) 20:07:52.70

>>195
> ＞「『AB=CDならば、Ａ=C』のとき、B=Dとなる」ですか、それとも
> > 「AB=CDならば、『Ａ=Cのとき、B=Dとなる』」ですか？
>
> 違いを教えて下さい。

ほんとうにわからんのか？

日高 · 2023/02/11(土) 20:11:05.42

＞A=x-1とおけばA=Cが異なることは明らか

x-1＝ｙとした場合です。
つまり、
x=y+1の場合です。

日高 · 2023/02/11(土) 20:12:58.94

＞ほんとうにわからんのか？

わかりませんので、教えて下さい。

**１３２人目の素数さん** · 2023/02/11(土) 20:26:11.51

>>198
> x-1＝ｙとした場合です。
> つまり、
> x=y+1の場合です。

おまえはずっと同じだと答えているが
x-1=yの場合とx-1=yでない場合はA=CとB=Dは同じなの？っていうのが質問の内容なんだが
AB=CDが同じでもA=CとB=Dが異なれば解くべき方程式も異なるだろ