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

日高 · 2019/11/06(水) 09:02:13.97

【定理】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)})…④
となる。
④はxを有理数とすると、zは無理数となる。よって、④,②,①は有理数解を持たない。
rが有理数ならば、④の両辺に(a^{1/(p-1)})^pを掛けた
(xa^{1/(p-1)})^p+(ya^{1/(p-1)})^p=(xa^{1/(p-1)}+(pa)^{1/(p-1)})^p…⑤となる。
⑤を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/06(水) 15:25:29.62

【定理】p=3のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】p=3とする。x^3+y^3=z^3…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^3+y^3=(x+r)^3…②となる。②を積の形に変形してrを求める。
②を(x/r)^3+(y/r)^3=(x/r+1)^3, (y/r)^3-1=3{(x/r)^(3-1)+…+x/r},
r^(3-1){(y/r)^3-1}=3{x^(3-1)+…+r^(3-2)x}…➂とする。
➂はr^(3-1)=3とすると、r=3^{1/(3-1)}となるので、②はx^3+y^3=(x+3^{1/(3-1)})…④
となる。
④はxを有理数とすると、zは無理数となる。よって、④,②,①は有理数解を持たない。
rが有理数ならば、④の両辺に(a^{1/(3-1)})^3を掛けた
(xa^{1/(3-1)})^3+(ya^{1/(3-1)})^3=(xa^{1/(3-1)}+(3a)^{1/(3-1)})^3…⑤となる。
⑤をxa^{1/(3-1)}=X, ya^{1/(3-1)}=Y, xa^{1/(3-1)}+(3a)^{1/(3-1)}=Zとおくと、
X:Y:Z=x:y:zとなる。
∴p=3のとき、x^p+y^p=z^pは、自然数解を持たない。

日高 · 2019/11/06(水) 18:14:32.56

【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2とする。x^2+y^2=z^2…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^2+y^2=(x+r)^2…②となる。②を積の形に変形してrを求める。
②を(x/r)^2+(y/r)^2=(x/r+1)^2, (y/r)^2-1=2{(x/r)^(2-1)},
r^(2-1){(y/r)^2-1}=2{x^(2-1)}…➂とする。
➂はr^(2-1)=2とすると、r=2^{1/(2-1)}となるので、②はx^2+y^2=(x+2^{1/(2-1)})^2…④となる。
④はxを有理数とすると、zは有理数となる。よって、④,②,①は有理数解を持つ。
rが有理数ならば、④の両辺に(a^{1/(2-1)})^2を掛けた
(xa^{1/(2-1)})^2+(ya^{1/(2-1)})^2=(xa^{1/(2-1)}+(2a)^{1/(2-1)})^2…⑤となる。
⑤をxa^{1/(2-1)}=X, ya^{1/(2-1)}=Y, xa^{1/(2-1)}+(2a)^{1/(2-1)}=Zとおくと、
X:Y:Z=x:y:zとなる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。

**１３２人目の素数さん** · 2019/11/07(木) 07:52:28.84

１は高木と同じか！？

統失は数学板では全く手に負えない

日高 · 2019/11/07(木) 08:05:04.07

>１は高木と同じか！？

どういう意味でしょうか？

日高 · 2019/11/07(木) 08:13:08.60

【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数,yは有理数とする。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…④
となる。
④はxを有理数とすると、zは無理数となる。よって、④,②,①は有理数解を持たない。
rが有理数ならば、④の両辺に(a^{1/(p-1)})^pを掛けた
(xa^{1/(p-1)})^p+(ya^{1/(p-1)})^p=(xa^{1/(p-1)}+(pa)^{1/(p-1)})^p…⑤となる。
⑤を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/07(木) 08:18:02.80

【定理】p=3のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】p=3,yは有理数とする。x^3+y^3=z^3…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^3+y^3=(x+r)^3…②となる。②を積の形に変形してrを求める。
②を(x/r)^3+(y/r)^3=(x/r+1)^3, (y/r)^3-1=3{(x/r)^(3-1)+…+x/r},
r^(3-1){(y/r)^3-1}=3{x^(3-1)+…+r^(3-2)x}…➂とする。
➂はr^(3-1)=3とすると、r=3^{1/(3-1)}となるので、②はx^3+y^3=(x+3^{1/(3-1)})^3…④
となる。
④はxを有理数とすると、zは無理数となる。よって、④,②,①は有理数解を持たない。
rが有理数ならば、④の両辺に(a^{1/(3-1)})^3を掛けた
(xa^{1/(3-1)})^3+(ya^{1/(3-1)})^3=(xa^{1/(3-1)}+(3a)^{1/(3-1)})^3…⑤となる。
⑤をxa^{1/(3-1)}=X, ya^{1/(3-1)}=Y, xa^{1/(3-1)}+(3a)^{1/(3-1)}=Zとおくと、
X:Y:Z=x:y:zとなる。
∴p=3のとき、x^p+y^p=z^pは、自然数解を持たない。

**１３２人目の素数さん** · 2019/11/07(木) 08:21:54.49

高木貞治さんがすでに証明してたの？

日高 · 2019/11/07(木) 08:23:59.55

【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2,yは有理数とする。x^2+y^2=z^2…①が、有理数解を持つかを検討する。
①をz=x+rとおくと、x^2+y^2=(x+r)^2…②となる。②を積の形に変形してrを求める。
②を(x/r)^2+(y/r)^2=(x/r+1)^2, (y/r)^2-1=2{(x/r)^(2-1)},
r^(2-1){(y/r)^2-1}=2{x^(2-1)}…➂とする。
➂はr^(2-1)=2とすると、r=2^{1/(2-1)}となるので、②はx^2+y^2=(x+2^{1/(2-1)})^2…④となる。
④はxを有理数とすると、zは有理数となる。よって、④,②,①は有理数解を持つ。
④の両辺に(a^{1/(2-1)})^2を掛けると、
(xa^{1/(2-1)})^2+(ya^{1/(2-1)})^2=(xa^{1/(2-1)}+(2a)^{1/(2-1)})^2…⑤となる。
⑤をxa^{1/(2-1)}=X, ya^{1/(2-1)}=Y, xa^{1/(2-1)}+(2a)^{1/(2-1)}=Zとおくと、
X:Y:Z=x:y:zとなる。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。

**１３２人目の素数さん** · 2019/11/07(木) 09:00:36.67

>>7

> 【定理】p=3のとき、x^p+y^p=z^pは、自然数解を持たない。
> 【証明】p=3,yは有理数とする。x^3+y^3=z^3…①が、有理数解を持つかを検討する。
この時点でx,zの定義が不明。
おかしなところが一つでもあれば、それ以降は全て間違いのでたらめ。
いいかげんにしろ、無視野郎。

> ①をz=x+rとおくと
何を主張したいのか、数学の文章として意味不明。
だから勉強しろっての。

**１３２人目の素数さん** · 2019/11/07(木) 09:07:27.40

> この時点でx,zの定義が不明。
　x は珍歩、z は満湖であるから、それ以下の証明はすべて正しい（笑）。
　珍歩、満湖はすべてを可能にするからである。
　ただし、数学の証明ではないだけwwwwwwwwwwwwww。

　ま、スレ主の頭の中には脳は存在しないのだから、何を言ってもダメだよ。
　反応しないのが一番なんだけどね。

日高 · 2019/11/07(木) 09:41:39.22

> ①をz=x+rとおくと
何を主張したいのか、数学の文章として意味不明。

xが有理数のとき、zが無理数となれば、有理数解は存在しないことに
なります。

**１３２人目の素数さん** · 2019/11/07(木) 12:39:08.78

>>12
説明なぞ知らん。
証明に書かれていることが間違いだから、勉強して直さない限り二度と他人に見せるな。

**１３２人目の素数さん** · 2019/11/07(木) 12:47:42.26

>>12
> ①をz=x+rとおくと
この11文字のどこにそんな内容があるのだ。この11文字が意味不明だっての。
勉強せずに投稿するな。

日高 · 2019/11/07(木) 13:06:29.15

> ①をz=x+rとおくと
この11文字のどこにそんな内容があるのだ。この11文字が意味不明だっての。

r=z-xなので、z,xが有理数ならば、rは有理数となります。

**１３２人目の素数さん** · 2019/11/07(木) 13:20:10.26

> r=z-xなので、z,xが有理数ならば、rは有理数となります。

であれば p=3のとき

　　③はr^(2-1)=2とすると

なんてできないだろ。r は無理数になってしまうんだから以後どんな屁理屈を
並べたところで何の意味もない。

　③はr^(2-1)=2とすると ⇔　r を無理数とすると

なのだから　　z=x+r　　という定義によりzかxの少なくともどちらか1つは必ず無理数となるので
　x^p+y^p=z^p
は成り立つ。

**１３２人目の素数さん** · 2019/11/07(木) 13:38:17.07

>>15
> ①をz=x+rとおくと
どんな説明を後から加えようと、この記述が意味不明なのは変わらない。
言い訳して、指摘を無視するな。

**１３２人目の素数さん** · 2019/11/08(金) 13:32:32.93

√(x^12+y^12+z^12-2*(x^6*y^6+x^6*z^6+y^6*z^6))=0
x^3=y^3±z^3

x^12+y^12+z^12=R^2
x^6*y^6+x^6*z^6+y^6*z^6=R^2/2
のグラフが格子点で交わらないこと証明する

x^6=R*sinθ*cosφ　y^6=R*sinθ*sinφ z^6=R*cosθ √(x^12+y^12)=R*sinθ

(sinθ)^2*cosφ*sinφ+cosθ*sinθ*sinφ+cosθ*sinθ*cosφ=1/2

(1-cos(2θ))*cosφ*sinφ+sin(2θ)*(sinφ+cosφ)=1

(1-cos(2θ))*1/2*sin(2φ)+sin(2θ)*√2*cos(φ+π/4)=1

(1/2*sin(2φ)-1)=1/2*sin(2φ)*cos(2θ)-√2*cos(φ+π/4)*sin(2θ)
(1/2*sin(2φ)-1)=√((1/2*sin(2φ))^2+2*cos(φ+π/4)^2)*cos(2θ+arctanΦ)

x=(R*sin((arccos((1/2*sin(2φ)-1)/√((1/2*sin(2φ))^2+2*cos(φ+π/4)^2))-arctan(2*√2*√2*cos(φ+π/4)/sin(2φ)))/2)*cosφ)^(1/6)
y=(R*sin((arccos((1/2*sin(2φ)-1)/√((1/2*sin(2φ))^2+2*cos(φ+π/4)^2))-arctan(2*√2*√2*cos(φ+π/4)/sin(2φ)))/2)*sinφ)^(1/6)
z=(R*cos((arccos((1/2*sin(2φ)-1)/√((1/2*sin(2φ))^2+2*cos(φ+π/4)^2))-arctan(2*√2*√2*cos(φ+π/4)/sin(2φ)))/2))^(1/6)

φとRを変化させx,y,zが同時に整数となる値は存在しない

日高 · 2019/11/08(金) 19:36:57.69

>p=3のとき
③はr^(2-1)=2とすると

p=3のときは、
r^(3-1)=3となります。

日高 · 2019/11/08(金) 19:41:19.39

すみません。

√(x^12+y^12+z^12-2*(x^6*y^6+x^6*z^6+y^6*z^6))=0
x^3=y^3±z^3
この式は、どんな意味でしょうか？　　何を求める式でしょうか？

**１３２人目の素数さん** · 2019/11/08(金) 19:46:47.35

> p=3のときは、
> r^(3-1)=3となります。
　　r^2 = 3.
　　r = ±√3
> r=z-xなので、z,xが有理数ならば、rは有理数となります。
　r は有理数と仮定したのだろうが。

日高 · 2019/11/08(金) 21:15:52.08

>r は有理数と仮定したのだろうが。

すみません。言われている事の意味がよくわかりませんので、詳しく説明していただけないでしょうか。

**１３２人目の素数さん** · 2019/11/08(金) 22:46:46.05

日本語がわからんのか？

日高 · 2019/11/09(土) 07:07:01.61

>日本語がわからんのか？

意味を詳しく説明していただけないでしょうか。

日高 · 2019/11/09(土) 08:24:17.50

【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数、x,yは有理数とする。x^p+y^p=z^p…①のzが、有理数となるかを検討する。
①を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…④
となる。
④はp^{1/(p-1)}が無理数なので、zは無理数となる。よって、④,②,①は有理数解を持たない。
rが有理数ならば、④の両辺に(a^{1/(p-1)})^pを掛けた
(xa^{1/(p-1)})^p+(ya^{1/(p-1)})^p=(xa^{1/(p-1)}+(pa)^{1/(p-1)})^p…⑤となる。
⑤を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/09(土) 08:36:33.72

【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数、x,yは有理数とする。x^p+y^p=z^p…①のzが、有理数となるかを検討する。
①を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…④
となる。
④はp^{1/(p-1)}が無理数なので、④,②,①のzは無理数となる。
rが有理数ならば、④の両辺に(a^{1/(p-1)})^pを掛けた
(xa^{1/(p-1)})^p+(ya^{1/(p-1)})^p=(xa^{1/(p-1)}+(pa)^{1/(p-1)})^p…⑤となる。
⑤を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/09(土) 09:32:09.16

　人類の数学の証明においては、変数を表す文字は、それを提示したときに何を表しているか
はっきり示さねばならない。

> 【証明】pは奇素数、x,yは有理数とする。x^p+y^p=z^p…①のzが、有理数となるかを検討する。
> ①をz=x+rとおくと、x^p+y^p=(x+r)^p…②となる。②を積の形に変形してrを求める。

　z は有理数になる可能性があるらしいが、珍歩や満湖になる可能性も否定できないので、
z=x+r なる r も不明。
　よってそれ以降の文字の羅列は、人類にとっては無価値なので、犬か猫に相談した方がよい。

日高 · 2019/11/09(土) 10:07:42.91

>z=x+r なる r も不明。

よって、rを求めます。

**１３２人目の素数さん** · 2019/11/09(土) 10:49:33.81

>>25
> ①をz=x+rとおくと、
意味不明。これ以降全て間違い。
同時にrの定義も不明。

**１３２人目の素数さん** · 2019/11/09(土) 10:51:07.43

>>28
> よって、rを求めます。
未定義なものを求めることは不可能。
マジで勉強しろ。

**１３２人目の素数さん** · 2019/11/09(土) 10:57:13.93

>>26
あ、zも不明。
同じ指摘をされるような投稿はするな。
反省しろ。

日高 · 2019/11/09(土) 11:32:11.72

> ①をz=x+rとおくと、
意味不明。これ以降全て間違い。

何故意味不明なのかを、詳しく説明していただけないでしょうか。

**１３２人目の素数さん** · 2019/11/09(土) 11:51:45.98

ｚもｒも何なのかきちんと定義されていないからだ。

　　珍歩=x+満湖

といっしょのこと。有理数xと満湖を足すことができるのかwwwwwwwww。

**１３２人目の素数さん** · 2019/11/09(土) 11:52:46.49

>>32

> > ①をz=x+rとおくと、
> 意味不明。これ以降全て間違い。
>
> 何故意味不明なのかを、詳しく説明していただけないでしょうか。
これがどういう意味を持つのか、具体的な本で使用例をあげてくれ。

日高 · 2019/11/09(土) 12:41:23.87

>具体的な本で使用例をあげてくれ。

本には、書いてありませんが、z=x+rと置くことは、可能です。

**１３２人目の素数さん** · 2019/11/09(土) 14:18:24.66

定義している x と未定義のｙ、r をどうして

　z = x + r

と置くことは、可能であると断定できるのだ？

**１３２人目の素数さん** · 2019/11/09(土) 15:29:51.60

>>35
> 本には、書いてありませんが、z=x+rと置くことは、可能です。
は？丸１はどこへ行った？
別のコメントにあるように、何で可能なんだ？勉強せずに言い訳するな。

日高 · 2019/11/09(土) 16:17:21.95

>定義している x と未定義のｙ、r をどうして

　z = x + r

と置くことは、可能であると断定できるのだ？

zが有理数ならば、rは有理数、
zが無理数ならば、rは無理数となります。

日高 · 2019/11/09(土) 16:19:08.34

>は？丸１はどこへ行った？

どういう意味でしょうか？

日高 · 2019/11/09(土) 16:31:51.23

【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数,yは有理数とする。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…④
となる。
④はxを有理数とすると、zは無理数となる。よって、④,②,①は有理数解を持たない。
rが有理数ならば、④の両辺に(a^{1/(p-1)})^pを掛けた
(xa^{1/(p-1)})^p+(ya^{1/(p-1)})^p=(xa^{1/(p-1)}+(pa)^{1/(p-1)})^p…⑤となる。
⑤を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/09(土) 16:37:35.27

x, z, rを定義すると都合が悪いから、
未定義でいきたいんだね。

**１３２人目の素数さん** · 2019/11/09(土) 16:57:01.61

>>40
指摘無視
0点

日高 · 2019/11/09(土) 17:32:56.68

>x, z, rを定義すると都合が悪いから、
未定義でいきたいんだね。

x, z, rは、場合分けする必要があります。

日高 · 2019/11/09(土) 17:37:09.16

>指摘無視

どういう指摘でしょうか？

**１３２人目の素数さん** · 2019/11/09(土) 18:44:28.73

日高は奇数の完全数スレの奇数芸人高木を知らんのかな

姉妹スレなのにね

**１３２人目の素数さん** · 2019/11/09(土) 19:00:43.34

>>44
一つでも無視すれば、無視だ。
説明すべきはおまえであって俺じゃない。
すべてのコメントに答えて納得してもらったのか？

**１３２人目の素数さん** · 2019/11/09(土) 19:02:31.32

>>44
疑問で返すな。

では、どの指摘に従ってどの部分をどう変更して証明とやらを書いたんだ？

**１３２人目の素数さん** · 2019/11/09(土) 21:24:54.65

高木、安達、日高は数学板のスターだ

日高 · 2019/11/10(日) 08:52:26.28

>すべてのコメントに答えて納得してもらったのか？

どの部分納得できないのか、詳しく教えていただけないでしょうか。

日高 · 2019/11/10(日) 08:56:34.07

>では、どの指摘に従ってどの部分をどう変更して証明とやらを書いたんだ？

「どの指摘」かを具体的に詳しく教えていただけないでしょうか。

日高 · 2019/11/10(日) 09:05:00.72

【定理】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…④
となる。
④はxを有理数とすると、zは無理数となる。よって、④,②,①は有理数解を持たない。
rが有理数ならば、④の両辺に(a^{1/(p-1)})^pを掛けた
(xa^{1/(p-1)})^p+(ya^{1/(p-1)})^p=(xa^{1/(p-1)}+(pa)^{1/(p-1)})^p…⑤となる。
⑤を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/10(日) 13:54:14.69

>>50

> >では、どの指摘に従ってどの部分をどう変更して証明とやらを書いたんだ？
>
> 「どの指摘」かを具体的に詳しく教えていただけないでしょうか。
お前がどの指摘に従って変更したかなんてお前にしかわからないだろが。
ボケ老人ですか？

**１３２人目の素数さん** · 2019/11/10(日) 13:55:28.10

>>51
未定義な文字が出現。デタラメ。

日高 · 2019/11/10(日) 14:01:23.42

X:Y:Z=x:y:zとなる例
X=1,Y=2,Z=9^(1/3)
1^3+2^3={9^(1/3)}^3
変形して
1^3+2^3={1+9^(1/3)-1}^3
9^(1/3)-1=(pa)^{1/(p-1)}=(3a)^(1/2)=3^(1/2)*a^(1/2)
a^(1/2)={9^(1/3)-1}/3^(1/2)=A
1^3+2^3={9^(1/3)}^3の両辺をA^3で割ると
(1/A)^3+(2/A)^3={9^(1/3)/A}^3となる。
1/A=x,2/A=y,9^(1/3)/A=zとなるので
X:Y:Z=x:y:zとなる。

**１３２人目の素数さん** · 2019/11/10(日) 14:06:26.59

>>51の文字列では x、y、z、r は未定義なのだから
数学の証明としてはデタラメである。

**１３２人目の素数さん** · 2019/11/10(日) 14:56:59.57

>>54
あとから説明を付け加えようが、証明がデタラメなのは変わらない。

日高 · 2019/11/10(日) 15:52:02.18

>x、y、z、r は未定義なのだから

x,y,z,rは、
x^p+y^p=z^p, z=x+r, r=p^{1/(p-1)}この３つの式で定義されます。

**１３２人目の素数さん** · 2019/11/10(日) 17:34:26.37

>>57
定義されません。思い込み禁止。

定義されるというなら根拠の本なりを挙げろ。

**１３２人目の素数さん** · 2019/11/10(日) 18:55:19.64

>>57
> x、y、z、r は未定義なのだから
>
> x,y,z,rは、
> x^p+y^p=z^p, z=x+r, r=p^{1/(p-1)}この３つの式で定義されます。

r=p^{1/(p-1) ということは、rは定数ですか？
めちゃくちゃだな。

**１３２人目の素数さん** · 2019/11/10(日) 19:27:48.78

歴史に残る日高語録

　小学校から大学教養レベルあたりまでの数学で、「数」とは

　自然数、整数、実数（有理数、無理数）、複素数

であるが 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となりません。

と漫才のような珍答を与えている。

日高 · 2019/11/10(日) 20:38:46.85

　>定義されません。

理由を教えて下さい。

日高 · 2019/11/10(日) 20:52:07.73

>r=p^{1/(p-1) ということは、rは定数ですか？
めちゃくちゃだな。

pを定数とすると、rは、定数となります。

**１３２人目の素数さん** · 2019/11/10(日) 20:53:44.88

> x^p+y^p=z^p, z=x+r, r=p^{1/(p-1)}この３つの式で定義されます。

　pが奇素数は仮定されているが、それだけでx,y,z,rが上記の式だけで何かが導かれるのか？

日高 · 2019/11/10(日) 20:56:37.47

>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

正解を教えて下さい。

日高 · 2019/11/10(日) 21:01:00.64

> x^p+y^p=z^p, z=x+r, r=p^{1/(p-1)}この３つの式で定義されます。

　pが奇素数は仮定されているが、それだけでx,y,z,rが上記の式だけで何かが導かれるのか？

rが無理数となるので、xを有理数とすると、zは、無理数となります。

日高 · 2019/11/10(日) 21:07:10.85

>定義されません。思い込み禁止。

定義されるというなら根拠の本なりを挙げろ。

x,y,z,rは、x,y,z,rの関係式によって、定義されます。
x,y,z,r実数です。

**１３２人目の素数さん** · 2019/11/10(日) 21:28:25.29

>>62
> r=p^{1/(p-1) ということは、rは定数ですか？
> めちゃくちゃだな。
>
> pを定数とすると、rは、定数となります。

rが p^{1/(p-1) 以外の値になる可能性は考えないのですか？

**１３２人目の素数さん** · 2019/11/10(日) 23:30:44.63

>>48
＞高木、安達、日高は数学板のスターだ

さらに安達なんて同類もいたのか

**１３２人目の素数さん** · 2019/11/10(日) 23:54:26.41

>>66
定義されねーよ。
定義されるというなら根拠の本なりを挙げろ。
無視するな。

**１３２人目の素数さん** · 2019/11/11(月) 00:22:27.80

記号の定義とか言葉遣いとか言い回しがめちゃくちゃだから論理もめちゃくちゃになっていて、ありもしないことを思いこんでいるのだから、一から全てを直さなければデタラメはデタラメのまま。

デタラメを直す気が無いなら掲示板とかメールとかやめて独りで引きこもってろよ。

日高 · 2019/11/11(月) 07:13:03.20

>rが p^{1/(p-1) 以外の値になる可能性は考えないのですか？

rが p^{1/(p-1) 以外の値になる場合は、r=(pa)^{1/(p-1)}となります。

この場合のaは、実数ですが、rが有理数の場合のみを考えれば良いので、
この場合のaは、有理数となります。

日高 · 2019/11/11(月) 07:16:01.46

>定義されるというなら根拠の本なりを挙げろ。

本に書いて無い場合は、駄目なのでしょうか？

日高 · 2019/11/11(月) 07:20:00.16

>rが p^{1/(p-1) 以外の値になる可能性は考えないのですか？

rが p^{1/(p-1) 以外の値になる場合は、r=(pa)^{1/(p-1)}となります。

**１３２人目の素数さん** · 2019/11/11(月) 08:10:12.01

>>73
>rが p^{1/(p-1) 以外の値になる可能性
rが p^{1/(p-1) 以外の値になる場合は、r=(pa)^{1/(p-1)}となります。

57で
> x,y,z,rは、
> x^p+y^p=z^p, z=x+r, r=p^{1/(p-1)}この３つの式で定義されます。

と書いてあるのと矛盾するけど、rの本当の定義は何ですか?
aも定義がなく意味不明。

日高 · 2019/11/11(月) 08:40:11.88

>rの本当の定義は何ですか?
aも定義がなく意味不明。

rの本当の定義は、r=(pa)^{1/(p-1)}です。
a=1のとき、r=p^{1/(p-1)}となります。
r=(pa)^{1/(p-1)}は、r=p^{1/(p-1)}に帰着します。(x,y,zの比が同じ）
r^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}1/aと、
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}は、
a*(1/a)=1なので、同じです。（同値）となります。
aが任意でも、同値となります。

**１３２人目の素数さん** · 2019/11/11(月) 09:56:02.99

>>72
> 本に書いて無い場合は、駄目なのでしょうか？
駄目だね。
自己流のデタラメなのを本人が努力しても無駄だし。

**１３２人目の素数さん** · 2019/11/11(月) 10:25:10.29

┌日┐
｜※｜　毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜　よって人生経験はそれなりにあるんですが・・・・・
｜の｜
｜本｜　数学力、国語力は小学生レベルも怪しいです(´・ω・｀)
｜は｜
｜読｜　でも、下半身は人格がないくらい元気ですので(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
｜ん｜
｜で｜　あのフェルマーの最終定理を証明できたんです！(｀⌒´)エｯﾍﾝ！(｀^´)
｜ま｜
｜せ｜　下半身力で達成した証明ですから、常人には理解不可能です。
｜ん｜
｜！｜　よってレスは一切無用に願います＜(_ _)＞。
└高┘

日高 · 2019/11/11(月) 11:46:44.48

>駄目だね。

理由を教えて下さい。

**１３２人目の素数さん** · 2019/11/11(月) 12:26:47.81

>>78
> 理由を教えて下さい。
本人が努力しなければどうにもならない上、教わる気がないのに、何で教えなきゃいけないの？
何をどう教えて欲しいのか、400字以上600字以内でわかりやすく要求をまとめたら考えますね。

日高 · 2019/11/11(月) 12:58:39.23

> 理由を教えて下さい。
本人が努力しなければどうにもならない上、教わる気がないのに、何で教えなきゃいけないの？
何をどう教えて欲しいのか、400字以上600字以内でわかりやすく要求をまとめたら考えますね。

駄目な理由を聞いています。
簡単に言えないことなのでしょうか？

**１３２人目の素数さん** · 2019/11/11(月) 13:06:39.20

＿＿　＿＿＿／　　　　　　　　　　　　,／ヽ
　　 ∨　　　　　　　　　　↓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となると本気で思っています。
￣￣￣￣￣￣￣￣￣￣￣￣￣|　　　　　　　　　　　　　　　　ヽ＜・フェルマーの最終定理─＜
＼／⌒＼／⌒＼／⌒＼／⌒＼|彡~ﾟ　゜~ ~。゜　~ ~　~ ~~　~ ~~　~ ~~　~~　~~
／⌒＼／⌒＼／⌒＼／⌒＼／⌒＼彡　～　～～　～～　～～　～　～
＼／⌒＼／⌒＼／⌒＼／⌒＼|彡~ﾟ　゜~ ~。゜　~ ~　~ ~~　~ ~~　~ ~~　~~　~~
／⌒＼／⌒＼／⌒＼／⌒＼／⌒＼彡　～　～～　～～　～～　～　～
　レスは餌になるので一切無用に願います＜(_ _)＞。

**１３２人目の素数さん** · 2019/11/11(月) 17:32:17.25

>>80
理由書いてあるじゃん。
それ以上知りたいなら何が知りたいのか説明しろよ。

日高 · 2019/11/11(月) 19:59:05.42

>理由書いてあるじゃん。
それ以上知りたいなら何が知りたいのか説明しろよ。

具体的に教えて下さい。

日高 · 2019/11/11(月) 20:19:16.53

【定理】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は、自然数解を持たない。

**１３２人目の素数さん** · 2019/11/11(月) 20:20:34.61

>>83
> 具体的に教えて下さい。
書いてある以上の具体的がなにを指すのかわからん。
400字以上で分かりやすく丁寧に説明してくれ。

**１３２人目の素数さん** · 2019/11/11(月) 20:21:23.86

>>84
未定義の文字が出現。0点。

日高 · 2019/11/11(月) 20:31:44.81

>なにを指すのかわからん。

すみません。私もわかりません。

日高 · 2019/11/11(月) 20:36:38.52

>未定義の文字が出現。0点。

「未定義の文字が出現」
なにかを教えて下さい。

**１３２人目の素数さん** · 2019/11/11(月) 20:36:42.22

>>84
┌日┐
｜※｜　毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜　よって人生経験はそれなりにあるんですが・・・・・
｜の｜
｜本｜　数学力、国語力は小学生レベルも怪しいです(´・ω・｀)
｜は｜
｜読｜　でも、下半身は人格がないくらい元気ですので(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
｜ん｜
｜で｜　あのフェルマーの最終定理を証明できたんです！(｀⌒´)エｯﾍﾝ！(｀^´)
｜ま｜
｜せ｜　下半身力で達成した証明ですから、常人には理解不可能です。
｜ん｜
｜！｜　よってレスは一切無用に願います＜(_ _)＞。
└高┘

日高 · 2019/11/11(月) 21:07:17.27

>毎日毎日、暇を持て余している爺さんです。(´・ω・｀)

よろしくお願いします。

**１３２人目の素数さん** · 2019/11/11(月) 23:09:28.02

>>87
文字数不足。

日高 · 2019/11/12(火) 07:55:09.87

>文字数不足。

すみません。どの部分のことでしょうか？

日高 · 2019/11/12(火) 08:25:52.43

【定理】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は、自然数解を持たない。

**１３２人目の素数さん** · 2019/11/12(火) 08:31:39.90

>>93
過去と同じ間違い。
つまり指摘無視、0点。

**１３２人目の素数さん** · 2019/11/12(火) 08:32:34.04

>>92
> すみません。どの部分のことでしょうか？
過去のコメントを全てまともに読み返せ。

日高 · 2019/11/12(火) 08:55:36.47

>過去と同じ間違い。

どの部分でしょうか？

日高 · 2019/11/12(火) 08:58:09.70

>過去のコメントを全てまともに読み返せ。

すみません。具体的に教えて下さい。

**１３２人目の素数さん** · 2019/11/12(火) 10:55:23.17

>>93
┌日┐
｜※｜　毎日毎日、暇を持て余している爺さんです。(´・ω・｀)
｜数｜
｜学｜　よって人生経験はそれなりにあるんですが・・・・・
｜の｜
｜本｜　数学力、国語力は小学生レベルも怪しいです(´・ω・｀)
｜は｜
｜読｜　でも、下半身は人格がないくらい元気ですので(｀^´) ﾄﾞﾔｯ,ﾄﾞﾔｯ!
｜ん｜
｜で｜　あのフェルマーの最終定理を証明できたんです！(｀⌒´)エｯﾍﾝ！(｀^´)
｜ま｜
｜せ｜　下半身力で達成した証明ですから、常人には理解不可能です。
｜ん｜
｜！｜　よってレスは一切無用に願います＜(_ _)＞。
└高┘

**１３２人目の素数さん** · 2019/11/12(火) 10:56:30.21

***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****

　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となりません。

と漫才のような珍答を与えている。

**１３２人目の素数さん** · 2019/11/12(火) 11:01:37.85

　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。

日高 · 2019/11/12(火) 11:04:38.57

>毎日毎日、暇を持て余している爺さんです。(´・ω・｀)

よろしくお願いします。

日高 · 2019/11/12(火) 11:06:58.77

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

これは、間違いでしょうか？

日高 · 2019/11/12(火) 11:09:26.38

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

この問題の意味が分かる方が、おられましたら、教えて下さい。

**１３２人目の素数さん** · 2019/11/12(火) 11:10:26.59

間違い

**１３２人目の素数さん** · 2019/11/12(火) 11:11:18.06

問題の意味が分からないのはお前だけだろ

日高 · 2019/11/12(火) 11:12:36.21

>sin(π/2) = 0, sin(π/3) = 0となりません。
　sin(π/2) = 1となりますが、 cos(π/3) = 1となりません。

間違いでしょうか？
分かるかたは、教えて下さい。

**１３２人目の素数さん** · 2019/11/12(火) 11:13:16.56

間違い

日高 · 2019/11/12(火) 11:14:42.26

>レスは餌になるので一切無用に願います

レスは餌にはなりません。

日高 · 2019/11/12(火) 11:16:36.67

【定理】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は、自然数解を持たない。

**１３２人目の素数さん** · 2019/11/12(火) 11:18:30.04

理解できないことは無視して、何度も同じことを書き込めば正しいことになるとでも思ってるのかな。

日高 · 2019/11/12(火) 11:30:49.08

>理解できないことは無視して、何度も同じことを書き込めば正しいことになるとでも思ってるのかな。

違います。
何度も同じことを書き込むのは、見やすくするためです。

**１３２人目の素数さん** · 2019/11/12(火) 11:31:51.82

別に見やすくないよ

日高 · 2019/11/12(火) 11:45:07.83

>別に見やすくないよ

最初の画面の表示から隠れるからです。

**１３２人目の素数さん** · 2019/11/12(火) 11:46:48.20

間違いだらけの内容が正しくなるわけではないし、無駄だけどね。

日高 · 2019/11/12(火) 11:53:12.01

>間違いだらけの内容

具体的に教えて下さい。

**１３２人目の素数さん** · 2019/11/12(火) 11:56:40.33

場合分けして、他方の式を使ってるところとか。

日高 · 2019/11/12(火) 12:15:07.36

>場合分けして、他方の式を使ってるところとか。

具体的に箇所を指摘していただけないでしょうか。

**１３２人目の素数さん** · 2019/11/12(火) 12:16:19.86

どこが具体的じゃない？

**１３２人目の素数さん** · 2019/11/12(火) 12:51:14.98

>>109
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。
　レスは餌になるので一切無用に願います＜(_ _)＞。

**１３２人目の素数さん** · 2019/11/12(火) 13:02:05.62

>>119
数学者にメール送りまくったり、別の掲示板に書き込むより、ここは迷惑にならないと思うが。

**１３２人目の素数さん** · 2019/11/12(火) 13:03:58.74

>>97
具体的に書かれていたのにスルーしたんでしょ。全部読み直せって。間違いは一つじゃないし。

**１３２人目の素数さん** · 2019/11/12(火) 13:05:28.64

バカを閉じ込めて置くにはここがベストだろ。暇なやつが暇なときに相手すればいいんだし。レスもどんどんすればいい。

日高 · 2019/11/12(火) 13:38:49.07

>どこが具体的じゃない？

具体的に箇所を指摘していただけないでしょうか。

日高 · 2019/11/12(火) 13:40:45.52

>どこが具体的じゃない？

間違いの箇所を指摘していないからです。

日高 · 2019/11/12(火) 13:42:24.26

>ここは迷惑にならないと思うが。

そうみたいですね。

日高 · 2019/11/12(火) 13:44:04.42

>レスは餌になるので一切無用に願います＜(_ _)＞。

レスは餌にはならないと思います。

日高 · 2019/11/12(火) 13:46:07.78

>間違いは一つじゃないし

１つでいいので、間違い箇所を指摘いただけないでしょうか。

**１３２人目の素数さん** · 2019/11/12(火) 13:46:23.81

> r^(p-1)=pとする

場合と、

> r^(p-1)=p以外の場合

に場合分けしてるんだろ？
この場合分け自体はOK。

まぁ普通に
Case A) r^(p-1)=p の場合 ...
Case B) r^(p-1)≠p の場合 ...
という書き方にしたほうが分かりやすくていいけどな。

っで、数学では場合分けした場合は、Case AとCase Bは独立に扱わないといけない。
実際2つのcaseは独立だし。

なのにお前はCase Bの証明で、Case Aに登場している式(4)を持ち出している。
これが間違い。

他にも定義なしでaがいきなり登場している箇所とか、間違いを指摘しはじめるとキリがないけど。

どうせいきなり全部いってもお前理解できないだろ？バカだから。
まぁ場合分けの基本に絞ってしっかり勉強しな。

日高 · 2019/11/12(火) 13:47:21.79

>レスもどんどんすればいい。

よろしくお願いします。

日高 · 2019/11/12(火) 14:06:37.94

>Case AとCase Bは独立に扱わないといけない。
>aがいきなり登場している

書き方が悪いのは、ご指摘の通りですが、
内容に間違いはないでしょうか？

日高 · 2019/11/12(火) 14:08:11.68

【定理】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は、自然数解を持たない。

**１３２人目の素数さん** · 2019/11/12(火) 14:08:56.00

いや内容も間違いだらけに決まってんだろ。ちゃんと指摘を読めよ。

まぁ指摘を読む能力がないからこんな悲惨なことになってるんだろうが・・・

> なのにお前はCase Bの証明で、Case Aに登場している式(4)を持ち出している。
これが間違い。

と書いただろ？
見えないか？
それとも都合が悪いから無視か？

日高 · 2019/11/12(火) 14:15:48.60

>Case Bの証明で、Case Aに登場している式(4)を持ち出している。

このどの部分が間違いとなるのでしょうか？

**１３２人目の素数さん** · 2019/11/12(火) 14:31:03.22

何度も書くが、Case BとCase Aは独立なので、
* Case Aで書いたことはCase Aの中でのみ有効。
* なのでCase B中でCase A中の式は使えない。（正確に言えば、使おうとするとCase Aのときの証明とは独立に定義・証明が必要）
ということ。

**１３２人目の素数さん** · 2019/11/12(火) 14:38:06.10

あとお前の文章はそもそも無駄なことが多く書いてあり、かつ整理もされておらず非常に読みにくい

少しでもマシになるように整形してやるから以下の指摘を取り入れろ。

【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】
pは奇素数とする。 <-- 不要。定理中に書いてるだろ。
x^p+y^p=z^p…①が、有理数解を持つかを検討する。 <-- 不要。定理の証明なのだからこんなこと当たり前。

あと○囲み数字は機種依存だから使うな。 .. (1) のように括弧で囲んだ数字を使え。

①をz=x+rとおくと、 <-- おいたのはrなのだから「r=z-xとおくと」が正しい。zをおいたのではない。
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の場合..」や、「Case A) 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以外の場合は、 <-- これも「Case B) ...」と修正。
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は、自然数解を持たない。

以上を取り入れたバージョンを次のレスで書いてやる。

**１３２人目の素数さん** · 2019/11/12(火) 14:43:59.60

【定理】pが奇素数のとき、x^p+y^p = z^p は、自然数解を持たない。

【証明】
r = z - xとおくと、x^p+y^p=(x+r)^p .. (2)となる。
これは r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x} .. (3) と変形できる。

Case A: r^(p-1) = pのとき
式(2)はx^p+y^p=(x+p^{1/(p-1)})^p .. (4) となる。
(3)の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a) .. (5)となる。
a(1/a)=1となる。

Case B: r^(p-1) = pでないとき
r^(p-1)=paとなるので、式(2)はx^p+y^p=(x+(ap)^{1/(p-1)})^p .. (6)となる。
式(6)をX^p+Y^p=(X+(pa)^{1/(p-1)})^pとおくと、式(6)は式(4)の定数倍となるので、X:Y:Z=x:y:zとなる。
式(4)はxを有理数とすると、zは無理数となる。
よって、式(6),(4),(2)は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

**１３２人目の素数さん** · 2019/11/12(火) 14:45:21.29

もちろん、これも内容は正しくないのだが　まずはこれを出発点にしろ。

お前の文章は読みにくすぎて、お前自信を混乱させてるからな。
もちろん式番号は一つずらしてもいいぞ。式(1)がなくなったからな。

**１３２人目の素数さん** · 2019/11/12(火) 16:58:07.22

>>136
　変数となる文字にきちんと定義する習慣をつけるため

>【定理】pが奇素数のとき、x^p+y^p = z^p は、自然数解を持たない。
は

【定理】pが奇素数のとき、x^p+y^p = z^p となる自然数の組 (x,y,z) は存在しない。

とした方がいいと思う。

　また
> r = z - xとおくと、x^p+y^p=(x+r)^p .. (2)となる。
> これは r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x} .. (3) と変形できる。
については(2)から(3)に変形する過程を丁寧に示した方がいい。

日高 · 2019/11/12(火) 17:24:33.02

>これも内容は正しくないのだが

内容の間違いの箇所を指摘していただけないでしょうか。お願いします。　

日高 · 2019/11/12(火) 17:37:05.47

>【定理】pが奇素数のとき、x^p+y^p = z^p となる自然数の組 (x,y,z) は存在しない。

ご指摘ありがとうございます。ご指摘通りと思います。

> これは r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x} .. (3) と変形できる。
については(2)から(3)に変形する過程を丁寧に示した方がいい。

ご指摘通りと思います。

ただ、もう少し今のままの形を続けさせて下さい。

ご指摘を無視するわけでは、ありません。

内容について、間違いの箇所をご指摘いただけないでしょうか。

**１３２人目の素数さん** · 2019/11/12(火) 20:17:51.88

>>140
黙って過去ログ毎日10回くらい読めよ。
あと、記述がおかしいのは、それだけで中身が全て間違いと同じことだ。
だからこそ、一つ一つの指摘に最後まで対応するべき。
最後まで対応してない態度が悪い。

日高 · 2019/11/12(火) 20:50:07.77

>記述がおかしいのは、それだけで中身が全て間違いと同じことだ。

記述がおかしければ、中身が全て間違いということは、言えないと思います。

日高 · 2019/11/12(火) 20:55:36.85

【証明】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は、自然数解を持たない。

**１３２人目の素数さん** · 2019/11/12(火) 21:02:19.13

>>142
言えますね。数学を甘くみるな。

**１３２人目の素数さん** · 2019/11/12(火) 21:05:26.27

>>142
一般論だが、間違いを直せることはあっても、間違いは間違い。

**１３２人目の素数さん** · 2019/11/12(火) 21:09:22.36

>>143
記述がデタラメ。証明になってない。
つまり、文法が滅茶苦茶で否定も肯定も区別が付かないような状態なので、内容もくそもない。

日高 · 2019/11/12(火) 21:20:49.00

>言えますね。数学を甘くみるな。

具体的に教えて下さい。

日高 · 2019/11/12(火) 21:26:01.34

>一般論だが、間違いを直せることはあっても、間違いは間違い。

間違いを具体的に直して頂けないでしょうか。

日高 · 2019/11/12(火) 21:29:06.79

>記述がデタラメ。

記述は、デタラメだと思いますが、

内容の間違いの箇所を指摘していただけないでしょうか。

**１３２人目の素数さん** · 2019/11/12(火) 21:49:43.15

>>149
132,134は無視か。
理解できないから無かったことにしたいのか。

日高 · 2019/11/12(火) 22:21:13.50

>なのにお前はCase Bの証明で、Case Aに登場している式(4)を持ち出している。
これが間違い。

何故、間違いかを、理由を具体的に教えて下さい。

**１３２人目の素数さん** · 2019/11/12(火) 22:27:52.05

数学の証明において、記述がおかしければ、すなわち中身も間違い。
具体的な事実じゃないか。

なんでもかんでも具体的にと言えば良いと思っているのか？

そして、中身が間違いで正しく出来る気配がみじんもないのに、どうして直せるの？

記述がデタラメで内容が数学的にも意味不明だから、内容を確定させるためには、記述を正しくすることが絶対に必要なのに、
それを拒否するというのは、数学の証明をする資格なし。

最後に、なんで都合の悪いものを全て無視して放置するの？

傲慢で最悪だよね。

**１３２人目の素数さん** · 2019/11/13(水) 06:40:02.93

（ある程度）正しい記述に修正した
>> 136
を使わない理由は？

記述が正しくないと内容は伝わらないんだから、
「記述は間違ってるけど、私が伝えたい内容をなんとか理解して、その内容に間違いがあれば指摘してください」
なんて馬鹿なことを言っていると理解できない？

もしくは記述を正しく修正することで自分の間違いが明らかになることが怖くてできないの？

より正しい記述である >> 136 を受け入れられない理由は何？

**１３２人目の素数さん** · 2019/11/13(水) 06:47:17.46

>> 151
Case AとCase Bは独立なんだから、Case Aで登場した式(4)をCase Bで証明なしで登場させても無意味だよね。

困ったら「具体的に間違いを指摘してください」を繰り替えしてるけど、それで何かをディフェンスできると思ってるの？
それに具体的に間違いを指摘してほしければ、全体を数学的に正しい記述にしてからお願いしなよ。
全体が数学の文章になってない今の段階では論外。

正しい記述方法を具体的に書いてまであげてるのに・・・

日高 · 2019/11/13(水) 07:40:05.51

>最後に、なんで都合の悪いものを全て無視して放置するの？

傲慢で最悪だよね。

ご指摘通りに、記述を変えた場合、どの内容のどの部分が変わるのか、指摘して、
いただけないでしょうか。

**１３２人目の素数さん** · 2019/11/13(水) 07:44:53.50

最初から最後まで全て間違ってる
どう変えても正しくならないよ

日高 · 2019/11/13(水) 07:45:49.57

>136 を受け入れられない理由は何？

内容が、変わっていないからです。

日高 · 2019/11/13(水) 07:49:49.65

>正しい記述方法を具体的に書いてまであげてるのに・・・

記述方法は、正しいと思いますが、内容の違いは、ないと思います。

日高 · 2019/11/13(水) 07:51:58.38

>最初から最後まで全て間違ってる

最初の間違いの箇所を、教えて下さい。

日高 · 2019/11/13(水) 08:03:11.76

【定理】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のa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

**１３２人目の素数さん** · 2019/11/13(水) 08:44:42.01

>>160
aの定義がないのがひどいが、それを取りあえずおいといても、

> ④はxを有理数とすると、zは無理数となる。よって、⑥,④,②,①は有理数解を持たない。

ここは明らかな間違いで、④が有理数解を持たなくても、その定数倍の⑥が有理数解を持たないとは言えない。
X:Y:Z=x:y:z　が成り立っても、X,Y,Zが有理数、x,y,zが無理数になることはありうる。
これも何度も言われてることだ。

勘違いされないように言っておくが、間違いはこれだけじゃないからな。

**１３２人目の素数さん** · 2019/11/13(水) 08:53:33.75

>>160
　爺さんは自慰でもやっとれ（笑）。

**１３２人目の素数さん** · 2019/11/13(水) 09:15:33.61

勉強もせずに自分勝手な意見を押しつけるな。
記述がデタラメなので意味不明。

**１３２人目の素数さん** · 2019/11/13(水) 09:23:38.36

数学の証明において、記述がおかしければ、すなわち中身も間違い。具体的な事実じゃないか。

と書いた。何故無視するの？

なんでもかんでも具体的にと言えば良いと思っているのか？

と書いた。何故無視するの？

そして、中身が間違いで正しく出来る気配がみじんもないのに、どうして直せるの？

と書いた。何故無視するの？

記述がデタラメで内容が数学的にも意味不明だから、内容を確定させるためには、記述を正しくすることが絶対に必要なのに、それを拒否するというのは、数学の証明をする資格なし。

と書いた。何故無視するの？

最後に、なんで都合の悪いものを全て無視して放置するの？
傲慢で最悪だよね。

日高 · 2019/11/13(水) 10:05:48.75

>aの定義がないのがひどいが、

a=(r/p^{1/(p-1)})^(p-1)となります。

>X,Y,Zが有理数、x,y,zが無理数になることはありうる。

x,y,zが無理数で、整数比となる場合は、共通の無理数で割ると、
x,y,zは、有理数となります。

日高 · 2019/11/13(水) 10:09:19.60

>記述がデタラメなので意味不明。

意味不明箇所を指摘して下さい。

**１３２人目の素数さん** · 2019/11/13(水) 10:10:59.85

>>166
過去複数回指摘したのに無視＆ごまかしばかり。
過去ログ読めよ。

日高 · 2019/11/13(水) 10:14:04.28

>なんでもかんでも具体的にと言えば良いと思っているのか？

具体的に言えば、はっきりします。

日高 · 2019/11/13(水) 10:17:01.91

>過去複数回指摘したのに無視＆ごまかしばかり。
過去ログ読めよ。

無視＆ごまかし箇所を、指摘して下さい。

**１３２人目の素数さん** · 2019/11/13(水) 10:19:28.11

>>168
具体的なものにも具体的にって要求してるじゃないか。
馬鹿なの？

**１３２人目の素数さん** · 2019/11/13(水) 10:20:53.74

>>169
「全て」読むのが「必要」だって言ってるの。一カ所二カ所じゃないの。
全部なの。具体的じゃん。

**１３２人目の素数さん** · 2019/11/13(水) 10:23:49.73

>>165
意味不明すぎて何が言いたいのか全くわからない。
x.y.zは無理数なのか有理数なのか?
共通の無理数で割ったら有理数になるということに何か意味があるのか?

日高 · 2019/11/13(水) 10:24:29.99

【定理】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は、自然数解を持たない。

**１３２人目の素数さん** · 2019/11/13(水) 10:25:43.40

>>173
デタラメ＆過去の指摘無視。

日高 · 2019/11/13(水) 10:27:20.91

>具体的なものにも具体的にって要求してるじゃないか。

間違いの箇所を指摘してください。

日高 · 2019/11/13(水) 10:30:35.01

>「全て」読むのが「必要」だって言ってるの。一カ所二カ所じゃないの。

間違い「箇所」を指摘して下さい。

**１３２人目の素数さん** · 2019/11/13(水) 10:37:00.98

>>173
***** このスレを初めてご覧になる方へ（歴史に残る日高語録）*****

　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となりません。

と漫才のような珍答を与えている。

日高 · 2019/11/13(水) 10:37:45.96

>x.y.zは無理数なのか有理数なのか?

どこの箇所の、x,y,zでしょうか？

共通の無理数で割ったら有理数になるということに何か意味があるのか?

共通の無理数で割ったら有理数になるということは、その値は有理数となります。

日高 · 2019/11/13(水) 10:42:06.72

>デタラメ＆過去の指摘無視。

「過去の指摘無視。」箇所を、教えて下さい。（記述指摘以外を）

日高 · 2019/11/13(水) 10:44:37.37

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

間違いでしょうか？

**１３２人目の素数さん** · 2019/11/13(水) 10:46:01.22

>>179
記述がおかしいから記述が表す内容がデタラメであいまいだっていってるの。

内容が定まっていないから問題なの。

バカなの？

**１３２人目の素数さん** · 2019/11/13(水) 10:48:09.73

>>176
自分が探す作業をサボって相手に要求するの何なの？
何様？

**１３２人目の素数さん** · 2019/11/13(水) 10:50:59.96

全体に、間違いという指摘に疑問を返すだけでごまかしてるんじゃないよ。

勉強もせずに自分で判断するな。

日高 · 2019/11/13(水) 10:53:54.79

>内容が定まっていないから問題なの。

内容が定まっていない箇所を、指摘して下さい。

日高 · 2019/11/13(水) 10:57:14.53

>自分が探す作業をサボって相手に要求するの何なの？

「要求」では、ありません。間違い箇所があれば、指摘して下さい。

**１３２人目の素数さん** · 2019/11/13(水) 10:58:41.74

>>179
> 「過去の指摘無視。」箇所を、教えて下さい。（記述指摘以外を）
こういうこと書く人にいちいちサービスしたくない。
過去ログ全て読むべき。

日高 · 2019/11/13(水) 11:01:27.75

>全体に、間違いという指摘に疑問を返すだけでごまかしてるんじゃないよ。

勉強もせずに自分で判断するな。

「間違いという指摘」を、教えて下さい。

**１３２人目の素数さん** · 2019/11/13(水) 11:03:38.62

結局、他人のコメントをさんざん踏みにじってきた結果なんだから、引きこもって勉強して全部直してから１年後にでも出直せよ。

**１３２人目の素数さん** · 2019/11/13(水) 11:05:01.41

具体的に間違いを指摘されてるのに、

「自分はこう思います（根拠ナシｗ）」
「具体的に指摘してください」
「間違いを指摘してください」

だもんなｗ
指摘されてることも理解できないほど頭が悪いお前のようなやつはある意味得だよな。
自分の間違いに永遠に気づかずに死ぬんだからｗ

日高 · 2019/11/13(水) 11:05:12.80

【定理】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は、自然数解を持たない。

**１３２人目の素数さん** · 2019/11/13(水) 11:05:26.14

>>187
> 「間違いという指摘」を、教えて下さい。
どうせ無視かごまかしされるのに何で教えないといけないの？

**１３２人目の素数さん** · 2019/11/13(水) 11:06:39.95

>>190
デタラメ。0点。

**１３２人目の素数さん** · 2019/11/13(水) 11:06:47.74

教えて下さい！（教わっても日高の頭では理解できないけどｗ）
指摘してください！（指摘されても日高の頭では指摘されたことにさえ気づけないけどｗ）
具体的にお願いします！（具体的に言われてもそれが具体的であることすら理解できないバカだけどｗ）

指摘も教えも、それを聞いて理解できる頭が無いとなぁｗ

日高 · 2019/11/13(水) 11:08:17.21

>具体的に間違いを指摘されてるのに

間違い箇所の、指摘ではないと思います。

**１３２人目の素数さん** · 2019/11/13(水) 11:10:27.42

> 間違い箇所の、指摘ではないと思います。

間違い箇所の指摘だよ。お前がどう思うかは関係ないからｗ
お前の頭じゃ指摘されてることも理解できないんだね。
残念でした。猿レベルの脳みそでは数学は無理だよ。諦めな。

**１３２人目の素数さん** · 2019/11/13(水) 11:19:32.89

>>194
具体的な指摘を一つだけ。
最後の行が間違い。
証明されていないことを結論として述べているから。

デタラメな記述では何も証明されない。

**１３２人目の素数さん** · 2019/11/13(水) 12:37:45.61

>>178
165で
「x,y,zが無理数で、整数比となる場合は、共通の無理数で割ると、
x,y,zは、有理数となります。」

前の部分でx,y,zが無理数、後ろではx,y,zは有理数と言ってるのは矛盾じゃないの？
xをx/aで置き換えるようなことは数学では許されない。

> 共通の無理数で割ったら有理数になるということは、その値は有理数となります
「その値」って何？で、それが証明とどう関係するの？
全くわからないので式で説明してください。

**１３２人目の素数さん** · 2019/11/13(水) 13:02:16.22

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

日高 · 2019/11/13(水) 13:56:12.42

>間違い箇所の指摘だよ。

何行目のどこかを指摘して下さい。

日高 · 2019/11/13(水) 13:59:28.81

>最後の行が間違い。

x^p+y^p=z^pは、自然数解を持たない。でしょうか？