今回の数学良問は整数に関するこの問題です。

3a2b=1\large{3^a-2^b=1}

となる整数a,bの解を全て求めよ

 まず実験してみましょう。今回は実験のためにaを動かしてみましょう。bを動かしても構いませんが、式の形からしても計算がしやすそうなので素直にaを選びました。

ここで何気なくaを動かして考えていますが変数を動かすときは1文字ごとにです。

 これは原則です。実験も正しく効率の良い実験をしないと意味を持ちません。 

 またaが負の整数であるとき成り立たないことは明らかですが、記述には明記してください。

[記述例]

a<03a<1,2b>0                         \large{a<0において、3^a<1,2^b>0であるから                         }
3a2b<1\large{3^a-2^b<1}

であるから、与えられた方程式は成り立たないゆえにaは0以上の整数である。

こんな感じで大丈夫だと思います。

 それではa≧0で考えていきましょう。

 とりあえずaを小さい順に当てはめてみると、(a,b)=(1,1),(2,3)は成り立つことがわかると思います。ただ、それ以降では少し計算してみても当てはまらなそうです。

 ここから、「a=3以降でこの方程式が成り立たない」という予測を立て、論述の方針を立てるのです。これが問題把握です。

 また今回の問題では「整数a,bの解を全て求めよ」と言われていることからも、与えられた方程式には規則性がある特別な場合しか成り立たないかという予測もできます。

 ここまでを5分くらいで出来たら上出来ですし、十分問題把握ができたことになると思います。

 当然初めに設定した方針が外れることもあります。その場合はまた実験をして、新しい方針を作っていきます。この積み重ねが、数学力向上に非常に大切になってきます。

                          \large{}                          

こちらの記事では試験での時間配分や試験に向けた勉強について解説しています。

 それでは問題把握で考えた方針を検証していきましょう。整数問題の場合基本的にやることは決まっています。

余りに注目[mod]

積の形に変形

条件から不等式での絞り込み

 基本はこの3つが有効です。とくにmodと不等式はどの問題でも初めに試してほしいです。積の形は強力ではありますが、慣れるまでにかなり時間がかかると思います。

 まず両辺の余りについて考えてみましょう。2で割ったときの余りは、両辺ともに奇数になるので新たな情報はなさそうです。

3で割ったときの余りを考えると、

3a0(mod3)\large{3^a≡0 (mod3)}
22, 41, 82, 161, 322(mod3)\large{2≡2, 4≡1, 8≡2, 16≡1, 32≡2(mod3)}

のように規則性があり、右辺の3で割った余りは1なので、(a,b)=(1,1)を除いてb=2n+1(nは自然数)で表せることが分かりました。ただ、+1が使いずらく、決め手にはなりません。

4で割ったときの余りを考えると、

22, 2b(b2)0(mod4)\large{2≡2, 2^b(b≧2)≡0(mod4)}
33, 91, 273, 811, 2433(mod3)\large{3≡3, 9≡1, 27≡3, 81≡1, 243≡3(mod3)}

のように規則性があり、(a,b)=(1,1)を除いて、a=2m(mは自然数)ということが分かりました。ここで一度代入してみると

3a1=2b\large{3^a-1=2^b}
32m1=2b\large{3^{2m}-1=2^b}

となります。すると見覚えのある形が出てきたのではないでしょうか。この形は頻出です。

ここで積の形に直すを利用します。

(3m1)(3m1)=2b\large{(3^{m}-1)(3^{m}+1)=2^b}

という形が出てきます。右辺と比べて左辺を考える左辺を素因数分解しても2しか出てこないはずですそのためx,yを自然数として

3m1=2x \large{3^{m}-1=2^x} ・・・①
3m1=2y \large{3^{m}+1=2^y} ・・・②

が成り立つことが分かります。このとき、②-①より

2=2y2x\large2=2^y-2^x

であり、x,yが自然数であることから、(x、y)=(1,2)と分かります。よって求めるすべての解は、

(a,b)=(1,1),(2,3)

と分かりました。これが解答になります。

 ②-①は何気なくしていますが、変数のmを消したいという明確な意図があってしています。このように数学の解説を見るときは、一行一行なぜそうしたのかという、理由を考えていきましょう。

 続けていけば、作業に理論を持てるようになり、数学が安定した得点源になるはずです。

よろしければこちらの記事もご覧ください。