>>502
ちょっと面白そうな問題があったので やってみた
a^4 = b^2 + 2^c
つまり (a^2+b)(a^2-b) = 2^c
を満たす自然数a,b,cの組をすべて求める
(a^2+b)(a^2-b) = 2^c
が自然数a,b,cに対して成立していたとする
このとき,以下の(1),(2),(3)を同時に満たす
自然数s,t(s>t)の組が取れることに注意する
a^2+b = 2^s ...(1)
a^2-b = 2^t ....(2)
c = s+t ...(3)
(1)+(2) より 2a^2 = 2^s + 2^t
すなわち, a^2 = 2^(t-1)*(2^(s-t)+1) ...(4)
2^(t-1) と 2^(s-t)+1 は互いに素であるから
2^(t-1) と 2^(s-t)+1 はともに平方数となる
だから tは奇数であり 2^(s-t)+1 = u^2 を満たす自然数uが取れる
よって, (u+1)(u-1) = 2^(s-t) を得る
uは明らかに1より大きい奇数である
また, u-1, u+1 が同時に4で割り切れることはないので
u-1 ≦2 つまり u≦3 がいえる
u>1 とあわせて u=3 であることがいえた
よって s-t = 3 がいえる.
tは奇数なので t=2k-1を満たす自然数kを取れば
s-t=3 とあわせて s =2k+2 となる
(1)-(2) より 2b = 2^s - 2^t
すなわち b = 2^(2k+1)-2^(2k-2) = 7*2^(2k-2)
また (4) より a = 3*2^(k-1) となる
そして (3) より c = 4k+1 が得られる
逆に kを任意の自然数として
(a,b,c)=(3*2^(k-1),7*2^(2k-2),4k+1)とすれば
これは a^4 = b^2 + 2^c を満たす
したがって, これは全ての自然数の解を与える
探検
フェルマーの最終定理の証明 (2)
■ このスレッドは過去ログ倉庫に格納されています
511132人目の素数さん
2020/12/08(火) 19:32:27.88ID:A43C1o67■ このスレッドは過去ログ倉庫に格納されています
ニュース
- トランプ大統領 日本を批判「トヨタは100万台米国で販売する一方GMやフォードはほとんど販売してない。米国の企業は他国で排除」★4 [Hitzeschleier★]
- 「店内に車が突っ込んだ」92歳の男性運転の車が「丸亀製麺 守山店」に突っ込む けが人なし 名古屋 [どどん★]
- 石破総理「極めて残念であり不本意」 トランプ大統領が日本に24%の相互関税 [どどん★]
- 【社会】「拳銃を誤って持ち込んだ」自ら申告し逮捕されたアメリカ人男性 神戸地検が不起訴処分 [シャチ★]
- 中居正広がヒアリングで語らなかった「密室での出来事」第三者委員会からの守秘義務解除の依頼を拒否、被害者の心変わりを懸念したか [Ailuropoda melanoleuca★]
- 米財務長官 各国はパニックにならず報復しないように 報復なければ今の数字が上限、報復すれば事態は悪化すると警告 ★4 [Hitzeschleier★]
- 炎上するけど、政治家って893率高いよな、陰謀論扱いかもだが、少なくとも繋がりはある、普通に働けないやつが政治家なる率高いし [943688309]
- 【悲報】斎藤元彦陣営のネット広報担当会社が投稿したnoteで騒然★629 [931948549]
- 【自民党速報】 日本の伝統的な “ヤクザ” である暴力団員の減少が深刻。 全国で2万人を割り込んでしまう [485983549]
- アメップさん、Switch2が高すぎて逝くwww 「トランプ関税46%が追加で発生😭 ただですらヘイト価格なのに……」 [175344491]
- 【朗報】TOYOTA「関税含めてもアメリカで値上げしません。日本の企業努力でトランプ関税分は対応します」 [673057929]
- ニンテンドースイッチ2、ゲームソフトの値段を爆上げwwwww [916921592]