探検


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

■ このスレッドは過去ログ倉庫に格納されています
1日高
垢版 |
2023/01/28(土) 19:36:01.97ID:cewLr2LS
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以外の整数解を持たない。
153日高
垢版 |
2023/02/11(土) 10:37:35.38ID:22SQpf12
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ならば、A=Cのとき、B=Dとなる。よって、
(2)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
2023/02/11(土) 10:41:45.50ID:/X4DX7hq
>>153
> (1)を(x-1)(x^2+x+1)/3=y(y+1)…(2)と変形する。
> (2)はAB=CDならば、A=Cのとき、B=Dとなる。このことにより、
> (2)の有理数解はx=1,y=0のみとなる。

x,yが実数のときでも
> AB=CDならば、A=Cのとき、B=Dとなる
から(2)の実数解はx=1,y=0のみということだよね?
155日高
垢版 |
2023/02/11(土) 10:43:56.75ID:22SQpf12
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ならば、A=Cのとき、B=Dとなる。よって、
(3)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
156日高
垢版 |
2023/02/11(土) 10:47:56.26ID:22SQpf12
>x,yが実数のときでも
> AB=CDならば、A=Cのとき、B=Dとなる
から(2)の実数解はx=1,y=0のみということだよね?

実数解ではなく、
有理数解はx=1,y=0のみということです。
157日高
垢版 |
2023/02/11(土) 10:51:29.33ID:22SQpf12
n=3,4,5,6.....も、155と同じ要領です。
2023/02/11(土) 10:55:04.37ID:EZOAyJjP
>>152

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

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

以下yが1つ増えてるだけです。
2023/02/11(土) 10:57:50.05ID:/X4DX7hq
>>156
> 実数解ではなく、
> 有理数解はx=1,y=0のみということです。

それだとx=1,y=0以外の実数解の中に有理数解があるかどうかは
全くわからないから証明になっていないだろ
2023/02/11(土) 11:00:32.68ID:EZOAyJjP
>>158
最後の行修正
yが1つ ではなく yが1ずつ
2023/02/11(土) 11:42:09.59ID:EZOAyJjP
>>158

また修正

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

他も同様
162日高
垢版 |
2023/02/11(土) 12:08:55.05ID:22SQpf12
>(x-1)(x+3)=y(y+1)

x=3,y=3
2*6=3*4
AB=CDなので、
右辺の3を2に置き換えると、
右辺の4は6となります。
2023/02/11(土) 12:33:17.39ID:EZOAyJjP
>>162

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

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

> 右辺の4は6となります。

意味が分かりません
右辺の右側は(右辺の左側)+1のはずですけど
164日高
垢版 |
2023/02/11(土) 12:36:44.90ID:22SQpf12
(x-1)(x^2+x+1)/3=y(y+1)…(3)

xに1.001を代入すると、
両辺の差は、0.000000333となります。
xの増加に伴って、両辺の差は大きくなります。
165日高
垢版 |
2023/02/11(土) 12:42:19.33ID:22SQpf12
(x-1)(x+3)=y(y+1)
は、
(x-1)(x+3)=(2/3)y(y+1)(3/2)と同じです。
2023/02/11(土) 13:21:15.35ID:EZOAyJjP
> (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.75ID:EZOAyJjP
くりかえしになりますが

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.43ID:EZOAyJjP
>>167修正
D=(y+1){1/[(x-1)/y]}
169日高
垢版 |
2023/02/11(土) 14:43:04.73ID:22SQpf12
>とおくと、すべての有理数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.79ID:EZOAyJjP
>>169

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

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

ということについて、理解していただけましたか?
171日高
垢版 |
2023/02/11(土) 15:49:37.95ID:22SQpf12
>AB=CDならば、A=Cのとき、B=Dとなる。
が全然当たり前でない、ただのごまかしのインチキである
ということについて、理解していただけましたか?

インチキでは、ありません。
2023/02/11(土) 15:57:52.96ID:EZOAyJjP
>>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などをよめばわかるはずです。
173日高
垢版 |
2023/02/11(土) 16:17:54.99ID:22SQpf12
AB=CDならば、A=Cのとき、B=Dとなる。

これは、当たり前の話です。
2023/02/11(土) 17:13:55.29ID:xn7eM/sG
相変わらず一切の進展が見込めませんな
人に意見を求めておいてそれを聞き入れないってどういう了見なんだか理解に苦しむ
すでに10年以上無駄な時間を費やして、更に巻き込んだ方々に精神的なダメージを与え続けてるんだから
そろそろスレ閉じよう

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

目障りなだけでなく精神有害
175日高
垢版 |
2023/02/11(土) 17:21:05.62ID:22SQpf12
>更に巻き込んだ方々に精神的なダメージを与え続けてるんだから

どなたに、精神的なダメージを与えたのでしょうか?
2023/02/11(土) 17:35:00.15ID:XY5IQu5o
>>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.15ID:XY5IQu5o
>>173
> AB=CDならば、A=Cのとき、B=Dとなる。
>
> これは、当たり前の話です。

解ごとにAやCが変化することも当たり前の話なんだが
日高はA=x-1とC=yの場合しか考えていないから証明になっていない
178日高
垢版 |
2023/02/11(土) 17:54:10.08ID:22SQpf12
>それだと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)としても、同じ結果となります。
179日高
垢版 |
2023/02/11(土) 17:56:03.46ID:22SQpf12
>日高は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.20ID:XY5IQu5o
>>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から得られる式は異なるから同じ結果にならない
181日高
垢版 |
2023/02/11(土) 18:20:05.43ID:22SQpf12
>A=Cから得られる式とB=Dから得られる式は異なるから同じ結果にならない

例を示して下さい。
182日高
垢版 |
2023/02/11(土) 18:29:31.79ID:22SQpf12
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ならば、A=Cのとき、B=Dとなる。よって、
(3)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
2023/02/11(土) 18:37:08.03ID:XY5IQu5o
>>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.30ID:XY5IQu5o
>>181
> 例を示して下さい。

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

>>182
> (3)はAB=CDならば、A=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.02ID:XY5IQu5o
>>183
> このときA=Cから得られる式はx-1=y+r-1

A=Cから得られる式はx-1=y-r-1
に訂正
186日高
垢版 |
2023/02/11(土) 19:20:08.80ID:22SQpf12
>A=Cから得られる式はx-1=y-r-1

A=Cから得られる式はx-1=yです。
2023/02/11(土) 19:23:48.15ID:/tcADVah
日高さんは
「AB=CDならば、A=Cのとき、B=Dとなる」って書いてるけど、
「『AB=CDならば、A=Cのとき』、B=Dとなる」ですか、それとも
「AB=CDならば、『A=Cのとき、B=Dとなる』」ですか?
2023/02/11(土) 19:26:56.57ID:dPqUffXO
>>186
> A=Cから得られる式はx-1=yです。

それでx-1=yでない解をどうやって求めるの?
189日高
垢版 |
2023/02/11(土) 19:28:21.99ID:22SQpf12
>A=aCとおくことがごまかしであることも、

同じ結果となります。
2023/02/11(土) 19:31:21.63ID:dPqUffXO
>>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ではないだろ
191日高
垢版 |
2023/02/11(土) 19:49:26.72ID:22SQpf12
>「『AB=CDならば、A=Cのとき』、B=Dとなる」ですか、それとも
「AB=CDならば、『A=Cのとき、B=Dとなる』」ですか?

違いを教えて下さい。
192日高
垢版 |
2023/02/11(土) 19:53:34.79ID:22SQpf12
>それでx-1=yでない解をどうやって求めるの?

配置を変えて下さい。
a*(1/a)=1なので、同じです。
2023/02/11(土) 19:57:00.78ID:/tcADVah
>>187 訂正。
> 日高さんは
> 「AB=CDならば、A=Cのとき、B=Dとなる」って書いてるけど、
< 「『AB=CDならば、A=C』のとき、B=Dとなる」ですか、それとも
> 「AB=CDならば、『A=Cのとき、B=Dとなる』」ですか?
194日高
垢版 |
2023/02/11(土) 20:01:31.98ID:22SQpf12
>(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))}
この式を細かく書いて下さい。
195日高
垢版 |
2023/02/11(土) 20:03:49.15ID:22SQpf12
>「『AB=CDならば、A=C』のとき、B=Dとなる」ですか、それとも
> 「AB=CDならば、『A=Cのとき、B=Dとなる』」ですか?

違いを教えて下さい。
2023/02/11(土) 20:04:49.03ID:dPqUffXO
>>192
> 配置を変えて下さい。
> a*(1/a)=1なので、同じです。

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

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

x=1,y=0の場合の
A=Cから得られる式は?
B=Dから得られる式は?
実数解の場合の
A=Cから得られる式は?
B=Dから得られる式は?
2023/02/11(土) 20:07:52.70ID:/tcADVah
>>195
> >「『AB=CDならば、A=C』のとき、B=Dとなる」ですか、それとも
> > 「AB=CDならば、『A=Cのとき、B=Dとなる』」ですか?
>
> 違いを教えて下さい。

ほんとうにわからんのか?
198日高
垢版 |
2023/02/11(土) 20:11:05.42ID:22SQpf12
>A=x-1とおけばA=Cが異なることは明らか

x-1=yとした場合です。
つまり、
x=y+1の場合です。
199日高
垢版 |
2023/02/11(土) 20:12:58.94ID:22SQpf12
>ほんとうにわからんのか?

わかりませんので、教えて下さい。
2023/02/11(土) 20:26:11.51ID:dPqUffXO
>>198
> x-1=yとした場合です。
> つまり、
> x=y+1の場合です。

おまえはずっと同じだと答えているが
x-1=yの場合とx-1=yでない場合はA=CとB=Dは同じなの?っていうのが質問の内容なんだが
AB=CDが同じでもA=CとB=Dが異なれば解くべき方程式も異なるだろ
201日高
垢版 |
2023/02/11(土) 20:54:35.14ID:22SQpf12
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ならば、A=Cのとき、B=Dとなる。よって、
(3)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
2023/02/11(土) 21:18:27.15ID:IWKIwyz8
>>201
> (2)を(x-1)(x^2+x+1)/3=y(y+1)…(3)と変形する。
> (3)はAB=CDならば、A=Cのとき、B=Dとなる。よって、
> (3)の有理数解はx=1,y=0のみとなる。

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

x=1,y=0の場合の
A=Cから得られる式は? B=Dから得られる式は?
x=1,y=0でない場合の
A=Cから得られる式は? B=Dから得られる式は?
実数解の場合の
A=Cから得られる式は? B=Dから得られる式は?
2023/02/11(土) 21:47:01.17ID:EZOAyJjP
>>201

(x-1)(x+6)=(y^2+1)(y^2+2)

A=x-1
B=x+6
C=y^2+1
D=y^2+2

AB=CDのとき、A=Cにならない。
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ
2023/02/12(日) 18:07:09.89ID:f5CBioVI
>>148
当たり前にインチキ

正しいと思い込んでいる日高が嘘つきそのもの

正しいなら証明するか証明が乗ってる本とページを示せ
2023/02/12(日) 19:23:01.92ID:2gBIRwhG
>>199
> >ほんとうにわからんのか?
>
> わかりませんので、教えて下さい。

真理値表を書いてみたら?
206132人目の素数さん
垢版 |
2023/02/12(日) 20:55:00.79ID:0kkEQ7Hp
スレ主は中学数学も理解してない御仁だぞ
会話は成立しないからそのつもりで
2023/02/12(日) 21:56:16.73ID:A4BskI4J
> AB=CDならば、A=Cのとき、B=Dとなる。

というのは、

AB=CD と同時に A=C が共に成立している場合、
常に B=D が成立する。

という意味なのか、

AB=CD が成立している場合、
常に A=C と同時に B=D が共に成立する。

という意味なのか教えていただけないでしょうか。
208日高
垢版 |
2023/02/13(月) 14:26:53.28ID:A4jrOdNG
x^3+y^3=(y+1)^3は、
x=7,y=10.18878のときに成立する。よって、
(x^2+x+1)/3=(y+1)*(y/6)も成立する。
209日高
垢版 |
2023/02/13(月) 14:30:07.09ID:A4jrOdNG
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ならば、A=Cのとき、B=Dとなる。よって、
(3)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
2023/02/13(月) 15:59:08.42ID:Dyq+Zf18
(x^3-t^3)/3=y(y+1)
上の式でt=1のときが
(x-1)(x^2+x+1)/3=y(y+1)
であり、x-1=yであるから、代入してみれば上の式には有理数解がない、とわかるんですよね。

では上の式でt=4のとき、つまり
(x^3-64)/3=y(y+1) すなわち
(x-4)(x^2+4x+16)=y(y+1)には有理数解、整数解はありますか?

ちなみになぜt=4かというと、(x-1)(x^2+x+1)/3が整数になるにはx=3n-2、つまり3で割ると1余る形である必要があるので、次に検討すべきはt=2やt=3よりもt=4の場合が3で割ると1余るので都合がよいからです。

t=1の場合と同じ方法で確認できますよね。
ぜひ検討してみてください。
2023/02/13(月) 17:44:32.22ID:eyhY1KoH
>>209
> (2)を(x-1)(x^2+x+1)/3=y(y+1)…(3)と変形する。
> (3)はAB=CDならば、A=Cのとき、B=Dとなる。よって、
> (3)の有理数解はx=1,y=0のみとなる。

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

x=1,y=0の場合の
A=Cから得られる式は? B=Dから得られる式は?
x=1,y=0でない場合の
A=Cから得られる式は? B=Dから得られる式は?
実数解の場合の
A=Cから得られる式は? B=Dから得られる式は?
2023/02/13(月) 17:53:54.57ID:eyhY1KoH
>>209
> (2)を(x-1)(x^2+x+1)/3=y(y+1)…(3)と変形する。
> (3)はAB=CDならば、A=Cのとき、B=Dとなる。よって、
> (3)の有理数解はx=1,y=0のみとなる。

(3)はy={-1+(1+4r}^(1/2)}/2 (rは有理数)であるような解を持つが
x-1=yでない解を持つことが分かるから証明は間違っている
213日高
垢版 |
2023/02/13(月) 19:28:49.61ID:A4jrOdNG
AB=CD が成立している場合、
常に A=C と同時に B=D が共に成立する。
という意味です。
2023/02/13(月) 19:44:31.96ID:6Dk041g9
>>213
> AB=CD が成立している場合、
> 常に A=C と同時に B=D が共に成立する。
> という意味です。

終わりましたな。このスレ。
2023/02/13(月) 19:56:34.95ID:eyhY1KoH
>>213
> AB=CD が成立している場合、
> 常に A=C と同時に B=D が共に成立する。
> という意味です。

x=1,y=0の場合の
A=Cから得られる式は? B=Dから得られる式は?
x=1,y=0でない場合の
A=Cから得られる式は? B=Dから得られる式は?
実数解の場合の
A=Cから得られる式は? B=Dから得られる式は?
2023/02/13(月) 20:13:12.86ID:YH7f/rn2
>>213
> AB=CD が成立している場合、
> 常に A=C と同時に B=D が共に成立する。
> という意味です。

「常に A=C」が常にx-1=yという意味ならx-1=yでない場合があるから証明は間違い
「常に A=C」がx-1=yでない場合も意味するのならば証明にx-1=yでない場合がないから証明は間違い
2023/02/13(月) 20:44:21.27ID:6Dk041g9
>>213
> AB=CD が成立している場合、
> 常に A=C と同時に B=D が共に成立する。
> という意味です。

A=2,B=6,C=3,D=4は?
2023/02/14(火) 00:39:01.80ID:ewD1CYZd
>>213
証明してみろよ、クズ
219日高
垢版 |
2023/02/14(火) 19:18:32.40ID:m7TEAsBY
A=2,B=6,C=3,D=4は?

2*6=3*(2/3)*3*4*(3/2)
2=(2/3)*3
6=4*(3/2)
となります。
2023/02/14(火) 19:41:07.04ID:UxKIeaxS
>>219
> 常に A=C と同時に B=D が共に成立する。

が成立していますか、って聞いてんだよ。
2023/02/14(火) 19:41:35.81ID:wTfrh7Sa
>>219
> AB=CD が成立している場合、
> 常に A=C と同時に B=D が共に成立する。
> という意味です。。
これが正しいかどうかを質問されているのだから

> A=2,B=6,C=3,D=4は?
>
> 2*6=3*(2/3)*3*4*(3/2)
> 2=(2/3)*3
> 6=4*(3/2)
> となります。
これは証明が正しくないと言っているのと同じ
2023/02/15(水) 14:02:54.19ID:1C8ba/jZ
>>219
A, B, C, D が全て 0 でない場合、
AB=CD ならば、AB/CD=1、
ゆえに、
AB=CD・(AB/CD)
AB=AB・CD/CD
AB=AB

と言ってるに過ぎず、A=C に何も触れていない。
223日高
垢版 |
2023/02/15(水) 15:20:52.26ID:qkBuY2AU
>AB=AB
と言ってるに過ぎず、A=C に何も触れていない。

両辺が等しいとき、
CをAに置き換えると、DがBに置き換わります。
当たり前の話をしています。
224日高
垢版 |
2023/02/15(水) 15:33:13.46ID:qkBuY2AU
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ならば、A=Cのとき、B=Dとなる。
(x-1)=ayのとき、xの増加につれて両辺の差は大きくなる。
よって、(3)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
225日高
垢版 |
2023/02/15(水) 16:18:00.84ID:qkBuY2AU
>実数解の場合の
A=Cから得られる式は? B=Dから得られる式は?

(x-1)(x^2+x+1)/3=ay(y+1)/a
A=Cから得られる式は(x-1)=ay
B=Dから得られる式は(x^2+x+1)/3=(y+1)/a
226日高
垢版 |
2023/02/15(水) 16:21:59.29ID:qkBuY2AU
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)はAB=CDならば、A=Cのとき、B=Dとなる。
(x-1)=ayのとき、xの増加につれて両辺の差は大きくなる。
よって、(3)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
2023/02/15(水) 18:33:11.82ID:DbZRN6/e
>>225
> >実数解の場合の
> A=Cから得られる式は? B=Dから得られる式は?
>
> (x-1)(x^2+x+1)/3=ay(y+1)/a
> A=Cから得られる式は(x-1)=ay
> B=Dから得られる式は(x^2+x+1)/3=(y+1)/a

>>226
> (2)を(x-1)(x^2+x+1)/3=ay(y+1)/a…(3)と変形する。
>
> (x-1)=ayのとき、xの増加につれて両辺の差は大きくなる。
> よって、(3)の有理数解はx=1,y=0のみとなる。

(3)がx=s, y={-1+(1+4r}^(1/2)}/2 (r,sは有理数)である解を持つことを
> (x-1)=ayのとき、xの増加につれて両辺の差は大きくなる。
で示せ
228日高
垢版 |
2023/02/15(水) 19:06:23.29ID:qkBuY2AU
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とおく。
AB=CDならば、A=Cのとき、B=Dとなる。
(x-1)=ayのとき、xの増加につれて両辺の差は大きくなる。
よって、(3)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
229日高
垢版 |
2023/02/15(水) 19:14:48.16ID:qkBuY2AU
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とおく。
AB=CDならば、A=Cのとき、B=Dとなる。
(x-1)=ayのとき、xの増加につれてB-Dの値は大きくなる。
よって、(3)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。
230日高
垢版 |
2023/02/15(水) 19:30:41.27ID:qkBuY2AU
x=s, y={-1+(1+4r}^(1/2)}/2 (r,sは有理数)である解を持つことを

この式の意味を教えて下さい。
2023/02/15(水) 19:43:20.38ID:DbZRN6/e
>>230
> x=s, y={-1+(1+4r}^(1/2)}/2 (r,sは有理数)である解を持つことを
>
> この式の意味を教えて下さい。

(x-1)(x^2+x+1)/3=ay(y+1)/a…(3)は
x=s (sは有理数)のとき y={-1+(1+4r}^(1/2)}/2 (rは有理数)である実数解を持つ
232日高
垢版 |
2023/02/15(水) 19:50:06.72ID:qkBuY2AU
>(x-1)(x^2+x+1)/3=ay(y+1)/a…(3)は
x=s (sは有理数)のとき y={-1+(1+4r}^(1/2)}/2 (rは有理数)である実数解を持つ

よく意味がわからないので、詳しく教えて下さい。
233日高
垢版 |
2023/02/15(水) 19:54:09.62ID:qkBuY2AU
> y={-1+(1+4r}^(1/2)}/2

rによっては、yは有理数になりますね。
234日高
垢版 |
2023/02/15(水) 20:00:25.50ID:qkBuY2AU
rによっては、yは有理数になりますね。

たとえば、r=4,y=2
2023/02/15(水) 20:19:25.92ID:oCgDmxyl
>>223
(x-1)(x+6)=(y^2+1)(y^2+2)

A=x-1
B=x+6
C=y^2+1
D=y^2+2

> CをAに置き換えると、DがBに置き換わります。

つまり、(x-1)(x+6)=(x-1)(x+6)
AとCとの関係はどこにも出てこない。xとyの関係はどこにも出てこない


(x-1)(x+6)=a(y^2+1)(y^2+2)(1/a)

A=x-1
B=x+6
C=a(y^2+1)
D=(y^2+2)/(1/a)

(x-1)=a(y^2+1)となるようにaを決めると、a=(x-1)/(y^2+1)
aをもとの式に代入

(x-1)(x+6)=(x-1)(y^2+1)(y^2+2)/(x-1)
x-1とy^2+1との関係はどこにも出てこない。xとyの関係はどこにも出てこない

AB=CDのとき、A=Cにならない。
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ
2023/02/15(水) 20:19:56.80ID:DbZRN6/e
>>232
> >(x-1)(x^2+x+1)/3=ay(y+1)/a…(3)は
> x=s (sは有理数)のとき y={-1+(1+4r}^(1/2)}/2 (rは有理数)である実数解を持つ
>
> よく意味がわからないので、詳しく教えて下さい。

x=s (sは有理数)のとき y={-1+(1+4r}^(1/2)}/2 (rは有理数)であれば
(3)の左辺と右辺は必ず一致するようにできる
237日高
垢版 |
2023/02/15(水) 20:27:48.81ID:qkBuY2AU
>(x-1)(x+6)=(y^2+1)(y^2+2)

この式の有理数解を教えてください。
2023/02/15(水) 20:40:46.87ID:oCgDmxyl
>>223
A=aCとかくと、一見AとCが何か関係あるように見えるがただのごまかしであって
じつはaには1/Cが含まれていて実際にはAとCには何の関係もない

まさにインチキや詐欺に使われる人をだますためのひどいやり方
2023/02/15(水) 20:41:45.00ID:oCgDmxyl
>>237

答えが分からないと使えないなら
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ
2023/02/15(水) 20:45:23.14ID:oCgDmxyl
>>237

実際にはaは1/Cが含まれているのをごまかすために数字を入れようとしているなら
それはインチキや詐欺に使われる人をだますためのひどいやり方ですよ
2023/02/15(水) 20:51:32.27ID:oCgDmxyl
>>237

(x-1)(x+6)=(y^2+1)(y^2+2)

これに有理数解があるかどうかわからないということは
あなたの判定法は全く役に立たないということですね。
242日高
垢版 |
2023/02/15(水) 21:01:20.83ID:qkBuY2AU
>これに有理数解があるかどうかわからないということは
あなたの判定法は全く役に立たないということですね。

式が、異なるので、私の判定方法は役に立ちません。
2023/02/15(水) 21:05:30.61ID:oCgDmxyl
>>242

役に立つか経たないかはどうやって判定するのですか?

今調べている(x-1)(x^2+x+1)/3=y(y+1)について
A≠0,B≠0,C≠0,D≠0のとき
A=Cにならないことは>>27で証明済みですが。
2023/02/15(水) 21:11:25.84ID:oCgDmxyl
>>242

それに、式によって
AB=CDならば、A=Cのとき、B=Dとなる。
が使えるときと使えないときがあるならば、
使えるときの条件を書いていないあなたは
人をだまそうとしているとしか思えません。

そんな人はインターネットの掲示板に書き込みをしないでください。
245日高
垢版 |
2023/02/15(水) 21:25:27.12ID:qkBuY2AU
AB=CDならば、A=Cのとき、B=Dとなる。
は、(x-1)(x+6)=(y^2+1)(y^2+2)の
(x-1),(x+6),(y^2+1),(y^2+2)が、実数となる場合は使えます。
2023/02/15(水) 21:33:28.40ID:oCgDmxyl
>>245

じゃあ、x= -5/2 - (97^(1/2))/2、y=2^(1/2)のときA,B,C,Dは実数だから使えますね。
どうぞ使ってください。
2023/02/15(水) 21:35:24.90ID:oCgDmxyl
>>246符号を間違えました
x= -5/2 + (97^(1/2))/2、y=2^(1/2)
248日高
垢版 |
2023/02/15(水) 22:02:47.43ID:qkBuY2AU
すみませんが、
(x-1)(x+6)=(y^2+1)(y^2+2)に、
x= -5/2 + (97^(1/2))/2、y=2^(1/2)
を代入した式を教えてください。
2023/02/15(水) 22:12:00.33ID:oCgDmxyl
なんでそんなことをきくのですか? ま、いいけど

(x-1)(x+6)=(y^2+1)(y^2+2)にx= -5/2 + (97^(1/2))/2、y=2^(1/2)を代入

(-5/2 + (97^(1/2))/2-1)(-5/2 + (97^(1/2))/2+6)=((2^(1/2))^2+1)((2^(1/2))^2+2)
2023/02/16(木) 07:58:48.43ID:M4QwzAy5
>>242
> 式が、異なるので、私の判定方法は役に立ちません。

> (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とおく。
> AB=CDならば、A=Cのとき、B=Dとなる。
> (x-1)=ayのとき、xの増加につれて両辺の差は大きくなる

式を同じにして日高の判定方法 (x-1)=ay を使うと
y>0, a=(s-1)/y (sは有理数)の場合 x=s (sは有理数)となり(3)は r=y(y+1) (rは有理数)と変形できる
ので(3)の解は y^2+y-r=0を解けば x=s, y={-1+(1+4r}^(1/2)}/2 (r,sは有理数) と書ける
よって証明は間違い
> 233日高2023/02/15(水) 19:54:09.62ID:qkBuY2AU
> > y={-1+(1+4r}^(1/2)}/2
>
> rによっては、yは有理数になりますね
251日高
垢版 |
2023/02/16(木) 11:34:12.02ID:1yy35UKJ
(-5/2 + (97^(1/2))/2-1)(-5/2 + (97^(1/2))/2+6)=((2^(1/2))^2+1)((2^(1/2))^2+2)

({97^(1/2)-7}/2)({97^(1/2)+7}/2)=3*4
AB=CDならば、A=Cのとき、B=Dとなる。
({97^(1/2)-7}/2)=3*({97^(1/2)-7}/2)/3のとき
({97^(1/2)+7}/2)=4*3/({97^(1/2)-7}/2)となる。
252日高
垢版 |
2023/02/16(木) 11:51:41.74ID:1yy35UKJ
(x-1)(x^2+x+1)/3=ay(y+1)/a…(3)
(3)の解は、xが有理数の場合、yは無理数となります。
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況