>>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■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 「米価このまま維持されてしかるべきだ」佐賀県知事、稲作農家の経営踏まえ言及 ★3 [蚤の市★]
- 【米米】米を「月30キロ」家族で消費する女性、カリフォルニア米を「4キロ2900円」で購入してみた感想は…… [ひぃぃ★]
- 【米国】「就任初日に戦争止める」と訴えていたトランプ氏「面白半分で言っていただけだ」★2 [あしだまな★]
- 【教育】なぜ「体育嫌い」は増える? 背景にホモソーシャル、性的少数者無視 ★2 [ぐれ★]
- 【芸能】永野芽郁「彼氏いたらダメでしょ」 ラジオで語っていた“恋愛観” 好きな人に恋人がいる場合、仲良くなってはならないと持論 [jinjin★]
- GACKT、永野芽郁と田中圭の不倫疑惑で「事務所が謝るのが全く理解できない」「日本の世論に謝罪を強要されているならマジでキモい」 [muffin★]
- 🏡
- ベビーカー、重い荷物...なぜ日本人は手を差し伸べないのか?「困っている人=自業自得」一橋大×名大調査で明らかになった共感の欠如 [377482965]
- 万博の警備員が土下座・・・会社は「強要なかった」と説明。警備員が「自主的」に土下座しただけでした😉 [441660812]
- 愛をください、ウォウウォウ愛をください
- 若者ジョジョ日本人ファン「1部と2部は読む気しないし、スタンド出ないから読む必要も無い」 [705549419]
- @grok 「お米の適正価格は5kg=10,833円です。コメが高い叫ぶ日本人は農家の搾取を懺悔し猛省すべきです」 [249548894]