【定理】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は、自然数解を持たない。
フェルマーの最終定理の簡単な証明2
■ このスレッドは過去ログ倉庫に格納されています
1日高
2019/11/06(水) 09:02:13.97ID:K0QQ8/dg232132人目の素数さん
2019/11/13(水) 20:57:59.96ID:93YysfXh >>231
0点
0点
233132人目の素数さん
2019/11/13(水) 21:00:20.43ID:93YysfXh 数学は抽象的な学問です。出直せよ。
234日高
2019/11/13(水) 21:01:46.60ID:obOmojuw >0点
?
?
235132人目の素数さん
2019/11/13(水) 21:03:53.47ID:GRlUj1NV236日高
2019/11/13(水) 21:06:30.24ID:obOmojuw >数学は抽象的な学問です。出直せよ。
「抽象的な学問です。」意味を教えて下さい。
「抽象的な学問です。」意味を教えて下さい。
237132人目の素数さん
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 が有理数解をもたないことを証明してください。
> 「その値」とは、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 が有理数解をもたないことを証明してください。
238132人目の素数さん
2019/11/13(水) 22:08:49.51ID:EMqDl2hD >>231
, ,:‘. ..; ', ,:‘ ’‘
, .. . + 。 ’‘ :] . ..
, ,:‘. 数学の本を読めないのに + ,..
’‘ + ,.. . ..; ', ,:‘
+ ,.. ,:‘. つまりは、初等整数論の基礎の基礎すら知らないで ,:‘. ,..
’‘ + ,.. . ..; ', ,:‘
+ , .. . + ’。
. .; : ’フェルマーの最終定理を証明できたなんて・・・ ' ,:‘.
, .. . + 。 ’‘ :] . ..
それにしても . ..; ', ,:
, .. . a^{1/(1-1)}は、計算できない数ですが、 ..; ',
, ,:‘. ..; ', ,:‘ ’‘
' ,:‘. a^{1/(1-1)}が、数であることには、変わりはありません。 , .. .
, ,:‘. ..; ', ,:‘ ’‘
だなんて・・ あ あ ・ ・ ・ ,:‘. +
。
.. ' ,:‘. 馬 鹿 過 ぎ ま す . ...:] ’‘
。
’‘ .; こ ん な 馬 鹿 な
。
. 。 ス レ ッ ド を 見 た の ,:‘. 。+
'+。
初 め て で す .. ' ,:‘.
:] . .. .. ' ,:‘.
, ,:‘. ..; ', ,:‘ ’‘
,:‘. 。 .. . . :]: ' ,:‘. , .. . + 。 , .. . + . : :...
, ,:‘. ..; ', ,:‘ ’‘
, .. . + 。 ’‘ :] . ..
, ,:‘. 数学の本を読めないのに + ,..
’‘ + ,.. . ..; ', ,:‘
+ ,.. ,:‘. つまりは、初等整数論の基礎の基礎すら知らないで ,:‘. ,..
’‘ + ,.. . ..; ', ,:‘
+ , .. . + ’。
. .; : ’フェルマーの最終定理を証明できたなんて・・・ ' ,:‘.
, .. . + 。 ’‘ :] . ..
それにしても . ..; ', ,:
, .. . 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:+imazx4z241日高
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も、有理数解を持ちません。
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は、自然数解を持たない。
【証明】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は、自然数解を持たない。
247132人目の素数さん
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も、有理数解を持ちません。
そんなことは言えません。
正しいというのなら、ちゃんと証明を書いてください。
> 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を見て下さい。
正しいというのなら、ちゃんと証明を書いてください。
246を見て下さい。
249132人目の素数さん
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でない、というだけのこと。
ここも間違い
X^p+Y^p=(X+(ap)^{1/(p-1)})^p が有理数解を持つなら、
a(1/a)=1でない、というだけのこと。
250132人目の素数さん
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が有理数解を持たないことの証明はできていません。
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が有理数解を持たないことの証明はできていません。
251132人目の素数さん
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でない、というだけのこと。
すみません。詳しく説明していただけないでしょうか。
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も、有理数となりません。
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 >誰にも認められない証明を書き込み続ける目的がわからない
誰にも認められないから、書き込み続けています。
誰にも認められないから、書き込み続けています。
255132人目の素数さん
2019/11/14(木) 08:45:28.13ID:BqLwd2zn >>254
> 誰にも認められないから、書き込み続けています。
思い上がるな。
認められていない訳ではない。
間違っていてデタラメな証明であるの認められているのみ。
唯一の解決方法は、本人が数学の証明というものを勉強し、記述と内容をきちんとする事によって理解し直すことだが、それを拒否している以上解決は有り得ない。
> 誰にも認められないから、書き込み続けています。
思い上がるな。
認められていない訳ではない。
間違っていてデタラメな証明であるの認められているのみ。
唯一の解決方法は、本人が数学の証明というものを勉強し、記述と内容をきちんとする事によって理解し直すことだが、それを拒否している以上解決は有り得ない。
256日高
2019/11/14(木) 08:48:35.30ID:2DI/vyaa >認められていない訳ではない。
間違っていてデタラメな証明であるの認められているのみ。
すみません。どういう意味でしょうか?
間違っていてデタラメな証明であるの認められているのみ。
すみません。どういう意味でしょうか?
257132人目の素数さん
2019/11/14(木) 08:48:53.42ID:BqLwd2zn258日高
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は、自然数解を持たない。
【証明】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は、自然数解を持たない。
260132人目の素数さん
2019/11/14(木) 09:31:48.28ID:BqLwd2zn >>259
直ってない。ダメ。
直ってない。ダメ。
261日高
2019/11/14(木) 09:36:45.21ID:2DI/vyaa >直ってない。ダメ。
「ダメ」な理由を教えて下さい。
「ダメ」な理由を教えて下さい。
262132人目の素数さん
2019/11/14(木) 09:47:56.40ID:BqLwd2zn263日高
2019/11/14(木) 10:05:42.90ID:2DI/vyaa >態度悪いからやだ。
わかりました。
わかりました。
264132人目の素数さん
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となりません。
と漫才のような珍答を与えている。
***** このスレを初めてご覧になる方へ(歴史に残る日高語録)*****
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
「特定できない数」とか意味不明な日本語使いたいなら定義しろ。
「特定できない数」とか意味不明な日本語使いたいなら定義しろ。
267132人目の素数さん
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も、有理数となりません。
なぜですか?
> 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)}を特定できるでしょうか?
>「特定できない数」とか意味不明な日本語使いたいなら定義しろ。
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だからです。
なぜですか?
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は、自然数解を持たない。
【証明】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は、自然数解を持たない。
271132人目の素数さん
2019/11/14(木) 13:49:28.04ID:BqLwd2zn >>270
意味不明。
意味不明。
272132人目の素数さん
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は有理数になり得ます。
>> x,y,zが、有理数とならないので、X,Y,Zも、有理数となりません。
>
>なぜですか?
>
>x:y:z=X:Y:Zだからです。
全然説明になっていません。
x:y:z=X:Y:Z で、x,y,zが無理数でも整数比なら、X,Y,Zは有理数になり得ます。
273132人目の素数さん
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が有理数で、整数比となるものが、存在することになります。
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 >指摘に応じないなら認められることは永遠にないから、書き込んでも無意味だよ
たしかに、そうかもしれませんね。
たしかに、そうかもしれませんね。
277132人目の素数さん
2019/11/14(木) 14:54:32.40ID:BqLwd2zn278日高
2019/11/14(木) 15:02:11.59ID:2DI/vyaa >だから何?
dとaは違う
すみません。どういう意味でしょうか?
dとaは違う
すみません。どういう意味でしょうか?
279132人目の素数さん
2019/11/14(木) 15:04:59.31ID:VFEPie2y >>270
┌日┐
|※| 毎日毎日、暇を持て余している爺さんです。(´・ω・`)
|数|
|学| 数学力、国語力は小学生レベルも怪しいです(´・ω・`)
|の|
|本| a^{1/(1-1)}は、計算できない数ですが、
|は|
|読| a^{1/(1-1)}が数であることには変わりはありません。
|ん|
|で| 私の下半身でそのことが証明されています。
|ま|
|せ| 下半身力で達成した証明ですから、常人には理解不可能です。
|ん|
|!| よってレスは一切無用に願います<(_ _)>。
└高┘
┌日┐
|※| 毎日毎日、暇を持て余している爺さんです。(´・ω・`)
|数|
|学| 数学力、国語力は小学生レベルも怪しいです(´・ω・`)
|の|
|本| 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は、自然数解を持たない。
【証明】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は、自然数解を持たない。
282132人目の素数さん
2019/11/14(木) 15:24:50.09ID:BqLwd2zn >>281
間違い。
間違い。
283日高
2019/11/14(木) 15:27:20.55ID:Xxafpkdr >間違い。
理由を教えて下さい。
理由を教えて下さい。
284132人目の素数さん
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となると本気で思っています。
 ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄| ヽ<・フェルマーの最終定理─<
\/⌒\/⌒\/⌒\/⌒\|彡~゚ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~
/⌒\/⌒\/⌒\/⌒\/⌒\彡 〜 〜〜 〜〜 〜〜 〜 〜
\/⌒\/⌒\/⌒\/⌒\|彡~゚ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~
/⌒\/⌒\/⌒\/⌒\/⌒\彡 〜 〜〜 〜〜 〜〜 〜 〜
(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となると本気で思っています。
 ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄| ヽ<・フェルマーの最終定理─<
\/⌒\/⌒\/⌒\/⌒\|彡~゚ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~
/⌒\/⌒\/⌒\/⌒\/⌒\彡 〜 〜〜 〜〜 〜〜 〜 〜
\/⌒\/⌒\/⌒\/⌒\|彡~゚ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~
/⌒\/⌒\/⌒\/⌒\/⌒\彡 〜 〜〜 〜〜 〜〜 〜 〜
285132人目の素数さん
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)}が数であることには変わりはありません
,, -''" \
_,-'" \
/\ フェルマー \
__ //\\ 最終定理 \
/|[]::::::|_ / \/\\ トンデモ証明 /
./| ̄ ̄ ̄ ̄ //\ \/ \ // ___
| |:::「「「「「「 / \/\ /\\ /:::/ ./| |__
_..| |:::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 >トンデモ証明
でしょうか?
でしょうか?
288132人目の素数さん
2019/11/14(木) 16:57:19.11ID:BqLwd2zn289132人目の素数さん
2019/11/14(木) 16:58:23.67ID:BqLwd2zn290日高
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は、自然数解を持たない。
【証明】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は、自然数解を持たない。
293132人目の素数さん
2019/11/14(木) 17:11:03.81ID:BqLwd2zn294132人目の素数さん
2019/11/14(木) 17:11:40.46ID:BqLwd2zn >>292
間違い。
間違い。
295132人目の素数さん
2019/11/14(木) 17:41:17.11ID:6J8efjRJ もっと自分の推論に疑いを抱いてほしいね。
こんな簡単な方法で証明できるならすでに誰かが証明しているはずだ、
したがってどこかに落とし穴があるに違いない、
という見方を持つことが大事。
こんな簡単な方法で証明できるならすでに誰かが証明しているはずだ、
したがってどこかに落とし穴があるに違いない、
という見方を持つことが大事。
296132人目の素数さん
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 >自分のことを稀代の天才だと思ってるから仕方ないよ
まったく、思っていません。
まったく、思っていません。
301132人目の素数さん
2019/11/14(木) 18:39:35.59ID:bBcVH2S4 指摘されても「どこでしょうか」とか誤魔化し続けてきてるんだから、>>299,300みたいな嘘ついてもしょうがないと思うんだけど
302132人目の素数さん
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じゃないだろ。
全部デタラメと言わざるを得ない。
> 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の間違いです。
無理数と、有理数の、二通りの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は、自然数解を持たない。
【証明】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は、自然数解を持たない。
306132人目の素数さん
2019/11/14(木) 20:58:46.75ID:3FMXnSWr つーか、Aの最初の変形で間違ってんじゃん。
なんで(x/r+1)^pになるんだよ。
なんで(x/r+1)^pになるんだよ。
307132人目の素数さん
2019/11/14(木) 21:03:38.63ID:3FMXnSWr ああ、あってるか
308132人目の素数さん
2019/11/14(木) 21:03:43.60ID:6zWHRxJn >>304
> 「x,y,zが無理数で」と「x,y,zが有理数で」が矛盾している。
>
> 無理数と、有理数の、二通りのx,y,zが存在するのは、矛盾する。と、いうことです。
「二通りのx,y,z」って何?
理解不能です。無意味な文字列にしか見えません。
> 「x,y,zが無理数で」と「x,y,zが有理数で」が矛盾している。
>
> 無理数と、有理数の、二通りのx,y,zが存在するのは、矛盾する。と、いうことです。
「二通りのx,y,z」って何?
理解不能です。無意味な文字列にしか見えません。
309132人目の素数さん
2019/11/14(木) 21:28:31.78ID:BqLwd2zn >>305
間違い。
間違い。
310132人目の素数さん
2019/11/14(木) 21:33:48.05ID:BqLwd2zn311132人目の素数さん
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)は、同時には、起こり得ません。
理解不能です。無意味な文字列にしか見えません。
(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を共通の無理数とすると、
の間違いでした。
は、
(dを共通の無理数とすると、
の間違いでした。
316132人目の素数さん
2019/11/15(金) 09:21:48.55ID:tF0I0hiG >>305
, ,:‘. ..; ', ,:‘ ’‘
, .. . + 。 ’‘ :] . ..
, ,:‘. 数学の本を読めないのに + ,..
’‘ + ,.. . ..; ', ,:‘
+ ,.. ,:‘. つまりは、初等整数論の基礎の基礎すら知らないで ,:‘. ,..
’‘ + ,.. . ..; ', ,:‘
+ , .. . + ’。
. .; : ’フェルマーの最終定理を証明できたなんて・・・ ' ,:‘.
, .. . + 。 ’‘ :] . ..
それにしても . ..; ', ,:
, .. . a^{1/(1-1)}は、計算できない数ですが、 ..; ',
, ,:‘. ..; ', ,:‘ ’‘
' ,:‘. a^{1/(1-1)}が、数であることには、変わりはありません。 , .. .
, ,:‘. ..; ', ,:‘ ’‘
だなんて・・ あ あ ・ ・ ・ ,:‘. +
。
.. ' ,:‘. 馬 鹿 過 ぎ ま す . ...:] ’‘
。
’‘ .; こ ん な 馬 鹿 な
。
. 。 ス レ ッ ド を 見 た の ,:‘. 。+
'+。
初 め て で す .. ' ,:‘.
:] . .. .. ' ,:‘.
, ,:‘. ..; ', ,:‘ ’‘
,:‘. 。 .. . . :]: ' ,:‘. , .. . + 。 , .. . + . : :...
, ,:‘. ..; ', ,:‘ ’‘
, .. . + 。 ’‘ :] . ..
, ,:‘. 数学の本を読めないのに + ,..
’‘ + ,.. . ..; ', ,:‘
+ ,.. ,:‘. つまりは、初等整数論の基礎の基礎すら知らないで ,:‘. ,..
’‘ + ,.. . ..; ', ,:‘
+ , .. . + ’。
. .; : ’フェルマーの最終定理を証明できたなんて・・・ ' ,:‘.
, .. . + 。 ’‘ :] . ..
それにしても . ..; ', ,:
, .. . a^{1/(1-1)}は、計算できない数ですが、 ..; ',
, ,:‘. ..; ', ,:‘ ’‘
' ,:‘. a^{1/(1-1)}が、数であることには、変わりはありません。 , .. .
, ,:‘. ..; ', ,:‘ ’‘
だなんて・・ あ あ ・ ・ ・ ,:‘. +
。
.. ' ,:‘. 馬 鹿 過 ぎ ま す . ...:] ’‘
。
’‘ .; こ ん な 馬 鹿 な
。
. 。 ス レ ッ ド を 見 た の ,:‘. 。+
'+。
初 め て で す .. ' ,:‘.
:] . .. .. ' ,:‘.
, ,:‘. ..; ', ,:‘ ’‘
,:‘. 。 .. . . :]: ' ,:‘. , .. . + 。 , .. . + . : :...
317132人目の素数さん
2019/11/15(金) 09:45:26.13ID:ZaWc/QNo318日高
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は、自然数解を持たない。
【証明】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は、自然数解を持たない。
321132人目の素数さん
2019/11/15(金) 10:23:17.38ID:tF0I0hiG >>320
┌日┐
|※| 毎日毎日、暇を持て余しているいまだ童貞の爺さんです。(´・ω・`)
|数|
|学| 数学力、国語力は小学生レベルも怪しいです(´・ω・`)
|の|
|本| a^{1/(1-1)}は、計算できない数ですが、
|は|
|読| a^{1/(1-1)}が数であることには変わりはありません。
|ん|
|で| 私の下半身でそのことが証明されています。(`⌒´)エッヘン!(`^´)
|ま|
|せ| 下半身力で達成した証明ですから、常人には理解不可能ですが
|ん|
|!| 完全無欠な証明です。(`^´) ドヤッ,ドヤッ!
└高┘
┌日┐
|※| 毎日毎日、暇を持て余しているいまだ童貞の爺さんです。(´・ω・`)
|数|
|学| 数学力、国語力は小学生レベルも怪しいです(´・ω・`)
|の|
|本| 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でしょ
324132人目の素数さん
2019/11/15(金) 11:32:19.29ID:ZaWc/QNo >>320
同じ間違いの繰り返し。痴呆?
同じ間違いの繰り返し。痴呆?
325132人目の素数さん
2019/11/15(金) 11:42:57.56ID:tF0I0hiG326日高
2019/11/15(金) 12:00:01.28ID:fPO+9xfH >0でしょ
a=0のときは、a^{1/(1-1)}=0と思いますが、
a=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 も計算できない '数' の一つです。
計算できない '数' なるものの定義を厳密に述べよ。
0/5=0ですが、5/0は計算できるでしょうか?
5/0 も計算できない '数' の一つです。
329132人目の素数さん
2019/11/15(金) 12:09:28.67ID:ZaWc/QNo >>327
320そのもの。考えたらわかるでしょ?
320そのもの。考えたらわかるでしょ?
330日高
2019/11/15(金) 12:17:41.82ID:fPO+9xfH >320そのもの。考えたらわかるでしょ?
どういう意味でしょうか?
どういう意味でしょうか?
331132人目の素数さん
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)をちゃんと証明してください。
>(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)をちゃんと証明してください。
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- ランドセルにくぎ刺される「国に帰れ」など言われ、転校を余儀なくされた海外からの転校生 仙台市教育委員会が「いじめ重大事態」認定★2 [煮卵★]
- 「いいの?前科ついちゃうよ」万引きした女子大学生を脅す 元コンビニ店長の男(54)逮捕 ★2 [煮卵★]
- 【芸能】立川志らく「ヤクザの事務所が隣近所にあれば、強盗だとか闇バイトが来ない」 暴力団の“利点”指摘に違和感 [冬月記者★]
- 【テレ東音楽祭】長渕剛、テレ東初出演!『とんぼ』『乾杯』熱唱へ 酒井法子は『碧いうさぎ』歌唱 [Ailuropoda melanoleuca★]
- 「撮り鉄」同士のトラブルか 車のフロントガラス破壊の男逮捕 寝台特急カシオペア撮影のため東京から宮城・白石に遠征 [少考さん★]
- 《活動休止から365日》国分太一 すべての仕事を失い、TOKIOもスピード解散…いまだ復帰叶わぬも残された“最大の謎” [Ailuropoda melanoleuca★]
- 【地上波/DAZNほか】 FIFAワールドカップ2026 総合スレ★106【メキシコ/カナダ/アメリカ】
- 【MLB】ドジャース vs オリオールズ ★2
- 【MLB】ドジャース vs オリオールズ
- はません
- 巨専】
- 函館競馬1回3日目
- 【安倍悲報】株厨「資産数千万になったんだがwwwwwwwwwww」ぼく「あのさぁ…」 [279951338]
- キンペー、粛正しまくって孤立化か? 高市は同族嫌悪だった…? [402859164]
- 木原「高市首相がG7でボッチだったり無視された事実はない!デマを流すなー😡」 [931948549]
- 【悲報】「フェルメール展」のチケットを取れなかったジャップ民がSNSで大暴れwwwwwwwwwwwwwwwwwwwwwwww [551743856]
- 🏡ガイジ製造工場
- 🪖自衛官、退職しまくり😱入隊から5年以内で退職するケースが約5割 [718678614]