上野竜生です。問69の答えを発表します。
問69 ★
数列an,bnは次の漸化式を満たす
a1=2, b1=1
\(\displaystyle a_{n+1}=na_n - b_n +3 \)
\(b_{n+1}=na_n + b_n \)
このときすべての自然数nに対して\( a_n=2^n \)であることを証明せよ。
答え
bnを予想する
問題文より\( a_n=2^n \)であるはずだから2つめの漸化式は
\( b_{n+1}=b_n + n\cdot 2^n \)
とかける。これは解ける漸化式なので解くと
\(\displaystyle b_n = b_1+ \sum_{k=1}^{n-1} k \cdot 2^k \)
\(b_n= (n-2)2^n +3 \)となる。これがbnの一般項と推測できる。
\( S=1\cdot 2^1 + 2\cdot 2^2 +3 \cdot 2^3 + \cdots + (n-1)\cdot2^{n-1} \)
\( 2S= 1\cdot 2^1 + 2\cdot 2^2 + \cdots + (n-2)\cdot 2^{n-1}+(n-1)2^n \)
第1式から第2式をひくと
\( -S=2+2^2+2^3+ \cdots +2^{n-1} - (n-1)2^n \\ = 2^n -2 - (n-1)2^n \)
よって\( S=(n-2)2^n+2 \)
\( b_n= b_1+S=1+(n-2)2^n+2=(n-2)2^n +3 \)
証明
\( a_n = 2^n , b_n=(n-2)2^n +3 \)であることを数学的帰納法で示す。
n=1のとき\( a_1=2^1=2 , b_1=(1-2)2^1+3=-2+3=1 \)より成立。
n=kで成立すると仮定する。つまり
\( a_k=2^k , b_k = (k-2)2^k +3 \)であると仮定すると
\( a_{k+1}=ka_k -b_k+3 = k\cdot 2^k - (k-2)2^k -3+3=2\cdot 2^k = 2^{k+1} \)
\( b_{k+1}=ka_k + b_k =k\cdot 2^k + (k-2)2^k+3=(2k-2)2^k+3= \{(k+1)-2\}2^{k+1}+3 \)
となるからn=k+1のときも成立。
よってすべての自然数nに対し\( a_n=2^n \)である。
ポイントはan単独ではなくbnも予想しないと証明しづらいというところです。
正解者：0名
解説を読んで数学がわかった「つもり」になりましたか？数学は読んでいるうちはわかったつもりになりますが演習をこなさないと実力になりません。そのためには問題集で問題を解く練習も必要です。オススメの参考書を厳選しました
<高校数学>上野竜生です。数学のオススメ参考書などをよく聞かれますのでここにまとめておきます。基本的にはたくさん買うよりも…
上野竜生です。大学数学の参考書をまとめてみました。フーリエ解析以外は自分が使ったことある本から選びました。 大…
上野竜生です。当サイトでも少し前まで各ページで学習サイトをオススメしていましたが他にもオススメできるサイトはた…
