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

日高 · 2020/04/23(木) 21:00:18.34

【定理】pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)のx,y,zは整数比とならない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。rは有理数となる。
(5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、0を除く有理数解を持たない。

日高 · 2020/04/23(木) 21:02:05.91

【定理】p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいて、x^2+y^2=(x+r)^2…(1)とする。
(1)は(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)}…(2)となる。
(2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。
(3)はyを任意の有理数とすると、x,zは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。

**１３２人目の素数さん** · 2020/04/23(木) 21:24:12.92

前スレから。

日高について、わかったこと、二つ。
１．命題P,Qについて「PかつQ」と「PならばQ」の区別がつかない。
２．「○○を××する△△は□□である」の構文が理解できない。

**１３２人目の素数さん** · 2020/04/24(金) 02:06:21.18

>>2

証明というのは途中まで正しくて、最後が正しくても、途中の理屈がつながっていなければ、間違った証明になる。

> (2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。

ここまでから

> (3)はyを任意の有理数とすると、x,zは、有理数となる。

これが導かれることが、「「「>>2の中に」」」書かれていないので、>>2の証明は間違いです。

**１３２人目の素数さん** · 2020/04/24(金) 02:19:22.88

>>1

> (2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。

ここまでから

> (3)のx,y,zは整数比とならない。

これが導かれることが、「「「>>1の中に」」」書かれていないので、>>1の証明は間違いです。

もうこの6行目まででじゅうぶんな間違いだけど、おまけで

> (2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。

この時点でaはどんな数でも成り立つ
a=2でもa=3でもa=4でも成り立つし、√2でも√3でも、πとかeでも成り立つ
ここまでから

> (4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。

とはならないし、当然

> rは有理数となる。

ともならない。

日高 · 2020/04/24(金) 06:30:47.75

>3
日高について、わかったこと、二つ。
１．命題P,Qについて「PかつQ」と「PならばQ」の区別がつかない。
２．「○○を××する△△は□□である」の構文が理解できない。

証明1の、どの部分が、上記に該当するのでしょうか？

日高 · 2020/04/24(金) 06:36:34.28

>5
> (3)のx,y,zは整数比とならない。

これが導かれることが、「「「>>1の中に」」」書かれていないので、>>1の証明は間違いです。

(3)のx,y,zに有理数を代入すると、成り立ちません。自明です。

**１３２人目の素数さん** · 2020/04/24(金) 07:31:14.63

>>3に追加

３．間違った証明とはどういうものかがわからない。

**１３２人目の素数さん** · 2020/04/24(金) 07:34:14.90

>>7
> >5
> > (3)のx,y,zは整数比とならない。
>
> これが導かれることが、「「「>>1の中に」」」書かれていないので、>>1の証明は間違いです。
>
> (3)のx,y,zに有理数を代入すると、成り立ちません。自明です。

馬鹿すぎてどうしようもないな。

**１３２人目の素数さん** · 2020/04/24(金) 07:39:35.07

これで決まりっしょ～
前スレ
836 名前：日高[kokaji222@yahoo.co.jp] 投稿日：2020/04/16(木) 12:20:26.95 ID:aN6s9CDN [1/6]
>831
「rが無理数の時だけを調べて、有理数で整数比となるx、y、zは存在しないという結論を出している」
という事は認める？

はい。

**１３２人目の素数さん** · 2020/04/24(金) 08:02:23.50

>>9
> (3)のx,y,zは整数比とならない。
は「x,y,zは同時に有理数にはならない」のつもりなんだよ。
だから自明。

**１３２人目の素数さん** · 2020/04/24(金) 08:10:48.15

>>11
x,y,zが整数比になることと、x,y,zが有理数になることを同じことだと思ってるのかな？
これじゃ中学レベルの数学も無理だよね。

**１３２人目の素数さん** · 2020/04/24(金) 08:20:03.46

x,y,zが有理数であってz-x=p^{1/(p-1)}でない場合は
aが登場するところで論じている。つもりになっている。

日高 · 2020/04/24(金) 10:01:00.75

>12
x,y,zが整数比になることと、x,y,zが有理数になることを同じことだと思ってるのかな？

はい。

日高 · 2020/04/24(金) 10:02:49.94

>13
x,y,zが有理数であってz-x=p^{1/(p-1)}でない場合は
aが登場するところで論じている。つもりになっている。

はい。

日高 · 2020/04/24(金) 10:04:17.00

【定理】p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいて、x^2+y^2=(x+r)^2…(1)とする。
(1)は(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)}…(2)となる。
(2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。
(3)はyを任意の有理数とすると、x,zは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。

**１３２人目の素数さん** · 2020/04/24(金) 10:57:30.61

>>1

(3)のx,y,zが、共に無理数で整数比の場合はどうするのですか？

日高 · 2020/04/24(金) 11:07:12.65

>17
(3)のx,y,zが、共に無理数で整数比の場合はどうするのですか？

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

**１３２人目の素数さん** · 2020/04/24(金) 11:58:29.18

その商を再びx,y,zと書くとそいつらは(3)を満たす
と言いたいんだろうがそうは問屋がおろさねえ。

**１３２人目の素数さん** · 2020/04/24(金) 14:59:23.78

(2)はr^(p-1)=pのときx^p+y^p=(x+p^{1/(p-1)})^p…(3)

「(3)をみたす x,y,z(= x + p^(1/(p-1)) )は全てが整数とならない」
というのなら分かるけど、
「(3)をみたす x,y,zは整数比とならない」の証明がないので証明してください。

**１３２人目の素数さん** · 2020/04/24(金) 16:15:14.42

>>20氏が証明を求めている命題は>>1が証明したと称している命題そのものです。
つまり1は何も証明していません。

日高 · 2020/04/24(金) 17:04:56.70

>19
その商を再びx,y,zと書くとそいつらは(3)を満たす

(3)は、満たしません。

日高 · 2020/04/24(金) 17:17:04.51

>20
「(3)をみたす x,y,zは整数比とならない」の証明がないので証明してください。

x,y,zが、無理数で整数比となる場合は、有理数で、整数比となる場合と同じである。
(dx)^p+(dy)^p=(dz)^p (dは無理数、x,y,zは有理数)
両辺をd^pで割ると、x^p+y^p=z^pとなります。

**１３２人目の素数さん** · 2020/04/24(金) 17:37:42.17

> x,y,zが、無理数で整数比となる場合は、有理数で、整数比となる場合と同じである。

何が同じなんだよ。説明してみろ。

日高 · 2020/04/24(金) 17:55:22.75

>24
> x,y,zが、無理数で整数比となる場合は、有理数で、整数比となる場合と同じである。

何が同じなんだよ。説明してみろ。

x,y,zが、無理数で整数比となる場合は、有理数で、整数比となる場合と同じである。
(dx)^p+(dy)^p=(dz)^p (dは無理数、x,y,zは有理数)
両辺をd^pで割ると、x^p+y^p=z^pとなります。

**１３２人目の素数さん** · 2020/04/24(金) 18:30:28.43

何が同じか説明しろ、って言ってるんだよ。

**１３２人目の素数さん** · 2020/04/24(金) 18:40:05.33

>>23
その式変形で何を証明したんですか？

**１３２人目の素数さん** · 2020/04/24(金) 19:53:05.10

同じことをくり返し書いたらそのうち相手が折れて正しいと認めてもらえる
と思ってないか？

日高 · 2020/04/24(金) 19:54:16.14

>26
何が同じか説明しろ、って言ってるんだよ。

x,y,zが、無理数で整数比となる場合は、有理数で、整数比となる場合と同じである。
です。

**１３２人目の素数さん** · 2020/04/24(金) 20:09:33.86

通じてない。

**１３２人目の素数さん** · 2020/04/24(金) 20:19:15.66

無理数と有理数とは違うだろうが。

日高 · 2020/04/24(金) 20:44:36.85

【定理】p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいて、x^2+y^2=(x+r)^2…(1)とする。
(1)は(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)}…(2)となる。
(2)はr^(2-1)=2のとき、x^2+y^2=(x+2^{1/(2-1)})^2…(3)となる。
(3)はyを任意の有理数とすると、x,zは、有理数となる。
∴p=2のとき、x^p+y^p=z^pは、0を除く有理数解を持つ。

**１３２人目の素数さん** · 2020/04/24(金) 21:07:05.93

>>1 日高にならって

【定理】pが奇素数のとき、x^p+7y^p=z^pは、0を除く有理数解を持たない。
【証明】x^p+7y^p=z^pを、z=x+rとおいて、x^p+7y^p=(x+r)^p…(1)とする。
(1)は(x/r)^p+7(y/r)^p=(x/r+1)^p、 7(y/r)^p-1=p{(x/r)^(p-1)+…+x/r}、
r^(p-1){7(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+7y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)のx,y,zは整数比とならない。
(2)をr^(p-1){7(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+7y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。rは有理数となる。
(5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+7y^p=z^pは、0を除く有理数解を持たない。

反例はp=3,x=y=1,z=2。(3)の無理数解x=y=3^(1/2),z=2*3^(1/2)がそれに対応する。
さあ，この証明のどこが誤りかね？　日高君。

日高 · 2020/04/24(金) 21:18:43.62

>33
【定理】pが奇素数のとき、x^p+7y^p=z^pは、0を除く有理数解を持たない。

命題が違います。

**１３２人目の素数さん** · 2020/04/24(金) 21:27:26.01

>>8の
> ３．間違った証明とはどういうものかがわからない。

まさにそのものだね。

**１３２人目の素数さん** · 2020/04/24(金) 22:02:00.05

>>1 日高

> (3)のx,y,zは整数比とならない。

> (5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、整数比とならない。

「(n)のx,y,z」という言い方しかできない。これでは無理。

**１３２人目の素数さん** · 2020/04/24(金) 23:04:11.48

>>22

(3)を満たさないという事は、

　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)
に整数比の無理数解があるとして、それを共通の無理数で割った物は、
(5)の有理数解になる

という理解で宜しいでしょうか。

**１３２人目の素数さん** · 2020/04/25(土) 04:17:58.04

>>25に書いてあること

x^p+y^p=z^pについて：　　x,y,zが、無理数で整数比となる場合は、有理数で、整数比となる場合と同じである。
x^p+y^p=z^pについて：　　(dx)^p+(dy)^p=(dz)^p (dは無理数、x,y,zは有理数)
x^p+y^p=z^pについて：　　両辺をd^pで割ると、x^p+y^p=z^pとなります。

と、>>1に書いてあること

x^p+y^p=(x+p^{1/(p-1)})^p…(3)について：　　(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
x^p+y^p=(x+p^{1/(p-1)})^p…(3)について：　　(3)のx,y,zは整数比とならない。

はつながっていません。
前スレであなたが書いた通り

> (3√5)^2+(4√5)^2=(5√5)^2は、x^p+y^p=(x+p^{1/(p-1)})^pは、満たしません。
>
> この例は、整数比となる、無理数解が、あるならば、有理数解もある。の例です。

ここ重要：　　p=2の時
ここ重要：　　x^p+y^p=(x+p^{1/(p-1)})^pに無理数で整数比となる解がないとき
ここ重要：　　x^p+y^p=z^pに無理数で整数比となる解がないことは自明ではありません。

同様に

p=奇素数の時
x^p+y^p=(x+p^{1/(p-1)})^pに有理数で整数比となる解がないとき
x^p+y^p=z^pに有理数で整数比となる解がないことは自明ではありません。

x^p+y^p=(x+p^{1/(p-1)})^pに有理数で整数比となる解がないとき
x^p+y^p=z^pに有理数で整数比となる解がないことを、証明してください。
その証明がないので、>>1は間違いです。

**１３２人目の素数さん** · 2020/04/25(土) 05:49:13.04

正の実数 x, y, z, r が
(A) x^p + y^p = z^p を満たす
(B) z = x + r
(C) x, y, z が整数比
を満たすとする.

(C)より, ある実数 a が存在して, ax, ay, az は整数となる.
X = ax, Y = ay, Z = az として(A) (B) (C) を書き換えると

(A') X^p + Y^p = Z^p を満たす
(B') Z = X + ar
(C') X, Y, Z が整数

ar が整数となる必要はあるが, 矛盾はないな

日高 · 2020/04/25(土) 06:41:45.39

>37
　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)
に整数比の無理数解があるとして、それを共通の無理数で割った物は、
(5)の有理数解になる
という理解で宜しいでしょうか。

違います。

**１３２人目の素数さん** · 2020/04/25(土) 06:51:12.69

>>40
> >37
> 　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)
> に整数比の無理数解があるとして、それを共通の無理数で割った物は、
> (5)の有理数解になる
> という理解で宜しいでしょうか。
>
> 違います。

それでは

(3)の有理数解になる

という事でしょうか。

日高 · 2020/04/25(土) 06:55:24.47

>38
x^p+y^p=(x+p^{1/(p-1)})^pに有理数で整数比となる解がないとき
x^p+y^p=z^pに有理数で整数比となる解がないことを、証明してください。

x^p+y^p=(x+p^{1/(p-1)})^pの、x,y,zが、無理数で整数比のとき、
共通の無理数で割ると、商は有理数となります。

日高 · 2020/04/25(土) 07:00:52.09

>41
(3)の有理数解になる
という事でしょうか。

違います。

**１３２人目の素数さん** · 2020/04/25(土) 07:05:13.46

>>43

> > 　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)
> > に整数比の無理数解があるとして、それを共通の無理数で割った物は、
> > (5)の有理数解になる
> > という理解で宜しいでしょうか。
> >
> > 違います。

>>43
> >41
> (3)の有理数解になる
> という事でしょうか。
>
> 違います。

(3)の有理数解にも(5)の有理数解にもならない
という事ですか。
ひとまずありがとうございます。

**１３２人目の素数さん** · 2020/04/25(土) 07:11:05.59

もしかして
「x^p+y^p=(x+p^{1/(p-1)})^pの、x,y,zが、無理数で整数比のとき、
共通の無理数で割ると、商は有理数となります。」
というのは、
x^p+y^p=(x+p^{1/(p-1)})^pをみたすx,y,zが、
有理数　X, Y, Z, と無理数αを用いて
x=αX, y=αY, z=αZ, と書けるとき、
X^p + Y^p = Z^p…※
が成り立つ。
しかし、フェルマーの最終定理より、※をみたす有理数の組X,Y,Zは存在しない。
したがってx,y,zが、無理数で整数比にはならない

ということが言いたいのでしょうか

日高 · 2020/04/25(土) 07:14:28.92

>44
訂正します。

もし、x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、
x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある事と、同じとなります。

**１３２人目の素数さん** · 2020/04/25(土) 07:17:41.24

>>46

本当ですか？

>>25であなたが書いたように、なりますか？

本当に同じというなら、証明してください。>>25のように。

**１３２人目の素数さん** · 2020/04/25(土) 07:18:39.36

>>46
> >44
> 訂正します。
>
> もし、x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある事と、同じとなります。

どうしてでしょうか？

**１３２人目の素数さん** · 2020/04/25(土) 07:27:05.67

>>42

> x^p+y^p=(x+p^{1/(p-1)})^pの、x,y,zが、無理数で整数比のとき、
> 共通の無理数で割ると、商は有理数となります。

それは「x^p+y^p=(x+p^{1/(p-1)})^pに有理数で整数比となる解がないとき、」と関係あるのですか？
まったく答えになっていません。

x^p+y^p=(x+p^{1/(p-1)})^pに有理数で整数比となる解がないとき

※※これこれこういう数式が成り立つので、あるいは成り立たないので

x^p+y^p=z^pに有理数で整数比となる解がない

※※の部分に書くべき文章を、あなたが考えて、書いてください。

日高 · 2020/04/25(土) 07:41:09.90

>45
フェルマーの最終定理より、※をみたす有理数の組X,Y,Zは存在しない。

違います。

x^p+y^p=(x+p^{1/(p-1)})^pをみたすx,y,zが、
有理数　X, Y, Z, と無理数αを用いて
x=αX, y=αY, z=αZ, と書けるとき、

x:y:z=X:Y:Zとなります。
x:y:zが整数比とならないので、X:Y:Zも整数比となりません。

**１３２人目の素数さん** · 2020/04/25(土) 07:46:43.12

>>50
x:y:zが整数比とならないことの証明はどこですか？
がんばって探せば整数比になる無理数x,y,zが見つかるかもしれない

日高 · 2020/04/25(土) 07:47:12.90

>47
本当に同じというなら、証明してください。>>25のように。

25以外の、どのような形の証明でしょうか？

日高 · 2020/04/25(土) 07:49:55.42

>48
> もし、x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある事と、同じとなります。

どうしてでしょうか？

x^p+y^p=(x+p^{1/(p-1)})^pをみたすx,y,zが、
有理数　X, Y, Z, と無理数αを用いて
x=αX, y=αY, z=αZ, と書けるとき、

x:y:z=X:Y:Zとなります。
x:y:zが整数比とならないので、X:Y:Zも整数比となりません。

日高 · 2020/04/25(土) 07:54:30.61

>49
x^p+y^p=(x+p^{1/(p-1)})^pに有理数で整数比となる解がないとき

x,y,zを有理数とすると、式が成り立ちません。

日高 · 2020/04/25(土) 07:57:28.89

>51
x:y:zが整数比とならないことの証明はどこですか？
がんばって探せば整数比になる無理数x,y,zが見つかるかもしれない

x^p+y^p=(x+p^{1/(p-1)})^pの、x,y,zが、無理数で整数比のとき、
共通の無理数で割ると、商は有理数となります。

**１３２人目の素数さん** · 2020/04/25(土) 08:01:16.88

>>53

・指摘1
> x:y:zが整数比とならないので、X:Y:Zも整数比となりません。
x,y,zがx=αX, y=αY, z=αZと書けるとき、
x:y:zは整数比ですよね。
（というか上記一文の意味がよくわかりません）

・指摘2
X,Y,Zが満たす式は
　　X^p+Y^p=(X+p^{1/(p-1)}/α)^p
であって
　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)
ではありません。

**１３２人目の素数さん** · 2020/04/25(土) 08:05:10.10

>>55
「x^p+y^p=(x+p^{1/(p-1)})^pの、x,y,zが、無理数で整数比のとき、
共通の無理数で割ると、商は有理数となります。」
商が有理数であることが、どんなに頑張っても整数比のx,y,zが見つからないことの証明ですか？

**１３２人目の素数さん** · 2020/04/25(土) 08:19:30.92

>>52

1行目:　 (dx)^p+(dy)^p=(dz)^p (dは無理数、x,y,zは有理数)
2行目:　両辺をd^pで割ると、x^p+y^p=z^pとなります。

1行目で、x^p+y^p=z^pのx、y、zに無理数で整数比となる解を代入してみて、
それを式変形して2行目の式が出てきています。
2行目の式は、x^p+y^p=z^pのx、y、zに有理数で整数比となる解を代入したときと同じ式です。

実際にあなたがやること:　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)について、1行目と同じように無理数で整数比の数を入れてみてください。
実際にあなたがやること:　　それを2行目と同じように、式変形してください。
実際にあなたがやること:　　そしてそれがx^p+y^p=(x+p^{1/(p-1)})^p…(3)zに有理数で整数比となる解を代入したときと同じ式か調べてください。

日高 · 2020/04/25(土) 08:24:16.64

>56
>x:y:zは整数比ですよね。

(3)は、整数比となりません。

>X,Y,Zが満たす式は
　　X^p+Y^p=(X+p^{1/(p-1)}/α)^p
であって
　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)
ではありません。

X^p+Y^p=(X+p^{1/(p-1)}/α)^pの両辺にα^pをかけると、
x^p+y^p=(x+p^{1/(p-1)})^p…(3)となります。

**１３２人目の素数さん** · 2020/04/25(土) 08:26:23.76

>>54

> x^p+y^p=(x+p^{1/(p-1)})^pに有理数で整数比となる解がないとき

> x,y,zを有理数とすると、式が成り立ちません。

>>38をもう一度書きます。

ここ重要：　　p=2の時
ここ重要：　　x^p+y^p=(x+p^{1/(p-1)})^pに無理数で整数比となる解がないとき
ここ重要：　　x^p+y^p=z^pに無理数で整数比となる解がないことは自明ではありません。

同様に

p=奇素数の時
x^p+y^p=(x+p^{1/(p-1)})^pに有理数で整数比となる解がないとき
x^p+y^p=z^pに有理数で整数比となる解がないことは自明ではありません。

x^p+y^p=(x+p^{1/(p-1)})^pに有理数で整数比となる解がないとき
x^p+y^p=z^pに有理数で整数比となる解がないことを、証明してください。

>>54はx^p+y^p=z^pに有理数で整数比となる解がないことの証明になっていません。
x^p+y^p=z^pに有理数で整数比となる解がないことの証明なのですから、絶対に証明の最後は

「ゆえにx^p+y^p=z^pに有理数で整数比となる解が存在しない」になります。それ以外なら中身を読むまでもなく間違いです。

**１３２人目の素数さん** · 2020/04/25(土) 08:28:47.79

>>59
> >56
> >x:y:zは整数比ですよね。
>
> (3)は、整数比となりません。
すみません。
こちらは何を言っているのか分かりません。

>
> >X,Y,Zが満たす式は
> 　　X^p+Y^p=(X+p^{1/(p-1)}/α)^p
> であって
> 　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)
> ではありません。
>
> X^p+Y^p=(X+p^{1/(p-1)}/α)^pの両辺にα^pをかけると、
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)となります。

　　X^p+Y^p=(X+p^{1/(p-1)})^p
にはできないですよね。（そしてそうしなければ証明になりません）

日高 · 2020/04/25(土) 08:40:05.00

>57
商が有理数であることが、どんなに頑張っても整数比のx,y,zが見つからないことの証明ですか？

はい。

**１３２人目の素数さん** · 2020/04/25(土) 08:41:49.86

>>51
> がんばって探せば整数比になる無理数x,y,zが見つかるかもしれない

もしもフェルマーの最終定理に反例があればその時点で容易に見つかります。
だからここは本質的に大事です。

日高 · 2020/04/25(土) 08:46:02.96

>60
x^p+y^p=(x+p^{1/(p-1)})^pに有理数で整数比となる解がないとき
x^p+y^p=z^pに有理数で整数比となる解がないことを、証明してください。

z=x+p^{1/(p-1)}です。
x^p+y^p=(x+p^{1/(p-1)})^pは、x,y,zを有理数とすると、式が成り立ちません。

日高 · 2020/04/25(土) 08:50:17.71

>61
　X^p+Y^p=(X+p^{1/(p-1)})^p
にはできないですよね。（そしてそうしなければ証明になりません）

はい。

**１３２人目の素数さん** · 2020/04/25(土) 09:22:22.44

>>65

では、命題
>>53
> もし、x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある事と、同じとなります。

の証明は失敗ということでいいですか。

**１３２人目の素数さん** · 2020/04/25(土) 10:07:45.83

>>62
商が有理数であると、整数比のx,y,zが見つからないという証明をしてください

日高 · 2020/04/25(土) 12:17:17.69

>66
>>53
> もし、x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある事と、同じとなります。

の証明は失敗ということでいいですか。

どうして、証明は失敗ということになるのでしょうか？

**１３２人目の素数さん** · 2020/04/25(土) 12:19:27.26

>>68

命題の後段は
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある
ですが、これを証明中の文字・式であらわすと
　　X^p+Y^p=(X+p^{1/(p-1)})^p
です。

>>65でこう表せなかったのだから、証明失敗です。

日高 · 2020/04/25(土) 12:20:00.58

>67
商が有理数であると、整数比のx,y,zが見つからないという証明をしてください

もし、x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、
x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある事と、同じとなります。

日高 · 2020/04/25(土) 12:29:15.44

>69
命題の後段は
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある
ですが、

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

**１３２人目の素数さん** · 2020/04/25(土) 12:31:43.48

>>71

貴方が証明しようとしている命題は
>>53
> もし、x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある事と、同じとなります。
ですよね。
その命題の後段（後半部分）は

> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある

という事です。

日高 · 2020/04/25(土) 12:49:23.82

>69
命題の後段は
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある
ですが、これを証明中の文字・式であらわすと
　　X^p+Y^p=(X+p^{1/(p-1)})^p
です。

>>65でこう表せなかったのだから、証明失敗です。

x^p+y^p=(x+p^{1/(p-1)})^p…(3)と
X^p+Y^p=(X+p^{1/(p-1)}/α)^pは、同じです。

**１３２人目の素数さん** · 2020/04/25(土) 12:55:05.59

>>73
あ、違います。大文字のX, Yです。

　　X^p+Y^p=(X+p^{1/(p-1)})^p

これを導かないといけません。

**１３２人目の素数さん** · 2020/04/25(土) 12:58:39.39

>>70
やっと日高さんの主張の内容が理解できました。
しかし他の方が指摘しているように、その主張は間違っています。

日高 · 2020/04/25(土) 13:24:56.25

>74
　　X^p+Y^p=(X+p^{1/(p-1)})^p
これを導かないといけません。

最初が、計算間違いではないでしょうか？
x=αX、y=αYとおくと、
X^p+Y^p=(X+(α)p^{1/(p-1)})^pとなると思いますが？

日高 · 2020/04/25(土) 13:37:57.47

>76
訂正です。
x=αX、y=αYとおくと、
(αX)^p+(αY)^p={(αX)+(α)p^{1/(p-1)})^p
両辺をα^pで割ると、
X^p+Y^p=(X+p^{1/(p-1)})^p
となります。

**１３２人目の素数さん** · 2020/04/25(土) 13:41:02.96

>>76,77

　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)
x=αX、y=αYとおくと、
　　(αX)^p+(αY)^p=((αX)+p^{1/(p-1)})^p
両辺をα^nで割る
　　X^p+Y^p=(X+p^{1/(p-1)}/α)^p　　　　★正解

計算間違いはしていないと思いますが。

　　X^p+Y^p=(X+(α)p^{1/(p-1)})^p　　　　★間違い
にも
　　X^p+Y^p=(X+p^{1/(p-1)})^p　　　　★間違い
にもなりません。

（また、貴方自身>>65で「できない」と認めてますよね。）

**１３２人目の素数さん** · 2020/04/25(土) 14:09:36.88

>>78
α^pで割る　ですね。失礼しました。

日高 · 2020/04/25(土) 15:48:52.12

>78
両辺をα^nで割る
　　X^p+Y^p=(X+p^{1/(p-1)}/α)^p　　　　★正解

計算間違いはしていないと思いますが。

計算間違いはしていません。★正解です。

α=(n)p^{1/(p-1)}のとき、rは、有理数となりますが、
(5)が整数比とならないので、
X^p+Y^p=(X+p^{1/(p-1)}/α)^pも整数比となりません。

**１３２人目の素数さん** · 2020/04/25(土) 15:51:40.09

>>80
> >78
> 両辺をα^nで割る
> 　　X^p+Y^p=(X+p^{1/(p-1)}/α)^p　　　　★正解
>
> 計算間違いはしていないと思いますが。
>
> 計算間違いはしていません。★正解です。
>

> α=(n)p^{1/(p-1)}のとき、rは、有理数となりますが、
> (5)が整数比とならないので、
> X^p+Y^p=(X+p^{1/(p-1)}/α)^pも整数比となりません。

新しい主張でしょうか。
じっくり見てみます。

**１３２人目の素数さん** · 2020/04/25(土) 16:21:08.80

>>64

> z=x+p^{1/(p-1)}です。
いいえ

証明したい式x^p+y^p=z^pのxとzとｐにそんな関係は定められていません。

たとえばx=3,z=5,p=3のとき、z=x+p^{1/(p-1)}ではありません。

よって>>64は間違いです。

> x^p+y^p=(x+p^{1/(p-1)})^pに有理数で整数比となる解がないとき
> x^p+y^p=z^pに有理数で整数比となる解がないことを、証明してください。
は証明されていません。

**１３２人目の素数さん** · 2020/04/25(土) 16:27:40.48

>>80

新しい主張の前に、気付いたのですが、
>>78より
　　X^p+Y^p=(X+p^{1/(p-1)}/α)^p
が得られました。
なのですぐさま
　　X^p+Y^p=(X+p^{1/(p-1)})^p
が偽だと分かります。（二式の左辺が同一な事に注目してください）

よって、「x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある」も偽です。

よって、貴方の命題
>>53
> もし、x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある事と、同じとなります。

は証明不可能な事が分かりました。

**１３２人目の素数さん** · 2020/04/25(土) 16:54:09.42

58をもう一度書きますが、そのまえに

あなたはhttp://rio2016.5ch.net/test/read.cgi/math/1587643218/をクリックしてこのページを表示できますか？
もし表示できたとしたら、それぞれの書き込みの左上の番号のところは、どのようにならんでいますか？
最初は何番で、最後は何番で、途中に抜けているところはありますか？

>>52

1行目:　 (dx)^p+(dy)^p=(dz)^p (dは無理数、x,y,zは有理数)
2行目:　両辺をd^pで割ると、x^p+y^p=z^pとなります。

1行目で、x^p+y^p=z^pのx、y、zに無理数で整数比となる解を代入してみて、
それを式変形して2行目の式が出てきています。
2行目の式は、x^p+y^p=z^pのx、y、zに有理数で整数比となる解を代入したときと同じ式です。
よって、「x^p+y^p=z^pにおいて、x,y,zが、無理数で整数比となる場合は、有理数で、整数比となる場合と同じである。」が証明できました。

ではつぎに
実際にあなたがやること:　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)について、1行目と同じように無理数で整数比の数を入れてみてください。
実際にあなたがやること:　　それを2行目と同じように、式変形してください。
実際にあなたがやること:　　そしてそれがx^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数で整数比となる解を代入したときと同じ式か調べてください。
同じであれば、「x^p+y^p=(x+p^{1/(p-1)})^p…(3)において、x,y,zが、無理数で整数比となる場合は、有理数で、整数比となる場合と同じである。」が証明できます。

**１３２人目の素数さん** · 2020/04/25(土) 18:25:02.60

>>80 日高
最初から説明していただけないでしょうか。

日高 · 2020/04/25(土) 18:30:29.06

>82
たとえばx=3,z=5,p=3のとき、z=x+p^{1/(p-1)}ではありません。

この場合は、r=(ap)^{1/(p-1)}となります。

日高 · 2020/04/25(土) 18:41:12.61

>83
> もし、x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数解がある事と、同じとなります。

は証明不可能な事が分かりました。

x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、
(αX)^p+(αY)^p=(αZ)^p
αZ=z=x+p^{1/(p-1)}ですので、
(αX)^p+(αY)^p=(αZ)^pは、
x^p+y^p=(x+p^{1/(p-1)})^pとなります。

**１３２人目の素数さん** · 2020/04/25(土) 18:45:12.90

>>87
　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)
から始まって
　　x^p+y^p=(x+p^{1/(p-1)})^p
同じ式に戻しているだけじゃないですか。

日高 · 2020/04/25(土) 20:23:07.64

>84
最初は、8番で、最後は88番です。
途中の抜けは、ありません。

実際にあなたがやること:　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)について、1行目と同じように無理数で整数比の数を入れてみてください。

(αX)^p+(αY)^p=(αZ)^p

実際にあなたがやること:　　それを2行目と同じように、式変形してください。

どのように、式変形するのでしょうか？

日高 · 2020/04/25(土) 20:25:08.05

>88
>>87
　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)
から始まって
　　x^p+y^p=(x+p^{1/(p-1)})^p
同じ式に戻しているだけじゃないですか。

どうしてでしょうか？

**１３２人目の素数さん** · 2020/04/25(土) 20:49:45.80

>>90

>>87が

>> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、　　★
>> (αX)^p+(αY)^p=(αZ)^p
>> αZ=z=x+p^{1/(p-1)}ですので、
>> (αX)^p+(αY)^p=(αZ)^pは、
>> x^p+y^p=(x+p^{1/(p-1)})^pとなります。　　　　★と同じ

だからです。

**１３２人目の素数さん** · 2020/04/25(土) 20:56:28.07

>>89

> 実際にあなたがやること:　　x^p+y^p=(x+p^{1/(p-1)})^p…(3)について、1行目と同じように無理数で整数比の数を入れてみてください。
>
> (αX)^p+(αY)^p=(αZ)^p

どう見ても(3)式と違っていますが、(3)式で何をどうしたらそうなるのですか？

> どのように、式変形するのでしょうか？

http://rio2016.5ch.net/test/read.cgi/math/1587643218/の25であなたがやって見せたように

(3)式に、dx,dy,dz

**１３２人目の素数さん** · 2020/04/25(土) 21:01:05.49

>>92続き

(3)式に、dx,dy,dzを代入したのち、変形して、それがｘ、ｙ、ｚについて(3)式と同じ形になるように式変形してください。
出来なければ、「(3)についてx,y,zが、無理数で整数比となる場合は、有理数で、整数比となる場合と同じである。」は間違いです。

http://rio2016.5ch.net/test/read.cgi/math/1587643218/の25で、あなたがやってみせた

「x^p+y^p=z^pについてx,y,zが、無理数で整数比となる場合は、有理数で、整数比となる場合と同じである。」

と同じことです。

**１３２人目の素数さん** · 2020/04/25(土) 21:20:56.12

>>89

> たとえばx=3,z=5,p=3のとき、z=x+p^{1/(p-1)}ではありません。
>
> この場合は、r=(ap)^{1/(p-1)}となります。

では、それを踏まえたうえで

x^p+y^p=(x+p^{1/(p-1)})^pに有理数で整数比となる解がないとき
x^p+y^p=z^pに有理数で整数比となる解がないことを、証明してください。

**１３２人目の素数さん** · 2020/04/26(日) 03:22:50.24

√(a^2+b^2+c^12+d^12+2*(-a*b+a*c+a*d+b*c+c*d))=4つのベクトルのうち一つベクトルの組み合わせのみが逆向きの時のベクトルの合計値の長さ（aまたはbが現実には存在しない方向にむいたベクトルになる）

√(a^(1/2)+b^(1/2)+i*√(c^(1/2)+d^(1/2)))*(a^(1/2)+b^(1/2)-i*√(c^(1/2)+d^(1/2)))*(a^(1/2)-b^(1/2)+i*√(c^(1/2)+d^(1/2)))*(a^(1/2)-b^(1/2)-i*√(c^(1/2)+d^(1/2)))=√(a^2+b^2+c^2+d^2+2*(-a*b+a*c+a*d+b*c+c*d))

変数を増やすと左辺の虚数部が増えるのみ

4本のベクトルの時
(a^(1/2)+b^(1/2)+i*√(c^(1/2)+d^(1/2)))=0
(a^(1/2)+b^(1/2)-i*√(c^(1/2)+d^(1/2)))=0
(a^(1/2)-b^(1/2)+i*√(c^(1/2)+d^(1/2)))=0
(a^(1/2)-b^(1/2)-i*√(c^(1/2)+d^(1/2)))=0
のどれかを満たすとき個のベクトルの合計値が0になる

5本のベクトルの時
(a^(1/2)+b^(1/2)+i*√(c^(1/2)+d^(1/2)+e^(1/2)))=0
(a^(1/2)+b^(1/2)-i*√(c^(1/2)+d^(1/2)+e^(1/2)))=0
(a^(1/2)-b^(1/2)+i*√(c^(1/2)+d^(1/2)+e^(1/2)))=0
(a^(1/2)-b^(1/2)-i*√(c^(1/2)+d^(1/2)+e^(1/2)))=0
のどれかを満たすとき個のベクトルの合計値が0になる

n本のベクトルの時
(a^(1/2)+b^(1/2)+i*√(c^(1/2)+d^(1/2)+e^(1/2)+・・・+a1^(1/2)))=0
(a^(1/2)+b^(1/2)-i*√(c^(1/2)+d^(1/2)+e^(1/2)+・・・+a1^(1/2)))=0
(a^(1/2)-b^(1/2)+i*√(c^(1/2)+d^(1/2)+e^(1/2)+・・・+a1^(1/2)))=0
(a^(1/2)-b^(1/2)-i*√(c^(1/2)+d^(1/2)+e^(1/2)+・・・+a1^(1/2)))=0
のどれかを満たすとき個のベクトルの合計値が0になる

a^(1/2)=b^(1/2)+i*√(c^(1/2)+d^(1/2)+e^(1/2)+・・・+a1^(1/2)))のとき合計値は0

b<<<<√(c^(1/2)+d^(1/2)+e^(1/2)+・・・+a1^(1/2)))のときa≒-1*(c^(1/2)+d^(1/2)+e^(1/2)+・・・+a1^(1/2)))になる

a→0とする

-1*(c^(1/2)+d^(1/2)+e^(1/2)+・・・+a1^(1/2)))→0
cからa1までに1,1/2,1/3,1/4,1/5,1/6,,,1/nを代入する

**１３２人目の素数さん** · 2020/04/26(日) 03:27:03.56

a^(1/2)=b^(1/2)+i*√(c^(1/2)+d^(1/2)+e^(1/2)+・・・+a1^(1/2)))のとき合計値は0

b<<<<√(c^(1/2)+d^(1/2)+e^(1/2)+・・・+a1^(1/2)))のときa≒-1*(c^(1/2)+d^(1/2)+e^(1/2)+・・・+a1^(1/2)))になる

a→0とする

-1*(c^(1/2)+d^(1/2)+e^(1/2)+・・・+a1^(1/2)))→0となるためには
c^(1/2),d^(1/2),,,の成分の向きを複素数平面上で回転させる
このとき回転角のみしか変えることができない(成分の長さを変えられない)ため指数の実数部は1/2になる

**１３２人目の素数さん** · 2020/04/26(日) 03:56:59.72

√(a^2+b^2+c^2+d^2+2*(-a*b+a*c+a*d+b*c+b*d+c*d))=4つのベクトルのうち一つベクトルの組み合わせのみが逆向きの時のベクトルの合計値の長さ（aまたはbが現実には存在しない方向にむいたベクトルになる）

√(a^(1/2)+b^(1/2)+i*√(c+d))*(a^(1/2)+b^(1/2)-i*√(c+d))*(a^(1/2)-b^(1/2)+i*√(c+d))*(a^(1/2)-b^(1/2)-i*√(c+d))=√(a^2+b^2+c^2+d^2+2*(-a*b+a*c+a*d+b*c+b*d+c*d))

変数を増やすと左辺の虚数部が増えるのみ

4本のベクトルの時
(a^(1/2)+b^(1/2)+i*√(c+d))=0
(a^(1/2)+b^(1/2)-i*√(c+d))=0
(a^(1/2)-b^(1/2)+i*√(c+d))=0
(a^(1/2)-b^(1/2)-i*√(c+d))=0
のどれかを満たすときこのベクトルの合計値が0になる

5本のベクトルの時
(a^(1/2)+b^(1/2)+i*√(c+d+e))=0
(a^(1/2)+b^(1/2)-i*√(c+d+e))=0
(a^(1/2)-b^(1/2)+i*√(c+d+e))=0
(a^(1/2)-b^(1/2)-i*√(c+d+e))=0
のどれかを満たすときこのベクトルの合計値が0になる

n本のベクトルの時
(a^(1/2)+b^(1/2)+i*√(c+d+e+・・・+a1))=0
(a^(1/2)+b^(1/2)-i*√(c+d+e+・・・+a1))=0
(a^(1/2)-b^(1/2)+i*√(c+d+e+・・・+a1))=0
(a^(1/2)-b^(1/2)-i*√(c+d+e+・・・+a1))=0
のどれかを満たすときこのベクトルの合計値が0になる

日高 · 2020/04/26(日) 08:59:33.22

>91
わかりません。

無理数解が、あるならば、有理数解もあります。
有理数解が、ないならば、無理数解もありません。

**１３２人目の素数さん** · 2020/04/26(日) 09:03:21.54

>>98

どの式の有理数解・無理数解でしょうか。
数学の言葉で、主張をお願いします。

> 無理数解が、あるならば、有理数解もあります。
> 有理数解が、ないならば、無理数解もありません。

日高 · 2020/04/26(日) 09:36:34.08

>99
どの式の有理数解・無理数解でしょうか。
数学の言葉で、主張をお願いします。

x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、　　★
(αX)^p+(αY)^p=(αZ)^pとなります。
αZ=z=x+p^{1/(p-1)}ですので、
(αX)^p+(αY)^p=(αZ)^pは、
x^p+y^p=(x+p^{1/(p-1)})^pとなります。
x^p+y^p=(x+p^{1/(p-1)})^pには、有理数解がありません。

**１３２人目の素数さん** · 2020/04/26(日) 09:52:27.37

>>100
> >99
> どの式の有理数解・無理数解でしょうか。
> 数学の言葉で、主張をお願いします。
>
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数解があるならば、　　★
> (αX)^p+(αY)^p=(αZ)^pとなります。
> αZ=z=x+p^{1/(p-1)}ですので、
> (αX)^p+(αY)^p=(αZ)^pは、
> x^p+y^p=(x+p^{1/(p-1)})^pとなります。
> x^p+y^p=(x+p^{1/(p-1)})^pには、有理数解がありません。

>>98には
>> 無理数解が、あるならば、有理数解もあります。
とありますが、
　　有理数解がありません－有理数解もあります
の書き間違いでしょうか。

**１３２人目の素数さん** · 2020/04/26(日) 10:03:58.82

有理数解もあることになるが実際には有理数解を持たない、と言いたいのだと思う。
「PならばQ」の意味を正しく理解できていないことに注意してください。

**１３２人目の素数さん** · 2020/04/26(日) 10:06:12.67

>>100 日高
αって何ですか？

**１３２人目の素数さん** · 2020/04/26(日) 10:08:10.34

>>102
なるほど。
でもそれって成立してるのかなー

日高 · 2020/04/26(日) 12:05:06.08

>103
αって何ですか？

無理数です。

**１３２人目の素数さん** · 2020/04/26(日) 12:08:40.60

X,Y,Zって何ですか？

日高 · 2020/04/26(日) 12:30:14.85

>106
X,Y,Zって何ですか？

有理数です。

**１３２人目の素数さん** · 2020/04/26(日) 12:44:38.31

xが2のp乗根、yが3のp乗根、zが5のp乗根の時はこうは書けないのでは？

**１３２人目の素数さん** · 2020/04/26(日) 14:35:03.36

>>108
x, y, zは整数比だと思います。

日高 · 2020/04/26(日) 14:43:46.62

108
xが2のp乗根、yが3のp乗根、zが5のp乗根の時はこうは書けないのでは？

はい。共通の無理数を持たないので、書けません。

**１３２人目の素数さん** · 2020/04/26(日) 14:44:37.39

でも>>100にはそんなこと書いてないっすよ。

**１３２人目の素数さん** · 2020/04/26(日) 14:46:40.83

>>98には
> 無理数解が、あるならば、有理数解もあります。
とだけあります。

日高 · 2020/04/26(日) 15:39:35.97

>109
>>108
x, y, zは整数比だと思います。

はい。整数比になります。

日高 · 2020/04/26(日) 15:46:18.40

>111
でも>>100にはそんなこと書いてないっすよ。

αX,αY,αZの、αは、共通の無理数です。

**１３２人目の素数さん** · 2020/04/26(日) 15:48:44.67

何を言っているのかわかりません。最初から、わかるように書いてください。

日高 · 2020/04/26(日) 16:11:13.73

>115
何を言っているのかわかりません。最初から、わかるように書いてください。

何番が、わからないのでしょうか？

**１３２人目の素数さん** · 2020/04/26(日) 16:13:29.31

>>1のように、単独で読めるように書いてください。

日高 · 2020/04/26(日) 16:23:01.20

>117
>>1のように、単独で読めるように書いてください。

１は読めるでしょうか？

**１３２人目の素数さん** · 2020/04/26(日) 16:24:14.37

読めています。

日高 · 2020/04/26(日) 16:53:21.80

>119
1で、意味不明な箇所があるでしょうか？

**１３２人目の素数さん** · 2020/04/26(日) 16:55:39.53

そのあとの>>100とかが全体にどうかかわってくるのかわからないから
単独で読める証明を書いてくださいとお願いしています。

**１３２人目の素数さん** · 2020/04/26(日) 17:28:46.41

ところで1さん、>>102さんの

> 有理数解もあることになるが実際には有理数解を持たない、と言いたいのだと思う。

は合ってる？

**１３２人目の素数さん** · 2020/04/26(日) 18:09:02.31

>>1 日高
(3)にはzが現れないのですが、どうなっているのですか？

**１３２人目の素数さん** · 2020/04/26(日) 18:15:33.26

>>1 日高
> x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
> (1)は(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}…(2)となる。

こう展開することになんの意味があるのですか？

**１３２人目の素数さん** · 2020/04/26(日) 18:21:18.45

> (5)のx,y,zは、(3)のx,y,zのa^{1/(p-1)}倍となるので、整数比とならない。

(5)も(3)も方程式ですので、そのx,y,zと言われてもなんのことかわかりかねます。説明してください。

日高 · 2020/04/26(日) 18:23:12.32

>121
そのあとの>>100とかが全体にどうかかわってくるのかわからないから
単独で読める証明を書いてくださいとお願いしています。

100は、1の、(3)に、有理数解はなくても、無理数解があるかもしれない
ということです。

**１３２人目の素数さん** · 2020/04/26(日) 18:43:57.40

日高氏は数学の基礎知識が絶望的に不足しているし、日本語も不自由なので
指摘や質問内容を理解することができないし、まともに回答することもできない。

相手をするだけムダです。

**１３２人目の素数さん** · 2020/04/26(日) 19:21:35.71

>>126 日高
> >121
> そのあとの>>100とかが全体にどうかかわってくるのかわからないから
> 単独で読める証明を書いてくださいとお願いしています。
>
> 100は、1の、(3)に、有理数解はなくても、無理数解があるかもしれない
> ということです。

1は間違いだ、と言っているのですか？

**１３２人目の素数さん** · 2020/04/26(日) 22:08:00.12

>>100

http://rio2016.5ch.net/test/read.cgi/math/1587643218/の25ではあなたがちゃんと解けたのに、同じことがなぜできないんですか？

25であなたが証明したこと：　x^p+y^p=z^p　に無理数で整数比の解があるならば、
25であなたが証明したこと：　(αX)^p+(αY)^p=(αZ)^pとなります。(αは無理数、X,Y,Zは有理数)
25であなたが証明したこと：　両辺をd^pで割ると、X^p+Y^p=Z^pとなります。
25であなたが証明したこと：　この式は、元の式x^p+y^p=z^pに有理数のX,Y,Zを代入した形をしています。
25であなたが証明したこと：　よって、x^p+y^p=z^p　に無理数解があるならば、x^p+y^p=z^p　に有理数解があるといえます。

あなたが25でやったこれとおなじことを、x^p+y^p=(x+p^{1/(p-1)})^p…(3)でやるだけですよ？

仮定：　 x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数で整数比の解があるならば、
※※：
※※：
結論：　この式は、元の式x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数のX,Y,Zを代入した形をしています。
結論：　よって、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に無理数解があるならば、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に有理数解があるといえます。

あなたが、※※の部分を正しく埋められるなら、結論は正しい。

あなたが、※※の部分を正しく埋められないなら、結論は間違っている。
つまり、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に無理数解があったとしても、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に有理数解はない。
x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に有理数解がなかったとしても、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に無理数解がないとはいえない。

**１３２人目の素数さん** · 2020/04/26(日) 22:57:04.25

ちなみにあなたがhttp://rio2016.5ch.net/test/read.cgi/math/1582716245の746で書いたことは、同じ書き方をするとこうなります。

仮定：　 p=2のとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)に有理数で整数比の解があるならば、
※※：　 X^p+Y^p=(X+p^{1/(p-1)})^pとなります。(X,Yは有理数)
※※：　 αを無理数として、両辺にα^pをかけると、(αX)^p+(αY)^p=((αX)+p^{1/(p-1)}×α)^p
結論：　この式は、元の式x^p+y^p=(x+p^{1/(p-1)})^p…(3)に無理数で整数比のαX,αYを代入した形をになりません。
結論：　よって、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に有理数解があっても、x^p+y^p=(x+p^{1/(p-1)})^p…(3)　に無理数で整数比の解があるとは言えません。

例：　p=2のとき、3,4はx^p+y^p=(x+p^{1/(p-1)})^p…(3)の有理数で整数比の解だが、
無理数で整数比の3√5、4√5はx^p+y^p=(x+p^{1/(p-1)})^p…(3)の解ではありません。

日高 · 2020/04/27(月) 06:21:50.73

(改1)
【定理】pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)の解は整数比とならない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。rは有理数となる。
(5)の解は、(3)の解のa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pは、整数比の解を持たない。

日高 · 2020/04/27(月) 06:47:50.47

>130
例：　p=2のとき、3,4はx^p+y^p=(x+p^{1/(p-1)})^p…(3)の有理数で整数比の解だが、
無理数で整数比の3√5、4√5はx^p+y^p=(x+p^{1/(p-1)})^p…(3)の解ではありません。

この場合は、a=√5で、
x^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となります。

日高 · 2020/04/27(月) 07:26:56.77

(改2)
【定理】pが奇素数のとき、x^p+y^p=z^pの解は整数比とならない。
【証明】x^p+y^p=z^pを、z=x+rとおいて、x^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)の解は整数比とならない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は(3)の解のa^{1/(p-1)}倍となるので、整数比とならない。
∴pが奇素数のとき、x^p+y^p=z^pの解は整数比とならない。

日高 · 2020/04/27(月) 07:50:00.46

(改3)
【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)に整数比の解はない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。
∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。

**１３２人目の素数さん** · 2020/04/27(月) 08:44:46.20

おはようございます。
>>122と>>128に返信もらっても良いですか？

**１３２人目の素数さん** · 2020/04/27(月) 08:49:03.74

あ、できたら>>129も。

日高 · 2020/04/27(月) 08:51:49.25

>122
>>122と>>128に返信もらっても良いですか？

122の意味がよく理解できないので、具体に言っていただけないでしょうか。

日高 · 2020/04/27(月) 08:54:58.45

>137
122の意味がよく理解できないので、具体的に、言っていただけないでしょうか。

**１３２人目の素数さん** · 2020/04/27(月) 09:10:24.74

>>138
それだったらいいっす。
他のレスに返信してあげてください。

**１３２人目の素数さん** · 2020/04/27(月) 10:09:23.27

>>134 日高
> (2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> (3)に整数比の解はない。

なぜですか？

日高 · 2020/04/27(月) 10:15:53.58

>140
> (2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> (3)に整数比の解はない。

なぜですか？

x,yを有理数とすると、両辺が等しくならないからです。

**１３２人目の素数さん** · 2020/04/27(月) 10:41:35.66

>>141
> >140
> > (2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> > (3)に整数比の解はない。
x=y=r/(2^(1/p)-1)が(3)の解。y/x=1だから整数比。
つまり日高は嘘つき。

>
> なぜですか？
>
> x,yを有理数とすると、両辺が等しくならないからです。
嘘なのにデタラメな理由ででっち上げ。

**１３２人目の素数さん** · 2020/04/27(月) 10:41:38.91

x,yが有理数なんてどこにも書いてありませんが。

日高 · 2020/04/27(月) 12:46:52.80

>143
x,yが有理数なんてどこにも書いてありませんが。

x,yを有理数とすると、z=x+p^{1/(p-1)}なので、整数比となりません。

**１３２人目の素数さん** · 2020/04/27(月) 12:48:02.88

>>144
日本語は理解できますか？

日高 · 2020/04/27(月) 12:49:40.00

(改3)
【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)に整数比の解はない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。
∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。

**１３２人目の素数さん** · 2020/04/27(月) 13:37:00.36

>>146
> (改3)
> 【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
> (1)は(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}…(2)となる。
> (2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
> (3)に整数比の解はない。
> (2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
> (4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
> (5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。
> ∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
もはや都合の悪い指摘は全て無視か。
掲示板に書き込むな。ゴミ。

日高 · 2020/04/27(月) 13:55:25.65

>147
もはや都合の悪い指摘は全て無視か。

都合の悪い指摘とは、どのような指摘でしょうか？

**１３２人目の素数さん** · 2020/04/27(月) 15:29:25.64

>>148
> >147
> もはや都合の悪い指摘は全て無視か。
>
> 都合の悪い指摘とは、どのような指摘でしょうか？
疑問でごまかすな。ゴミ。

**１３２人目の素数さん** · 2020/04/27(月) 15:30:04.88

日高さんは整数比が頭にはいると有理数が頭から抜けてしまうのか。

日高 · 2020/04/27(月) 15:56:42.29

>150
日高さんは整数比が頭にはいると有理数が頭から抜けてしまうのか。

どの部分の有理数が、抜けているのでしょうか？

**１３２人目の素数さん** · 2020/04/27(月) 16:59:10.85

>>146のどこに有理数と書いてあるのかね？

**１３２人目の素数さん** · 2020/04/27(月) 17:15:49.62

最近、以前にも増して支離滅裂な答えが多いな。
botにしても出来が悪すぎる。

**１３２人目の素数さん** · 2020/04/27(月) 17:37:20.14

最終的な結論すら嘘八百。
x=y=z=0は整数比じゃないのか？デタラメな用語使っているから数学にならないんだよ。ゴミが。

**１３２人目の素数さん** · 2020/04/27(月) 18:32:34.67

>>148

>>128,129,142,145かな。
回答してあげてください。

**BLACKX** ◆SvoRwjQrNc · 2020/04/27(月) 19:00:26.57

納得できないならジャーナル掲載しろよ

日高 · 2020/04/27(月) 20:03:14.45

(改3)
【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)に整数比の解はない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。
∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。

日高 · 2020/04/27(月) 20:06:44.43

>155
>>128,129,142,145かな。
回答してあげてください。

書いた人の要求ならば、返事します。

**１３２人目の素数さん** · 2020/04/27(月) 20:06:48.02

大学で数学を専攻すると学ぶ射影平面は比x:y:zの全体と定義されることもありますが
そのときでも0:0:0は除外します。でも1:0:1や0:1:1,1:-1:0は考えます。やっぱり日高さんは抜けています。

**128** · 2020/04/27(月) 20:08:58.46

回答を求めます。

日高 · 2020/04/27(月) 20:09:07.23

>159
大学で数学を専攻すると学ぶ射影平面は比x:y:zの全体と定義されることもありますが
そのときでも0:0:0は除外します。でも1:0:1や0:1:1,1:-1:0は考えます。やっぱり日高さんは抜けています。

小学校ではどうでしょうか？

**１３２人目の素数さん** · 2020/04/27(月) 20:09:43.47

それがフェルマーの最終定理の簡単な証明とどう関係しますか？

日高 · 2020/04/27(月) 20:12:20.05

>160
回答を求めます。

書いた、本人でしょうか？

日高 · 2020/04/27(月) 20:14:05.35

>162
それがフェルマーの最終定理の簡単な証明とどう関係しますか？

わかりません。

**１３２人目の素数さん** · 2020/04/27(月) 20:17:53.52

>>163
じゃあ君が日高だということを証明してみせて。

日高 · 2020/04/27(月) 20:31:31.99

>165
じゃあ君が日高だということを証明してみせて。

意味がわかりません。

**１３２人目の素数さん** · 2020/04/27(月) 20:39:22.53

そんなに返信したくないのかなあ。

**１３２人目の素数さん** · 2020/04/27(月) 20:43:36.67

>>158
> >155
> >>128,129,142,145かな。
> 回答してあげてください。
>
> 書いた人の要求ならば、返事します。
誰が書こうと回答するべきだろが。
コメントを書くこと自体が要求になっている。

それはさておき、私は、過去に書き込んだ全ての書き込みに、まともな数学的な事実・考察に基いた回答を要求する。
そして、言い訳でごまかした日高の回答は、回答ではないので、全てのコメントに対して再回答を要求する。

日高 · 2020/04/27(月) 20:44:16.83

>167
そんなに返信したくないのかなあ。

本人の希望かどうか、分からないからです。

日高 · 2020/04/27(月) 20:45:48.16

(改3)
【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)に整数比の解はない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。
∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。

**１３２人目の素数さん** · 2020/04/27(月) 20:46:05.17

>>169
> >167
> そんなに返信したくないのかなあ。
>
> 本人の希望かどうか、分からないからです。
言い訳してないで回答しろよ。ゴミが。

**１３２人目の素数さん** · 2020/04/27(月) 20:51:03.77

>>169
でもさ、この5chで本人確認できると思う？匿名掲示板だよ。
貴方だって、本当に日高氏か証明できないでしょ？（>>165）

日高 · 2020/04/27(月) 20:53:01.65

>171

> 本人の希望かどうか、分からないからです。
言い訳してないで回答しろよ。ゴミが。

一つだけ、質問してください。

**１３２人目の素数さん** · 2020/04/27(月) 20:53:18.02

>>170 日高

> 【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
> (1)は(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}…(2)となる。

この展開はなんのためにしたのか不明。

> (2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。

へもってゆきたいだけならいきなりそう書けばいいのに。

> (3)に整数比の解はない。

無理数解なら整数比になるものがあります。

> (2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
> (4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。

r^(p-1)=apらしいので(ap)^{1/(p-1)}はrです。(5)は(1)と同じ。
r=0の場合を見落としていますがばかばかしいのでやめます。

> (5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。

(3)の無理数解を見落としていますから無意味です。

> ∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。

……なーんてことは言えていません。零点。

日高 · 2020/04/27(月) 20:54:25.01

>172
そうですね。

**１３２人目の素数さん** · 2020/04/27(月) 20:55:44.95

じゃあ一つだけ質問します。
間違った証明を延々と書き込み続けるのはなぜですか？

日高 · 2020/04/27(月) 20:56:43.41

>174
> 【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
> 【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
> (1)は(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}…(2)となる。

この展開はなんのためにしたのか不明。

積の形にする為です。

日高 · 2020/04/27(月) 20:58:26.41

>176
間違った証明を延々と書き込み続けるのはなぜですか？

間違いの証拠がないからです。

**１３２人目の素数さん** · 2020/04/27(月) 21:00:20.54

>>177 日高

> 積の形にする為です。

そうするとどういういいことがありますか？

**１３２人目の素数さん** · 2020/04/27(月) 21:11:08.81

>>173
> >171
>
> > 本人の希望かどうか、分からないからです。
> 言い訳してないで回答しろよ。ゴミが。
>
> 一つだけ、質問してください。
要求に回答するといったのはお前だろうが。ゴミが。
言い訳しないで早く回答しろ。

**１３２人目の素数さん** · 2020/04/27(月) 21:12:04.53

>>178
> >176
> 間違った証明を延々と書き込み続けるのはなぜですか？
>
> 間違いの証拠がないからです。
間違いの証拠は死ぬほど指摘されているだろうが。
全部無視しているのは日高だ。

日高 · 2020/04/27(月) 21:12:44.79

>179
> 積の形にする為です。

そうするとどういういいことがありますか？

解が、整数比にならないことが分かります。

日高 · 2020/04/27(月) 21:15:20.27

(改3)
【定理】pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。
【証明】x^p+y^p=z^pを、z=x+rとおいてx^p+y^p=(x+r)^p…(1)とする。
(1)は(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}…(2)となる。
(2)はr^(p-1)=pのとき、x^p+y^p=(x+p^{1/(p-1)})^p…(3)となる。
(3)に整数比の解はない。
(2)をr^(p-1){(y/r)^p-1}=ap{x^(p-1)+…+r^(p-2)x}(1/a)…(4)とする。
(4)はx^p+y^p=(x+(ap)^{1/(p-1)})^p…(5)となる。
(5)の解は(3)の解のa^{1/(p-1)}倍なので、(5)にも整数比の解はない。
∴pが奇素数のとき、x^p+y^p=z^pに整数比の解はない。

**１３２人目の素数さん** · 2020/04/27(月) 21:17:24.90

>>182 日高
> >179
> > 積の形にする為です。
>
> そうするとどういういいことがありますか？
>
> 解が、整数比にならないことが分かります。

どうしてそうわかりますか？

**１３２人目の素数さん** · 2020/04/27(月) 21:17:41.43

早く回答しろよ。

**１３２人目の素数さん** · 2020/04/27(月) 21:19:17.60

>>183 日高
同じものをまた書いても意味ないだろうが。

**１３２人目の素数さん** · 2020/04/27(月) 21:21:16.95

>>186
このスレをブラウザで見てるらしいから、
流れるみたい。……

日高 · 2020/04/27(月) 21:43:19.88

>185
早く回答しろよ。

x^p+y^p=(x+p^{1/(p-1)})^p…(3)となるからです。

**１３２人目の素数さん** · 2020/04/27(月) 21:45:29.54

>>188 日高
> >185
> 早く回答しろよ。
>
> x^p+y^p=(x+p^{1/(p-1)})^p…(3)となるからです。

初めっからr=p^{1/(p-1)}とおけばよいだけの話だろ。

日高 · 2020/04/27(月) 21:51:11.81

>189
初めっからr=p^{1/(p-1)}とおけばよいだけの話だろ。

根拠は？

**１３２人目の素数さん** · 2020/04/27(月) 21:56:14.56

>>190 日高
> >189
> 初めっからr=p^{1/(p-1)}とおけばよいだけの話だろ。
>
> 根拠は？

ないよ。君にあるのかい？

日高 · 2020/04/27(月) 22:00:24.90

>191
> 根拠は？

ないよ。君にあるのかい？

最初の、式を変形して、得られた式だからです。

**１３２人目の素数さん** · 2020/04/27(月) 22:03:51.31

で？回答がまだだが。無視かよ。ゴミが。

**１３２人目の素数さん** · 2020/04/27(月) 22:10:00.96

>>192 日高

> 最初の、式を変形して、得られた式だからです。

意味がわからないので詳しく説明していただけないでしょうか？

日高 · 2020/04/27(月) 22:17:32.75

>193
で？回答がまだだが。無視かよ。ゴミが。

何番に対する回答でしょうか？

日高 · 2020/04/27(月) 22:19:00.56

>194
意味がわからないので詳しく説明していただけないでしょうか？

考えてください。

**１３２人目の素数さん** · 2020/04/27(月) 22:26:07.81

自分の証明が間違っていると理解できるレベルの能力を身につけてほしい

**１３２人目の素数さん** · 2020/04/27(月) 22:29:53.02

>>196 日高
> >194
> 意味がわからないので詳しく説明していただけないでしょうか？
>
> 考えてください。

ひとに証明を読んでもらっておきながら、なんだよ，その態度。

日高 · 2020/04/27(月) 22:30:01.11

>197
自分の証明が間違っていると理解できるレベルの能力を身につけてほしい

具体的な指摘を、お願いします。

日高 · 2020/04/27(月) 22:31:41.10

>198

> 考えてください。

ひとに証明を読んでもらっておきながら、なんだよ，その態度。

考えないと、意味がわかりません。