[過去ﾛｸﾞ] フェルマーの最終定理の簡単な証明2 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

190(3): 日高 2019/11/13(水)11:05 ID:obOmojuw(19/40) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…�@が、有理数解を持つかを検討する。
�@をz=x+rとおくと、x^p+y^p=(x+r)^p…�Aとなる。�Aを積の形に変形してrを求める。
�Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、�Aはx^p+y^p=(x+p^{1/(p-1)})^p…�Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…�Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、�AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…�Eとなる。
�EのX,Y,Zは�Cのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
�Cはxを有理数とすると、zは無理数となる。よって、�E,�C,�A,�@は有理数解を持たない。
省1

---

320(4): 日高 2019/11/15(金)10:15 ID:fPO+9xfH(7/18) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…�@が、有理数解を持つかを検討する。
�@をz=x+rとおくと、x^p+y^p=(x+r)^p…�Aとなる。�Aを積の形に変形してrを求める。
�Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、�Aはx^p+y^p=(x+p^{1/(p-1)})^p…�Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…�Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、�AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…�Eとなる。
�EのX,Y,Zは�Cのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
�Cはxを有理数とすると、zは無理数となる。よって、�E,�C,�A,�@は有理数解を持たない。
省1

---

374(4): 日高 2019/11/16(土)13:27 ID:qdMW1Zfe(15/42) AAS
>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も整数比となりません。

---

423(3): 日高 2019/11/16(土)16:59 ID:qdMW1Zfe(39/42) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…�@が、有理数解を持つかを検討する。
�@をz=x+rとおくと、x^p+y^p=(x+r)^p…�Aとなる。�Aを積の形に変形してrを求める。
�Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、�Aはx^p+y^p=(x+p^{1/(p-1)})^p…�Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…�Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、�AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…�Eとなる。
�EのX,Y,Zは�Cのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
�Cはxを有理数とすると、zは無理数となる。よって、�E,�C,�A,�@は有理数解を持たない。
省1

---

434(3): 日高 2019/11/17(日)09:21 ID:RiHdkMvj(1/26) AAS
>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も存在します。
�Eには、有理数x,y,zは存在しません。
つまり、無理数x,y,zの比と、有理数x,y,zの比は、等しくなります。

---

453(4): 日高 2019/11/17(日)11:18 ID:RiHdkMvj(10/26) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…�@が、有理数解を持つかを検討する。
�@をz=x+rとおくと、x^p+y^p=(x+r)^p…�Aとなる。�Aを積の形に変形してrを求める。
�Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、�Aはx^p+y^p=(x+p^{1/(p-1)})^p…�Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…�Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、�AはX^p+Y^p=(X+(ap)^{1/(p-1)})^p…�Eとなる。
�EのX,Y,Zは�Cのx,y,zのa^{1/(p-1)倍となるので、X:Y:Z=x:y:zとなる。
�Cはxを有理数とすると、zは無理数となる。よって、�E,�C,�A,�@は有理数解を持たない。
省1

---

473(3): 日高 2019/11/17(日)15:49 ID:RiHdkMvj(19/26) AAS
>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は、無理数となります。

---

514(5): 日高 2019/11/18(月)13:41 ID:m12I/9Ir(13/28) AAS
　>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以上ならば、計算可能です。

---

516(3): 日高 2019/11/18(月)15:46 ID:m12I/9Ir(14/28) AAS
>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(4): 日高 2019/11/18(月)19:30 ID:m12I/9Ir(19/28) AAS
>p=7のときにはこの式は計算が可能なんですよね
ん
p=7は、p=1に帰着するので、計算不可能です。

---

542(12): 日高 2019/11/18(月)20:37 ID:m12I/9Ir(26/28) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数とする。x^p+y^p=z^p…�@が、有理数解を持つかを検討する。
�@をz=x+rとおくと、x^p+y^p=(x+r)^p…�Aとなる。�Aを積の形に変形してrを求める。
�Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、�Aはx^p+y^p=(x+p^{1/(p-1)})^p…�Cとなる。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…�Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、�AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…�Eとなる。
�EのX,Y,Zは�Cのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。
�Cはxを有理数とすると、zは無理数となる。よって、�E,�C,�A,�@は有理数解を持たない。
省1

---

588(4): 日高 2019/11/19(火)14:33 ID:YUDnqgOv(19/32) AAS
{p^(1/p)}^p+{(2p)^(1/p)}^p={(3p)^(1/p)}^p

にp=7を代入した場合はp=1を代入した場合と同じにはなりませんが、これはp=1に帰着しないと言うことで宜しいですか？

はい。

---

591(3): 日高 2019/11/19(火)15:22 ID:YUDnqgOv(21/32) AAS
>なるほど、{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と同じ形となります。

---

636(4): 日高 2019/11/20(水)13:06 ID:7aosEsEb(10/20) AAS
>pの値がコロコロ変わることはありません
もう一度聞きますが、p= 7, x = 100^(1/7), y = 200^(1/7), z = 300^(1/7)のとき、p = 1ですか？
YESかNOかで答えてください

NOです。

---

651(3): 日高 2019/11/20(水)20:29 ID:7aosEsEb(19/20) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】pは奇素数、x,y,zは有理数とする。x^p+y^p=z^p…�@が、有理数解を持つかを検討する。
�@をz=x+rとおくと、x^p+y^p=(x+r)^p…�Aとなる。�Aを積の形に変形してrを求める。
�Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、�Aはx^p+y^p=(x+p^{1/(p-1)})^p…�Cとなる。
�Cはp^{1/(p-1)}が無理数なので、zは無理数となる。よって、�Cは有理数解を持たない。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…�Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなるので、�AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…�Eとなる。
�EのX,Y,Zは�Cのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、�Eも有理数解を持たない。
省2

---

778(3): 日高 2019/11/23(土)10:27 ID:YC5V5015(11/12) AAS
>それに�Cの大文字の X、Y、Z と �Dの a が何であるかも不明だぞ。

大文字の X、Y、Zは、r=(pa)^{1/(p-1)}のときの、x,y,zです。
aは、(pa)^{1/(p-1)}が有理数のときのaです。

---

828(3): 日高 2019/11/25(月)21:33 ID:GLgYCARi(17/17) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…�@を、z=x+rとおいて、x^p+y^p=(x+r)^p…�Aとする。
�Aを積の形に変形してrを求める。x,y,z,rは0を除く有理数と仮定する。
�Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとすると、r=p^{1/(p-1)}となるので、�AはX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rは無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…�Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。�AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…�Eとなる。
�EのX,Y,Zは�Cのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、�Eも仮定に反する。
省1

---

865(4): 日高 2019/11/26(火)16:46 ID:rKDBhwFV(20/26) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…�@を、z=x+rとおいて、x^p+y^p=(x+r)^p…�Aとする。
�Aを積の形に変形してrを求める。x,y,z,rは0をのぞく有理数と仮定する。
�Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。�AはX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
rが無理数となるので、➃は仮定に反する。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…�Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。�AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…�Eとなる。
�EのX,Y,Zは�Cのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、�Eも仮定に反する。
省1

---

873(4): 日高 2019/11/26(火)20:29 ID:rKDBhwFV(24/26) AAS
>x^p+y^p=(x+p^{1/(p-1)})^pの無理数解については何も調べていないのだから何の矛盾も生じない。

x^p+y^p=(x+p^{1/(p-1)})^pの解が無理数で、整数比となるものが、あるとすると、
その解を、共通の無理数dで割ると、x/d:y/d:z/d=x:y:zとなります。
x:y:zは、整数比となるので、x,y,zは有理数となります。
つまり、x,y,zが、有理数の場合と同じとなります。

---

906(4): 日高 2019/11/27(水)20:29 ID:tuk4Ic8H(15/17) AAS
【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=z^p…�@を、z=x+rとおいて、x^p+y^p=(x+r)^p…�Aとする。
�Aを積の形に変形してrを求める。x,y,z,r,aは0をのぞく有理数とする。
�Aを(x/r)^p+(y/r)^p=(x/r+1)^p, (y/r)^p-1=p{(x/r)^(p-1)+…+x/r},
r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x}…➂とする。
➂はr^(p-1)=pとなるので、r=p^{1/(p-1)}となる。�AはX^p+Y^p=(X+p^{1/(p-1)})^p…➃となる。
➃はrが無理数となるので、式は成り立たない。
➂の右辺に、a(1/a)を掛けるとr^(p-1){(y/r)^p-1}=pa{x^(p-1)+…+r^(p-2)x}(1/a)…�Dとなる。a(1/a)=1となる。
r^(p-1)=p以外の場合は、r^(p-1)=paとなる。r=(pa)^{1/(p-1)}となるのでrは有理数となる。�AはX^p+Y^p=(X+(pa)^{1/(p-1)})^p…�Eとなる。
�EのX,Y,Zは�Cのx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。よって、�Eも式は成り立たない。
省1

---

926(4): 2019/11/28(木)11:46 ID:rgRAGsWD(2/4) AAS
>>925
>r^(p-1)=apは、結論でしょうか？

aが定義されていないので結論かどうか判断できません。(過去に何度も指摘されています。証明に加えてください。)

もしあなたが復習をしたいと思っているなら、次の問題に答えてみてください。
問.次の文の仮定と結論をそれぞれ答えよ
�@正三角形ならば三つの辺の長さが等しい
�A二つの内角が等しい三角形は二等辺三角形である
�Bnを自然数とする。nが10の倍数ならばnは5で割り切れる
�Cnを自然数とする。nの二乗が奇数ならばnは奇数である
�D日本の山の中で一番高い山は富士山である

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.068s