解決済み

20242024 の出てくる問題を作ろうと思って作ってみたのですが整数があまり得意ではなく、解くのに難航しています。

問題は、 a4+2b+2024=2ca^{4} + 2^{b} + 2024 = 2^{c} を満たす正の整数の組 (a,b,c)(a,b,c) を全て求める問題です。

以下、自分が行けたところまで書いてみます。

まず、 aa が偶数なのは両辺の偶奇からわかるので、a=2d(dN)a = 2d (d \in \mathbb{N}) と書けるはずです。

次に両辺のmod16\mod 16 を考えます。最初の式から 2c20242^{c} \geq 2024 なので、 c11c \geq 11が成り立つことと、202482024 \equiv 8 を合わせて、2b+802^{b} + 8 \equiv 0 が成り立つので、これより b=3b = 3 が成り立つと思います。

以上から、最初の式を両辺 1616 で割ると、d4+127=2ed^{4} + 127 = 2^{e} (e=c4e = c - 4 と置きました。) となるはずなのですが、この方程式の解がどうやっても求められません。

もともと、16+8+2024=204816 + 8 + 2024 = 2048 という等式を元ネタにしているので、

(a,b,c)=(2,3,11)(a,b,c) = (2,3,11) が解なのはわかります。適当にpythonで調べてみてもこれ以外の解が出て来なかったのですが、誰かこれ以外に解が存在しないことを示すか、他の解を見つけてくれませんか?


ベストアンサー

ベストアンサー

残念ながらおそらく無理です。

127という数が、大きいし素数だしで厄介なようです。


強いABC予想の主張を使えば、eeの値を6<e<286<e<28に絞ることができたので、その範囲全てを調べればe=7e=7のみであることが示せるとは思います。が、そもそも強いABC予想は現在未解決問題です。


↓ABC予想の解説ページ(これの「強いABC予想」の欄)

https://manabitimes.jp/math/2030



他に簡単な方法があったらすいません。僕にはわかりませんでした。

返信(3件)

ご教授いただきありがとうございます。

なんとなく常人では無理そうな気配はしていたのですが、やっぱり厳しいですか...

強いABC予想の主張で ee の範囲が絞れるとのことですが、詳しく教えていただけませんか?浅学なもので、どのように示せるのかがさっぱりわかりません。

計算が複雑でミスをしていて、正しくは6<e<32でした。🙇


強いABC予想の主張は、「自然数a,b,ca,b,ca+b=ca+b=cを満たすとき、c<(rad(abc))2c<(rad(abc))^2となる」です。

rad(n)rad(n)とはnnの異なる素因数の積であり、具体的には

rad(2331113)=2313=78rad(2^3*3^{11}*13)=2*3*13=78のような感じです。


a,b,ca,b,cそれぞれに、d4,127,2ed^4,127,2^eを代入します。

これらはd4+127=2ed^4+127=2^eを満たすので、ABC予想の主張より、2e<(rad(d41272e))22^e<(rad(d^4*127*2^e))^2が成り立ちます。


dの素因数全部,127,2dの素因数全部,127,2」がd41272ed^4*127*2^eの素因数ですが、ddの素因数は具体的にはわかりません。そこで、ddの素因数全部の積はddよりも小さいことを利用すると、rad(d41272e)<2127drad(d^4*127*2^e)<2*127*dが得られます。


よって、2e<(2127d)22^e<(2*127*d)^2が成り立ちます。両辺2乗すると、

22e<241274d4=241274(2e127)2^2e<2^4*127^4*d^4=2^4*127^4*(2^e-127)

この不等式を解くと、6<e<326<e<32です。

ご教授ありがとうございます。

実は今回の問題は、友人に高2向けに数学の実力テストを作ってほしいと依頼されて作っているときにできてしまった問題でして、もちろんこんな難問ではなく普通に解ける問題をテストには入れたのですが、どうしてもこの問題が気になって質問した次第です。

解決していただいてありがとうございます。

質問者からのお礼コメント

質問者からのお礼コメント

回答していただきありがとうございました。

そのほかの回答(1件)

d4+N=2ed^4 + N = 2^eNN の値によって難しさが変わると思います。比較的簡単に決定できるのは例えば次の場合です。


N=17,97,137,217,257,N = 17,97,137,217,257,\cdots での正整数解 (d,e)(d,e)

N=1,9,25,41,49,73,81,89,113,N = 1,9,25,41,49,73,81,89,113,\cdots での正の奇数解 (d,e)(d,e)


N=127N = 127 の場合は解答を見つけられませんでした。

一般の NN に対して一気にやっつけられるパワフルな方法もあるかも知れませんが,そちらも力不足でできませんでした。


確実に解ける場合を元ネタにして,うまく 20242024 にこじつけられないでしょうか。


返信(1件)

ご教授いただきありがとうございます。

20242024 の登場する他の問題を作ろうともしましたが、結局できたのはこれより難しそうな問題か、範囲が絞れるので調べるだけの問題か、多少勉強している人なら5分で解答が書けるような問題でした。

うまい難易度の整数問題を作るのって難しいですね... 大学入試などがうまく難易度調整されていることが身に染みてわかりました。


関連する質問

もっとみる