問題#B010

問題#B010 ★★☆☆

nを正の整数とする。

(1)9n4n5の倍数であることを示せ。

(2)13n9n4n36の倍数であることを示せ。


《ポイント》

こちらも#B009と同様、合同式の威力を味わえる問題です。(合同式についての詳しい内容は「整数第2章第3節」を参照してください)

また、因数分解をしても簡単に示すことができます。その際はanbn=(ab)(an1+an2b++abn2+bn1)という公式を利用することになります。(式変形については「整数第2章第2節第4項」を参照してください)

なお、本問は数学的帰納法によっても証明することができます。


《解答例》

(1)

9n4n(1)n(1)n(mod5)=0

故に 9n4n5の倍数である。

《(1)別解1 》

     9n4n=(94)(9n1+9n24++94n2+4n1)=5Nとなる。ここでNは整数であり、N=9n1+9n24++94n2+4n1である。

故に 9n4n5の倍数である。

《(1)別解2 》

9n4n5の倍数であることを数学的帰納法によって示す。

n=1のとき、94=5 となり成立している。n=kのとき 9k4k5の倍数であると仮定する。

     9k+14k+1=99k44k=(101)9k(51)4k=5(29k4k)(9k4k)

29k4k は整数であるから第1項は5の倍数であり、仮定より 9k4k5の倍数であるから、9k+14k+15の倍数である。故に n=k+1 のときも成立する。

以上より、数学的帰納法から 9n4n がすべての正の整数nに対して5の倍数であることが示された。

(2)

13n9n4n4でも9でも割り切れることを示せばよい。

13n9n1n1n(mod4)=0

となるから 13n9n4の倍数である。

13n4n4n4n(mod9)=0

となるから 13n4n9の倍数である。

よって 13n9n4n36の倍数であることが示された。

※(2)でも別解が考えられますが、(1)とほぼ同様の方針なので割愛します。

 


《コメント》

数学的帰納法は汎用性が高いですが記述量が多くなってしまうという欠点もあります。因数分解もポピュラーな解法ですが、合同式を使えば本問のような問題は文字通り瞬殺です。ご覧の通り、合同式を使った解答の記述量は余りにも少ないため、採点者の心証を損ねるといって毛嫌いする人達や入試で使ってはならないと頑なに信じる人達がいますが、個人的にはこんなに便利な道具を知っているのに使わない手は無いと思います。ただ、使う際には一言で良いので簡単に定義を述べるなどした方が良いかもしれませんね。


戻る