2022一橋大学・第１問【整数問題】2^a3^b+2^c3^d=2022を満たす0以上の整数

考え方・解答

対称性の利用

\(2^a3^b\) と \(2^c3^d\) には対称性があるため、\(b≦d\) としても一般性を失わない．

範囲の絞り込み

条件から範囲を絞る

\(3\) のべき乗に注目すると、

\(b\)、\(d\) は \(7\) 以上の整数とはならない．

よって、\(0≦b≦6\)、\(0≦d≦6\) とわかる

※\(2\) のべき乗で考えても良いが、\(3\) の方がより範囲が絞れるため、\(3\) について考えた

倍数や余りに注目

右辺を素因数すると \(2022＝2\times 3\times 337\) であるから、

\(2022\) は \(3\) の倍数であるが、\(3^n\) (n は 2 以上の整数 ) の倍数ではない．

つまり、\(b\)、\(d\) がともに \(2\) 以上となることはない．

\(b=0\) のとき

(ⅰ)　\(d=0\) のとき

\(2^a3^b+2^c3^d=2022\) \(\iff 2^a+2^c=2022\)

上の表より、\(2\) のべき乗の和が \(2022\) とならないため不適．

(ⅱ)　\(d≧1\) のとき

\(2^a3^b+2^c3^d=2022\)

\(\iff 2^a+2^c3^d=2022\)

\(\iff 2^a=2022-2^c3^d=3(674-2^c3^{d-1})\)

右辺は \(3\) の倍数となるが、左辺は \(3\) を因数に持たないため不適．

(ⅰ)、(ⅱ)より、\(b\not=0\) である．

\(b=1\) のとき

\(2^a3^b+2^c3^d=2022\)

\(\iff 2^a\times 3+2^c3^d=2022\)

\(\iff 2^a+2^c3^{d-1}=674\) ・・・①

また、\(b≦d≦6\) より、\(d=1,2,3,4,5,6\)

・\(d=1\) のとき

①より、\(2^a+2^c=674\)

上記の表より、和が \(674\) となる \(2\) のべき乗は存在しない．

・\(d=2\) のとき

①より、\(2^a+3\times 2^c=674\)

これを満たすためには、\(3\times 2^c<674\) であることが必要

\(2^c<\displaystyle\frac{674}{3}=224.666\cdots\) より

\(c≦7\) であることが必要

①より、\(2^a=674-3\times 2^c\) にそれぞれ代入すると、

となり、これらを満たす \(0\) 以上の \(a\) は存在しない．

・\(d=3\) のとき

①より、\(2^a+9\times 2^c=674\)

これを満たすためには、\(9\times 2^c<674\) であることが必要

\(2^c<\displaystyle\frac{674}{9}=74.888\cdots\) より

\(c≦6\) であることが必要

①より、\(2^a=674-9\times 2^c\) にそれぞれ代入すると、

となり、これらを満たす \(0\) 以上の \(a\) は存在しない．

・\(d=4\) のとき

①より、\(2^a+27\times 2^c=674\)

これを満たすためには、\(27\times 2^c<674\) であることが必要

\(2^c<\displaystyle\frac{674}{27}=24.962\cdots\) より

\(c≦4\) であることが必要

①より、\(2^a=674-27\times 2^c\) にそれぞれ代入すると、

となり、これらを満たす \(0\) 以上の \(a\) は存在しない．

・\(d=5\) のとき

①より、\(2^a+81\times 2^c=674\)

これを満たすためには、\(81\times 2^c<674\) であることが必要

\(2^c<\displaystyle\frac{674}{81}=8.320\cdots\) より

\(c≦3\) であることが必要

①より、\(2^a=674-81\times 2^c\) にそれぞれ代入すると、

となり、条件を満たすのは、\((a,c)=(9,1)\) のとき

・\(d=6\) のとき

①より、\(2^a+243\times 2^c=674\)

これを満たすためには、\(243\times 2^c<674\) であることが必要

\(2^c<\displaystyle\frac{674}{243}=2.773\cdots\) より

\(c≦1\) であることが必要

①より、\(2^a=674-81\times 2^c\) にそれぞれ代入すると、

となり、これらを満たす \(0\) 以上の \(a\) は存在しない．

以上より、\(b≦d\) のとき求める整数 \(a\)、\(b\)、\(c\)、\(d\) の組は、

\(( a , b , c , d )=(9,1,1,5)\)

\(d≦b\) のときも同様に考え、\(( a , b , c , d )=(1,5,9,1)\)

したがって、\(( a , b , c , d )=(1,5,9,1)\)、\((9,1,1,5)\)

最後に

今回は最後の方は１つ１つ実験し不適になることを確認していった。

もっと上手に範囲を絞り込み、実験する量を減らすことも可能であろう。

試験中に可能な限り範囲の絞り込みの案を出し、どれほど絞り込めるかで、後々の計算量は大きく変わってくる。

かと言って、絞ることばかり考え、妙案が出ずに時間オーバーになるのもいけない。

自宅での演習の際は、是非もっと絞り込むことは出来ないかと考える練習をし、模試や本番ではある程度まで絞れたら、最後は１つ１つ潰していくと言うのも全然ありである！

いずれにせよ、この１問を通して、条件から範囲を絞る練習、そして範囲を絞ることの大切さを学んでほしい。