【定理】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■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領「今日は解放の日だ」相互関税砲発射、世界の株式市場に激震 米ハイテク7銘柄、約112兆円失う [おっさん友の会★]
- 【フジテレビ】親会社の大株主・ダルトンが声明 清水社長ら5人の取締役に退任要求… 「経営刷新にはほど遠い」「株主として許し難い」 [冬月記者★]
- 米財務長官 各国はパニックにならず報復しないように 報復なければ今の数字が上限、報復すれば事態は悪化すると警告 ★5 [Hitzeschleier★]
- 2025/04/03(木) 23:02:09.38 ID:xJTaPh440<> 最近襲われなくなったね <>
- トランプ関税 日本24%、中国34%、台湾32%、韓国30%、EU20%、英国10%など [パンナ・コッタ★]
- 【国際】マクロン大統領「アメリカ人は貧困化するだろう」 [ぐれ★]
- 【史上最低のオリンピック】 東京五輪談合事件、電通などに30億円の課徴金 [476729448]
- 株価の急落を喜ぶトランプ支持者の声が相次ぐ「効いてる証拠だ」「投資家は労働者階級から金を奪い続けてきた」 [281145569]
- 【悲報】トランプ米大統領「今日は米国民の解放の日だ!」→米ハイテク株が112兆円失われてしまう [354616885]
- Jリーグって多分世界一面白いリーグだわ
- ドル145www石破どうすんのきれ [357222248]
- 暇空茜に中傷されていた団体の代表、起訴について正式発表 [485187932]