[過去ログ] フェルマーの最終定理の簡単な証明2 (1002レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
262: 2019/11/14(木)09:47 ID:BqLwd2zn(4/13) AAS
>>261
> 「ダメ」な理由を教えて下さい。
態度悪いからやだ。
263: 日高 2019/11/14(木)10:05 ID:2DI/vyaa(15/23) AAS
>態度悪いからやだ。

わかりました。
264: 2019/11/14(木)10:37 ID:VFEPie2y(1/4) AAS
>>259
***** このスレを初めてご覧になる方へ(歴史に残る日高語録)*****

 a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
変わりはありません。

 この迷言に対し

>  小学校から大学教養レベルあたりまでの数学で、「数」とは
>  自然数、整数、実数(有理数、無理数)、複素数
> であるが a^{1/(1-1) は上記のどれにあたるのだ?

という指摘がなされたが、これに対しても
省12
265: 日高 2019/11/14(木)11:34 ID:2DI/vyaa(16/23) AAS
>a^{1/(1-1) は特定できない数です

間違いでしょうか?
266: 2019/11/14(木)12:19 ID:d65gPFe2(1) AAS
間違いに決まってんだろw

「特定できない数」とか意味不明な日本語使いたいなら定義しろ。
267: 2019/11/14(木)12:40 ID:RDmxblf/(1/3) AAS
>>253
> xが無理数のとき、x,y,zが整数比となるならば、
> x,y,zを共通の無理数dで割った、x/d,y/d,z/dは、
> 有理数となります。x,y,zが、有理数とならないので、
> X,Y,Zも、有理数となりません。

何が言いたいのか全く分かりません。

> x,y,zが、有理数とならないので、X,Y,Zも、有理数となりません。

なぜですか?
268: 日高 2019/11/14(木)13:20 ID:2DI/vyaa(17/23) AAS
>a^{1/(1-1)} は特定できない数です

>「特定できない数」とか意味不明な日本語使いたいなら定義しろ。

a^{1/(1-1)}のaを特定したとき、a^{1/(1-1)}を特定できるでしょうか?
269
(1): 日高 2019/11/14(木)13:24 ID:2DI/vyaa(18/23) AAS
> x,y,zが、有理数とならないので、X,Y,Zも、有理数となりません。

なぜですか?

x:y:z=X:Y:Zだからです。
270
(2): 日高 2019/11/14(木)13:27 ID:2DI/vyaa(19/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
271: 2019/11/14(木)13:49 ID:BqLwd2zn(5/13) AAS
>>270
意味不明。
272: 2019/11/14(木)13:57 ID:RDmxblf/(2/3) AAS
>>269
>> x,y,zが、有理数とならないので、X,Y,Zも、有理数となりません。

>
>なぜですか?
>
>x:y:z=X:Y:Zだからです。

全然説明になっていません。
x:y:z=X:Y:Z で、x,y,zが無理数でも整数比なら、X,Y,Zは有理数になり得ます。
273: 2019/11/14(木)14:17 ID:m2WhK8xr(1) AAS
>>254
指摘に応じないなら認められることは永遠にないから、書き込んでも無意味だよ
274: 日高 2019/11/14(木)14:26 ID:2DI/vyaa(20/23) AAS
>意味不明。

どの部分が意味不明でしょうか?
275
(2): 日高 2019/11/14(木)14:36 ID:2DI/vyaa(21/23) AAS
>x:y:z=X:Y:Z で、x,y,zが無理数でも整数比なら、X,Y,Zは有理数になり得ます。

x,y,zが無理数で、整数比となるならば、そのx,y,zを、共通の無理数dで割ると、
有理数x/d,y/d,z/dとなります。
x/d:y/d:z/d=x:y:dとなるので、x,y,zが無理数で、整数比となるならば、
x,y,zが有理数で、整数比となるものが、存在することになります。
276: 日高 2019/11/14(木)14:40 ID:2DI/vyaa(22/23) AAS
>指摘に応じないなら認められることは永遠にないから、書き込んでも無意味だよ

たしかに、そうかもしれませんね。
277: 2019/11/14(木)14:54 ID:BqLwd2zn(6/13) AAS
>>275
だから何?
dとaは違う
278: 日高 2019/11/14(木)15:02 ID:2DI/vyaa(23/23) AAS
>だから何?
dとaは違う

すみません。どういう意味でしょうか?
279: 2019/11/14(木)15:04 ID:VFEPie2y(2/4) AAS
>>270

┌日┐
|※| 毎日毎日、暇を持て余している爺さんです。(´・ω・`)
|数|
|学| 数学力、国語力は小学生レベルも怪しいです(´・ω・`)
|の|
|本| a^{1/(1-1)}は、計算できない数ですが、
|は|
|読| a^{1/(1-1)}が数であることには変わりはありません。
|ん|
省6
280: 日高 2019/11/14(木)15:14 ID:Xxafpkdr(1/15) AAS
>暇を持て余している爺さんです。(´・ω・`)

よろしくお願いします。
281
(2): 日高 2019/11/14(木)15:16 ID:Xxafpkdr(2/15) 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
282: 2019/11/14(木)15:24 ID:BqLwd2zn(7/13) AAS
>>281
間違い。
283: 日高 2019/11/14(木)15:27 ID:Xxafpkdr(3/15) AAS
>間違い。

理由を教えて下さい。
284: 2019/11/14(木)16:24 ID:VFEPie2y(3/4) AAS
AA省
285: 2019/11/14(木)16:29 ID:VFEPie2y(4/4) AAS
AA省
286
(1): 日高 2019/11/14(木)16:46 ID:Xxafpkdr(4/15) AAS
>数学の本は、読んでいませんwww

考える事はできます。
287
(1): 日高 2019/11/14(木)16:47 ID:Xxafpkdr(5/15) AAS
>トンデモ証明

でしょうか?
288: 2019/11/14(木)16:57 ID:BqLwd2zn(8/13) AAS
>>286

> >数学の本は、読んでいませんwww
>
> 考える事はできます。
出来てません。
289: 2019/11/14(木)16:58 ID:BqLwd2zn(9/13) AAS
>>287

> >トンデモ証明
>
> でしょうか?
トンデモ以下じゃない?
290
(1): 日高 2019/11/14(木)17:05 ID:Xxafpkdr(6/15) AAS
> 考える事はできます。
出来てません。

そうでしょうか。
291: 日高 2019/11/14(木)17:07 ID:Xxafpkdr(7/15) AAS
>トンデモ以下じゃない?

そうでしょうか?
292
(1): 日高 2019/11/14(木)17:08 ID:Xxafpkdr(8/15) 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
293: 2019/11/14(木)17:11 ID:BqLwd2zn(10/13) AAS
>>290
同じ間違いだから同じ指摘なのに同じ返事。
真面目に勉強する気もない。
考えてないでしょ。
294: 2019/11/14(木)17:11 ID:BqLwd2zn(11/13) AAS
>>292
間違い。
295: 2019/11/14(木)17:41 ID:6J8efjRJ(1) AAS
もっと自分の推論に疑いを抱いてほしいね。
こんな簡単な方法で証明できるならすでに誰かが証明しているはずだ、
したがってどこかに落とし穴があるに違いない、
という見方を持つことが大事。
296: 2019/11/14(木)17:58 ID:bBcVH2S4(1/3) AAS
自分のことを稀代の天才だと思ってるから仕方ないよ
297: 日高 2019/11/14(木)18:33 ID:Xxafpkdr(9/15) AAS
>考えてないでしょ。

考えています。
298: 日高 2019/11/14(木)18:34 ID:Xxafpkdr(10/15) AAS
>間違い。

理由を教えて下さい。
299
(1): 日高 2019/11/14(木)18:36 ID:Xxafpkdr(11/15) AAS
>こんな簡単な方法で証明できるならすでに誰かが証明しているはずだ、

私も、そう思いますので、間違い箇所を探して下さい。
300
(1): 日高 2019/11/14(木)18:38 ID:Xxafpkdr(12/15) AAS
>自分のことを稀代の天才だと思ってるから仕方ないよ

まったく、思っていません。
301: 2019/11/14(木)18:39 ID:bBcVH2S4(2/3) AAS
指摘されても「どこでしょうか」とか誤魔化し続けてきてるんだから、>>299,300みたいな嘘ついてもしょうがないと思うんだけど
302: 2019/11/14(木)18:46 ID:RDmxblf/(3/3) AAS
>>275
> x/d:y/d:z/d=x:y:dとなるので、x,y,zが無理数で、整数比となるならば、
> x,y,zが有理数で、整数比となるものが、存在することになります。

「x,y,zが無理数で」と「x,y,zが有理数で」が矛盾している。
式も間違ってる。x:y:dじゃないだろ。
全部デタラメと言わざるを得ない。
303
(1): 日高 2019/11/14(木)19:59 ID:Xxafpkdr(13/15) AAS
>指摘されても「どこでしょうか」とか誤魔化し続けてきてるんだから

「どこ」と言ってもらえれば、答えます。
304
(1): 日高 2019/11/14(木)20:07 ID:Xxafpkdr(14/15) AAS
>「x,y,zが無理数で」と「x,y,zが有理数で」が矛盾している。

無理数と、有理数の、二通りのx,y,zが存在するのは、矛盾する。と、いうことです。

>式も間違ってる。x:y:dじゃないだろ。

すみません。dは、zの間違いです。
305
(2): 日高 2019/11/14(木)20:13 ID:Xxafpkdr(15/15) 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
306: 2019/11/14(木)20:58 ID:3FMXnSWr(1/2) AAS
つーか、Aの最初の変形で間違ってんじゃん。
なんで(x/r+1)^pになるんだよ。
307: 2019/11/14(木)21:03 ID:3FMXnSWr(2/2) AAS
ああ、あってるか
308: 2019/11/14(木)21:03 ID:6zWHRxJn(3/3) AAS
>>304
> 「x,y,zが無理数で」と「x,y,zが有理数で」が矛盾している。
>
> 無理数と、有理数の、二通りのx,y,zが存在するのは、矛盾する。と、いうことです。

「二通りのx,y,z」って何?
理解不能です。無意味な文字列にしか見えません。
309: 2019/11/14(木)21:28 ID:BqLwd2zn(12/13) AAS
>>305
間違い。
310: 2019/11/14(木)21:33 ID:BqLwd2zn(13/13) AAS
>>303
> 「どこ」と言ってもらえれば、答えます。
嘘つき
311: 2019/11/14(木)21:52 ID:bBcVH2S4(3/3) AAS
どこか言っても同じこと繰り返すだけじゃん
312
(1): 日高 2019/11/15(金)08:44 ID:fPO+9xfH(1/18) AAS
>「二通りのx,y,z」って何?
理解不能です。無意味な文字列にしか見えません。

(1) 無理数x,y,zで、整数比となるものが、存在する可能性がある。(dを共通の有理数とすると、x/d=X,y/d=Y,z/d=Zは、有理数となる。)

(2) 有理数X,Y,Zで、整数比となるものは、確実に存在しない。

(1)と(2)は、同時には、起こり得ません。
313: 日高 2019/11/15(金)08:46 ID:fPO+9xfH(2/18) AAS
> 「どこ」と言ってもらえれば、答えます。
嘘つき

嘘では、ありません。
314
(1): 日高 2019/11/15(金)08:48 ID:fPO+9xfH(3/18) AAS
>どこか言っても同じこと繰り返すだけじゃん

同じことを、繰り返しましたか?
315: 日高 2019/11/15(金)09:13 ID:fPO+9xfH(4/18) AAS
(dを共通の有理数とすると、
は、
(dを共通の無理数とすると、
の間違いでした。
316: 2019/11/15(金)09:21 ID:tF0I0hiG(1/6) AAS
AA省
317: 2019/11/15(金)09:45 ID:ZaWc/QNo(1/4) AAS
>>314

> >どこか言っても同じこと繰り返すだけじゃん
>
> 同じことを、繰り返しましたか?
痴呆症で覚えられないの?
318: 日高 2019/11/15(金)10:10 ID:fPO+9xfH(5/18) AAS
>数学の本を読めないのに

考える事は、できます。
319: 日高 2019/11/15(金)10:13 ID:fPO+9xfH(6/18) AAS
>痴呆症で覚えられないの?

痴呆症では、ありません。
同じことを、繰り返したならば、教えて下さい。
320
(4): 日高 2019/11/15(金)10:15 ID:fPO+9xfH(7/18) 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
321: 2019/11/15(金)10:23 ID:tF0I0hiG(2/6) AAS
>>320
┌日┐
|※| 毎日毎日、暇を持て余しているいまだ童貞の爺さんです。(´・ω・`)
|数|
|学| 数学力、国語力は小学生レベルも怪しいです(´・ω・`)
|の|
|本| a^{1/(1-1)}は、計算できない数ですが、
|は|
|読| a^{1/(1-1)}が数であることには変わりはありません。
|ん|
省6
322
(1): 日高 2019/11/15(金)10:53 ID:fPO+9xfH(8/18) AAS
>a^{1/(1-1)}は、計算できない数ですが、

間違いでしょうか?
323: 2019/11/15(金)11:11 ID:ZVICuGNu(1) AAS
0でしょ
324: 2019/11/15(金)11:32 ID:ZaWc/QNo(2/4) AAS
>>320
同じ間違いの繰り返し。痴呆?
325: 2019/11/15(金)11:42 ID:tF0I0hiG(3/6) AAS
>>322

5/0 も計算できない '数' なのか。

計算できない '数' なるものの定義を厳密に述べよ。
326
(1): 日高 2019/11/15(金)12:00 ID:fPO+9xfH(9/18) AAS
>0でしょ

a=0のときは、a^{1/(1-1)}=0と思いますが、
a=0以外のときは、計算不可能と思います。

いかがでしょうか。
327
(1): 日高 2019/11/15(金)12:02 ID:fPO+9xfH(10/18) AAS
>同じ間違いの繰り返し。痴呆?

「同じ間違いの繰り返し」
箇所を、教えて下さい。
328: 日高 2019/11/15(金)12:06 ID:fPO+9xfH(11/18) AAS
>5/0 も計算できない '数' なのか。

計算できない '数' なるものの定義を厳密に述べよ。

0/5=0ですが、5/0は計算できるでしょうか?

5/0 も計算できない '数' の一つです。
329: 2019/11/15(金)12:09 ID:ZaWc/QNo(3/4) AAS
>>327
320そのもの。考えたらわかるでしょ?
330
(1): 日高 2019/11/15(金)12:17 ID:fPO+9xfH(12/18) AAS
>320そのもの。考えたらわかるでしょ?

どういう意味でしょうか?
331: 2019/11/15(金)12:30 ID:gX2XAe8N(1/2) AAS
>>312
>(1) 無理数x,y,zで、整数比となるものが、存在する可能性がある。(dを共通の有理数とすると、x/d=X,y/d=Y,z/d=Zは、有理数となる。)
>(2) 有理数X,Y,Zで、整数比となるものは、確実に存在しない。
>(1)と(2)は、同時には、起こり得ません。

言いたいことは大体わかったが、証明になっていません。

x,y,y(無理数)がx^p+y^p=(x+p^{1/(p-1)})^p…Cの解になるとき、x/d=X,y/d=Y,z/d=Z はCの解にはなりません。
(Cではz-x=p^{1/(p-1)}が前提になっているが、Z-X=p^{1/(p-1)} にならないので式を満たさない)
Cが有理数解を持たないことは正しいが、(2)は言えません。
(2)をちゃんと証明してください。
332: 2019/11/15(金)12:36 ID:ZaWc/QNo(4/4) AAS
>>330
> どういう意味でしょうか?
考えられないの?
333: 2019/11/15(金)12:45 ID:UsIqnNy1(1) AAS
>> 328

定義を述べろと言われてるのに、例をいくつかあげてごまかすだけ。
お前のやりかたはいつもこう。

しかもその例もお粗末ときたw
334
(1): 日高 2019/11/15(金)12:58 ID:fPO+9xfH(13/18) AAS
>x,y,z(無理数)がx^p+y^p=(x+p^{1/(p-1)})^p…Cの解になるとき、x/d=X,y/d=Y,z/d=Z はCの解にはなりません。
(Cではz-x=p^{1/(p-1)}が前提になっているが、Z-X=p^{1/(p-1)} にならないので式を満たさない)
Cが有理数解を持たないことは正しいが、(2)は言えません。
(2)をちゃんと証明してください。

x,y,z(無理数)が、整数比になると、仮定すると、x/d=X,y/d=Y,z/d=Z はCの解になります。

x^p+y^p=(x+y^{1/(p-1)})^pは、
X^p+Y^p=(X+(pa)^{1/(p-1)}^pが、a=1の場合の式です。
335
(1): 日高 2019/11/15(金)13:00 ID:fPO+9xfH(14/18) AAS
>定義を述べろと言われてるのに、例をいくつかあげてごまかすだけ。

無知なので、定義を述べることは、無理です。
336: 2019/11/15(金)13:09 ID:tF0I0hiG(4/6) AAS
> 無知なので、定義を述べることは、無理です
wwwwwwwwwwwwww
 無知なのだから、概念の定義が不可欠な数学の証明など
に挑戦せず、ティムポでもこすっとれ。
337: 2019/11/15(金)13:15 ID:fIdETCgp(1) AAS
>>335
数学において、定義が述べられないということは、その概念・言葉を使う資格がないということだ。
使うな。
338: 2019/11/15(金)13:21 ID:gX2XAe8N(2/2) AAS
>>334
>>334
x,y,z(無理数)が、整数比になると、仮定すると、x/d=X,y/d=Y,z/d=Z はCの解になります。
なるわけないでしょ。馬鹿なのかな?

> x^p+y^p=(x+y^{1/(p-1)})^pは、
> X^p+Y^p=(X+(pa)^{1/(p-1)}^pが、a=1の場合の式です。
Cの式を下の式にすり替えようとしてるのかな?
それはインチキです。
339: 日高 2019/11/15(金)19:23 ID:fPO+9xfH(15/18) AAS
>定義が述べられないということは、その概念・言葉を使う資格がないということだ。
使うな。

あなたは、定義を述べることが、できますか?
340: 日高 2019/11/15(金)19:26 ID:fPO+9xfH(16/18) AAS
>無知なのだから、概念の定義が不可欠な数学の証明など
に挑戦せず、

私のこの証明には、この定義は、不必要です。
341: 2019/11/15(金)20:39 ID:tF0I0hiG(5/6) AAS
>>320 は数学の証明ではない。数学とはまったく関係のない笑迷だ。
342: 2019/11/15(金)20:50 ID:YcsG85+R(1/2) AAS
「計算できない数」という謎の用語を使ってるのは日高だけなのに、他人にその定義を求めるなよw
343
(1): 日高 2019/11/15(金)21:04 ID:fPO+9xfH(17/18) AAS
>x,y,z(無理数)が、整数比になると、仮定すると、x/d=X,y/d=Y,z/d=Z はCの解になります。
なるわけないでしょ。馬鹿なのかな?

無理数x,y,zが、整数比になると、仮定していますので、無理数dで割ると、x/d,y/d,z/dは、有理数となります。
344
(1): 日高 2019/11/15(金)21:09 ID:fPO+9xfH(18/18) AAS
>「計算できない数」という謎の用語を使ってるのは日高だけなのに、他人にその定義を求めるなよw

定義を求められたから、求めました。「計算できない数」とは、定義できるか、どうかは、わかりません。
345: 2019/11/15(金)21:30 ID:pznPjbUO(1) AAS
>>343
>無理数x,y,zが、整数比になると、仮定していますので、無理数dで割ると、x/d,y/d,z/dは、有理数となります。

そんなこと問題にしてないない。
x/d,y/d,z/dは、Cの解になるんですか?
346: 2019/11/15(金)21:31 ID:YcsG85+R(2/2) AAS
>>344
日高「a^{1/(1-1)}は、計算できない数です」
スレ民「計算できない数って何ですか?」
日高「計算できない数の定義は分かりません」
スレ民「じゃあその用語は使わないでください」
日高「あなたは計算できない数が定義できるのですか?」

定義を求められてるのはお前、求めてるのはスレ民
お前がスレ民に定義を求めるのはお門違い
347: 2019/11/15(金)21:33 ID:EGNvbGLz(1) AAS
コンピュータ屋的定義厨のせいで
定義という言葉の意味が濫れた
348: 2019/11/15(金)21:57 ID:tF0I0hiG(6/6) AAS
>>326
>a=0のときは、a^{1/(1-1)}=0と思いますが、
 ほほ〜(笑)。

 自然数を n、「定義できない数」なるものを♀としよう。
 自然数から複素数まで通用する四則演算の記号は
  和を +、差を -、積を *、商を /、累乗を ^
で表すのが普通だが、これらを使った

  n+♀
  n-♀
  n*♀
省2
349
(2): 日高 2019/11/16(土)08:51 ID:qdMW1Zfe(1/42) AAS
>x/d,y/d,z/dは、Cの解になるんですか?

x/d,y/d,z/dは、有理数なので、Cの解には、なりません。
350: 日高 2019/11/16(土)08:53 ID:qdMW1Zfe(2/42) AAS
>お前がスレ民に定義を求めるのはお門違い

すみません。ただ、お聞きしただけのつもりでした。
351: 日高 2019/11/16(土)08:55 ID:qdMW1Zfe(3/42) AAS
>コンピュータ屋的定義厨のせいで
定義という言葉の意味が濫れた

すみません。どういう意味でしょうか?
352: 日高 2019/11/16(土)08:57 ID:qdMW1Zfe(4/42) AAS
>自然数を n、「定義できない数」なるものを♀としよう。
 自然数から複素数まで通用する四則演算の記号は
  和を +、差を -、積を *、商を /、累乗を ^
で表すのが普通だが、これらを使った

  n+♀
  n-♀
  n*♀
  n/♀

はそれぞれどんな結果になるのだ?

すみません。わかりません。
353
(2): 日高 2019/11/16(土)09:06 ID:qdMW1Zfe(5/42) 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
354: 2019/11/16(土)09:14 ID:K6ycQL9o(1/5) AAS
これは?
(a,b,c)を原始ピタゴラス数としたとき
a^x + b^y = c^z  ⇒ x=y=z=2
355: 2019/11/16(土)09:17 ID:K9h9Cor2(1/5) AAS
>>353
証明に関するやりとりで、自分で書いた主張を自分で否定しといて、間違いそのまま。
痴呆決定ですね
356: 2019/11/16(土)09:29 ID:lcOyxOVE(1/9) AAS
>>353
マイナス∞点
357: 2019/11/16(土)09:40 ID:tH0FpXQZ(1/5) AAS
>>349
> x/d,y/d,z/dは、Cの解になるんですか?
>
> x/d,y/d,z/dは、有理数なので、Cの解には、なりません。

ごまかさないでください。

有理数かどうかに関係なく、d=1でない限りx/d,y/d,z/dはCの式を満たさないでしょ。
x/d+p^{1/(p-1)}=z/d が成り立たないから。

で、Eが有理数解を持たないことは証明できるんですか。
358
(1): 日高 2019/11/16(土)10:26 ID:qdMW1Zfe(6/42) AAS
>これは?
(a,b,c)を原始ピタゴラス数としたとき
a^x + b^y = c^z  ⇒ x=y=z=2

すみません。質問の意味がわからないので、
教えて下さい。
359
(1): 日高 2019/11/16(土)10:28 ID:qdMW1Zfe(7/42) AAS
>証明に関するやりとりで、自分で書いた主張を自分で否定しといて、間違いそのまま。
痴呆決定ですね

すみません。どの部分のことでしょうか?
360: 日高 2019/11/16(土)10:30 ID:qdMW1Zfe(8/42) AAS
>マイナス∞点

どういう意味でしょうか?
361
(1): 日高 2019/11/16(土)10:40 ID:qdMW1Zfe(9/42) AAS
>有理数かどうかに関係なく、d=1でない限りx/d,y/d,z/dはCの式を満たさないでしょ。
x/d+p^{1/(p-1)}=z/d が成り立たないから。

で、Eが有理数解を持たないことは証明できるんですか。

すみません。言われていることの意味がよく、読み取ることが、できませんので、
もう少し詳しく説明していただけないでしょうか。
(最初から、お願いします。)
この場合の「成り立たない」「式を満たさない」の意味を教えて下さい。
1-
あと 641 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.029s