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

---

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

---

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

---

680(1): 日高 2019/11/21(木)18:21 ID:hxF/WtyM(13/15) 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を(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)}となるので、rは無理数となり、�Aは成り立たない。
➂の右辺に、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も成り立たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。

---

681: 2019/11/21(木)20:00 ID:KKmql5AP(1/2) AAS
>>680
ゴミ。やりとりが終わって一段落してからにしろよ。

---

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

---

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

---

ぬこの手 ぬこTOP 0.040s