(修正1)
【定理】n≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【証明】x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
(1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
(2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
(2)はa=1以外、r^(n-1)=anのとき、x^n+y^n=(x+(an)^{1/(n-1)})^n…(4)となる。
(3)はrが無理数なので、有理数解を持たない。(4)の解は(3)の解のa^{1/(n-1)}倍となる。
(3)のx,yが無理数の場合は、x^n+y^n=(x+(n^{1/(n-1)})/w)^n…(3')となる。(wは無理数)
(3')は(4)と同じとなるので、整数比の解を持たない。
∴≧3のとき、x^n+y^n=z^nは自然数解x,y,zを持たない。
【定理】n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
【証明】x^2+y^2=z^2を、z=x+rとおいてx^2+y^2=(x+r)^2…(1)とする。
(1)をr{(y/r)^2-1}=a2x(1/a)…(2)と変形する。
(2)はa=1、r=2のとき、x^2+y^2=(x+2)^2…(3)となる。
(2)はa=1以外、r=a2のとき、x^2+y^2=(x+a2)^2…(4)となる。
(3)はrが有理数なので、有理数解を持つ。(4)の解は(3)の解のa倍となる。
∴n=2のとき、x^n+y^n=z^nは自然数解x,y,zを持つ。
探検
フェルマーの最終定理の証明
■ このスレッドは過去ログ倉庫に格納されています
58日高
2020/11/15(日) 14:40:54.58ID:mWG7Z8Si■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「米価このまま維持されてしかるべきだ」佐賀県知事、稲作農家の経営踏まえ言及 ★4 [蚤の市★]
- 永野芽郁、衝撃の“肉食W不倫”の代償「CMドミノ降板」『キャスター』出演シーン大幅カット [阿弥陀ヶ峰★]
- 【大阪・関西万博】“空飛ぶクルマ” デモ飛行中に機体の一部破損 [香味焙煎★]
- 中居正広、水面下で反撃の準備か 第三者委員会の報告書での“性暴力者”認定に強い抵抗感、自らの口で真相を明らかにする考えも ★8 [Ailuropoda melanoleuca★]
- 【SNSと選挙】仮面で第一声「AIメイヤー2号と申します」…ネット通称候補が増殖、経歴分からず有権者に不利益 [ぐれ★]
- 【訃報】大宮エリーさん死去 49歳 映画監督、脚本家、演出家など幅広く活躍… 電通デビュー作は広末涼子のドコモCM [冬月記者★]
- __自民党解体デモと財務省解体デモが日本各地で勃発 もうこれ国民一揆だろ!! [827565401]
- 銭湯の男湯にパパと来ていた7歳の女子を「奇貨置くべし」とスマホで写したオッサン、人生が終わる [389326466]
- 【衝撃】山上徹也、「安倍を撃った理由」と「死にたい人々」へ向けた異例の声明 [856698234]
- 悲報】中国AIディープシークにキムチ発祥の地を聞いたら韓国ではなく「中国」と驚きの答えが返ってきた。兄🇰🇷また荒れる [986198215]
- 輝明ってメジャーで活躍しそうだよな????
- 【画像】ハゲたライオンが見つかる。高齢オス個体 [159091185]