[過去ログ] フェルマーの最終定理の簡単な証明2 (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
162: 2019/11/13(水)08:53 ID:EMqDl2hD(1/6) AAS
>>160
爺さんは自慰でもやっとれ(笑)。
163: 2019/11/13(水)09:15 ID:1+7ciDjD(1/13) AAS
勉強もせずに自分勝手な意見を押しつけるな。
記述がデタラメなので意味不明。
164: 2019/11/13(水)09:23 ID:1+7ciDjD(2/13) AAS
数学の証明において、記述がおかしければ、すなわち中身も間違い。具体的な事実じゃないか。
と書いた。何故無視するの?
なんでもかんでも具体的にと言えば良いと思っているのか?
と書いた。何故無視するの?
そして、中身が間違いで正しく出来る気配がみじんもないのに、どうして直せるの?
省5
165(1): 日高 2019/11/13(水)10:05 ID:obOmojuw(6/40) AAS
>aの定義がないのがひどいが、
a=(r/p^{1/(p-1)})^(p-1)となります。
>X,Y,Zが有理数、x,y,zが無理数になることはありうる。
x,y,zが無理数で、整数比となる場合は、共通の無理数で割ると、
x,y,zは、有理数となります。
166(1): 日高 2019/11/13(水)10:09 ID:obOmojuw(7/40) AAS
>記述がデタラメなので意味不明。
意味不明箇所を指摘して下さい。
167: 2019/11/13(水)10:10 ID:1+7ciDjD(3/13) AAS
>>166
過去複数回指摘したのに無視&ごまかしばかり。
過去ログ読めよ。
168(1): 日高 2019/11/13(水)10:14 ID:obOmojuw(8/40) AAS
>なんでもかんでも具体的にと言えば良いと思っているのか?
具体的に言えば、はっきりします。
169(1): 日高 2019/11/13(水)10:17 ID:obOmojuw(9/40) AAS
>過去複数回指摘したのに無視&ごまかしばかり。
過去ログ読めよ。
無視&ごまかし箇所を、指摘して下さい。
170: 2019/11/13(水)10:19 ID:1+7ciDjD(4/13) AAS
>>168
具体的なものにも具体的にって要求してるじゃないか。
馬鹿なの?
171: 2019/11/13(水)10:20 ID:1+7ciDjD(5/13) AAS
>>169
「全て」読むのが「必要」だって言ってるの。一カ所二カ所じゃないの。
全部なの。具体的じゃん。
172: 2019/11/13(水)10:23 ID:BYn1zFqi(1/2) AAS
>>165
意味不明すぎて何が言いたいのか全くわからない。
x.y.zは無理数なのか有理数なのか?
共通の無理数で割ったら有理数になるということに何か意味があるのか?
173(2): 日高 2019/11/13(水)10:24 ID:obOmojuw(10/40) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。
@をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。
Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。
省1
174: 2019/11/13(水)10:25 ID:1+7ciDjD(6/13) AAS
>>173
デタラメ&過去の指摘無視。
175: 日高 2019/11/13(水)10:27 ID:obOmojuw(11/40) AAS
>具体的なものにも具体的にって要求してるじゃないか。
間違いの箇所を指摘してください。
176(1): 日高 2019/11/13(水)10:30 ID:obOmojuw(12/40) AAS
>「全て」読むのが「必要」だって言ってるの。一カ所二カ所じゃないの。
間違い「箇所」を指摘して下さい。
177: 2019/11/13(水)10:37 ID:EMqDl2hD(2/6) AAS
>>173
***** このスレを初めてご覧になる方へ(歴史に残る日高語録)*****
a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
変わりはありません。
この迷言に対し
> 小学校から大学教養レベルあたりまでの数学で、「数」とは
> 自然数、整数、実数(有理数、無理数)、複素数
> であるが a^{1/(1-1) は上記のどれにあたるのだ?
という指摘がなされたが、これに対しても
省12
178(1): 日高 2019/11/13(水)10:37 ID:obOmojuw(13/40) AAS
>x.y.zは無理数なのか有理数なのか?
どこの箇所の、x,y,zでしょうか?
共通の無理数で割ったら有理数になるということに何か意味があるのか?
共通の無理数で割ったら有理数になるということは、その値は有理数となります。
179(2): 日高 2019/11/13(水)10:42 ID:obOmojuw(14/40) AAS
>デタラメ&過去の指摘無視。
「過去の指摘無視。」箇所を、教えて下さい。(記述指摘以外を)
180: 日高 2019/11/13(水)10:44 ID:obOmojuw(15/40) AAS
>a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
変わりはありません。
間違いでしょうか?
181: 2019/11/13(水)10:46 ID:1+7ciDjD(7/13) AAS
>>179
記述がおかしいから記述が表す内容がデタラメであいまいだっていってるの。
内容が定まっていないから問題なの。
バカなの?
182: 2019/11/13(水)10:48 ID:1+7ciDjD(8/13) AAS
>>176
自分が探す作業をサボって相手に要求するの何なの?
何様?
183: 2019/11/13(水)10:50 ID:1+7ciDjD(9/13) AAS
全体に、間違いという指摘に疑問を返すだけでごまかしてるんじゃないよ。
勉強もせずに自分で判断するな。
184: 日高 2019/11/13(水)10:53 ID:obOmojuw(16/40) AAS
>内容が定まっていないから問題なの。
内容が定まっていない箇所を、指摘して下さい。
185: 日高 2019/11/13(水)10:57 ID:obOmojuw(17/40) AAS
>自分が探す作業をサボって相手に要求するの何なの?
「要求」では、ありません。間違い箇所があれば、指摘して下さい。
186: 2019/11/13(水)10:58 ID:1+7ciDjD(10/13) AAS
>>179
> 「過去の指摘無視。」箇所を、教えて下さい。(記述指摘以外を)
こういうこと書く人にいちいちサービスしたくない。
過去ログ全て読むべき。
187(1): 日高 2019/11/13(水)11:01 ID:obOmojuw(18/40) AAS
>全体に、間違いという指摘に疑問を返すだけでごまかしてるんじゃないよ。
勉強もせずに自分で判断するな。
「間違いという指摘」を、教えて下さい。
188: 2019/11/13(水)11:03 ID:1+7ciDjD(11/13) AAS
結局、他人のコメントをさんざん踏みにじってきた結果なんだから、引きこもって勉強して全部直してから1年後にでも出直せよ。
189: 2019/11/13(水)11:05 ID:Ao3vf6Bh(3/6) AAS
具体的に間違いを指摘されてるのに、
「自分はこう思います(根拠ナシw)」
「具体的に指摘してください」
「間違いを指摘してください」
だもんなw
指摘されてることも理解できないほど頭が悪いお前のようなやつはある意味得だよな。
自分の間違いに永遠に気づかずに死ぬんだからw
190(3): 日高 2019/11/13(水)11:05 ID:obOmojuw(19/40) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。
@をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。
Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。
省1
191: 2019/11/13(水)11:05 ID:1+7ciDjD(12/13) AAS
>>187
> 「間違いという指摘」を、教えて下さい。
どうせ無視かごまかしされるのに何で教えないといけないの?
192: 2019/11/13(水)11:06 ID:1+7ciDjD(13/13) AAS
>>190
デタラメ。0点。
193: 2019/11/13(水)11:06 ID:Ao3vf6Bh(4/6) AAS
教えて下さい!(教わっても日高の頭では理解できないけどw)
指摘してください!(指摘されても日高の頭では指摘されたことにさえ気づけないけどw)
具体的にお願いします!(具体的に言われてもそれが具体的であることすら理解できないバカだけどw)
指摘も教えも、それを聞いて理解できる頭が無いとなぁw
194(1): 日高 2019/11/13(水)11:08 ID:obOmojuw(20/40) AAS
>具体的に間違いを指摘されてるのに
間違い箇所の、指摘ではないと思います。
195: 2019/11/13(水)11:10 ID:Ao3vf6Bh(5/6) AAS
> 間違い箇所の、指摘ではないと思います。
間違い箇所の指摘だよ。お前がどう思うかは関係ないからw
お前の頭じゃ指摘されてることも理解できないんだね。
残念でした。猿レベルの脳みそでは数学は無理だよ。諦めな。
196: 2019/11/13(水)11:19 ID:93YysfXh(1/10) AAS
>>194
具体的な指摘を一つだけ。
最後の行が間違い。
証明されていないことを結論として述べているから。
デタラメな記述では何も証明されない。
197: 2019/11/13(水)12:37 ID:BYn1zFqi(2/2) AAS
>>178
165で
「x,y,zが無理数で、整数比となる場合は、共通の無理数で割ると、
x,y,zは、有理数となります。」
前の部分でx,y,zが無理数、後ろではx,y,zは有理数と言ってるのは矛盾じゃないの?
xをx/aで置き換えるようなことは数学では許されない。
> 共通の無理数で割ったら有理数になるということは、その値は有理数となります
「その値」って何? で、それが証明とどう関係するの?
全くわからないので式で説明してください。
198: 2019/11/13(水)13:02 ID:EMqDl2hD(3/6) AAS
>>190
┌日┐
|※| 毎日毎日、暇を持て余している爺さんです。(´・ω・`)
|数|
|学| 数学力、国語力は小学生レベルも怪しいです(´・ω・`)
|の|
|本| a^{1/(1-1)}は、計算できない数ですが、
|は|
|読| a^{1/(1-1)}が数であることには変わりはありません。
|ん|
省6
199: 日高 2019/11/13(水)13:56 ID:obOmojuw(21/40) AAS
>間違い箇所の指摘だよ。
何行目のどこかを指摘して下さい。
200: 日高 2019/11/13(水)13:59 ID:obOmojuw(22/40) AAS
>最後の行が間違い。
x^p+y^p=z^pは、自然数解を持たない。でしょうか?
201(1): 日高 2019/11/13(水)14:17 ID:obOmojuw(23/40) AAS
>「x,y,zが無理数で、整数比となる場合は、共通の無理数で割ると、
x,y,zは、有理数となります。」
>前の部分でx,y,zが無理数、後ろではx,y,zは有理数と言ってるのは矛盾じゃないの?
xをx/aで置き換えるようなことは数学では許されない。
訂正します。
「x,y,zが無理数で、整数比となる場合は、共通の無理数dで割ると、
x/d,y/d,z/dは、有理数となります。」
>「その値」って何? で、それが証明とどう関係するの?
全くわからないので式で説明してください。
「その値」とは、x/d,y/d,z/dのことです。
省1
202: 日高 2019/11/13(水)14:20 ID:obOmojuw(24/40) AAS
>毎日毎日、暇を持て余している爺さんです。(´・ω・`)
よろしくお願いします。
203(2): 日高 2019/11/13(水)14:25 ID:obOmojuw(25/40) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。
@をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。
Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。
省1
204: 2019/11/13(水)15:01 ID:EMqDl2hD(4/6) AAS
AA省
205(1): 日高 2019/11/13(水)15:49 ID:obOmojuw(26/40) AAS
>数学の本は、読んでいませんwww
が、考えることは、できます。
206: 2019/11/13(水)16:33 ID:93YysfXh(2/10) AAS
>>203
196をよく読め。
207: 2019/11/13(水)16:33 ID:93YysfXh(3/10) AAS
>>205
> >数学の本は、読んでいませんwww
>
> が、考えることは、できます。
出来てません。
208(1): 日高 2019/11/13(水)17:09 ID:obOmojuw(27/40) AAS
196は、「具体的な指摘を一つだけ。
最後の行が間違い。
証明されていないことを結論として述べているから。
デタラメな記述では何も証明されない。」だと思いますが、
どういう意味でしょうか?
209(1): 日高 2019/11/13(水)17:11 ID:obOmojuw(28/40) AAS
>出来てません。
ご指摘お願いします。
210: 2019/11/13(水)17:14 ID:EMqDl2hD(5/6) AAS
>>209
>>190
┌日┐
|※| 毎日毎日、暇を持て余している爺さんです。(´・ω・`)
|数|
|学| 数学力、国語力は小学生レベルも怪しいです(´・ω・`)
|の|
|本| a^{1/(1-1)}は、計算できない数ですが、
|は|
|読| a^{1/(1-1)}が数であることには変わりはありません。
省7
211: 2019/11/13(水)17:20 ID:93YysfXh(4/10) AAS
>>208
考えたら?
212: 2019/11/13(水)18:33 ID:hUpnj8hz(1) AAS
日高って童貞?
213: 2019/11/13(水)19:12 ID:1CP2V04/(1) AAS
>r^(p-1)=pとすると
ここがダメね
要するにx^p+y^p=(x+r)^pで、x,y,x+rが有理数の場合
r=p^(1/(p-1))ではない、ということしかいえない
アタマ悪いね、日高君は
214: 日高 2019/11/13(水)19:28 ID:obOmojuw(29/40) AAS
>考えたら?
?
215: 日高 2019/11/13(水)19:34 ID:obOmojuw(30/40) AAS
>x,y,x+rが有理数の場合
x,y,zの有理数解が有るということです。
216(1): 日高 2019/11/13(水)19:37 ID:obOmojuw(31/40) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。
@をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。
Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。
省1
217: 2019/11/13(水)19:53 ID:rUsRoeyh(1) AAS
君らも暇だね
この日高にはもう何を言っても無駄よ
悪いことは言わない
見なかったことにするのが吉
218: 2019/11/13(水)20:09 ID:93YysfXh(5/10) AAS
>>216
0点。
219: 2019/11/13(水)20:10 ID:JqzHXS7q(1) AAS
日高が指摘を理解できないことは、日高の証明が間違ってないという免罪符にはならない
220(1): 2019/11/13(水)20:13 ID:fnd6z/3L(1) AAS
なぜ人は高木化してしまうのか
221(1): 日高 2019/11/13(水)20:32 ID:obOmojuw(32/40) AAS
>0点。
理由は?
222(1): 日高 2019/11/13(水)20:36 ID:obOmojuw(33/40) AAS
>日高が指摘を理解できないことは、日高の証明が間違ってないという免罪符にはならない
私が、指摘を理解できないことは、指摘が具体的では、ないということです。
223: 2019/11/13(水)20:36 ID:93YysfXh(6/10) AAS
>>221
考えられるんでしょ。考えたらわかるでしょ。
224: 2019/11/13(水)20:37 ID:93YysfXh(7/10) AAS
>>222
日高のいう具体的にっていうのは日高に都合がいいようにって意味なのね。
225(1): 日高 2019/11/13(水)20:40 ID:obOmojuw(34/40) AAS
>考えられるんでしょ。考えたらわかるでしょ。
考える材料を示して下さい。抽象的言葉では、分かりません。
226: 日高 2019/11/13(水)20:44 ID:obOmojuw(35/40) AAS
>日高のいう具体的にっていうのは日高に都合がいいようにって意味なのね。
具体的箇所という意味です。
227: ID:1lEWVa2s 2019/11/13(水)20:45 ID:X9dD8ugv(1) AAS
僕の式みたでしょ。
背理法で証明は間違え。
228: 2019/11/13(水)20:45 ID:93YysfXh(8/10) AAS
>>225
> 考える材料を示して下さい。抽象的言葉では、分かりません。
数学は抽象的な学問です。出直せよ。
229(1): 日高 2019/11/13(水)20:46 ID:obOmojuw(36/40) AAS
>僕の式みたでしょ。
何番でしょうか?
230: 日高 2019/11/13(水)20:49 ID:obOmojuw(37/40) AAS
>数学は抽象的な学問です。出直せよ。
具体的箇所を示さないと、議論が始まりません。
231(2): 日高 2019/11/13(水)20:52 ID:obOmojuw(38/40) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。
@をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。
Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。
省1
232: 2019/11/13(水)20:57 ID:93YysfXh(9/10) AAS
>>231
0点
233: 2019/11/13(水)21:00 ID:93YysfXh(10/10) AAS
数学は抽象的な学問です。出直せよ。
234: 日高 2019/11/13(水)21:01 ID:obOmojuw(39/40) AAS
>0点
?
235: 2019/11/13(水)21:03 ID:GRlUj1NV(1) AAS
>>220
まさにそれ
そのうち反論する者が居なくなるが、
そうなるとこの手合いは「俺はやっぱり正しかった!」って独りでイキり始める
236: 日高 2019/11/13(水)21:06 ID:obOmojuw(40/40) AAS
>数学は抽象的な学問です。出直せよ。
「抽象的な学問です。」意味を教えて下さい。
237: 2019/11/13(水)21:14 ID:gmmPcfg8(2/2) AAS
>>201
> 「その値」とは、x/d,y/d,z/dのことです。
>
> x^p+y^p=(x+p^{1/(p-1)}^pのx,y,zが無理数のとき、整数比となる可能性があるということです。
それで何を主張したいのですか?
証明と関係ないことはどうでもいいので、
X^p+Y^p=(X+(ap)^{1/(p-1)})^p…E が有理数解をもたないことを証明してください。
238: 2019/11/13(水)22:08 ID:EMqDl2hD(6/6) AAS
AA省
239: 2019/11/13(水)23:03 ID:Ao3vf6Bh(6/6) AAS
>> 222
ある意味、この発言で尽きているな。
自分が理解できないのは自分のせいではない。
お前らの指摘が具体的じゃないのが悪いんだ。
ってことにして全部ごまかしたいんでしょ。
要するに バカなくせに自分が理解できないことを認めたくない痛いやつ。
240: ID:1lEWVa2s 2019/11/14(木)06:01 ID:+imazx4z(1) AAS
>>229
フェルマー最終定理について
のスレ主
241(1): 日高 2019/11/14(木)06:26 ID:2DI/vyaa(1/23) AAS
>X^p+Y^p=(X+(ap)^{1/(p-1)})^p…E が有理数解をもたないことを証明してください。
X:Y:Z=x:y:zとなるので、x^p+y^p=(x+p^{1/(p-1)})^pが有理数解を持たないならば、
X^p+Y^p=(X+(ap)^{1/(p-1)})^pも、有理数解を持ちません。
242: 日高 2019/11/14(木)06:28 ID:2DI/vyaa(2/23) AAS
>数学の本を読めないのに
考える事は、できます。
243: 日高 2019/11/14(木)06:30 ID:2DI/vyaa(3/23) AAS
>自分が理解できないのは自分のせいではない。
お前らの指摘が具体的じゃないのが悪いんだ。
具体的箇所を指摘してください。
お答えします。
244: 日高 2019/11/14(木)06:33 ID:2DI/vyaa(4/23) AAS
>そのうち反論する者が居なくなるが、
反論する人は、いると思います。
245: 日高 2019/11/14(木)06:35 ID:2DI/vyaa(5/23) AAS
>フェルマー最終定理について
のスレ主
どういう意味でしょうか?
246: 日高 2019/11/14(木)06:38 ID:2DI/vyaa(6/23) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。
@をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。
Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。
省1
247: 2019/11/14(木)06:44 ID:6zWHRxJn(1/3) AAS
>>241
> X^p+Y^p=(X+(ap)^{1/(p-1)})^p…E が有理数解をもたないことを証明してください。
>
> X:Y:Z=x:y:zとなるので、x^p+y^p=(x+p^{1/(p-1)})^pが有理数解を持たないならば、
> X^p+Y^p=(X+(ap)^{1/(p-1)})^pも、有理数解を持ちません。
そんなことは言えません。
正しいというのなら、ちゃんと証明を書いてください。
248(1): 日高 2019/11/14(木)07:22 ID:2DI/vyaa(7/23) AAS
>そんなことは言えません。
正しいというのなら、ちゃんと証明を書いてください。
246を見て下さい。
249: 2019/11/14(木)07:24 ID:Cqvd0D7F(1) AAS
>a(1/a)=1となる。
ここも間違い
X^p+Y^p=(X+(ap)^{1/(p-1)})^p が有理数解を持つなら、
a(1/a)=1でない、というだけのこと。
250: 2019/11/14(木)07:32 ID:6zWHRxJn(2/3) AAS
>>248
246には同じことしか書いてないですよ。
> EのX,Y,ZはCのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
> Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。
xが無理数の場合、Eが有理数解を持つことはありえます。
Eが有理数解を持たないことの証明はできていません。
251: 2019/11/14(木)07:48 ID:krtSEom2(1) AAS
誰にも認められない証明を書き込み続ける目的がわからない
252: 日高 2019/11/14(木)08:18 ID:2DI/vyaa(8/23) AAS
>X^p+Y^p=(X+(ap)^{1/(p-1)})^p が有理数解を持つなら、
a(1/a)=1でない、というだけのこと。
すみません。詳しく説明していただけないでしょうか。
253(1): 日高 2019/11/14(木)08:26 ID:2DI/vyaa(9/23) AAS
>xが無理数の場合、Eが有理数解を持つことはありえます。
Eが有理数解を持たないことの証明はできていません。
xが無理数のとき、x,y,zが整数比となるならば、
x,y,zを共通の無理数dで割った、x/d,y/d,z/dは、
有理数となります。x,y,zが、有理数とならないので、
X,Y,Zも、有理数となりません。
254(2): 日高 2019/11/14(木)08:28 ID:2DI/vyaa(10/23) AAS
>誰にも認められない証明を書き込み続ける目的がわからない
誰にも認められないから、書き込み続けています。
255(1): 2019/11/14(木)08:45 ID:BqLwd2zn(1/13) AAS
>>254
> 誰にも認められないから、書き込み続けています。
思い上がるな。
認められていない訳ではない。
間違っていてデタラメな証明であるの認められているのみ。
唯一の解決方法は、本人が数学の証明というものを勉強し、記述と内容をきちんとする事によって理解し直すことだが、それを拒否している以上解決は有り得ない。
256: 日高 2019/11/14(木)08:48 ID:2DI/vyaa(11/23) AAS
>認められていない訳ではない。
間違っていてデタラメな証明であるの認められているのみ。
すみません。どういう意味でしょうか?
257: 2019/11/14(木)08:48 ID:BqLwd2zn(2/13) AAS
>>255
間違えた。
間違っていてデタラメな証明であるのが、認められているのだ。
258: 日高 2019/11/14(木)08:51 ID:2DI/vyaa(12/23) AAS
>間違っていてデタラメな証明であるのが、認められているのだ。
分かりました。
259(2): 日高 2019/11/14(木)08:53 ID:2DI/vyaa(13/23) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…@が、有理数解を持つかを検討する。
@をz=x+rとおくと、x^p+y^p=(x+r)^p…Aとなる。Aを積の形に変形してrを求める。
Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、Aはx^p+y^p=(x+p^{1/(p-1)})^p…Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…Eとなる。
EのX,Y,ZはCのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
Cはxを有理数とすると、zは無理数となる。よって、E,C,A,@は有理数解を持たない。
省1
260: 2019/11/14(木)09:31 ID:BqLwd2zn(3/13) AAS
>>259
直ってない。ダメ。
261(1): 日高 2019/11/14(木)09:36 ID:2DI/vyaa(14/23) AAS
>直ってない。ダメ。
「ダメ」な理由を教えて下さい。
上下前次1-新書関写板覧索設栞歴
あと 741 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.026s