【定理】pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
【証明】x^p+y^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}と変形して、
z^p=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(1)を考える。
(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
等式の性質により、(3)が成り立つならば、(1),(2)も成り立つ。
(3)が成り立たないならば、(1),(2)も成り立たない。
(3)を(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
これを、(z^p/1)=(x+y)に代入すると、zが自然数のとき、式は成り立たない。
(3)が成り立たないので、(1),(2)も成り立たない。
∴pが奇素数のとき、x^p+y^p=z^pは、自然数解を持たない。
フェルマーの最終定理の簡単な証明6
■ このスレッドは過去ログ倉庫に格納されています
1日高
2020/02/09(日) 17:26:34.10ID:4kMS721s■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 古市憲寿氏、『中居正広氏の性暴力認定』に疑問符 「上司が部下を飲みに誘うことも性暴力になりうる。幅がメチャクチャ広い」 [jinjin★]
- 【芸能】ホリエモンが登場する日清食品の新CMに元タカラジェンヌ「全てが不快。企業イメージ堕ちた」 [シャチ★]
- 秋田産コメからカドミウム 基準値超、回収進める [蚤の市★]
- 【文春】中居正広『性暴力』被害の元フジテレビ女性アナ「私はこの事件のことを隠したかった」「けど、誹謗中傷され、さげすまれ…」★2 [冬月記者★]
- 【兵庫】「お前もとっとと自殺しろ」兵庫県議らに大量の脅迫メール 激化する“言論への攻撃”の実態「フラグを立てられたら終わり」 [ぐれ★]
- ベッセント米財務長官「株価下落は中国ディープシークAIモデルに関係」トランプ大統領の政策が要因との見方を否定 [Hitzeschleier★]
- 【動画】Xのメンヘラ女子、自殺 [632966346]
- バナナマン・設楽統が体調不良 レギュラーラジオ番組を欠席 [384232311]
- 松本人志さん、テレビから永久追放が確定wwwwwwwwwwwwwwww [977790669]
- 【悲報】アメリカ人「関税なら知ってるよ。日本人がアメリカ政府に25%納めるんだろ?」 [858219337]
- 現代日本人のDNA9割が大陸由来だった [152212454]
- ワイが通勤してる小学校の近くに不審者がいるらしいんやが