■ このスレッドは過去ログ倉庫に格納されています
初等数学によるフェルマーの最終定理の証明
- 1 :日高:2023/01/28(土) 19:36:01.97 ID:cewLr2LS.net
- 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以外の整数解を持たない。
- 101 :132人目の素数さん:2023/02/01(水) 14:09:12.84 ID:wmYH5cKM.net
- 日高さん、あなたの書き込みを見ていて思うんですが、あなたは整式の積というものを整数の積と同視しているんじゃないですか?
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)となるだけだから検討する必要がない。
そう思っていませんか?
そう考えるとあなたの理論がなぜぶっとんでしまうのか、なんでそうなってしまうのかがよく・・・いや、なんとなく理解できるんですが。
- 102 :132人目の素数さん:2023/02/01(水) 14:13:53.60 ID:wmYH5cKM.net
- >>100
決定的に間違っています。
(x-1)(x^2+x+1)/3=y(y+1)の場合は「置き換えて」 x-1=yとするんでしょう。
その置き換えができる、と思うところが間違いの根源です。
ちゃんとx-1=y以外の場合も考慮しましょう。
- 103 :日高:2023/02/01(水) 14:55:28.91 ID:eqWggSNU.net
- >日高さん、あなたの書き込みを見ていて思うんですが、あなたは整式の積というものを整数の積と同視しているんじゃないですか
?
はい。整式の積を整数の積と同視しています。
- 104 :日高:2023/02/01(水) 15:35:11.77 ID:eqWggSNU.net
- >(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が正の有理数の場合は両辺は一致しません。
- 105 :132人目の素数さん:2023/02/01(水) 17:03:27.34 ID:wmYH5cKM.net
- >>104
はい、それを証明しましょう。
それを証明するのがあなたがこのスレでできるといっていることであり、しなければならないことです。
我々はあなたの方法では全くだめですよ、といっているのであって、こうすればうまくいきますよ、といっているのではありませんから。
- 106 :132人目の素数さん:2023/02/01(水) 17:08:15.26 ID:wmYH5cKM.net
- それにね、行き詰まると
>(x-1)(x^2+x+1)/3=(y+1)yとしても、x,yが正の有理数の場合は両辺は一致しません。
と証明主題、証明すべき命題そのものをを何の根拠もなしにばーんと提示して反論したつもりになるのもやめましょうよ。
上にも書いているように、それは数学の言葉で証明すべきことであって、単に主張すればそれでいいというものではないんですから。
- 107 :日高:2023/02/01(水) 17:18:41.37 ID:eqWggSNU.net
- >(x-1)(x^2+x+1)/3=(y+1)yとしても、x,yが正の有理数の場合は両辺は一致しません。
と証明主題、証明すべき命題そのものをを何の根拠もなしにばーんと提示して反論したつもりになるのもやめましょうよ
xが増加するにつれて、差が広がっていきます。
- 108 :132人目の素数さん:2023/02/01(水) 17:38:02.76 ID:CjCGY+/q.net
- >>107
> xが増加するにつれて、差が広がっていきます。
xの値がいくつの場合からそれが言えるの?
- 109 :日高:2023/02/01(水) 18:10:05.81 ID:eqWggSNU.net
- > xが増加するにつれて、差が広がっていきます。
xの値がいくつの場合からそれが言えるの?
x=2です。
- 110 :132人目の素数さん:2023/02/01(水) 18:37:27.16 ID:CjCGY+/q.net
- >>109
> > xが増加するにつれて、差が広がっていきます。
> xの値がいくつの場合からそれが言えるの?
>
> x=2です。
x>2だと途中で差が減ることは全く無いの?
- 111 :日高:2023/02/01(水) 18:45:30.39 ID:eqWggSNU.net
- x>2だと途中で差が減ることは全く無いの?
はい。
- 112 :132人目の素数さん:2023/02/01(水) 18:55:37.05 ID:CjCGY+/q.net
- >>111
> x>2だと途中で差が減ることは全く無いの?
>
> はい。
x>2でyが実数なら差が0になる場合があるよね?
- 113 :日高:2023/02/01(水) 19:46:15.05 ID:eqWggSNU.net
- >x>2でyが実数なら差が0になる場合があるよね?
教えてください。
- 114 :132人目の素数さん:2023/02/01(水) 19:58:20.37 ID:CjCGY+/q.net
- >>113
> > x>2だと途中で差が減ることは全く無いの?
> >
> > はい。
>
> x>2でyが実数なら差が0になる場合があるよね?
>
> 教えてください。
解(x,y)を持てば差が0なんだろ?
xが有理数でyが実数の解はあればこのとき差は0になるだろ
- 115 :132人目の素数さん:2023/02/01(水) 20:07:03.50 ID:CjCGY+/q.net
- >>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だと途中で差が減ることは全く無いの?
>
> はい。
おまえがウソを言っていることは理解できるだろ
- 116 :日高:2023/02/01(水) 20:10:12.83 ID:eqWggSNU.net
- > はい。
おまえがウソを言っていることは理解できるだろ
教えてください。
- 117 :132人目の素数さん:2023/02/01(水) 20:15:01.08 ID:wmYH5cKM.net
- >>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
- 118 :132人目の素数さん:2023/02/01(水) 20:16:03.29 ID:CjCGY+/q.net
- >>116
> 教えてください。
x^3 と y^2 ならx^3の方が早く大きくなるが
x^3 と m*y^2ならmを大きくすれば差は小さくできるだろ
- 119 :132人目の素数さん:2023/02/01(水) 20:18:02.69 ID:6oo0yg4n.net
- > 私が言っているのは、「AB=CDならば、A=Cのとき、B=Dとなる。」です。
これ、間違いです。0*1=0*2ですが1=2ではありません。
- 120 :132人目の素数さん:2023/02/01(水) 20:21:04.72 ID:6oo0yg4n.net
- >>90
> >日高さん、
> 「A=Cのとき、B=Dとなる」
> と
> 「A=CおよびB=Dとなる」
> は同じ意味ですか?
>
> 言葉の意味が、よくわかりません。
> 具体例を、示して下さい。
じゅうぶん具体的に書いているだろうが。これがわからないなら数学は無理ですよ。
- 121 :132人目の素数さん:2023/02/01(水) 20:24:23.62 ID:wmYH5cKM.net
- x=760,y=12096のとき (x^3-1)/3=146325333 146325333-12096*12097=21というのもなかなかの数字ですね。
日高さん、そう思いませんか?
- 122 :日高:2023/02/01(水) 20:32:00.90 ID:eqWggSNU.net
- 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?
- 123 :132人目の素数さん:2023/02/01(水) 20:38:32.53 ID:wmYH5cKM.net
- >>122
えっ、意味がわかりませんか?
>>107の
>xが増加するにつれて、差が広がっていきます。
というのは大嘘ですよ、という意味ですが。
(x-1)(x^2+x+1)/3=(y+1)yは、xが増加するにつれて、差が広がっていくんですか?
- 124 :132人目の素数さん:2023/02/01(水) 21:25:57.52 ID:wmYH5cKM.net
- それに日高さん>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が増加するにつれて、差が広がっていきます。
というのは全くの誤りです。
間違いを素直に認めましょう。
先に進めませんよ。
- 125 :132人目の素数さん:2023/02/02(木) 00:47:03.48 ID:Wp1PJssk.net
- (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となる。」は間違い。
- 126 :132人目の素数さん:2023/02/02(木) 01:08:28.73 ID:Wp1PJssk.net
- >>125をもう少し正確に言うと
AB=CDならば、A=Cのとき、B=Dとなる。 はいいとしても
実際の式に当てはめた時 AB=CDとA=Cが同時に成り立つかどうかを調べていないことが間違い。
同時に成り立たないなら、A=Cの時は来ない。来ないことを考える意味がない。
- 127 :日高:2023/02/02(木) 07:03:01.06 ID:Eeca8bnV.net
- x=10,y=17のとき (x^3-1)/3=333 333-17*18=27?
(x^3-1)/3=333の間違いでは?
私のやり方では、
この場合、右辺は9*10です。
両辺が等しい場合、共通の因数を持ちます。
また、y(y+1)も満たす必要があります。
- 128 :132人目の素数さん:2023/02/02(木) 12:34:10.25 ID:x8SS3Mpt.net
- もちろん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(y+1)も満たす必要があります。
xとyが独立なのになんで右辺が右辺は9*10なんですか?
x=10 だから x-1=9=y ですか。
>両辺が等しい場合、共通の因数を持ちます。
その考え方自体が間違っているとわかりませんか?
xとyは独立の変数である。
その意味をかみしめましょう。
いやー、あなたが何でこんなむちゃくちゃででたらめな証明なるものを展開できるのかよくわかりました。
数式の計算結果が 2*6=3*4 となるとき、そのような計算をもたらす式自体の評価が間違っているので、その結果は無視していいんですね。
いやー凄いですね。
中学レベルの数学ぐらいまででもよく理解できましたね。
その努力と熱意に敬意を払います。
- 129 :132人目の素数さん:2023/02/02(木) 12:51:31.97 ID:x8SS3Mpt.net
- >127 に書いてあることからすれば
>92で
>私が言っているのは、「AB=CDならば、A=Cのとき、B=Dとなる。」です。
を、あなたがどう弁明なさろうと、現に展開している論理は
「AB=CDならば、常にA=C かつ B=Dである」でしかないんですが、そこら辺のことは理解されていますか?
つまり
2*6=3*4は誤りである。3と4を置き換えて2*6=2*6にしないと正しい計算とは言えない。
あなたはそうおっしゃっているのと同じことなんですよ。
- 130 :132人目の素数さん:2023/02/02(木) 18:08:16.06 ID:PfUeseIH.net
- 相対性理論のあの式がなんで光の速さの「二乗」なのか
それは相対性理論を説明するのに三平方の定理を使うから
こんな感じで楕円が何関係あんのかざっくり教えろ
- 131 :132人目の素数さん:2023/02/03(金) 00:42:35.04 ID:7N2sLmxL.net
- だから日高さんは
「AB=CDならば、A=Cのとき、B=Dとなる」
の「ならば」「のとき」の意味がわかっていないんだよ。
- 132 :132人目の素数さん:2023/02/04(土) 08:37:41.59 ID:LR9h9V5Zm
- そもそも、高度な数学内容を、こんなテキスト文の掲示板で
説明しようってえのが無駄な努力だよ。
同じ数学者でも、専門が違えば、丁寧に説明してもらっても
直ぐには理解できない。
ましてや、綺麗なフォントや気の利いた模式図やグラフを多用して
体系だった文章構造など不可能な2ちゃんでは、書き手の単なる自己
満足で終わる。
相手に理解させないと、論文など書いても意味無い。
誰も認めない。
- 133 :132人目の素数さん:2023/02/04(土) 19:29:46.04 ID:RInJsnFy.net
- 日高さんは>>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で単調増加だといってるだけ?
- 134 :132人目の素数さん:2023/02/05(日) 03:52:08.84 ID:uGD04/mX.net
- ふぇるまーの問題のように、本来は整数の問題であるのに、その証明に際して
実数や複素数の道具立てを使って証明がされたという場合に、
もしかすると、その問題は実数や複素数の道具を使わないのではどうあがいても
証明が出来ない、そのような性格のものなのではなかろうか?
任意角を三等分する初等作図法の不存在を証明することが、初等幾何と
作図法の規則からだけではどうやっても導けていないように。
(座標幾何を入れて、代数の問題として扱わなければ解決しなかったように)。
しかし、であるとすれば、整数の範囲を超えたたとえば実数とか複素数の
論理の導入を認めない立場であれば、証明もまたできていないことにもならない
だろうか?
- 135 :132人目の素数さん:2023/02/07(火) 01:10:45.93 ID:jj0AOzoL.net
- 代数トポロジー ホモロジー
ガロア理論 基本群と被覆空間
リーマン面
複素解析
- 136 :132人目の素数さん:2023/02/07(火) 01:24:03.94 ID:jj0AOzoL.net
- モチーフ モチーフ
志村多様体 射影多様体
保型表現 Galois表現
ゼータ函数
類数 特殊値
Hilbert類体 Bernoulli数
モチーフ
- 137 :132人目の素数さん:2023/02/07(火) 11:33:03.71 ID:95D55f+v.net
- ガロア理論
表現論
代数トポロジー
- 138 :132人目の素数さん:2023/02/07(火) 12:14:13.46 ID:JXOk2TXK.net
- 線形代数
群論
環と加群
体とガロア理論
表現論
可換環論
ホモロジー代数
- 139 :132人目の素数さん:2023/02/07(火) 14:34:23.69 ID:CgrfKBAT.net
- 線形代数
ベクトル・行列
行列式
一般線形空間
内積
行列の標準化
テンソル代数
- 140 :132人目の素数さん:2023/02/08(水) 22:53:54.14 ID:xNfRpWtZ.net
- もしもふぇるまーの大定理が選択公理を仮定しなければ証明ができないような
ものだったら、選択公理を仮定して証明されたそのような整数の問題に対する
定理をハイそうですかといって受け入れるのはなんだか気持ちが悪い気がする。
- 141 :132人目の素数さん:2023/02/09(木) 06:03:06.62 ID:pnCcpFz4.net
- 自分でも何書いてるか理解できてなさそう
覚えたての言葉を使いたくなっちゃったのかな?
- 142 :日高:2023/02/10(金) 19:44:27.52 ID:HKPHaCXU.net
- 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は自然数解を持たない。
- 143 :132人目の素数さん:2023/02/10(金) 19:57:16.28 ID:KabBmnui.net
- 1つ目の式変形が理解できないんだけどもう少し詳しくかける?
- 144 :日高:2023/02/10(金) 20:13:43.91 ID:HKPHaCXU.net
- >1つ目の式変形が理解できないんだけどもう少し詳しくかける?
(1)の式変形でしょうか?
x^3+y^3=(y+m)^3(x,y,mは整数)の両辺をm^3で割ると、
X^3+Y^3=(Y+1)^3となり、X,Yは有理数となります。
- 145 :132人目の素数さん:2023/02/10(金) 22:41:28.77 ID:NwrsJQvM.net
- >>142
> (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のみということだよね?
- 146 :132人目の素数さん:2023/02/10(金) 23:57:48.00 ID:KDL6tzZE.net
- >>142
(x-1)(x+4)=y(y+1)
AB=CDのとき、A=Cとならない
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ
(x-1)(x+3)=y(y+1)
AB=CDのとき、A=Cとならない
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ
(x-1)(x+7)=y(y+1)
AB=CDのとき、A=Cとならない
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ
(x-1)(x+6)=y(y+1)
AB=CDのとき、A=Cとならない
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ
(x-1)(x+10)=y(y+1)
AB=CDのとき、A=Cとならない
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ
(x-1)(x+9)=y(y+1)
AB=CDのとき、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とならない
AB=CDならば、A=Cのとき、B=Dとなる。はインチキ
- 147 :132人目の素数さん:2023/02/11(土) 00:35:14.51 ID:EZOAyJjP.net
- (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となる。はインチキ
- 148 :132人目の素数さん:2023/02/11(土) 01:05:49.71 ID:EZOAyJjP.net
- おっと
>>146-147
について
どの式もy=0は自明な解つまりあたりまえの解だけど、それは探している解ではないので除外します
- 149 :日高:2023/02/11(土) 09:48:34.30 ID:22SQpf12.net
- >AB=CDならば、A=Cのとき、B=Dとなる。はインチキ
どうしてでしょうか?
当たり前のことと思いますが。
- 150 :日高:2023/02/11(土) 09:53:01.51 ID:22SQpf12.net
- 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は自然数解を持たない。
- 151 :132人目の素数さん:2023/02/11(土) 10:19:22.35 ID:/X4DX7hq.net
- >>150
> (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のみということだよね?
- 152 :132人目の素数さん:2023/02/11(土) 10:26:26.66 ID:EZOAyJjP.net
- >>149
当たり前でないことをいくつも例を挙げて示しているのですが読んでもらえていないのでしょうか?
(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となる。はインチキ
わざわざ例をあげるまでもなくいくらでもありますが。
- 153 :日高:2023/02/11(土) 10:31:44.33 ID:22SQpf12.net
- >当たり前でないことをいくつも例を挙げて示しているのですが
やさしい数字の具体例をあげてください。
- 154 :日高:2023/02/11(土) 10:37:35.38 ID:22SQpf12.net
- 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は自然数解を持たない。
- 155 :132人目の素数さん:2023/02/11(土) 10:41:45.50 ID:/X4DX7hq.net
- >>154
> (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のみということだよね?
- 156 :日高:2023/02/11(土) 10:43:56.75 ID:22SQpf12.net
- 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は自然数解を持たない。
- 157 :日高:2023/02/11(土) 10:47:56.26 ID:22SQpf12.net
- >x,yが実数のときでも
> AB=CDならば、A=Cのとき、B=Dとなる
から(2)の実数解はx=1,y=0のみということだよね?
実数解ではなく、
有理数解はx=1,y=0のみということです。
- 158 :日高:2023/02/11(土) 10:51:29.33 ID:22SQpf12.net
- n=3,4,5,6.....も、155と同じ要領です。
- 159 :132人目の素数さん:2023/02/11(土) 10:55:04.37 ID:EZOAyJjP.net
- >>153
この上なくやさしいんですけど。
(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つ増えてるだけです。
- 160 :132人目の素数さん:2023/02/11(土) 10:57:50.05 ID:/X4DX7hq.net
- >>157
> 実数解ではなく、
> 有理数解はx=1,y=0のみということです。
それだとx=1,y=0以外の実数解の中に有理数解があるかどうかは
全くわからないから証明になっていないだろ
- 161 :132人目の素数さん:2023/02/11(土) 11:00:32.68 ID:EZOAyJjP.net
- >>159
最後の行修正
yが1つ ではなく yが1ずつ
- 162 :132人目の素数さん:2023/02/11(土) 11:42:09.59 ID:EZOAyJjP.net
- >>159
また修正
どんな実数yに対してもAB=CDとなるような実数xを決められるけど
AB=CDとなるx,yの組を1つ挙げるならx=2,y=2
他も同様
- 163 :日高:2023/02/11(土) 12:08:55.05 ID:22SQpf12.net
- >(x-1)(x+3)=y(y+1)
x=3,y=3
2*6=3*4
AB=CDなので、
右辺の3を2に置き換えると、
右辺の4は6となります。
- 164 :132人目の素数さん:2023/02/11(土) 12:33:17.39 ID:EZOAyJjP.net
- >>163
> 右辺の3を2に置き換えると、
意味が分かりません
そんなことをしていいって誰が言いましたか
> 右辺の4は6となります。
意味が分かりません
右辺の右側は(右辺の左側)+1のはずですけど
- 165 :日高:2023/02/11(土) 12:36:44.90 ID:22SQpf12.net
- (x-1)(x^2+x+1)/3=y(y+1)…(3)
xに1.001を代入すると、
両辺の差は、0.000000333となります。
xの増加に伴って、両辺の差は大きくなります。
- 166 :日高:2023/02/11(土) 12:42:19.33 ID:22SQpf12.net
- (x-1)(x+3)=y(y+1)
は、
(x-1)(x+3)=(2/3)y(y+1)(3/2)と同じです。
- 167 :132人目の素数さん:2023/02/11(土) 13:21:15.35 ID:EZOAyJjP.net
- > (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)にも整数解があるはず
- 168 :132人目の素数さん:2023/02/11(土) 14:03:30.75 ID:EZOAyJjP.net
- くりかえしになりますが
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)といっているだけのごまかしのインチキ
- 169 :132人目の素数さん:2023/02/11(土) 14:04:45.43 ID:EZOAyJjP.net
- >>168修正
D=(y+1){1/[(x-1)/y]}
- 170 :日高:2023/02/11(土) 14:43:04.73 ID:22SQpf12.net
- >とおくと、すべての有理数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)には有理数解は一つです。
あとは、無理数解です。
- 171 :132人目の素数さん:2023/02/11(土) 15:12:23.79 ID:EZOAyJjP.net
- >>170
AB=CDならば、A=Cのとき、B=Dとなる。
が全然当たり前でない、ただのごまかしのインチキである
ということについて、理解していただけましたか?
- 172 :日高:2023/02/11(土) 15:49:37.95 ID:22SQpf12.net
- >AB=CDならば、A=Cのとき、B=Dとなる。
が全然当たり前でない、ただのごまかしのインチキである
ということについて、理解していただけましたか?
インチキでは、ありません。
- 173 :132人目の素数さん:2023/02/11(土) 15:57:52.96 ID:EZOAyJjP.net
- >>172
えー
(x-1)(x+3)=y(y+1)
y=C=0のとき、当たり前の解であって今探している解ではない
それ以外でAB=CDのとき、A=Cとならないのに
AB=CDならば、A=Cのとき、B=Dとなる。
なんて、いんちきじゃないですか。
A=aCとおくことがごまかしであることも、>>167などをよめばわかるはずです。
(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とおくことがごまかしであることも、>>168などをよめばわかるはずです。
- 174 :日高:2023/02/11(土) 16:17:54.99 ID:22SQpf12.net
- AB=CDならば、A=Cのとき、B=Dとなる。
これは、当たり前の話です。
- 175 :132人目の素数さん:2023/02/11(土) 17:13:55.29 ID:xn7eM/sG.net
- 相変わらず一切の進展が見込めませんな
人に意見を求めておいてそれを聞き入れないってどういう了見なんだか理解に苦しむ
すでに10年以上無駄な時間を費やして、更に巻き込んだ方々に精神的なダメージを与え続けてるんだから
そろそろスレ閉じよう
あなたのブログの中、狭いところでやってくれ
目障りなだけでなく精神有害
- 176 :日高:2023/02/11(土) 17:21:05.62 ID:22SQpf12.net
- >更に巻き込んだ方々に精神的なダメージを与え続けてるんだから
どなたに、精神的なダメージを与えたのでしょうか?
- 177 :132人目の素数さん:2023/02/11(土) 17:35:00.15 ID:XY5IQu5o.net
- >>170
> (x-1)(x^2+x+1)/3=y(y+1)には有理数解は一つです。
> あとは、無理数解です。
>>157
> 実数解ではなく、
> 有理数解はx=1,y=0のみということです。
それだとx=1,y=0以外の実数解の中に有理数解があるかどうかは
全くわからないから証明になっていないだろ
- 178 :132人目の素数さん:2023/02/11(土) 17:43:00.15 ID:XY5IQu5o.net
- >>174
> AB=CDならば、A=Cのとき、B=Dとなる。
>
> これは、当たり前の話です。
解ごとにAやCが変化することも当たり前の話なんだが
日高はA=x-1とC=yの場合しか考えていないから証明になっていない
- 179 :日高:2023/02/11(土) 17:54:10.08 ID:22SQpf12.net
- >それだと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)としても、同じ結果となります。
- 180 :日高:2023/02/11(土) 17:56:03.46 ID:22SQpf12.net
- >日高は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)としても、同じ結果となります。
- 181 :132人目の素数さん:2023/02/11(土) 18:12:28.20 ID:XY5IQu5o.net
- >>180
> (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から得られる式は異なるから同じ結果にならない
- 182 :日高:2023/02/11(土) 18:20:05.43 ID:22SQpf12.net
- >A=Cから得られる式とB=Dから得られる式は異なるから同じ結果にならない
例を示して下さい。
- 183 :日高:2023/02/11(土) 18:29:31.79 ID:22SQpf12.net
- 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は自然数解を持たない。
- 184 :132人目の素数さん:2023/02/11(土) 18:37:08.03 ID:XY5IQu5o.net
- >>182
> >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が異なることは明らか
- 185 :132人目の素数さん:2023/02/11(土) 18:42:32.30 ID:XY5IQu5o.net
- >>182
> 例を示して下さい。
自分は証明の途中の計算を示せていないだろ
>>183
> (3)はAB=CDならば、A=Cのとき、B=Dとなる。よって、
> (3)の有理数解はx=1,y=0のみとなる。
x=1,y=0の場合の
A=Cから得られる式は?
B=Dから得られる式は?
実数解の場合の
A=Cから得られる式は?
B=Dから得られる式は?
- 186 :132人目の素数さん:2023/02/11(土) 19:03:07.02 ID:XY5IQu5o.net
- >>184
> このときA=Cから得られる式はx-1=y+r-1
A=Cから得られる式はx-1=y-r-1
に訂正
- 187 :日高:2023/02/11(土) 19:20:08.80 ID:22SQpf12.net
- >A=Cから得られる式はx-1=y-r-1
A=Cから得られる式はx-1=yです。
- 188 :132人目の素数さん:2023/02/11(土) 19:23:48.15 ID:/tcADVah.net
- 日高さんは
「AB=CDならば、A=Cのとき、B=Dとなる」って書いてるけど、
「『AB=CDならば、A=Cのとき』、B=Dとなる」ですか、それとも
「AB=CDならば、『A=Cのとき、B=Dとなる』」ですか?
- 189 :132人目の素数さん:2023/02/11(土) 19:26:56.57 ID:dPqUffXO.net
- >>187
> A=Cから得られる式はx-1=yです。
それでx-1=yでない解をどうやって求めるの?
- 190 :日高:2023/02/11(土) 19:28:21.99 ID:22SQpf12.net
- >A=aCとおくことがごまかしであることも、
同じ結果となります。
- 191 :132人目の素数さん:2023/02/11(土) 19:31:21.63 ID:dPqUffXO.net
- >>187
> >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ではないだろ
- 192 :日高:2023/02/11(土) 19:49:26.72 ID:22SQpf12.net
- >「『AB=CDならば、A=Cのとき』、B=Dとなる」ですか、それとも
「AB=CDならば、『A=Cのとき、B=Dとなる』」ですか?
違いを教えて下さい。
- 193 :日高:2023/02/11(土) 19:53:34.79 ID:22SQpf12.net
- >それでx-1=yでない解をどうやって求めるの?
配置を変えて下さい。
a*(1/a)=1なので、同じです。
- 194 :132人目の素数さん:2023/02/11(土) 19:57:00.78 ID:/tcADVah.net
- >>188 訂正。
> 日高さんは
> 「AB=CDならば、A=Cのとき、B=Dとなる」って書いてるけど、
< 「『AB=CDならば、A=C』のとき、B=Dとなる」ですか、それとも
> 「AB=CDならば、『A=Cのとき、B=Dとなる』」ですか?
- 195 :日高:2023/02/11(土) 20:01:31.98 ID:22SQpf12.net
- >(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))}
この式を細かく書いて下さい。
- 196 :日高:2023/02/11(土) 20:03:49.15 ID:22SQpf12.net
- >「『AB=CDならば、A=C』のとき、B=Dとなる」ですか、それとも
> 「AB=CDならば、『A=Cのとき、B=Dとなる』」ですか?
違いを教えて下さい。
- 197 :132人目の素数さん:2023/02/11(土) 20:04:49.03 ID:dPqUffXO.net
- >>193
> 配置を変えて下さい。
> a*(1/a)=1なので、同じです。
答えが異なるのに方程式が同じではおかしいだろ
一体何が同じなの?
> 例を示して下さい。
自分は証明の途中の計算を示せていないだろ
x=1,y=0の場合の
A=Cから得られる式は?
B=Dから得られる式は?
実数解の場合の
A=Cから得られる式は?
B=Dから得られる式は?
- 198 :132人目の素数さん:2023/02/11(土) 20:07:52.70 ID:/tcADVah.net
- >>196
> >「『AB=CDならば、A=C』のとき、B=Dとなる」ですか、それとも
> > 「AB=CDならば、『A=Cのとき、B=Dとなる』」ですか?
>
> 違いを教えて下さい。
ほんとうにわからんのか?
- 199 :日高:2023/02/11(土) 20:11:05.42 ID:22SQpf12.net
- >A=x-1とおけばA=Cが異なることは明らか
x-1=yとした場合です。
つまり、
x=y+1の場合です。
- 200 :日高:2023/02/11(土) 20:12:58.94 ID:22SQpf12.net
- >ほんとうにわからんのか?
わかりませんので、教えて下さい。
- 201 :132人目の素数さん:2023/02/11(土) 20:26:11.51 ID:dPqUffXO.net
- >>199
> x-1=yとした場合です。
> つまり、
> x=y+1の場合です。
おまえはずっと同じだと答えているが
x-1=yの場合とx-1=yでない場合はA=CとB=Dは同じなの?っていうのが質問の内容なんだが
AB=CDが同じでもA=CとB=Dが異なれば解くべき方程式も異なるだろ
総レス数 1002
352 KB
新着レスの表示
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver.24052200