探検


フェルマーの最終定理の簡単な証明2

■ このスレッドは過去ログ倉庫に格納されています
1日高
垢版 |
2019/11/06(水) 09:02:13.97ID:K0QQ8/dg
【定理】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)})…C
となる。
Cはxを有理数とすると、zは無理数となる。よって、C,A,@は有理数解を持たない。
rが有理数ならば、Cの両辺に(a^{1/(p-1)})^pを掛けた
(xa^{1/(p-1)})^p+(ya^{1/(p-1)})^p=(xa^{1/(p-1)}+(pa)^{1/(p-1)})^p…Dとなる。
Dをxa^{1/(p-1)}=X, ya^{1/(p-1)}=Y, xa^{1/(p-1)}+(pa)^{1/(p-1)}=Zとおくと、
X:Y:Z=x:y:zとなる。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
2019/11/13(水) 20:57:59.96ID:93YysfXh
>>231
0点
2019/11/13(水) 21:00:20.43ID:93YysfXh
数学は抽象的な学問です。出直せよ。
234日高
垢版 |
2019/11/13(水) 21:01:46.60ID:obOmojuw
>0点

?
2019/11/13(水) 21:03:53.47ID:GRlUj1NV
>>220
まさにそれ

そのうち反論する者が居なくなるが、
そうなるとこの手合いは「俺はやっぱり正しかった!」って独りでイキり始める
236日高
垢版 |
2019/11/13(水) 21:06:30.24ID:obOmojuw
>数学は抽象的な学問です。出直せよ。

「抽象的な学問です。」意味を教えて下さい。
2019/11/13(水) 21:14:42.98ID:gmmPcfg8
>>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 が有理数解をもたないことを証明してください。
2019/11/13(水) 22:08:49.51ID:EMqDl2hD
>>231
  ,   ,:‘.         ..; ',   ,:‘         ’‘
      , .. .    +      。         ’‘        :] . ..
,   ,:‘. 数学の本を読めないのに             +   ,..
 ’‘     +   ,..       . ..; ',   ,:‘
+   ,..    ,:‘. つまりは、初等整数論の基礎の基礎すら知らないで    ,:‘.   ,..
 ’‘     +   ,..       . ..; ',   ,:‘
            + , .. .              +          ’。
     . .; : ’フェルマーの最終定理を証明できたなんて・・・    ' ,:‘.
      , .. .    +      。         ’‘        :] . ..
  それにしても  . ..; ',   ,:
    , .. .   a^{1/(1-1)}は、計算できない数ですが、  ..; ',  
  ,   ,:‘.         ..; ',   ,:‘         ’‘
   ' ,:‘.   a^{1/(1-1)}が、数であることには、変わりはありません。  , .. .
  ,   ,:‘.         ..; ',   ,:‘         ’‘
   だなんて・・  あ あ ・ ・ ・       ,:‘.      +
                                       。
.. ' ,:‘.          馬 鹿 過 ぎ ま す         . ...:] ’‘
                                       。
’‘     .;    こ ん な 馬 鹿 な
                                       。
.     。   ス レ ッ ド を 見 た の     ,:‘. 。+
 '+。
                初 め て で す          .. ' ,:‘.
:] . ..                            .. ' ,:‘.
  ,   ,:‘.         ..; ',   ,:‘         ’‘
 ,:‘. 。   .. . . :]:  ' ,:‘.   , .. .    +  。  , .. .    +  . : :...
239132人目の素数さん
垢版 |
2019/11/13(水) 23:03:31.93ID:Ao3vf6Bh
>> 222

ある意味、この発言で尽きているな。

自分が理解できないのは自分のせいではない。
お前らの指摘が具体的じゃないのが悪いんだ。

ってことにして全部ごまかしたいんでしょ。
要するに バカなくせに自分が理解できないことを認めたくない痛いやつ。
240ID:1lEWVa2s
垢版 |
2019/11/14(木) 06:01:05.15ID:+imazx4z
>>229
フェルマー最終定理について
のスレ主
241日高
垢版 |
2019/11/14(木) 06:26:30.01ID:2DI/vyaa
>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:16.81ID:2DI/vyaa
>数学の本を読めないのに

考える事は、できます。
243日高
垢版 |
2019/11/14(木) 06:30:57.15ID:2DI/vyaa
>自分が理解できないのは自分のせいではない。
お前らの指摘が具体的じゃないのが悪いんだ。

具体的箇所を指摘してください。
お答えします。
244日高
垢版 |
2019/11/14(木) 06:33:08.00ID:2DI/vyaa
>そのうち反論する者が居なくなるが、

反論する人は、いると思います。
245日高
垢版 |
2019/11/14(木) 06:35:50.55ID:2DI/vyaa
>フェルマー最終定理について
のスレ主

どういう意味でしょうか?
246日高
垢版 |
2019/11/14(木) 06:38:22.40ID:2DI/vyaa
【定理】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,@は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
2019/11/14(木) 06:44:19.68ID:6zWHRxJn
>>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日高
垢版 |
2019/11/14(木) 07:22:47.53ID:2DI/vyaa
>そんなことは言えません。
正しいというのなら、ちゃんと証明を書いてください。

246を見て下さい。
2019/11/14(木) 07:24:42.00ID:Cqvd0D7F
>a(1/a)=1となる。

ここも間違い

X^p+Y^p=(X+(ap)^{1/(p-1)})^p が有理数解を持つなら、
a(1/a)=1でない、というだけのこと。
2019/11/14(木) 07:32:48.29ID:6zWHRxJn
>>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が有理数解を持たないことの証明はできていません。
2019/11/14(木) 07:48:22.08ID:krtSEom2
誰にも認められない証明を書き込み続ける目的がわからない
252日高
垢版 |
2019/11/14(木) 08:18:09.27ID:2DI/vyaa
>X^p+Y^p=(X+(ap)^{1/(p-1)})^p が有理数解を持つなら、
a(1/a)=1でない、というだけのこと。

すみません。詳しく説明していただけないでしょうか。
253日高
垢版 |
2019/11/14(木) 08:26:09.03ID:2DI/vyaa
>xが無理数の場合、Eが有理数解を持つことはありえます。
Eが有理数解を持たないことの証明はできていません。

xが無理数のとき、x,y,zが整数比となるならば、
x,y,zを共通の無理数dで割った、x/d,y/d,z/dは、
有理数となります。x,y,zが、有理数とならないので、
X,Y,Zも、有理数となりません。
254日高
垢版 |
2019/11/14(木) 08:28:44.90ID:2DI/vyaa
>誰にも認められない証明を書き込み続ける目的がわからない

誰にも認められないから、書き込み続けています。
2019/11/14(木) 08:45:28.13ID:BqLwd2zn
>>254
> 誰にも認められないから、書き込み続けています。
思い上がるな。
認められていない訳ではない。
間違っていてデタラメな証明であるの認められているのみ。

唯一の解決方法は、本人が数学の証明というものを勉強し、記述と内容をきちんとする事によって理解し直すことだが、それを拒否している以上解決は有り得ない。
256日高
垢版 |
2019/11/14(木) 08:48:35.30ID:2DI/vyaa
>認められていない訳ではない。
間違っていてデタラメな証明であるの認められているのみ。

すみません。どういう意味でしょうか?
2019/11/14(木) 08:48:53.42ID:BqLwd2zn
>>255
間違えた。

間違っていてデタラメな証明であるのが、認められているのだ。
258日高
垢版 |
2019/11/14(木) 08:51:18.41ID:2DI/vyaa
>間違っていてデタラメな証明であるのが、認められているのだ。

分かりました。
259日高
垢版 |
2019/11/14(木) 08:53:43.45ID:2DI/vyaa
【定理】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,@は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
2019/11/14(木) 09:31:48.28ID:BqLwd2zn
>>259
直ってない。ダメ。
261日高
垢版 |
2019/11/14(木) 09:36:45.21ID:2DI/vyaa
>直ってない。ダメ。

「ダメ」な理由を教えて下さい。
2019/11/14(木) 09:47:56.40ID:BqLwd2zn
>>261
> 「ダメ」な理由を教えて下さい。
態度悪いからやだ。
263日高
垢版 |
2019/11/14(木) 10:05:42.90ID:2DI/vyaa
>態度悪いからやだ。

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

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

 この迷言に対し

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

という指摘がなされたが、これに対しても

 a^{1/(1-1) は特定できない数です。

という世紀の珍答を与えている。さらに

>  スレ主は以下の命題の真偽がわかるかね?
>  (1) sin(π/2) = 0 ⇒ cos(π/3) = 1
>  (2) sin(π/2) = 1 ⇒ cos(π/3) = 1
>  (3) sin(π/3) = 0 ⇒ cos(π/3) = 1

という質問に対しては

 問題の意味がよくわかりません。
 ⇒の意味は、〜ならば〜である。と思いますが、
 sin(π/2) = 0, sin(π/3) = 0となりません。
 sin(π/2) = 1となりますが、 cos(π/3) = 1となりません。

と漫才のような珍答を与えている。
265日高
垢版 |
2019/11/14(木) 11:34:35.65ID:2DI/vyaa
>a^{1/(1-1) は特定できない数です

間違いでしょうか?
266132人目の素数さん
垢版 |
2019/11/14(木) 12:19:39.51ID:d65gPFe2
間違いに決まってんだろw

「特定できない数」とか意味不明な日本語使いたいなら定義しろ。
2019/11/14(木) 12:40:00.69ID:RDmxblf/
>>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:53.25ID:2DI/vyaa
>a^{1/(1-1)} は特定できない数です

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

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

なぜですか?

x:y:z=X:Y:Zだからです。
270日高
垢版 |
2019/11/14(木) 13:27:07.11ID:2DI/vyaa
【定理】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,@は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
2019/11/14(木) 13:49:28.04ID:BqLwd2zn
>>270
意味不明。
2019/11/14(木) 13:57:41.95ID:RDmxblf/
>>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は有理数になり得ます。
2019/11/14(木) 14:17:59.55ID:m2WhK8xr
>>254
指摘に応じないなら認められることは永遠にないから、書き込んでも無意味だよ
274日高
垢版 |
2019/11/14(木) 14:26:59.10ID:2DI/vyaa
>意味不明。

どの部分が意味不明でしょうか?
275日高
垢版 |
2019/11/14(木) 14:36:35.92ID:2DI/vyaa
>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:33.02ID:2DI/vyaa
>指摘に応じないなら認められることは永遠にないから、書き込んでも無意味だよ

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

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

┌日┐
|※| 毎日毎日、暇を持て余している爺さんです。(´・ω・`)
|数|
|学| 数学力、国語力は小学生レベルも怪しいです(´・ω・`)
|の|
|本| a^{1/(1-1)}は、計算できない数ですが、
|は|
|読| a^{1/(1-1)}が数であることには変わりはありません。
|ん|
|で| 私の下半身でそのことが証明されています。
|ま|
|せ| 下半身力で達成した証明ですから、常人には理解不可能です。
|ん|
|!| よってレスは一切無用に願います<(_ _)>。
└高┘
280日高
垢版 |
2019/11/14(木) 15:14:16.56ID:Xxafpkdr
>暇を持て余している爺さんです。(´・ω・`)

よろしくお願いします。
281日高
垢版 |
2019/11/14(木) 15:16:51.48ID:Xxafpkdr
【定理】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,@は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
2019/11/14(木) 15:24:50.09ID:BqLwd2zn
>>281
間違い。
283日高
垢版 |
2019/11/14(木) 15:27:20.55ID:Xxafpkdr
>間違い。

理由を教えて下さい。
2019/11/14(木) 16:24:49.67ID:VFEPie2y
>>281
(xa^{1/(1-1)})+(ya^{1/(1-1)})=(xa^{1/(1-1)}+(1a)^{1/(1-1)})…Dとなる。
ヴァカだなあ・・・
__ ___/                ,/ヽ
    ∨          ↓H高    ,/    ヽ数学の本は、読んでいませんwww
  ∧_∧         ∧_∧  ,/      ヽ学力は、小学校もあやしいですwww
 ( ´∀`)        ( ´∀`),/         ヽDをxa^{1/(1-1)}=X,ya^{1/(1-1)}=Y
 (    )        (  つつ@            ヽxa^{1/(1-1)}+(1a)^{1/(1-1)}=Z
 | | |     ___ | | |                とおくと
 (__)_)    |――| (__)_)              ヽX:Y:Z=x:y:zとなると本気で思っています。
 ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄|                  ヽ<・フェルマーの最終定理─<
\/⌒\/⌒\/⌒\/⌒\|彡~゚ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~
/⌒\/⌒\/⌒\/⌒\/⌒\彡 〜 〜〜 〜〜 〜〜 〜 〜
\/⌒\/⌒\/⌒\/⌒\|彡~゚ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~
/⌒\/⌒\/⌒\/⌒\/⌒\彡 〜 〜〜 〜〜 〜〜 〜 〜
2019/11/14(木) 16:29:07.80ID:VFEPie2y
                         ,,-''ヽ、
                       ,, -''"    \
                     _,-'"        \
                    /\ フェルマー  \
              __   //\\   最終定理   \
              /|[]::::::|_ / \/\\ トンデモ証明  /
             ./| ̄ ̄ ̄ ̄ //\ \/  \      //    ___
         |  |:::「「「「「「 / \/\  /\\   /:::/   ./|    |__
       _..|  |:::LLLLL//\ \/  \/\\/::::::/  /  | ロ  .|lllllllllllll
      / llllll|  |:::「「「「 / \/\  /\ .\/ ./::::::::/  / ./ .|    |lllllllllllll
__     llllll|  |:::LLL.//\ \/  \/\  /::::::::/   | /  .| ロ  .|lllllllllllll
        llllll|  |:::「「「/ \/\  /\ \/ /::::::::/   | ||/ ..|    |lllllllllllll
         llllll|  |:::LL//\ \/  \/\ ./::::::::/    .| ||/ ..|
         |  |:::「./ .\/\  /\ \/ /::::::::/⌒ヽ、 .| ||/ ..|
         |  |:::l//\ \/  \/\_, -― 、  ''"⌒ヽ,_
                (⌒ヽ、_,ノ⌒Y"    Y     .....⌒)
            (⌒ヽー゙ ....::(   ..::.......  .__人.....::::::::::::::::::::
         _ノ⌒ヽ  Y⌒ヽ;;:::::"'::::::::::::::::::::::::::::: ___
     ___(   ゙   ....:::.....  Y"   
                          ∧_∧  
                        ∩<l|l`∀´>
                        ヽ    ノ   .a^{1/(1-1)}は、計算できない数ですが
                         (,,つ .ノ
                          .し' a^{1/(1-1)}が数であることには変わりはありません
286日高
垢版 |
2019/11/14(木) 16:46:04.26ID:Xxafpkdr
>数学の本は、読んでいませんwww

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

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

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

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

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

そうでしょうか?
292日高
垢版 |
2019/11/14(木) 17:08:50.55ID:Xxafpkdr
定理】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,@は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
2019/11/14(木) 17:11:03.81ID:BqLwd2zn
>>290
同じ間違いだから同じ指摘なのに同じ返事。
真面目に勉強する気もない。
考えてないでしょ。
2019/11/14(木) 17:11:40.46ID:BqLwd2zn
>>292
間違い。
2019/11/14(木) 17:41:17.11ID:6J8efjRJ
もっと自分の推論に疑いを抱いてほしいね。
こんな簡単な方法で証明できるならすでに誰かが証明しているはずだ、
したがってどこかに落とし穴があるに違いない、
という見方を持つことが大事。
2019/11/14(木) 17:58:25.79ID:bBcVH2S4
自分のことを稀代の天才だと思ってるから仕方ないよ
297日高
垢版 |
2019/11/14(木) 18:33:21.47ID:Xxafpkdr
>考えてないでしょ。

考えています。
298日高
垢版 |
2019/11/14(木) 18:34:23.69ID:Xxafpkdr
>間違い。

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

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

まったく、思っていません。
2019/11/14(木) 18:39:35.59ID:bBcVH2S4
指摘されても「どこでしょうか」とか誤魔化し続けてきてるんだから、>>299,300みたいな嘘ついてもしょうがないと思うんだけど
2019/11/14(木) 18:46:17.00ID:RDmxblf/
>>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日高
垢版 |
2019/11/14(木) 19:59:46.87ID:Xxafpkdr
>指摘されても「どこでしょうか」とか誤魔化し続けてきてるんだから

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

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

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

すみません。dは、zの間違いです。
305日高
垢版 |
2019/11/14(木) 20:13:18.40ID:Xxafpkdr
【定理】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,@は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
2019/11/14(木) 20:58:46.75ID:3FMXnSWr
つーか、Aの最初の変形で間違ってんじゃん。
なんで(x/r+1)^pになるんだよ。
2019/11/14(木) 21:03:38.63ID:3FMXnSWr
ああ、あってるか
2019/11/14(木) 21:03:43.60ID:6zWHRxJn
>>304
> 「x,y,zが無理数で」と「x,y,zが有理数で」が矛盾している。
>
> 無理数と、有理数の、二通りのx,y,zが存在するのは、矛盾する。と、いうことです。

「二通りのx,y,z」って何?
理解不能です。無意味な文字列にしか見えません。
2019/11/14(木) 21:28:31.78ID:BqLwd2zn
>>305
間違い。
2019/11/14(木) 21:33:48.05ID:BqLwd2zn
>>303
> 「どこ」と言ってもらえれば、答えます。
嘘つき
2019/11/14(木) 21:52:08.29ID:bBcVH2S4
どこか言っても同じこと繰り返すだけじゃん
312日高
垢版 |
2019/11/15(金) 08:44:59.53ID:fPO+9xfH
>「二通りの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:30.84ID:fPO+9xfH
> 「どこ」と言ってもらえれば、答えます。
嘘つき

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

同じことを、繰り返しましたか?
315日高
垢版 |
2019/11/15(金) 09:13:31.81ID:fPO+9xfH
(dを共通の有理数とすると、
は、
(dを共通の無理数とすると、
の間違いでした。
2019/11/15(金) 09:21:48.55ID:tF0I0hiG
>>305
  ,   ,:‘.         ..; ',   ,:‘         ’‘
      , .. .    +      。         ’‘        :] . ..
,   ,:‘. 数学の本を読めないのに             +   ,..
 ’‘     +   ,..       . ..; ',   ,:‘
+   ,..    ,:‘. つまりは、初等整数論の基礎の基礎すら知らないで    ,:‘.   ,..
 ’‘     +   ,..       . ..; ',   ,:‘
            + , .. .              +          ’。
     . .; : ’フェルマーの最終定理を証明できたなんて・・・    ' ,:‘.
      , .. .    +      。         ’‘        :] . ..
  それにしても  . ..; ',   ,:
    , .. .   a^{1/(1-1)}は、計算できない数ですが、  ..; ',  
  ,   ,:‘.         ..; ',   ,:‘         ’‘
   ' ,:‘.   a^{1/(1-1)}が、数であることには、変わりはありません。  , .. .
  ,   ,:‘.         ..; ',   ,:‘         ’‘
   だなんて・・  あ あ ・ ・ ・       ,:‘.      +
                                       。
.. ' ,:‘.          馬 鹿 過 ぎ ま す         . ...:] ’‘
                                       。
’‘     .;    こ ん な 馬 鹿 な
                                       。
.     。   ス レ ッ ド を 見 た の     ,:‘. 。+
 '+。
                初 め て で す          .. ' ,:‘.
:] . ..                            .. ' ,:‘.
  ,   ,:‘.         ..; ',   ,:‘         ’‘
 ,:‘. 。   .. . . :]:  ' ,:‘.   , .. .    +  。  , .. .    +  . : :...
2019/11/15(金) 09:45:26.13ID:ZaWc/QNo
>>314

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

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

痴呆症では、ありません。
同じことを、繰り返したならば、教えて下さい。
320日高
垢版 |
2019/11/15(金) 10:15:13.40ID:fPO+9xfH
【定理】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,@は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
2019/11/15(金) 10:23:17.38ID:tF0I0hiG
>>320
┌日┐
|※| 毎日毎日、暇を持て余しているいまだ童貞の爺さんです。(´・ω・`)
|数|
|学| 数学力、国語力は小学生レベルも怪しいです(´・ω・`)
|の|
|本| a^{1/(1-1)}は、計算できない数ですが、
|は|
|読| a^{1/(1-1)}が数であることには変わりはありません。
|ん|
|で| 私の下半身でそのことが証明されています。(`⌒´)エッヘン!(`^´)
|ま|
|せ| 下半身力で達成した証明ですから、常人には理解不可能ですが
|ん|
|!| 完全無欠な証明です。(`^´) ドヤッ,ドヤッ!
└高┘
322日高
垢版 |
2019/11/15(金) 10:53:32.36ID:fPO+9xfH
>a^{1/(1-1)}は、計算できない数ですが、

間違いでしょうか?
323132人目の素数さん
垢版 |
2019/11/15(金) 11:11:28.63ID:ZVICuGNu
0でしょ
2019/11/15(金) 11:32:19.29ID:ZaWc/QNo
>>320
同じ間違いの繰り返し。痴呆?
2019/11/15(金) 11:42:57.56ID:tF0I0hiG
>>322

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

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

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

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

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

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

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

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

どういう意味でしょうか?
2019/11/15(金) 12:30:29.87ID:gX2XAe8N
>>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)をちゃんと証明してください。
■ このスレッドは過去ログ倉庫に格納されています

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