19/11/15 21:09:14 fPO+9xfH.net
>「計算できない数」という謎の用語を使ってるのは日高だけなのに、他人にその定義を求めるなよw
定義を求められたから、求めました。「計算できない数」とは、定義できるか、どうかは、わかりません。
351:１３２人目の素数さん
19/11/15 21:30:58.35 pznPjbUO.net
>>343
>無理数x,y,zが、整数比になると、仮定していますので、無理数dで割ると、x/d,y/d,z/dは、有理数となります。
そんなこと問題にしてないない。
x/d,y/d,z/dは、④の解になるんですか？
352:１３２人目の素数さん
19/11/15 21:31:03.65 YcsG85+R.net
>>344
日高「a^{1/(1-1)}は、計算できない数です」
スレ民「計算できない数って何ですか？」
日高「計算できない数の定義は分かりません」
スレ民「じゃあその用語は使わないでください」
日高「あなたは計算できない数が定義できるのですか？」
定義を求められてるのはお前、求めてるのはスレ民
お前がスレ民に定義を求めるのはお門違い
353:１３２人目の素数さん
19/11/15 21:33:52.38 EGNvbGLz.net
コンピュータ屋的定義厨のせいで
定義という言葉の意味が濫れた
354:１３２人目の素数さん
19/11/15 21:57:29 tF0I0hiG.net
>>326
>a=0のときは、a^{1/(1-1)}=0と思いますが、
ほほ～（笑）。
自然数を n、「定義できない数」なるものを♀としよう。
自然数から複素数まで通用する四則演算の記号は
和を +、差を -、積を *、商を /、累乗を ^
で表すのが普通だが、これらを使った
n+♀
n-♀
n*♀
n/♀
はそれぞれどんな結果になるのだ？
355:日高
19/11/16 08:51:19.04 qdMW1Zfe.net
>x/d,y/d,z/dは、④の解になるんですか？
x/d,y/d,z/dは、有理数なので、④の解には、なりません。
356:日高
19/11/16 08:53:45.56 qdMW1Zfe.net
>お前がスレ民に定義を求めるのはお門違い
すみません。ただ、お聞きしただけのつもりでした。
357:日高
19/11/16 08:55:43.03 qdMW1Zfe.net
>コンピュータ屋的定義厨のせいで
定義という言葉の意味が濫れた
すみません。どういう意味でしょうか？
358:日高
19/11/16 08:57:34.32 qdMW1Zfe.net
>自然数を n、「定義できない数」なるものを♀としよう。
自然数から複素数まで通用する四則演算の記号は
和を +、差を -、積を *、商を /、累乗を ^
で表すのが普通だが、これらを使った
n+♀
n-♀
n*♀
n/♀
はそれぞれどんな結果になるのだ？
すみません。わかりません。
359:日高
19/11/16 09:06:03 qdMW1Zfe.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…?が、有理数解を持つかを検討する。
?をz=x+rとおくと、x^p+y^p=(x+r)^p…?となる。?を積の形に変形してrを求める。
?を(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)}となるので、?はx^p+y^p=(x+p^{1/(p-1)})^p…?となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…?となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、?はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…?となる。
?のX,Y,Zは?のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
?はxを有理数とすると、zは無理数となる。よって、?,?,?,?は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
360:１３２人目の素数さん
19/11/16 09:14:53 K6ycQL9o.net
これは?
(a,b,c)を原始ピタゴラス数としたとき
a^x + b^y = c^z ⇒ x=y=z=2
361:１３２人目の素数さん
19/11/16 09:17:19 K9h9Cor2.net
>>353
証明に関するやりとりで、自分で書いた主張を自分で否定しといて、間違いそのまま。
痴呆決定ですね
362:１３２人目の素数さん
19/11/16 09:29:36 lcOyxOVE.net
>>353
マイナス∞点
363:１３２人目の素数さん
19/11/16 09:40:26 tH0FpXQZ.net
>>349
> x/d,y/d,z/dは、?の解になるんですか？
>
> x/d,y/d,z/dは、有理数なので、?の解には、なりません。
ごまかさないでください。
有理数かどうかに関係なく、d=1でない限りx/d,y/d,z/dは?の式を満たさないでしょ。
x/d+p^{1/(p-1)}=z/d が成り立たないから。
で、?が有理数解を持たないことは証明できるんですか。
364:日高
19/11/16 10:26:26.16 qdMW1Zfe.net
>これは?
(a,b,c)を原始ピタゴラス数としたとき
a^x + b^y = c^z ⇒ x=y=z=2
すみません。質問の意味がわからないので、
教えて下さい。
365:日高
19/11/16 10:28:26.03 qdMW1Zfe.net
>証明に関するやりとりで、自分で書いた主張を自分で否定しといて、間違いそのまま。
痴呆決定ですね
すみません。どの部分のことでしょうか？
366:日高
19/11/16 10:30:05.83 qdMW1Zfe.net
>マイナス∞点
どういう意味でしょうか？
367:日高
19/11/16 10:40:17.37 qdMW1Zfe.net
>有理数かどうかに関係なく、d=1でない限りx/d,y/d,z/dは④の式を満たさないでしょ。
x/d+p^{1/(p-1)}=z/d が成り立たないから。
で、⑥が有理数解を持たないことは証明できるんですか。
すみません。言われていることの意味がよく、読み取ることが、できませんので、
もう少し詳しく説明していただけないでしょうか。
(最初から、お願いします。）
この場合の「成り立たない」「式を満たさない」の意味を教えて下さい。
368:１３２人目の素数さん
19/11/16 11:33:25.26 K9h9Cor2.net
>>359
> >証明に関するやりとりで、自分で書いた主張を自分で否定しといて、間違いそのまま。
> 痴呆決定ですね
>
> すみません。どの部分のことでしょうか？
自分が書いたことも分かってないのか。
昨日のことなのに。
考えて自分で探すことも放棄してるし。
やはり、考えられるというのも嘘。
記憶が持たないから、やりとりを途中でやめちゃうんだね。で、無視と。
369:１３２人目の素数さん
19/11/16 11:34:19.45 tH0FpXQZ.net
>>361
まず、
x^p+y^p=z^p で、 x+p^{1/(p-1)}=z としたものが
x^p+y^p=(x+p^{1/(p-1)})^p…④
というのはいいですよね。
(x,y,z)が④の解になるとき、X=x/d,Y=y/d,Z=z/d (d≠1)とすると
X^p+Y^p=(X+p^{1/(p-1)})^p の式は成りたたないので、(X,Y,Z)は④の解にならない(④を満たさないも同じ意味)
ということです。
あなたは、334で
x,y,z(無理数)が、整数比になると、仮定すると、x/d=X,y/d=Y,z/d=Z は④の解になります。
と主張していますが、
349では
x/d,y/d,z/dは、有理数なので、④の解には、なりません。
と書いています。結局どう考えているのですか？
繰り返しますが、
>⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
>④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
これでは⑥が有理数解を持たないことの証明になっていないので、証明が必要です。
370:日高
19/11/16 11:51:25.97 qdMW1Zfe.net
>記憶が持たないから、やりとりを途中でやめちゃうんだね。で、無視と。
すみませんが、よろしくお願いします。
371:１３２人目の素数さん
19/11/16 11:56:15.95 K9h9Cor2.net
>>364
363に親切な人がいるよ。
ごまかさずに、考えろよ。
372:日高
19/11/16 11:59:03.06 qdMW1Zfe.net
>(x,y,z)が④の解になるとき、X=x/d,Y=y/d,Z=z/d (d≠1)とすると
X^p+Y^p=(X+p^{1/(p-1)})^p の式は成りたたないので、(X,Y,Z)は④の解にならない(④を満たさないも同じ意味)
ということです。
わかりました。
>あなたは、334で
x,y,z(無理数)が、整数比になると、仮定すると、x/d=X,y/d=Y,z/d=Z は④の解になります。
と主張していますが、
わかりました。
373:日高
19/11/16 12:11:34.29 qdMW1Zfe.net
>(x,y,z)が④の解になるとき、X=x/d,Y=y/d,Z=z/d (d≠1)とすると
X^p+Y^p=(X+p^{1/(p-1)})^p の式は成りたたないので、(X,Y,Z)は④の解にならない(④を満たさないも同じ意味)
ということです。
わかりました。
>あなたは、334で
x,y,z(無理数)が、整数比になると、仮定すると、x/d=X,y/d=Y,z/d=Z は④の解になります。
と主張していますが、
わかりました。
>349では
x/d,y/d,z/dは、有理数なので、④の解には、なりません。
と書いています。結局どう考えているのですか？
334では、「x,y,z(無理数)が、整数比になると、仮定すると、」ですが、
349では「x/d,y/d,z/d」が、有理数のとき」です。
>繰り返しますが、
>⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
>④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
>これでは⑥が有理数解を持たないことの証明になっていないので、証明が必要です
X:Y:Z=x:y:zとなるので、④が有理数解を持たないならば、⑥も有理数解を持たないことに、なります。
374:日高
19/11/16 12:15:05.90 qdMW1Zfe.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(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)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})^p…④となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、②はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
375:１３２人目の素数さん
19/11/16 12:34:20 K9h9Cor2.net
>>368
分かりましたと書いても全く分かってない。
やり直し。デタラメの大間違い。
376:１３２人目の素数さん
19/11/16 12:38:28 K9h9Cor2.net
x^2+y^2=(x+π)^2, z=x+π
は有理数解を持たない。
X^+Y^2=Z^2
は有理数解を持つ。
この事実をどう思っているんだ？
日高の理屈ならx:y:z=X:Y:Zだろ？
377:１３２人目の素数さん
19/11/16 12:48:40.24 lcOyxOVE.net
>>368
ｗｗｗ．ｍａｔｈｎａｖｉ．ｓａｋｕｒａ．ｎｅ．ｊｐ／ｂｂｓ／ｆｉｌｅ１／１５６６９９４７７４．ｐｎｇ
┌日┐
｜※｜ 毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜ 数学力、国語力は小学生レベルも怪しいです(´・ω・｀)
｜の｜
｜本｜ a^{1/(1-1)}は、計算できない数ですが、
｜は｜
｜読｜ a^{1/(1-1)}が数であることには変わりはありません。
｜ん｜
｜で｜ 私の下半身でそのことが証明されています。(｀⌒´)エｯﾍﾝ！(｀^´)
｜ま｜
｜せ｜ 下半身力で達成した証明ですから、常人には理解不可能ですが
｜ん｜
｜！｜ 完全無欠な証明です。(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
└高┘
378:日高
19/11/16 12:58:51 qdMW1Zfe.net
>分かりましたと書いても全く分かってない。
すみません。どの部分のことでしょうか？
教えていただけないでしょうか。
379:１３２人目の素数さん
19/11/16 13:02:39 kf6J75f3.net
今日書いたわかりました全部
380:日高
19/11/16 13:27:30.88 qdMW1Zfe.net
>x^2+y^2=(x+π)^2, z=x+π
は有理数解を持たない。
X^2+Y^2=Z^2
は有理数解を持つ。
この事実をどう思っているんだ？
日高の理屈ならx:y:z=X:Y:Zだろ？
x:y:zが整数比とならないので、X:Y:Zも整数比となりません。
381:日高
19/11/16 13:29:57.16 qdMW1Zfe.net
>今日書いたわかりました全部
言われていることの意味が、よくわかりません。
382:日高
19/11/16 13:31:33.70 qdMW1Zfe.net
>毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
よろしくお願いします。
383:１３２人目の素数さん
19/11/16 13:51:31.02 kf6J75f3.net
>>374
嘘つき。
384:１３２人目の素数さん
19/11/16 13:55:04.29 kf6J75f3.net
>>372
全部やり直しだっての。
385:１３２人目の素数さん
19/11/16 14:04:45.19 K6ycQL9o.net
>>358
解かれてない未解決問題 いま現在はしらないがこれは2014年らしい
タイトル： 原始ピタゴラス数に関する Jesmanowicz 予想について
アブストラクト： 1956 年, Jesmanowiczはピタゴラス数に関する指数型不定方程式
(m^2 - n^2)^x + (2mn)^y = (m^2 + n^2)^z は, ただ一つの正の整数解 (x; y; z) = (2; 2; 2) を持つことを予想した.
Journal of Number Theory の論文 (2014 年) において, n = 2 とき Jesmanowicz 予想が成り立つことを証明した.
これは, 与えられた n > 1 に対し m について何も仮定せず Jesmanowicz 予想が成り立つ最初の結果である.
最先端の楕円曲線や modular formの理論から導かれる一般化された Fermat 方程式に関する結果を用いて, m に何も条件を付けずに Jesmanowicz 予想が成り立つことを証明することができた.
本講演では, これをさらに拡張して, n=2 が奇素数の冪でかつ m > 72n のときJesmanowicz予想が成り立つことを証明できたので紹介する.
これらの結果の系として, n=2 が 50 未満の奇数のとき Jesmanowicz 予想が成り立つことが容易に得られる.
URLﾘﾝｸ(www.waseda.jp)
386:１３２人目の素数さん
19/11/16 14:07:44.68 K6ycQL9o.net
3^2 + 4^2 = 5^2 と
3^x + 4^y = 5^z ⇒ x=y=z=2
はわかるので
一般の場合でも成り立つのか問題
387:日高
19/11/16 14:17:54.03 qdMW1Zfe.net
>嘘つき。
どこが、嘘なのかを、教えて下さい。
388:１３２人目の素数さん
19/11/16 14:19:28.42 kf6J75f3.net
>>381
考えれば中学生でもわかる
389:日高
19/11/16 14:20:30.17 qdMW1Zfe.net
>全部やり直しだっての。 <
390:br> どうしてでしょうか？
391:１３２人目の素数さん
19/11/16 14:21:16.72 kf6J75f3.net
>>383
> >全部やり直しだっての。
>
> どうしてでしょうか？
間違ってるから
392:日高
19/11/16 14:33:45.67 qdMW1Zfe.net
>「一般の場合」でも成り立つのか問題
すみません。「一般の場合」とは、どういうことを指すのでしょうか？
393:１３２人目の素数さん
19/11/16 14:35:02.34 lcOyxOVE.net
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****
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となりません。
と漫才のような珍答を与えている。
394:日高
19/11/16 14:36:06.88 qdMW1Zfe.net
>考えれば中学生でもわかる
すみません。分かりません。
395:日高
19/11/16 14:37:57.96 qdMW1Zfe.net
>a^{1/(1-1)}は、計算できない数ですが、a^{1/(1-1)}が、数であることには
変わりはありません。
間違いでしょうか？
396:１３２人目の素数さん
19/11/16 14:38:26.06 kf6J75f3.net
>>387
> >考えれば中学生でもわかる
>
> すみません。分かりません。
じゃあ中学生以下だ。無理数とか使う資格なし。証明とか論外。二度と証明とやらを載せるな。
397:１３２人目の素数さん
19/11/16 14:38:36.58 K6ycQL9o.net
>>385
理解力あるのか?
a^2 + b^2 = c^2 をみたす(a,b,c)について、
a^x + b^y = c^z ⇒ x=y=z=2 か?
398:１３２人目の素数さん
19/11/16 14:39:31.46 kf6J75f3.net
無理数と有理数の勉強からやり直せ
399:日高
19/11/16 14:40:19.23 qdMW1Zfe.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(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)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})^p…④となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、②はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
400:１３２人目の素数さん
19/11/16 14:49:08.96 lcOyxOVE.net
>>392
(xa^{1/(1-1)})+(ya^{1/(1-1)})=(xa^{1/(1-1)}+(1a)^{1/(1-1)})…⑤となる。
ヴァカだなあ・・・
＿＿ ＿＿＿／ ,／ヽ
∨ ↓H高 ,／ ヽ数学の本は、読んでいませんwww
∧＿∧ ∧＿∧ ,／ ヽ学力は、小学校もあやしいですwww
（ ´∀｀） （ ´∀｀）,／ ヽ⑤を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となると本気で思っています。
￣￣￣￣￣￣￣￣￣￣￣￣￣| ヽ＜・フェルマーの最終定理─＜
＼／⌒＼／⌒＼／⌒＼／⌒＼|彡~ﾟ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~
／⌒＼／⌒＼／⌒＼／⌒＼／⌒＼彡 ～ ～～ ～～ ～～ ～ ～
＼／⌒＼／⌒＼／⌒＼／⌒＼|彡~ﾟ ゜~ ~。゜ ~ ~ ~ ~~ ~ ~~ ~ ~~ ~~ ~~
／⌒＼／⌒＼／⌒＼／⌒＼／⌒＼彡 ～ ～～ ～～ ～～ ～ ～
401:日高
19/11/16 14:49:54.70 qdMW1Zfe.net
>じゃあ中学生以下だ。無理数とか使う資格なし。
どうしてでしょうか？
402:日高
19/11/16 14:55:20.37 qdMW1Zfe.net
>a^2 + b^2 = c^2 をみたす(a,b,c)について、
a^x + b^y = c^z ⇒ x=y=z=2 か?
x=y=z=2ですが、
「一般の場合」の意味がよく分かりません。
403:日高
19/11/16 14:57:23 qdMW1Zfe.net
>無理数と有理数の勉強からやり直せ
どうしてでしょうか。理由を教えて下さい。
404:１３２人目の素数さん
19/11/16 14:58:46 kf6J75f3.net
>>392
指摘無視。ゴミ
405:１３２人目の素数さん
19/11/16 14:59:01 kf6J75f3.net
>>396
> >無理数と有理数の勉強からやり直せ
>
> どうしてでしょうか。理由を教えて下さい。
考えろよ
406:１３２人目の素数さん
19/11/16 14:59:43 K6ycQL9o.net
>>395
コマ大数学科141講：原始ピタゴラス数
URLﾘﾝｸ(gascon.cocolog-nifty.com)
URLﾘﾝｸ(gascon.cocolog-nifty.com)
407:日高
19/11/16 15:20:13.97 qdMW1Zfe.net
>指摘無視。
どこのことでしょうか？
408:日高
19/11/16 15:21:31.73 qdMW1Zfe.net
>考えろよ
分かりません。
409:１３２人目の素数さん
19/11/16 15:24:37.01 kf6J75f3.net
>>401
> >考えろよ
>
> 分かりません。
分かりませんは許されません。
410:日高
19/11/16 15:24:56.73 qdMW1Zfe.net
>コマ大数学科141講：原始ピタゴラス数
ピタゴラス数のつくりかたは、分かります。
411:日高
19/11/16 15:27:02.33 qdMW1Zfe.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(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)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})^p…④となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、②はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
412:日高
19/11/16 15:28:56.30 qdMW1Zfe.net
>分かりませんは許されません。
どうしてでしょうか？
413:１３２人目の素数さん
19/11/16 15:37:30.12 tH0FpXQZ.net
>>400
痴呆症だからもう忘れてるんだろ。都合の悪いことはすぐに忘れる、よくある症状だ。
414: > ④はxを有理数とすると、zは無理数となる。 から > ⑥は有理数解を持たない。 は言えない。 X:Y:Z=x:y:z であっても何の問題もない。
415:１３２人目の素数さん
19/11/16 15:46:24.17 kf6J75f3.net
>>404
痴呆
416:１３２人目の素数さん
19/11/16 15:59:33.63 lcOyxOVE.net
>>404
， ，:‘. ..; '， ，:‘ ’‘
, .. . + 。 ’‘ :] . ..
， ，:‘. 数学の本を読めないのに + ，..
’‘ + ，.. . ..; '， ，:‘
+ ，.. ，:‘. つまりは、初等整数論の基礎の基礎すら知らないで ，:‘. ，..
’‘ + ，.. . ..; '， ，:‘
+ , .. . + ’。
. .; : ’フェルマーの最終定理を証明できたなんて・・・ ' ，:‘.
, .. . + 。 ’‘ :] . ..
それにしても . ..; '， ，:
, .. . a^{1/(1-1)}は、計算できない数ですが、 ..; '，
， ，:‘. ..; '， ，:‘ ’‘
' ，:‘. a^{1/(1-1)}が、数であることには、変わりはありません。 , .. .
， ，:‘. ..; '， ，:‘ ’‘
だなんて・・ あ あ ・ ・ ・ ，:‘. +
。
.. ' ，:‘. 馬 鹿 過 ぎ ま す . ...:] ’‘
。
’‘ .; こ ん な 馬 鹿 な
。
. 。 ス レ ッ ド を 見 た の ，:‘. 。+
'+。
初 め て で す .. ' ，:‘.
:] . .. .. ' ，:‘.
， ，:‘. ..; '， ，:‘ ’‘
，:‘. 。 .. . . :]: ' ，:‘. , .. . + 。 , .. . + . : :...
417:１３２人目の素数さん
19/11/16 16:07:24.89 kf6J75f3.net
>>374
>>403
あわせて嘘つき。
418:１３２人目の素数さん
19/11/16 16:13:01.82 +0wkfvN0.net
日高「数学の本は読んでいませんが、考えることはできます」
↓
日高「(スレ民に指摘をされて)どうしてでしょうか？」
スレ民「考えろよ」
日高「分かりません」
419:日高
19/11/16 16:13:53.02 qdMW1Zfe.net
> ④はxを有理数とすると、zは無理数となる。
から
> ⑥は有理数解を持たない。
は言えない。 X:Y:Z=x:y:z であっても何の問題もない。
すみません。どういう意味かを、教えて下さい。
420:日高
19/11/16 16:15:22.62 qdMW1Zfe.net
>痴呆
では、ないと思います。
421:日高
19/11/16 16:18:33.92 qdMW1Zfe.net
>あわせて嘘つき。
どうしてでしょうか？
422:１３２人目の素数さん
19/11/16 16:25:36.84 lcOyxOVE.net
,,-''ヽ､
,, -''" ＼
_,-'" ＼
/＼ フェルマー ＼
＿＿ //＼＼ 最終定理 ＼
／|[]::::::|_ / ＼/＼＼ トンデモ証明 ／
.／|￣￣￣￣ //＼ ＼/ ＼ ／/ ＿＿＿
| |:::「「「「「「 / ＼/＼ /＼＼ ／:::/ .／| |＿＿
＿..| |:::LLLLL//＼ ＼/ ＼/＼＼／::::::/ ／ | ロ .|lllllllllllll
／ llllll| |:::「「「「 / ＼/＼ /＼ .＼/ ./::::::::/ ／ .／ .| |lllllllllllll
＿＿ llllll| |:::LLL.//＼ ＼/ ＼/＼ /::::::::/ | ／ .| ロ .|lllllllllllll
llllll| |:::「「「/ ＼/＼ /＼ ＼/ /::::::::/ | ||／ ..| |lllllllllllll
llllll| |:::LL//＼ ＼/ ＼/＼ ./::::::::/ .| ||／ ..|
| |:::「./ .＼/＼ /＼ ＼/ /::::::::/⌒ヽ､ .| ||／ ..|
| |:::l//＼ ＼/ ＼/＼_, -― ､ ''"⌒ヽ,_
(⌒ヽ､_,ノ⌒Ｙ" Y .....⌒)
(⌒ヽーﾞ ....::（ ..::....... .__人.....::::::::::::::::::::
＿ノ⌒ヽ Y⌒ヽ;;:::::"'::::::::::::::::::::::::::::: ＿＿＿
＿＿_( ﾞ ....:::..... Y"
∧＿∧
∩<ｌ|ｌ｀∀´>
ヽ ノ .a^{1/(1-1)}は、計算できない数ですが
(,,つ .ﾉ
.し' a^{1/(1-1)}が数であることには変わりはありません
423:１３２人目の素数さん
19/11/16 16:28:31.20 tH0FpXQZ.net
>>411
自分で考えろ。
>⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
>④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
⑥が有理数解を持たないことの証明がないのでダメ。
424:１３２人目の素数さん
19/11/16 16:32:01.73 kf6J75f3.net
>>413
おまえが矛盾することを書いてるから。
分かるまで考えろよ。
１週間で２週間でも。
425:１３２人目の素数さん
19/11/16 16:33:27.86 kf6J75f3.net
>>413
おまえが矛盾することを書いてるから。
分かるまで考えろよ。
１週間でも２週間でも。
１ヶ月考えて分からなかったら何を考えたかまとめてレポートしてくれ。
426:日高
19/11/16 16:50:11 qdMW1Zfe.net
>a^{1/(1-1)}は、計算できない数ですが
間違いでしょうか？
427:１３２人目の素数さん
19/11/16 16:54:05 lcOyxOVE.net
たとえば a を自然数としたとき
a^{1/(1-1)}
などという表現が可能なのか？
428:日高
19/11/16 16:54:08 qdMW1Zfe.net
>?のX,Y,Zは?のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
>?はxを有理数とすると、zは無理数となる。よって、?,?,?,?は有理数解を持たない。
>?が有理数解を持たないことの証明がないのでダメ。
X:Y:Z=x:y:zとなるので、x,y,zが有理数とならないならば、X,Y,Zも有理数となりません。
429:日高
19/11/16 16:55:24 qdMW1Zfe.net
>おまえが矛盾することを書いてるから。
どこでしょうか？
430:日高
19/11/16 16:57:31 qdMW1Zfe.net
>たとえば a を自然数としたとき
a^{1/(1-1)}
などという表現が可能なのか？
表現が可能かどうかは、分かりません。
431:日高
19/11/16 16:59:36 qdMW1Zfe.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…?が、有理数解を持つかを検討する。
?をz=x+rとおくと、x^p+y^p=(x+r)^p…?となる。?を積の形に変形してrを求める。
?を(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)}となるので、?はx^p+y^p=(x+p^{1/(p-1)})^p…?となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…?となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、?はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…?となる。
?のX,Y,Zは?のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
?はxを有理数とすると、zは無理数となる。よって、?,?,?,?は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
432:１３２人目の素数さん
19/11/16 17:05:29 +AmSwJ73.net
>>420
>?が有理数解を持たないこと
X:Y:Z=x:y:zとなるので、x,y,zが有理数とならないならば、X,Y,Zも有理数となりません。
この主張は間違っています。
なので証明になっていません。
433:１３２人目の素数さん
19/11/16 17
434::27:22.00 ID:kf6J75f3.net
435:日高
19/11/16 18:09:46.19 qdMW1Zfe.net
>⑥が有理数解を持たないこと
X:Y:Z=x:y:zとなるので、x,y,zが有理数とならないならば、X,Y,Zも有理数となりません。
>この主張は間違っています。
理由を教えて下さい。
436:１３２人目の素数さん
19/11/16 18:57:09.55 lcOyxOVE.net
>>423
ｗｗｗ．ｍａｔｈｎａｖｉ．ｓａｋｕｒａ．ｎｅ．ｊｐ／ｂｂｓ／ｆｉｌｅ１／１５６６９９４７７４．ｐｎｇ
┌日┐
｜※｜ 毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜ 数学力、国語力は小学生レベルも怪しいです
｜の｜
｜本｜ a^{1/(1-1)}という表現が可能かどうかわかりませんが、
｜は｜
｜読｜ a^{1/(1-1)}が数であることには変わりはありません。
｜ん｜
｜で｜ 私の下半身でそのことが証明されています。(｀⌒´)エｯﾍﾝ！(｀^´)
｜ま｜
｜せ｜ しかしその自慢の下半身がだんだん劣化しつつあります。(´・ω・｀)
｜ん｜
｜！｜ しかし、私はひたすら投稿し続けます。(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
└高┘
437:日高
19/11/16 19:04:52.23 qdMW1Zfe.net
>毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
よろしくお願いします。
438:１３２人目の素数さん
19/11/16 20:14:45.29 lTOeegO9.net
わかりませんおじさん
439:日高
19/11/16 20:16:58.48 qdMW1Zfe.net
>わかりませんおじさん
よろしくお願いします。
440:１３２人目の素数さん
19/11/16 21:27:26.79 tH0FpXQZ.net
>>426
> ⑥が有理数解を持たないこと
> X:Y:Z=x:y:zとなるので、x,y,zが有理数とならないならば、X,Y,Zも有理数となりません。
> >この主張は間違っています。
>
> 理由を教えて下さい。
X:Y:Z=x:y:z であって、x,y,zが無理数、X,Y,Zが有理数になることがあるからです。
441:１３２人目の素数さん
19/11/16 22:17:14.91 QcBC6k3u.net
>>423の解法の方針は、
x^p+y^p=z^p となるどんな実数についても、
x,y,z に適当な実数 k を掛けて x'=kx, y'=ky, z'=kz とすることで、
z’=x’+p^{1/(p-1)} とすることができる、
この x',y',z' が整数比とならないことを証明する、
ってことでよいの？
442:１３２人目の素数さん
19/11/16 23:07:43 lcOyxOVE.net
爺さんは朝が早いのでもう寝たことであろう。
ではまた明日（笑）。
443:日高
19/11/17 09:21:30 RiHdkMvj.net
>X:Y:Z=x:y:z であって、x,y,zが無理数、X,Y,Zが有理数になることがあるからです。
x,y,zが無理数で、整数比となるならば、共通の無理数dで、割ると、
x/d=X,y/d=Y,z/d=Zは、有理数となります。
無理数、x,y,zが存在するならば、有理数X,Y,Zも存在します。
?には、有理数x,y,zは存在しません。
つまり、無理数x,y,zの比と、有理数x,y,zの比は、等しくなります。
444:１３２人目の素数さん
19/11/17 09:31:10 bjtd/A37.net
>>434
デタラメ
首から上に頭脳というモノがあるのか？
> どの部分がデタラメでしょうか？
これまでのレスを読め。
445:１３２人目の素数さん
19/11/17 09:31:49 PM8ae5LK.net
>>434
間違ってるから間違っていると言われているんであって、思い込みで言い訳はやめろよ。
446:日高
19/11/17 09:46:39.16 RiHdkMvj.net
>x^p+y^p=z^p となるどんな実数についても、
x,y,z に適当な実数 k を掛けて x'=kx, y'=ky, z'=kz とすることで、
z’=x’+p^{1/(p-1)} とすることができる、
この x',y',z' が整数比とならないことを証明する、
ってことでよいの？
z’=x’+p^{1/(p-1)}は、計算間違いでは、ないでしょうか？
z’=x’+k(p^{1/(p-1)})では、ないでしょうか？
この x',y',z'は、整数比となる可能性がありますが、
「x':y':z'=x:y:zとなるので、整数比とならない。」となります。
それから、
正確には、「適当な実数 k 」ではなく、
k=a^{1/(p-1)}となります。
447:１３２人目の素数さん
19/11/17 09:52:25.97 PM8ae5LK.net
数学用語の使い方も知らずにでたらめばかり。
448:日高
19/11/17 09:52:59.88 RiHdkMvj.net
>これまでのレスを読め。
教えていただけないのでしょうか？
449:日高
19/11/17 09:57:02.35 RiHdkMvj.net
>数学用語の使い方も知らずにでたらめばかり。
確かに、不正確な数学用語の使い方をしているかもしれませんので、
ご指摘お願いします。
450:日高
19/11/17 10:00:18.67 RiHdkMvj.net
>間違ってるから間違っていると言われているんであって、思い込みで言い訳はやめろよ。
間違っている箇所をご指摘いただけないでしょうか。
451:１３２人目の素数さん
19/11/17 10:08:32.66 PM8ae5LK.net
>>441
> >間違ってるから間違っていると言われているんであって、思い込みで言い訳はやめろよ。
>
> 間違っている箇所をご指摘いただけないでしょうか。
全部。具体的じゃん。
452:１３２人目の素数さん
19/11/17 10:10:27.57 PM8ae5LK.net
>>442
証明できていないという指摘に対して、証明できていると主張すること自体が間違い。
453:日高
19/11/17 10:43:13.76 RiHdkMvj.net
>全部。具体的じゃん。
よく分かりません。
454:日高
19/11/17 10:45:20.28 RiHdkMvj.net
>証明できていないという指摘に対して、証明できていると主張すること自体が間違い。
どうして、証明できていないのでしょうか？
455:１３２人目の素数さん
19/11/17 11:03:16 PM8ae5LK.net
>>445
> >証明できていないという指摘に対して、証明できていると主張すること自体が間違い。
>
> どうして、証明できていないのでしょうか？
どうして証明できていると思いこめるのでしょうか？
456:１３２人目の素数さん
19/11/17 11:04:24 PM8ae5LK.net
>>444
分からないのはお前の責任。
他人に押しつけるなよ。
457:１３２人目の素数さん
19/11/17 11:14:08 du0fRBPi.net
>>434
> X:Y:Z=x:y:z であって、x,y,zが無理数、X,Y,Zが有理数になることがあるからです。
>
> x,y,zが無理数で、整数比となるならば、共通の無理数dで、割ると、
> x/d=X,y/d=Y,z/d=Zは、有理数となります。
> 無理数、x,y,zが存在するならば、有理数X,Y,Zも存在します。
ここまでの内容から
> ?には、有理数x,y,zは存在しません。
> つまり、無理数x,y,zの比と、有理数x,y,zの比は、等しくなります。
ここで論理が飛躍しています。
?に有理数解x,y,zが存在しないと主張する根拠はなんですか。
省
458:略せずにちゃんと書いてください。
459:日高
19/11/17 11:14:23 RiHdkMvj.net
>他人に押しつけるなよ。
「押しつけ」ては、いないと思います。
460:日高
19/11/17 11:16:52 RiHdkMvj.net
>?に有理数解x,y,zが存在しないと主張する根拠はなんですか。
X:Y:Z=x:y:zとなるからです。
461:１３２人目の素数さん
19/11/17 11:17:30 PM8ae5LK.net
>>449
> >他人に押しつけるなよ。
>
> 「押しつけ」ては、いないと思います。
押しつけられている。事実。
こちらの事情を勝手に決めるな。
462:１３２人目の素数さん
19/11/17 11:18:00 PM8ae5LK.net
>>450
> >?に有理数解x,y,zが存在しないと主張する根拠はなんですか。
>
> X:Y:Z=x:y:zとなるからです。
根拠になってない。
463:日高
19/11/17 11:18:47 RiHdkMvj.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…?が、有理数解を持つかを検討する。
?をz=x+rとおくと、x^p+y^p=(x+r)^p…?となる。?を積の形に変形してrを求める。
?を(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)}となるので、?はx^p+y^p=(x+p^{1/(p-1)})^p…?となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…?となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、?はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…?となる。
?のX,Y,Zは?のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
?はxを有理数とすると、zは無理数となる。よって、?,?,?,?は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
464:日高
19/11/17 11:20:27 RiHdkMvj.net
>根拠になってない。
どうしてでしょうか？理由を教えていただけないでしょうか。
465:日高
19/11/17 11:40:28 RiHdkMvj.net
>?に有理数解x,y,zが存在しないと主張する根拠はなんですか。
省略せずにちゃんと書いてください。
➃に有理数解x,y,zが存在しないからです。
466:１３２人目の素数さん
19/11/17 11:49:08 du0fRBPi.net
>>455
> ?に有理数解x,y,zが存在しないと主張する根拠はなんですか。
> 省略せずにちゃんと書いてください。
>
> ?;に有理数解x,y,zが存在しないからです。
?に有理数解が存在しないと、なぜ?に有理数解が存在しないのですか？
467:１３２人目の素数さん
19/11/17 11:57:45.09 bjtd/A37.net
>>453
ｗｗｗ．ｍａｔｈｎａｖｉ．ｓａｋｕｒａ．ｎｅ．ｊｐ／ｂｂｓ／ｆｉｌｅ１／１５６６９９４７７４．ｐｎｇ
┌日┐
｜※｜ 毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜ 数学力、国語力は小学生レベルも怪しいです
｜の｜
｜本｜ a^{1/(1-1)}という表現が可能かどうかわかりませんが、
｜は｜
｜読｜ a^{1/(1-1)}が数であることには変わりはありません。
｜ん｜
｜で｜ 私の下半身でそのことが証明されています。(｀⌒´)エｯﾍﾝ！(｀^´)
｜ま｜
｜せ｜ しかしその自慢の下半身がだんだん劣化しつつあります。(´・ω・｀)
｜ん｜
｜！｜ しかし、私はひたすら投稿し続けます。(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
└高┘
468:日高
19/11/17 12:28:11.03 RiHdkMvj.net
>④に有理数解が存在しないと、なぜ⑥に有理数解が存在しないのですか？
x:y:z=X:Y:Zとなるからです。
469:日高
19/11/17 12:29:17.67 RiHdkMvj.net
>毎日毎日、暇を持て余している爺さんです。
よろしくお願いします。
470:１３２人目の素数さん
19/11/17 12:30:07.82 du0fRBPi.net
>>458
> ④に有理数解が存在しないと、なぜ⑥に有理数解が存在しないのですか？
>
> x:y:z=X:Y:Zとなるからです。
意味が分かりません。
省略せずに書いてください。
471:１３２人目の素数さん
19/11/17 12:48:28 p8EJ3dKi.net
じじいの開き直りって最低だな
厚顔無恥
472:日高
19/11/17 13:19:39 RiHdkMvj.net
>?に有理数解が存在しないと、なぜ?に有理数解が存在しないのですか？
x:y:z=X:Y:Zとなるからです。
意味が分かりません。
省略せずに書いてください。
453を、読んでいただけないでしょうか。
473:１３２人目の素数さん
19/11/17 13:37:17.11 du0fRBPi.net
>>462
> ④に有理数解が存在しないと、なぜ⑥に有理数解が存在しないのですか？
>
> x:y:z=X:Y:Zとなるからです。
>
> 意味が分かりません。
> 省略せずに書いてください。
>
> 453を、読んでいただけないでしょうか。
読んでますがわかりません。
④に有理数解が存在しないと⑥に有理数解が存在しないのはなぜですか？
x:y:z=X:Y:Z は成立しますが、
x,y,zが無理数で、X,Y,Zが有理数であっても何も矛盾はありませんよ。
474:１３２人目の素数さん
19/11/17 13:55:59.46 bjtd/A37.net
> 453を、読んでいただけないでしょうか。
>>453 は数学の証明ではなく、素人漫才のシナリオのメモみたいなものだから
人様に読んでもらえるようなモノではない。
何せ、日高クンが下半身で考えた意味不明の文字列なのだから。
475:１３２人目の素数さん
19/11/17 14:13:02.77 PM8ae5LK.net
374の間違いが分かるまで自分の主張するな。
476:１３２人目の素数さん
19/11/17 14:13:39.42 PM8ae5LK.net
>>453
反省なしのゴミ
477:１３２人目の素数さん
19/11/17 14:14:55.64 PM8ae5LK.net
>>454
> >根拠になってない。
>
> どうしてでしょうか？理由を教えていただけないでしょうか。
事実だから。
478:日高
19/11/17 15:09:17 RiHdkMvj.net
>x,y,zが無理数で、X,Y,Zが有理数であっても何も矛盾はありませんよ。
x,y,zが無理数で、整数比となると仮定すると、無理数dで、割ると、
x/d,y/d,z/dは、有理数となります。
➃x/d,y/d,z/dが、有理数のとき、
z/d=x/d+p^{1/(p-1)}は、x/dを、有理数とすると、z/dは有理数となりません、
479:日高
19/11/17 15:11:19 RiHdkMvj.net
>じじいの開き直りって最低だな
厚顔無恥
厚顔無恥は、ご容赦ください
480:日高
19/11/17 15:13:57 RiHdkMvj.net
>人様に読んでもらえるようなモノではない。
理由を教えていただけないでしょうか。
481:１３２人目の素数さん
19/11/17 15:23:25 du0fRBPi.net
>>468
> x,y,zが無理数で、X,Y,Zが有理数であっても何も矛盾はありませんよ。
>
> x,y,zが無理数で、整数比となると仮定すると、無理数dで、割ると、
> x/d,y/d,z/dは、有理数となります。
> ?;x/d,y/d,z/dが、有理数のとき、
> z/d=x/d+p^{1/(p-1)}は、x/dを、有理数とすると、z/dは有理数となりません、
大笑い。
z/d=x/d+p^{1/(p-1)} になると本気で思ってるのですか？
z=x+p^{1/(p-1)} だから、z/d=x/d+p^{1/(p-1)}/d になりますよ。
z/dは有理数になっても何も矛盾はありません。
482:１３２人目の素数さん
19/11/17 15:48:23.40 bjtd/A37.net
> 厚顔無恥は、ご容赦ください
ｗｗｗ．ｍａｔｈｎａｖｉ．ｓａｋｕｒａ．ｎｅ．ｊｐ／ｂｂｓ／ｆｉｌｅ１／１５６６９９４７７４．ｐｎｇ
┌日┐
｜※｜ 毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜ 数学力、国語力は小学生レベルも怪しいです
｜の｜
｜本｜ a^{1/(1-1)}という表現が可能かどうかわかりませんが、
｜は｜
｜読｜ a^{1/(1-1)}が数であることには変わりはありません。
｜ん｜
｜で｜ 私の下半身でそのことが証明されています。(｀⌒´)エｯﾍﾝ！(｀^´)
｜ま｜
｜せ｜ ところが、その自慢の下半身がだんだん劣化しつつあります。(´・ω・｀)
｜ん｜
｜！｜ しかし、睾丸無知ですので投稿し続けます。(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
└高┘
483:日高
19/11/17 15:49:28.20 RiHdkMvj.net
>x^2+y^2=(x+π)^2, z=x+π
は有理数解を持たない。
X^2+Y^2=Z^2
は有理数解を持つ。
この事実をどう思っているんだ？
日高の理屈ならx:y:z=X:Y:Zだろ？
x:y:z=X:Y:Zとなるので、Zは、無理数となります。
484:日高
19/11/17 15:57:30 RiHdkMvj.net
> x,y,zが無理数で、X,Y,Zが有理数であっても何も矛盾はありませんよ。
>
> x,y,zが無理数で、整数比となると仮定すると、無理数dで、割ると、
> x/d,y/d,z/dは、有理数となります。
> ?;x/d,y/d,z/dが、有理数のとき、
> z/d=x/d+p^{1/(p-1)}は、x/dを、有理数とすると、z/dは有理数となりません、
大笑い。
z/d=x/d+p^{1/(p-1)} になると本気で思ってるのですか？
z=x+p^{1/(p-1)} だから、z/d=x/d+p^{1/(p-1)}/d になりますよ。
z/dは有理数になっても何も矛盾はありません。
すみません。詳しく説明していただけないでしょうか。
485:日高
19/11/17 16:01:20 RiHdkMvj.net
>毎日毎日、暇を持て余している爺さんです。
よろしくお願いします。
486:１３２人目の素数さん
19/11/17 16:16:11 du0fRBPi.net
>>474
宇宙人と話しているようだ。
z/d=x/d+p^{1/(p-1)} にはならないと言ってるだけですが、何がわからないのですか？
z=x+p^{1/(p-1)} なら、z/d=x/d+p^{1/(p-1)}/d になることはわかりますか？
487:日高
19/11/17 16:28:10 RiHdkMvj.net
>宇宙人と話しているようだ。
z/d=x/d+p^{1/(p-1)} にはならないと言ってるだけですが、何がわからないのですか？
z=x+p^{1/(p-1)} なら、z/d=x/d+p^{1/(p-1)}/d になることはわかりますか？
わかります。
488:１３２人目の素数さん
19/11/17 16:34:00.50 du0fRBPi.net
>>477
それでは、468の内容は間違いということでいいですね。
489:１３２人目の素数さん
19/11/17 19:27:54.31 bjtd/A37.net
爺さんはもう寝たかも知れないぞ。
490:日高
19/11/17 19:44:54.69 RiHdkMvj.net
>x,y,zが無理数で、X,Y,Zが有理数であっても何も矛盾はありませんよ。
x,y,zが無理数で、整数比となると仮定すると、無理数dで、割ると、
x/d,y/d,z/dは、有理数となります。
➃x/d,y/d,z/dが、有理数のとき、
z/d=x/d+p^{1/(p-1)}は、x/dを、有理数とすると、z/dは有理数となりません
以上は、468です。
>それでは、468の内容は間違いということでいいですね。
468の内容は間違いということでは、ありません。
491:日高
19/11/17 19:47:00.05 RiHdkMvj.net
>爺さんはもう寝たかも知れないぞ。
まだ、寝ていません。
492:１３２人目の素数さん
19/11/17 19:58:29.02 du0fRBPi.net
>>480
> x,y,zが無理数で、整数比となると仮定すると、無理数dで、割ると、
> x/d,y/d,z/dは、有理数となります。
> ④x/d,y/d,z/dが、有理数のとき、
> z/d=x/d+p^{1/(p-1)}は、x/dを、有理数とすると、z/dは有理数となりません
>
> 以上は、468です。
>
> >それでは、468の内容は間違いということでいいですね。
>
> 468の内容は間違いということでは、ありません。
やっぱり痴呆症なのかな？
z/d=x/d+p^{1/(p-1)} にならないので、間違いです。
493:１３２人目の素数さん
19/11/17 20:11:42 b1BNKx7p.net
>>45
494:3 x=100^(1/p),y=200^(1/p),z=300^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。 このことはどう説明しますか？
495:日高
19/11/17 20:48:12.81 RiHdkMvj.net
>z/d=x/d+p^{1/(p-1)} にならないので、間違いです。
z/d,x/dは、有理数です。
有理数＝有理数＋無理数となるので、式は、成り立ちません。
496:日高
19/11/17 21:22:14 RiHdkMvj.net
>x=100^(1/p),y=200^(1/p),z=300^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。
このことはどう説明しますか?
この例は、
100+200=300となるので、「pが奇素数のとき、」に該当しません。
497:１３２人目の素数さん
19/11/17 21:25:58.21 b1BNKx7p.net
>>485
？
pは奇素数ですよ。あなたが453でそう言ったじゃないですか？
それとも、453でpは奇素数とする。って書いたのは嘘ですか？
498:１３２人目の素数さん
19/11/17 21:30:12.37 du0fRBPi.net
>>484
> z/d=x/d+p^{1/(p-1)} にならないので、間違いです。
>
> z/d,x/dは、有理数です。
>
> 有理数＝有理数＋無理数となるので、式は、成り立ちません。
馬鹿ですか。
z=x+p~{1/(p-1)}
だから、
z/d=x/d+p^{1/(p-1)}/d
です。
z/d=x/d+p^{1/(p-1)}
ではありません。
間違った式を元にして何か言っても無意味です。
499:１３２人目の素数さん
19/11/17 21:32:12.64 PM8ae5LK.net
>>473
> >x^2+y^2=(x+π)^2, z=x+π
> は有理数解を持たない。
> X^2+Y^2=Z^2
> は有理数解を持つ。
> この事実をどう思っているんだ？
> 日高の理屈ならx:y:z=X:Y:Zだろ？
>
> x:y:z=X:Y:Zとなるので、Zは、無理数となります。
嘘つき。
500:１３２人目の素数さん
19/11/17 21:48:56 bjtd/A37.net
爺さんは今度こそ寝たかも知れんな（笑）
501:日高
19/11/18 09:43:43 m12I/9Ir.net
>pは奇素数ですよ。あなたが453でそう言ったじゃないですか？
>それとも、453でpは奇素数とする。って書いたのは嘘ですか？
この例は、
100+200=300となるので、「pが奇素数のとき、」に該当しません。
100+200=300は、p=1の場合です。
502:日高
19/11/18 09:54:59 m12I/9Ir.net
>z=x+p^{1/(p-1)}
だから、
z/d=x/d+p^{1/(p-1)}/d
です。
z/d=x/d+p^{1/(p-1)}
ではありません。
確かにz=x+p^{1/(p-1)}の両辺を、dで割ると、z/d=x/d+p^{1/(p-1)}/dとなります。
しかし、この場合には、z/d=x/d+p^{1/(p-1)}を考えます。
503:１３２人目の素数さん
19/11/18 09:59:12 eHdQYFeV.net
1は素数( ｰ`дｰ´)ｷﾘｯ
504:日高
19/11/18 10:05:57 m12I/9Ir.net
> >x^2+y^2=(x+π)^2, z=x+π
> は有理数解を持たない。
> X^2+Y^2=Z^2
> は有理数解を持つ。
> この事実をどう思っているんだ？
> 日高の理屈ならx:y:z=X:Y:Zだろ？
>
> x:y:z=X:Y:Zとなるので、Zは、無理数となります。
嘘つき。
X^2+Y^2=(X+π)^2, Z=X+π
ならば、
話は、変わります。
X,Y,Zが無理数で、整数比となります。
505:日高
19/11/18 10:09:22 m12I/9Ir.net
>1は素数( ｰ`дｰ´)ｷﾘｯ
1は、素数ではないと思います。
506:１３２人目の素数さん
19/11/18 10:10:21 +kAyPKlD.net
>> 491
> 確かにz=x+p^{1/(p-1)}の両辺を、dで割ると、z/d=x/d+p^{1/(p-1)}/dとなります。
> しかし、この場合には、z/d=x/d+p^{1/(p-1)}を考えます。
何を言ってるんですか。気は確かですか？
馬鹿らしいのでこれで最後にします。
507:１３２人目の素数さん
19/11/18 11:19:22 4qAWCRF5.net
>> x=100^(1/p),y=200^(1/p),z=300^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。
このことはどう説明しますか?
> この例は、
> 100+200=300となるので、「pが奇素数のとき、」に該当しません。
は？
詳しく説明してくれ
508:１３２人目の素数さん
19/11/18 11:23:41 Bo0Zhkny.net
>>493
> > >x^2+y^2=(x+π)^2, z=x+π
> > は有理数解を持たない。
> > X^2+Y^2=Z^2
> > は有理数解を持つ。
> > この事実をどう思っているんだ？
> > 日高の理屈ならx:y:z=X:Y:Zだろ？
> >
> > x:y:z=X:Y:Zとなるので、Zは、無理数となります。
> 嘘つき。
>
> X^2+Y^2=(X+π)^2, Z=X+π
> ならば、
> 話は、変わります。
> X,Y,Zが無理数で、整数比となります。
ごまかすな。
元々ので嘘つき
509:１３２人目の素数さん
19/11/18 11:27:59 Bo0Zhkny.net
何で人の指摘に対して文句をいうのに自分のミスは直さないんだ？
510:日高
19/11/18 11:39:21 m12I/9Ir.net
>> x=100^(1/p),y=200^(1/p),z=300^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。
このことはどう説明しますか?
> この例は、
> 100+200=300となるので、「pが奇素数のとき、」に該当しません。
は？
詳しく説明してくれ
100^1+200^1=300^1となるので、p=1の例となります。
511:日高
19/11/18 11:41:21 m12I/9Ir.net
>元々ので嘘つき
どういう意味でしょうか？
512:１３２人目の素数さん
19/11/18 11:42:59 Bo0Zhkny.net
>>473
余計な説明しようが嘘つき
ついでに日本語の勉強もしろよ
513:１３２人目の素数さん
19/11/18 11:44:34 Bo0Zhkny.net
>>499
意味不明。やり直し
514:日高
19/11/18 11:44:44 m12I/9Ir.net
>何で人の指摘に対して文句をいうのに自分のミスは直さないんだ？
どの指摘のことでしょうか？
515:１３２人目の素数さん
19/11/18 11:45:17 Bo0Zhkny.net
>>503
全部
516:日高
19/11/18 11:52:52 m12I/9Ir.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…?が、有理数解を持つかを検討する。
?をz=x+rとおくと、x^p+y^p=(x+r)^p…?となる。?を積の形に変形してrを求める。
?を(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)}となるので、?はx^p+y^p=(x+p^{1/(p-1)})^p…?となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…?となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、?はx^p+y^p=(x+(ap)^{1/(p-1)})^p…?となる。
?をX^p+Y^p=(X+(pa)^{1/(p-1)})^pとおくと、?は?の定数倍となるので、X:Y:Z=x:y:zとなる。
?はxを有理数とすると、zは無理数となる。よって、?,?,?,?は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
517:日高
19/11/18 11:55:58 m12I/9Ir.net
>意味不明。やり直し
どの部分が、意味不明でしょうか？
518:日高
19/11/18 11:57:52 m12I/9Ir.net
>余計な説明しようが嘘つき
どの部分が余計な説明でしょうか？
519:日高
19/11/18 11:59:28 m12I/9Ir.net
>意味不明。やり直し
どの部分が、意味不明でしょうか？
520:日高
19/11/18 12:03:57 m12I/9Ir.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…?が、有理数解を持つかを検討する。
?をz=x+rとおくと、x^p+y^p=(x+r)^p…?となる。?を積の形に変形してrを求める。
?を(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)}となるので、?はx^p+y^p=(x+p^{1/(p-1)})^p…?となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…?となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、?はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…?となる。
?のX,Y,Zは?のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
?はxを有理数とすると、zは無理数となる。よって、?,?,?,?は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
521:１３２人目の素数さん
19/11/18 13:05:43.96 4qAWCRF5.net
>> x=100^(1/p),y=200^(1/p),z=300^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。
このことはどう説明しますか?
> 100^1+200^1=300^1となるので、p=1の例となります。
> は？
奇素数 7 で考えよう。
p = 7
x = 100^(1/7)
y = 200^(1/7)
z = 300^(1/7)
x^7 + y^7 = (100^(1/7))^7 + (200^(1/7))^7 = 100 + 200
z^7 = (300^(1/7))^7 = 300
のように p = 7 のときでも
100 + 200 = 300
となるけど。この例に限らず x、y、z が実数ならいくらでも
x^p + y^p = z^p
は成り立つわけだが、そこまで条件を緩めても
z = x + r とおいたとき r^(p-1) = p
とはならないと言っているのだ。まして x、z が自然数なら r = z - x は整数なのだから
r^(p-1) = p
というよなアフォな式が成り立つわけがない。
522:１３２人目の素数さん
19/11/18 13:19:36 Bo0Zhkny.net
>>508
お前が書いた部分が意味不明。
523:１３２人目の素数さん
19/11/18 13:19:51 Bo0Zhkny.net
>>509
間違い
524:１３２人目の素数さん
19/11/18 13:21:
525:01 ID:Bo0Zhkny.net
526:日高
19/11/18 13:41:13 m12I/9Ir.net
>z = x + r とおいたとき r^(p-1) = p
とはならないと言っているのだ。まして x、z が自然数なら r = z - x は整数なのだ>から
r^(p-1) = p
というよなアフォな式が成り立つわけがない。
100 + 200 = 300は、p=1の場合の式です。
r^(p-1) = pは、r=p^{1/(p-1)}となります。
p=1の場合、この式は計算不可能です。pが2以上ならば、計算可能です。
527:１３２人目の素数さん
19/11/18 14:58:13 cUeMfYut.net
>>514
p = 7, x = 100^(1/7), y = 200^(1/7), z = 300^(1/7)のときp = 1であることを証明してください
528:日高
19/11/18 15:46:21.69 m12I/9Ir.net
>p = 7, x = 100^(1/7), y = 200^(1/7), z = 300^(1/7)のときp = 1であることを証明してください
{100^(1/7)}^7+{200^(1/7)}^7={300^(1/7)}^7は、
100+200=300となります。
100+200=300は、100^1+200^1=300^1となります。
529:１３２人目の素数さん
19/11/18 16:27:32.94 cUeMfYut.net
>>516
つまり7=1ということで宜しいですか？
530:１３２人目の素数さん
19/11/18 16:41:45 1LNQZ1gd.net
>>516
また日高の珍回答か
・p = 7 のときp = 1であることを証明した
531:１３２人目の素数さん
19/11/18 17:23:43.15 4qAWCRF5.net
>>516
┌日┐
｜※｜ 毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜ 数学力、国語力は人類をはるか超越するレベルです。
｜の｜
｜本｜ p = 7, x = 100^(1/7), y = 200^(1/7), z = 300^(1/7)のとき p = 1 であることを証明
｜は｜
｜読｜ (100^(1/7))^7 + (200^(1/7))^7 = 300^(1/7) ⇔ 100 + 200 = 300
｜ん｜
｜で｜ 100 + 200 = 300 ⇔ 100^1 + 200^1 = 300^1 ∴1 = 7
｜ま｜
｜せ｜ 数学史上、燦然と輝く珍証明です。(｀⌒´)エｯﾍﾝ！(｀^´)
｜ん｜
｜！｜ おかげで睾丸無知な私の下半身が甦りました。(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
└高┘
532:日高
19/11/18 17:26:47.44 m12I/9Ir.net
>つまり7=1ということで宜しいですか？
違います。
{100^(1/7)}^7+{200^(1/7)}^7={300^(1/7)}^7までは、
p=7ですが、
100^1+200^1=300^1は、100^n+200^n=300^nとして、n=1とします。
533:日高
19/11/18 17:28:56.75 m12I/9Ir.net
・p = 7 のときp = 1であることを証明した
違います。
p = 7 のときn= 1です。
534:日高
19/11/18 17:32:13.38 m12I/9Ir.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(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)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})^p…④となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、②はx^p+y^p=(x+(ap)^{1/(p-1)})^p…⑥となる。
⑥をX^p+Y^p=(X+(pa)^{1/(p-1)})^pとおくと、⑥は④の定数倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
535:１３２人目の素数さん
19/11/18 17:51:22.25 cUeMfYut.net
>>520
なるほど、p=7のときはn=1なんですね
ところでz = x + r とおいたとき r^(p-1) = pは成立していませんが、これは何故ですか？
>>514で自分で言っているようにp=7のときにはこの式は計算が可能なんですよね
536:１３２人目の素数さん
19/11/18 18:43:07.38 1LNQZ1gd.net
>>521
＞・p = 7 のときp = 1であることを証明した
＞違います。
＞p = 7 のときn= 1です。
言い訳が苦しいにも程がある
お前さんのエセ証明にnなど只の一度も登場しない
この大嘘つきめが！
537:１３２人目の素数さん
19/11/18 18:46:05.02 Bo0Zhkny.net
>>522
指摘ややりとりが解決してないのにごまかしてるんじゃないよ。
538:１３２人目の素数さん
19/11/18 18:46:37.79 Bo0Zhkny.net
>>522
証明ではない。
539:１３２人目の素数さん
19/11/18 19:18:36 4qAWCRF5.net
いや、楽しいですなwwwwwwwwww
540:日高
19/11/18 19:26:59.26 m12I/9Ir.net
>なるほど、p=7のときはn=1なんですね
別の言い方をすると、
「p=7は、p=1に帰着する。」ということです。
541:日高
19/11/18 19:30:35 m12I/9Ir.net
>p=7のときにはこの式は計算が可能なんですよね
ん
p=7は、p=1に帰着するので、計算不可能です。
542:日高
19/11/18 19:33:16.12 m12I/9Ir.net
＞p = 7 のときn= 1です。
p = 7 は、p=1に帰着するということです。
543:１３２人目の素数さん
19/11/18 19:35:29.51 Bo0Zhkny.net
>>529
計算できるといったり計算できないと言ったり、意味不明
544:１３２人目の素数さん
19/11/18 19:47:11 jaM24NPo.net
>>528
>>514と>>529は矛盾する内容ですが、結局p=7の場合は計算可能なのか計算不可能なのかどっちですか？
545:１３２人目の素数さん
19/11/18 20:06:47 4qAWCRF5.net
> p = 7 は、p=1に帰着するということです。
wwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwwww
爺さん、もう寝ろwwwwwwwwww
546:日高
19/11/18 20:11:18.17 m12I/9Ir.net
>計算できるといったり計算できないと言ったり、意味不明
どのことを指しているのでしょうか？
547:日高
19/11/18 20:23:33
548: ID:m12I/9Ir.net
549:日高
19/11/18 20:28:25 m12I/9Ir.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…?が、有理数解を持つかを検討する。
?をz=x+rとおくと、x^p+y^p=(x+r)^p…?となる。?を積の形に変形してrを求める。
?を(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)}となるので、?はx^p+y^p=(x+p^{1/(p-1)})^p…?となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…?となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、?はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…?となる。
?のX,Y,Zは?のx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
?はxを有理数とすると、zは無理数となる。よって、?,?,?,?は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
550:１３２人目の素数さん
19/11/18 20:28:30 4qAWCRF5.net
>>514
> r^(p-1) = pは、r=p^{1/(p-1)}となります。
> p=1の場合、この式は計算不可能です。pが2以上ならば、計算可能です。
>>529
> p=7は、p=1に帰着するので、計算不可能です。
奇素数 p = 11
x = 100^(1/11), y = 200^(1/11), z = 300^(1/11)
(100^(1/11))^11 + (200^(1/11))^11 = (300^(1/11))^11
⇔ 100 + 200 = 300 ⇔ 100^1 + 200^1 = 300^1
>>514 によれば「pが2以上ならば、計算可能」
>>529 によれば「p=7は、p=1に帰着するので、計算不可能」
さて、p = 11 は
514 によれば計算可能
529 によれば「p=11は、p=1に帰着するので、計算不可能」
p=11 以降の奇素数についても以上のことは成り立つ。
いったいどっちが正しいのだ（笑）。
551:１３２人目の素数さん
19/11/18 20:29:05 DM62sp6H.net
【定理】pが2のとき、x^p+y^p=z^pは、自然数解を持たない。
【日高の証明】pは2とする。p=2は、p=1に帰着するので、計算不可能です。(QED)
552:１３２人目の素数さん
19/11/18 20:30:21 DM62sp6H.net
【定理】pが1のとき、x^p+y^p=z^pは、自然数解を持たない。
【日高の証明】pは1とする。p=1は、計算不可能です。(QED)
553:日高
19/11/18 20:33:02.34 m12I/9Ir.net
>p=11 以降の奇素数についても以上のことは成り立つ。
pが任意の自然数であっても、全てp=1に帰着します。
554:日高
19/11/18 20:36:06.45 m12I/9Ir.net
>【定理】pが2のとき、x^p+y^p=z^pは、自然数解を持たない。
【日高の証明】pは2とする。p=2は、p=1に帰着するので、計算不可能です。(QED)
まったく、内容が違います。
555:日高
19/11/18 20:37:55.69 m12I/9Ir.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(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)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})^p…④となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
556:１３２人目の素数さん
19/11/18 20:43:13.97 1jY2fOvD.net
>>535
では、あなたの証明>>542で使われている数式
x^p+y^p=(x+p^{1/(p-1)})^p…④
でも、右辺は計算不可能ということで宜しいですか？
557:日高
19/11/18 20:53:19 m12I/9Ir.net
>では、あなたの証明>>542で使われている数式
x^p+y^p=(x+p^{1/(p-1)})^p…?
でも、右辺は計算不可能ということで宜しいですか？
?は、pが、奇素数の場合ですので、計算可能です。
558:１３２人目の素数さん
19/11/18 20:59:54.48 Bo0Zhkny.net
>>542
でたらめのごまかし。
559:１３２人目の素数さん
19/11/18 21:02:03.93 1jY2fOvD.net
>>544
>>540ではpが任意の自然数であっても、全てp=1に帰着すると書いていましたが、すると④も計算不可能になりますよね？
560:日高
19/11/18 21:12:20.92 m12I/9Ir.net
>ではpが任意の自然数であっても、全てp=1に帰着すると書いていましたが、すると④も計算不可能になりますよね？
④は、奇素数の場合です。
pが任意の自然数であっても、全てp=1に帰着するのは、まったく別の話です。
100+200=300の話です。
561:１３２人目の素数さん
19/11/18 21:28:09.30 1LNQZ1gd.net
帰着って何だよｗ
結局
・p = 7 のときp = 1であることを証明した
ってことか
爺さん流石イカれてるぜ
562:１３２人目の素数さん
19/11/18 21:29:00.87 1jY2fOvD.net
>>547
いえ、別の話ではありません
④にp=7, x=100^(1/7), y=200^(1/7)を代入したのが>>510の話だからです
で、④は計算可能なのに>>510のr=p^{1/(p-1)}が計算不可能なのは何故ですか？
563:１３２人目の素数さん
19/11/18 21:48:38.46 XtC1Ttbc.net
爺さん、「帰着する」という呪文を覚えたようだな。
これを使えば何でも証明できそうだ！
564:１３２人目の素数さん
19/11/18 21:48:53.15 Bo0Zhkny.net
>>547
数学用語使えよ。
痴呆老人用語は意味わかんないんだよ。
数学用語使えないんなら、お前が書いている文章は数学じゃないんだよ。
565:１３２人目の素数さん
19/11/18 22:18:05.81 T9Kvg+I4.net
ちょっと自分のレスをみてみろと言いたい
566:１３２人目の素数さん
19/11/18 22:48:33 4qAWCRF5.net
爺さんはそろそろ寝る頃だ。みなさん、また明日（笑）。
567:日高
19/11/19 07:47:38.69 YUDnqgOv.net
>帰着って何だよｗ
帰着の意味は、例えば
{100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^pは、
p=1に帰着する。
このような意味です。
568:１３２人目の素数さん
19/11/19 07:51:07.58 v9/Wrtwm.net
帰着の説明になってないだろ
569:日高
19/11/19 07:59:26.08 YUDnqgOv.net
>いえ、別の話ではありません
④にp=7, x=100^(1/7), y=200^(1/7)を代入したのが>>510の話だからです
で、④は計算可能なのに>>510のr=p^{1/(p-1)}が計算不可能なのは何故ですか？
p=7は、p=1に帰着します。
r=p^{1/(p-1)}にp=1を代入すると、r=p^{1/0}となり、rは、特定できません。
p=1の場合は、x+y=x+rとなるので、x=yとなります。
570:日高
19/11/19 08:02:33.44 YUDnqgOv.net
>帰着の説明になってないだろ
すみませんが、帰着の説明を、していただけないでしょうか。
571:１３２人目の素数さん
19/11/19 08:02:40.42 gNx6OS+k.net
では、あなたの証明>>542でもp=7とすればp=1に帰着して計算不可能になるということで宜しいですか？
572:日高
19/11/19 08:06:43.64 YUDnqgOv.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(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)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})^p…④となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、②はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
573:BLACKX
19/11/19 08:10:06.32 0jywr7/s.net
問題を置き換えて考えて座標とか方程式が見たことある式や形式になることを帰着と言うが。
574:日高
19/11/19 08:12:47.23 YUDnqgOv.net
>では、あなたの証明>>542でもp=7とすればp=1に帰着して計算不可能になるということで宜しいですか？
いいえ。違います。
542は、pが奇素数の場合です。
p=1の場合は、該当しません。
575:日高
19/11/19 08:15:33.18 YUDnqgOv.net
>問題を置き換えて考えて座標とか方程式が見たことある式や形式になることを帰着と言うが。
すみませんが、もう少し具体的に説明していただけないでしょうか。
576:１３２人目の素数さん
19/11/19 08:16:21.21 gNx6OS+k.net
>>561
p=7は奇素数ですが、>>556によればp=1に帰着するという回答が得られています
もともとのpが奇素数だろうが何だろうが結局p=1に帰着するというのがあなたの主張ですよね？
577:日高
19/11/19 08:38:26 YUDnqgOv.net
>p=7は奇素数ですが、>>556によればp=1に帰着するという回答が得られています
もともとのpが奇素数だろうが何だろうが結局p=1に帰着するというのがあなたの主張ですよね？
{100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^pの場合は、
pが、7であっても、他の自然数であっても、全てp=1に帰着します。
578:１３２人目の素数さん
19/11/19 08:42:32 gNx6OS+k.net
>>564
何故か>>542の式はp=1に帰着しないということですか？
それでは、p=1に帰着する式とp=1に帰着しない式の違いを教えてください
579:日高
19/11/19 09:02:44 YUDnqgOv.net
>何故か>>542の式はp=1に帰着しないということですか？
それでは、p=1に帰着する式とp=1に帰着しない式の違いを教えてください
542の式はp=1に帰着しません。
p=2,p=3は、それぞれ異なる式となります。
p=1に帰着する式は、{100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^pこの式です。
580:１３２人目の素数さん
19/11/19 09:09:37 gNx6OS+k.net
>>566
なるほど、>>542の式はp=1に帰着しないが{100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^pはp=1に帰着するのですね
それで、他にどういう式がp=1に帰着して、どういう式はp=1に帰着しないのですか？もう一度書きますが、p=1に帰着する式とp=1に帰着しない式の違いを教えてください
581:日高
19/11/19 09:21:27 YUDnqgOv.net
>それで、他にどういう式がp=1に帰着して、どういう式はp=1に帰着しないのですか？もう一度書きますが、p=1に帰着する式とp=1に帰着しない式の違いを教えてください
p=1に帰着する式は、他にたくさんあると、思いますが、例をあげることは、できません。
ただ、542の式は、p=1には、帰着しません。
582:１３２人目の素数さん
19/11/19 09:33:50 gNx6OS+k.net
>>568
他にp=1に帰着する式はたくさんあるのに、どうして>>542の式だけはp=1に帰着しないのですか？
それをきちんと証明して、新しく書き直してください
583:日高
19/11/19 09:45:46 YUDnqgOv.net
>どうして>>542の式だけはp=1に帰着しないのですか？
542の式は、p=1に帰着する理由がありません。
{100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^p
この式は、p=1に帰着する理由があります。
理由は、pにどんな数を、代入しても、
100+200=300となります。
584:日高
19/11/19 09:48:29 YUDnqgOv.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…?が、有理数解を持つかを検討する。
?をz=x+rとおくと、x^p+y^p=(x+r)^p…?となる。?を積の形に変形してrを求める。
?を(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)}となるので、?はx^p+y^p=(x+p^{1/(p-1)})^p…?となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…?となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、?はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…?となる。
?のX,Y,Zは?のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
?はxを有理数とすると、zは無理数となる。よって、?,?,?,?は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
585:１３２人目の素数さん
19/11/19 09:54:39 gNx6OS+k.net
>>570
>>542の式がp=1に帰着しないことは証明できないということで宜しいですか？
586:日高
19/11/19 10:11:36.15 YUDnqgOv.net
>>542の式がp=1に帰着しないことは証明できないということで宜しいですか？
542の式は、p=1とすると、r=yとなります。rが定まりません。
542の式のpに、2,3,4,5・・・・を代入しても、p=1を代入した場合と同じには、
なりません。
587:１３２人目の素数さん
19/11/19 10:28:09 bS7ZfYbY.net
>>571
零点。証明のはじめに x,y,z が何なのか明示されてないから。
まともな証明なら x,y,z は自然数と仮定する。したがって
z = x + r
とおいたときの r も自然数である。
r^(p-1){(y/r)^p-1} = p{x^(p-1)+…+r^(p-2)x} ･････ ?
から、何の根拠も示さず
r^(p-1) = p
とはできないので零点。
仮にそれを認めてしまうと r は明らかに無理数になってしま�
588:｢、r が自然数という仮定に反するから証明はここで終わる。 また r^(p-1) = {x^(p-1)+…+r^(p-2)x} も考慮しなければならない。 ?の右辺に、a(1/a)を掛けると r^(p-1){(y/r)^p-1} = pa{x^(p-1)+…+r^(p-2)x}(1/a)…? となるが、これから勝手に r^(p-1) = pa とはできない。かけ算は交換法則が可能なので r^(p-1) = a r^(p-1) = 1/a r^(p-1) = p/a r^(p-1) = {x^(p-1)+…+r^(p-2)x} r^(p-1) = {x^(p-1)+…+r^(p-2)x}/a も考慮しなければならない。 ちなみに>>571（今までの証明はすべて）の丸数字は、?だけが機種依存文字になっている。 見苦しいから書き直そう。この投稿の?と比べれば老眼でもよくわかるはずである。
589:日高
19/11/19 11:10:46.99 YUDnqgOv.net
>r^(p-1) = {x^(p-1)+…+r^(p-2)x}
も考慮しなければならない。
r={x^(p-1)+…+r^(p-2)x}^{1/(p-1)}とすると、rが定まりません。
>③だけが機種依存文字になっている。
見苦しいから書き直そう。この投稿の③と比べれば老眼でもよくわかるはずである。
すみません。原因が、分かりません。
590:１３２人目の素数さん
19/11/19 11:21:08.52 GcPRVqGx.net
コントかよ。
お前が考える帰着の意味を問うているのに、なぜ他人に聞くんだよw
591:日高
19/11/19 11:30:09.38 YUDnqgOv.net
>お前が考える帰着の意味を問うているのに、なぜ他人に聞くんだよw
帰着の正確な意味を、知りたいからです。
592:１３２人目の素数さん
19/11/19 11:50:49 GcPRVqGx.net
なら、正確な意味を知らない言葉なんてはじめから使うなよ。
593:日高
19/11/19 12:04:37 YUDnqgOv.net
>なら、正確な意味を知らない言葉なんてはじめから使うなよ。
すみません。他に言葉を知らないから使いました。
594:１３２人目の素数さん
19/11/19 12:42:13.70 r6MNliIO.net
>>559
ゴミ＆ごまかし。
595:１３２人目の素数さん
19/11/19 12:43:47.27 r6MNliIO.net
>>571
まずは溜まっているやりとりを終わらせろよ。
596:日高
19/11/19 13:40:28.61 YUDnqgOv.net
>ゴミ＆ごまかし。
どの部分のことでしょうか？
597:日高
19/11/19 13:43:27.70 YUDnqgOv.net
>まずは溜まっているやりとりを終わらせろよ。
溜まっているやりとりとは、どのようなことでしょうか？
598:日高
19/11/19 13:45:26.00 YUDnqgOv.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(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)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})^p…④となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
599:１３２人目の素数さん
19/11/19 13:48:00.51 r6MNliIO.net
>>584
指摘無視。
p=1への帰着だとかはどうなった？
帰着という言葉は意味分かってなくて使えないんだから、他の言葉で説明し直すべきだろうが。
600:１３２人目の素数さん
19/11/19 13:49:11.18 r6MNliIO.net
>>583
> >まずは溜まっているやりとりを終わらせろよ。
>
> 溜まっているやりとりとは、どのようなことでしょうか？
お前は幼稚園児か？自分が何に返事してその返事が相手に認められたのかどうか全部メモっておけよ。
601:１３２人目の素数さん
19/11/19 14:08:44.13 0Mux4cYF.net
>>573
なるほど、あなたの世界ではp=2,3,4,5…を代入するとp=1を代入した場合と同じになる場合に「p=1に帰着する」と言うのですね
では
{p^(1/p)}^p+{(2p)^(1/p)}^p={(3p)^(1/p)}^p
にp=7を代入した場合はp=1を代入した場合と同じにはなりませんが、これはp=1に帰着しないと言うことで宜しいですか？
602:日高
19/11/19 14:33:54 YUDnqgOv.net
{p^(1/p)}^p+{(2p)^(1/p)}^p={(3p)^(1/p)}^p
にp=7を代入した場合はp=1を代入した場合と同じにはなりませんが、これはp=1に帰着しないと言うことで宜しいですか？
はい。
603:日高
19/11/19 14:38:50 YUDnqgOv.net
>帰着という言葉は意味分かってなくて使えないんだから、他の言葉で説明し直すべきだろうが。
他の言葉は、思い当たりません
604:１３２人目の素数さん
19/11/19 15:11:45.83 0Mux4cYF.net
>>588
なるほど、{p^(1/p)}^p+{(2p)^(1/p)}^p={(3p)^(1/p)}^pはp=1に帰着しないのですね
ところでx=p^(1/p),y=(2p)^(1/p),z=(3p)^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。
このことはどう説明しますか?
605:日高
19/11/19 15:22:45.29 YUDnqgOv.net
>なるほど、{p^(1/p)}^p+{(2p)^(1/p)}^p={(3p)^(1/p)}^pはp=1に帰着しないのですね
ところでx=p^(1/p),y=(2p)^(1/p),z=(3p)^(1/p)はx^p+y^p=z^pの解ですが、z=x+rとおいてもr^(p-1)=pとはなりません。
このことはどう説明しますか?
p=7のとき、7+14=21
p=1のとき、1+2=3となります。
7^1+14^1=21^1, 1^1+2^1=3^1となるので、
p=1と同じ形となります。
606:１３２人目の素数さん
19/11/19 15:25:05 r6MNliIO.net
>>589
> >帰着という言葉は意味分かってなくて使えないんだから、他の言葉で説明し直すべきだろうが。
>
> 他の言葉は、思い当たりません
つまり、知らない言葉でごまかすしかないってことだ。そんなごまかしは数学ではない。だから間違ったこと平気で書くんだよ。
607:日高
19/11/19 15:31:26 YUDnqgOv.net
>だから間違ったこと平気で書くんだよ。
どの部分が、間違いかを、ご指摘いただけないでしょうか。
608:１３２人目の素数さん
19/11/19 15:58:10 r6MNliIO.net
>>593
痴呆決定だな。
自分が何に返事してその返事が相手に認められたのかどうか全部メモっておけよ。
609:日高
19/11/19 16:26:54.40 YUDnqgOv.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(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)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})^p…④となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、②はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
610:１３２人目の素数さん
19/11/19 16:28:53.00 r6MNliIO.net
>>595
ゴミ。
611:日高
19/11/19 16:39:20.78 YUDnqgOv.net
>ゴミ。
すみません。よろしくお願いします。
612:１３２人目の素数さん
19/11/19 16:48:00.98 0Mux4cYF.net
>>591
>>588ではp=1の場合に帰着しないと言ってたのに、なぜまたp=1の場合を考えるのですか？
あと7^1+14^1=21^1, 1^1+2^1=3^1は同じ式ではありません
613:日高
19/11/19 16:53:09.98 YUDnqgOv.net
>>588ではp=1の場合に帰着しないと言ってたのに、なぜまたp=1の場合を考えるのですか？
あと7^1+14^1=21^1, 1^1+2^1=3^1は同じ式ではありません
7^1+14^1=21^1, 1^1+2^1=3^1は同じ式ではありませんが、
同じ１乗の和の形の式です。
614:１３２人目の素数さん
19/11/19 16:58:28.04 0Mux4cYF.net
>>599
でも{p^(1/p)}^p+{(2p)^(1/p)}^p={(3p)^(1/p)}^pはp=1に帰着しないんですよね？(>>588)
615:１３２人目の素数さん
19/11/19 16:59:05.12 I62E+801.net
>>597
許されません。痴呆老人は同じことを書き込�
616:ﾞなよ。
617:日高
19/11/19 18:09:05.57 YUDnqgOv.net
>でも{p^(1/p)}^p+{(2p)^(1/p)}^p={(3p)^(1/p)}^pはp=1に帰着しないんですよね？
はい。
618:日高
19/11/19 19:00:32.63 YUDnqgOv.net
>許されません。痴呆老人は同じことを書き込むなよ。
すみません。許してください。
619:１３２人目の素数さん
19/11/19 19:11:18.77 AZTT/AYd.net
>>603
> すみません。許してください。
何故？間違いを繰り返し主張するのはタダの迷惑だろ。
620:日高
19/11/19 19:29:10 YUDnqgOv.net
>何故？間違いを繰り返し主張するのはタダの迷惑だろ。
迷惑を、おかけします。どうかお許し願います。
621:日高
19/11/19 19:34:39 YUDnqgOv.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…?が、有理数解を持つかを検討する。
?をz=x+rとおくと、x^p+y^p=(x+r)^p…?となる。?を積の形に変形してrを求める。
?を(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)}となるので、?はx^p+y^p=(x+p^{1/(p-1)})^p…?となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…?となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、?はX^p+Y^p=(X+(ap)^{1/(p-1)})^p…?となる。
?のX,Y,Zは?のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
?はxを有理数とすると、zは無理数となる。よって、?,?,?,?は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
622:１３２人目の素数さん
19/11/19 19:36:03 AZTT/AYd.net
>>605
> 迷惑を、おかけします。どうかお許し願います。
迷惑かつ傲慢とか許されるはず無いだろが。さすが痴呆
623:１３２人目の素数さん
19/11/19 19:36:26 AZTT/AYd.net
>>606
迷惑痴呆老人決定
624:日高
19/11/19 19:39:54 YUDnqgOv.net
>迷惑痴呆老人決定
すみません。ご迷惑をおかけします。
625:１３２人目の素数さん
19/11/19 19:54:19.51 0Mux4cYF.net
>>602
じゃあ>>591の説明は誤りということで宜しいですか？
626:日高
19/11/19 20:07:23.90 YUDnqgOv.net
>じゃあ>>591の説明は誤りということで宜しいですか？
いいえ。
p=1の形は、p=1と同じですので、r=p^{1/(p-1)}のrが、定まりません。
627:１３２人目の素数さん
19/11/19 20:25:00.89 bS7ZfYbY.net
もともと p は奇素数として仮定しているのに（つまり、p ≠ 1, p ≠ 2)、p = 7
のとき p = 1 に「帰着」するとはどういうことなのだ？
まるで無意味ではないか。
628:１３２人目の素数さん
19/11/19 20:27:19.65 NjIHoz8s.net
帰着する：ADSL接続
629:日高
19/11/19 21:02:34 YUDnqgOv.net
>もともと p は奇素数として仮定しているのに（つまり、p ≠ 1, p ≠ 2)、p = 7
のとき p = 1 に「帰着」するとはどういうことなのだ？
まるで無意味ではないか。
そうです。私の証明には、無意味な式です。
p = 7のとき、 p = 1 に「帰着」するのは、
{100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^pのときです。
上の式は、pにどんな数を代入しても、
100^1+200^1=300^1となります。
630:１３２人目の素数さん
19/11/19 21:04:22 AZTT/AYd.net
>>614
> >もともと p は奇素数として仮定しているのに（つまり、p ≠ 1, p ≠ 2)、p = 7
> のとき p = 1 に「帰着」するとはどういうことなのだ？
> まるで無意味ではないか。
>
> そうです。私の証明には、無意味な式です。
>
> p = 7のとき、 p = 1 に「帰着」するのは、
> {100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^pのときです。
> 上の式は、pにどんな数を代入しても、
> 100^1+200^1=300^1となります。
だから何？
帰着とは？何が言いたいのか意味不明。
631:１３２人目の素数さん
19/11/19 21:43:32.38 0Mux4cYF.net
>>611
何故ですか？
p=7の式が「p=1の式の形と同じ」だったとしても、p=7であってp=1ではないのですから、r=p^{1/(p-1)}はきちんと定まりますよ
632:日高
19/11/20 08:50:02.98 7aosEsEb.net
>何故ですか？
p=7の式が「p=1の式の形と同じ」だったとしても、p=7であってp=1ではないのですから、r=p^{1/(p-1)}はきちんと定まりますよ
{100^(1/p)}^p+{200^(1/p)}^p={300^(1/p)}^pのとき、
p=7ならば、x,y,zは、無理数となります。
p=1ならば、x,y,zは、有理数となります。
フェルマーの最終定理の証明は、x,y,zが、有理数の場合で、pが3以上の場合を
考えます。
100^1+200^1=300^1となります。
633:日高
19/11/20 08:57:20.19 7aosEsEb.net
>だから何？
帰着とは？何が言いたいのか意味不明。
申し訳ありません。
すみませんが、「帰着」は、意味不明のままで、お願いします。
634:日高
19/11/20 09:01:45.75 7aosEsEb.net
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。
②を(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)}となるので、②はx^p+y^p=(x+p^{1/(p-1)})^p…④となる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…⑤となる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、②はX^p+Y^p=(X+(pa)^{1/(p-1)})^p…⑥となる。
⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。