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

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

89 ：日高：2023/02/01(水) 10:33:18.49 ID:eqWggSNU.net

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

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

90 ：日高：2023/02/01(水) 10:36:36.32 ID:eqWggSNU.net

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

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

91 ：日高：2023/02/01(水) 10:44:36.44 ID:eqWggSNU.net

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

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

92 ：日高：2023/02/01(水) 11:20:36.47 ID:eqWggSNU.net

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

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

93 ：日高：2023/02/01(水) 11:55:56.36 ID:eqWggSNU.net

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

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

94 ：日高：2023/02/01(水) 12:01:46.49 ID:eqWggSNU.net

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

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

95 ：日高：2023/02/01(水) 12:47:01.89 ID:eqWggSNU.net

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は自然数解を持つ。

96 ：日高：2023/02/01(水) 12:48:00.03 ID:eqWggSNU.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)の解はx=1,y=0のみである。
∴n=3のとき、x^n+y^n=z^nは自然数解を持たない。

97 ：日高：2023/02/01(水) 12:54:29.48 ID:eqWggSNU.net

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

98 ：日高：2023/02/01(水) 13:00:04.39 ID:eqWggSNU.net

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

99 ：１３２人目の素数さん：2023/02/01(水) 13:40:10.61 ID:wmYH5cKM.net

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

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

100 ：日高：2023/02/01(水) 13:47:42.34 ID:eqWggSNU.net

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

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

101 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：2023/02/01(水) 17:03:27.34 ID:wmYH5cKM.net

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

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

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

106 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：2023/02/01(水) 20:18:02.69 ID:6oo0yg4n.net

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

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

120 ：１３２人目の素数さん：2023/02/01(水) 20:21:04.72 ID:6oo0yg4n.net

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

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

121 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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+1)も満たす必要があります。

128 ：１３２人目の素数さん：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+1)も満たす必要があります。

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

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

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

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

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

129 ：１３２人目の素数さん：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 ：１３２人目の素数さん：2023/02/02(木) 18:08:16.06 ID:PfUeseIH.net

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

131 ：１３２人目の素数さん：2023/02/03(金) 00:42:35.04 ID:7N2sLmxL.net

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

132 ：１３２人目の素数さん：2023/02/04(土) 08:37:41.59 ID:LR9h9V5Zm

そもそも、高度な数学内容を、こんなテキスト文の掲示板で
説明しようってえのが無駄な努力だよ。

同じ数学者でも、専門が違えば、丁寧に説明してもらっても
直ぐには理解できない。

ましてや、綺麗なフォントや気の利いた模式図やグラフを多用して
体系だった文章構造など不可能な２ちゃんでは、書き手の単なる自己
満足で終わる。

相手に理解させないと、論文など書いても意味無い。
誰も認めない。

133 ：１３２人目の素数さん：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 ：１３２人目の素数さん：2023/02/05(日) 03:52:08.84 ID:uGD04/mX.net

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

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

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

135 ：１３２人目の素数さん：2023/02/07(火) 01:10:45.93 ID:jj0AOzoL.net

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

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

　　　　　　　　　リーマン面

　　　　　　　　　複素解析

136 ：１３２人目の素数さん：2023/02/07(火) 01:24:03.94 ID:jj0AOzoL.net

モチーフ　　　　　　　　　モチーフ

志村多様体　　　　　射影多様体

　保型表現　　Galois表現

　　　　　ゼータ函数

　　　類数　　　特殊値

Hilbert類体　　　Bernoulli数

　　　　　　　　　　　　モチーフ

137 ：１３２人目の素数さん：2023/02/07(火) 11:33:03.71 ID:95D55f+v.net

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

138 ：１３２人目の素数さん：2023/02/07(火) 12:14:13.46 ID:JXOk2TXK.net

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

139 ：１３２人目の素数さん：2023/02/07(火) 14:34:23.69 ID:CgrfKBAT.net

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

140 ：１３２人目の素数さん：2023/02/08(水) 22:53:54.14 ID:xNfRpWtZ.net

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

141 ：１３２人目の素数さん：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ならば、Ａ=Cのとき、B=Dとなる。このことにより、
(2)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、x^n+y^n=z^nは自然数解を持たない。

143 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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ならば、Ａ=Cのとき、B=Dとなる。このことにより、
> (2)の有理数解はx=1,y=0のみとなる。

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

146 ：１３２人目の素数さん：2023/02/10(金) 23:57:48.00 ID:KDL6tzZE.net

>>142

(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となる。はインチキ

147 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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ならば、Ａ=Cのとき、B=Dとなる。このことにより、
(2)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

151 ：１３２人目の素数さん：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ならば、Ａ=Cのとき、B=Dとなる。このことにより、
> (2)の有理数解はx=1,y=0のみとなる。

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

152 ：１３２人目の素数さん：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ならば、Ａ=Cのとき、B=Dとなる。よって、
(2)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

155 ：１３２人目の素数さん：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ならば、Ａ=Cのとき、B=Dとなる。このことにより、
> (2)の有理数解はx=1,y=0のみとなる。

x,yが実数のときでも
> AB=CDならば、Ａ=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ならば、Ａ=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ならば、Ａ=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 ：１３２人目の素数さん：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ならば、Ａ=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つ増えてるだけです。

160 ：１３２人目の素数さん：2023/02/11(土) 10:57:50.05 ID:/X4DX7hq.net

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

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

161 ：１３２人目の素数さん：2023/02/11(土) 11:00:32.68 ID:EZOAyJjP.net

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

162 ：１３２人目の素数さん：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なので、
右辺の３を2に置き換えると、
右辺の４は６となります。

164 ：１３２人目の素数さん：2023/02/11(土) 12:33:17.39 ID:EZOAyJjP.net

>>163

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

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

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

意味が分かりません
右辺の右側は(右辺の左側)+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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：2023/02/11(土) 17:13:55.29 ID:xn7eM/sG.net

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

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

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

176 ：日高：2023/02/11(土) 17:21:05.62 ID:22SQpf12.net

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

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

177 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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 ：１３２人目の素数さん：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ならば、Ａ=Cのとき、B=Dとなる。よって、
(3)の有理数解はx=1,y=0のみとなる。
∴n=3のとき、X^n+Y^n=Z^nは自然数解を持たない。

184 ：１３２人目の素数さん：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 ：１３２人目の素数さん：2023/02/11(土) 18:42:32.30 ID:XY5IQu5o.net

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

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

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

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

186 ：１３２人目の素数さん：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 ：１３２人目の素数さん：2023/02/11(土) 19:23:48.15 ID:/tcADVah.net

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