漸化式の数列以外の部分にnの１次関数が含まれる場合の解き方です。
例題５で説明したように指数関数が含まれる場合と同じで良いのですが、ちょっとだけ特殊な解き方もあるので参考までに載せることにしました。
一般的に使える方法ですがここでは１次関数の場合に限定して説明します。
nの１次式に限らず漸化式は解ける
例題５の途中で出てきた漸化式なのですが、
良く出てくる形でもあるので例題に追加しておきました。
解き方も今まで通り普通に階差をとる方法で良いです。
ただ、ちょっと「特殊な」方法もあるので取り上げて見ました。
\( a_1\,=2\hspace{7pt},\hspace{7pt}a_{n+1}=2a_n+2n-2\) ･･･①
で表される数列 \(\{a_n\}\) の一般項を求めよ。
例題５で出てきた漸化式①の解き方は解説の解き方で十分です。
\( a_{n+1}=2a_n+2n-2\)
\( \hspace{7pt}a_n\,=2a_{n-1}+2(n-1)-2\)
これらを辺ごとに引いて
\( a_{n+1}-a_n=2(a_n-a_{n-1})+2\)
ここで
\(\hspace{10pt}\color{red}{b_n}=\color{red}{a_{n+1}-a_n}\)
とおくと
\(\hspace{10pt}\color{blue}{b_{n-1}}=\color{blue}{a_n-a_{n-1}}\)
なので
\(\begin{eqnarray}
\color{red}{a_{n+1}-a_n}&=&2(\color{blue}{a_n-a_{n-1}})+2\\
\color{red}{b_n}&=&2\,\color{blue}{b_{n-1}}+2\\
b_n+2&=&2(b_{n-1}+2)
\end{eqnarray}\)
これを解いて
\(\hspace{10pt} b_n=2^{n+1}-2\)
と求めました。
詳しくは
⇒ 例題５の解説
を見ておいてください。
しかし、別の方法で説明してある参考書もあると思います。
え？これだった？
それなら良いのですが、解法を考えたとき２つピン！ときたので説明しておいた方が良いかな、
と感じたので載せておきます。
この解法だけでも一般的に詳しく説明すると相等の量になります。
なので「１次関数に限って」の説明をしておきますね。
実は他の問題でもちらほら出てはいるんですけど、まとめると難しいんです。
まとめるのが難しいのではなくて、理解する方が難しい。
この漸化式シリーズの目的はパターンの見分け方ですから御理解下さい。
一般的な漸化式
\(\hspace{10pt} a_{n+1}=pa_n+q(n)\)
において、\( q(n)\) 部分が定数のとき
\(\hspace{10pt} b_n=2\,b_{n-1}+2\)
のような場合においては特性方程式の解として
\(\hspace{10pt} \color{red}{\alpha }=2\color{red}{\alpha }+2\)
から \( \color{red}{\alpha}=-2\) と求めて漸化式を変形しました。
つまり、数列以外の部分が定数のときは
\(\hspace{10pt} a_{n+1}-\color{red}{\alpha}=p(a_n-\color{red}{\alpha})\)
のような変形ができました。
この変形は定数だけでなく\(\,n\,\)の関数でもできる場合が多いのです。
１次式と決めつけていい場合
数列以外の部分が１次式の場合、\(\,\alpha \,\)に相当する部分が１次式になります。
\( a_{n+1}-\{\underline{c(n+1)+d}\}=p\{a_n-(\underline{cn+d})\}\)
ただし、注意しなくてはならないのは、
（ここに注目しないと参考書の一般解法は理解できません。）
\(\,a_\color{blue}{n}\,\)に対しては\(\,c\,\color{blue}{n}+d\,\)で良いのですが、
\(\,a_{\color{red}{n+1}}\,\)に対しては\(\,c(\color{red}{n+1})+d\,\)とすることです。
つまり、\(\,a_{n+1}=pa_n+q(n)\,\)の\(\,q(n)\,\)部分が１次式のときは
\( a_{n+1}-\{\color{red}{c(n+1)d}\}=p\{a_n-(\color{red}{c\,n+d})\}\)
と強引に変形してやればいいのです。
実際にやってみましょう。
\( a_{n+1}=2\,a_n+2\,n-2\) ･･･①
が変形したい漸化式です。
\(\,a_{n+1}=pa_n+q(n)\,\)の\(\,q(n)\,\)部分が一次式なので
\( a_{n+1}-\{\,\underline{c(n+1)+d\,}\}=2\{a_n-(\underline{\,c\,n+d\,})\}\) ･･･②
と変形できると決めつけてこれを展開します。
\(\hspace{10pt} a_{n+1}- (\color{red}{c\,n+c+d})=2a_n-2(c\,n+d)\\
\Leftrightarrow \hspace{5pt} a_{n+1}=2a_n-2(c\,n+d)+(\color{red}{c\,n+c+d})\\
\Leftrightarrow \hspace{5pt} a_{n+1}=2a_n-2c\,n-2d+c\,n+c+d\\
\Leftrightarrow \hspace{5pt} a_{n+1}=2a_n-c\,n+c-d\)
ここで
\( a_{n+1}=2a_n+2n-2\) ･･･①
の１次式部分と係数比較すると
\( -c=2 , c-d=-2\)
これらを解くと、
\( c=-2 , d=0\)
よって漸化式①は
\(\begin{eqnarray} a_{n+1}-\{-2(n+1)\}&=&2\{a_n-(-2n)\}\\
\hspace{5pt} a_{n+1}+2(n+1)&=&2(a_n+2n)
\end{eqnarray}\)
と変形でき、数列\(\,\{a_n+2n\}\,\)は等比数列なので、
\(\begin{eqnarray} a_n+2n&=&(a_1+2)\cdot 2^{n-1}\\
&=&(2+2)\cdot 2^{n-1}\\
&=&2^{n+1}\end{eqnarray}\)
\( ∴ \hspace{7pt} a_n=2^{n+1}-2n\)
このようにダイレクトに素早く求めることもできるのです。
※
見慣れない形なので説明しておくと
\(a_\color{red}{n}+2\color{red}{n}=b_\color{red}{n}\)
とおくと
\(a_{\color{blue}{n+1}}+2(\color{blue}{n+1})=b_{\color{blue}{n+1}}\)
なので
\(a_{\color{blue}{n+1}}+2(\color{blue}{n+1})=2(a_\color{red}{n}+2\color{red}{n}) \\ \\
\Leftrightarrow b_{\color{blue}{n+1}}=2\,b_\color{red}{n}\)
という等比数列になります。
特殊解という漸化式で使う用語
②の下線部分の解となるものを特殊解というのですが
この特殊解を \( x_n\) とすると
\(\hspace{10pt} a_{n+1}=pa_n+q(n)\\
\Leftrightarrow \hspace{5pt} a_{n+1}-x_{n+1}=p(a_n-x_n)\)
と変形できるのは１次式だけではありません。
ただ、ここでは１次式だけの処理のしかたを説明しておきました。
よく見る形ですしね。
係数比較は定数のときもありましたよね。
覚えていないかもしれないけど、強引に係数比較か？特性方程式か？って。
結局は同じなのですが、
\(\,q(n)\,\)が１次式のときはどうすれば良いかというのをちょっとやっておきます。
\( a_{n+1}=pa_n+q\) （ \( q\) は定数）
のとき \( a_{n+1} , a_n\) の両方に \(\alpha\) を代入したように、
\( a_{n+1}=pa_n+q(n)\,\)の\(\,q(n)\,\)が１次式
のときは
\( \color{red}{a_n}\,\)に\(\,\color{red}{c\,n+d}\,\)を
\( \color{blue}{a_{n+1}}\,\)に\(\,\color{blue}{ c\,(n+1)+d}\,\)を
代入して
\(\,n\,\)の恒等式として係数\(\,c\,,\,d\,\)を決める
ことができます。
例えば、
\( a_1=1\hspace{7pt},\hspace{7pt}a_{n+1}=3a_n+4n\)
を満たす数列\(\,\{a_n\}\,\)を求めるとします。
\(\color{blue}{a_{n+1}}=3\color{red}{a_n}+4n\)
なので
\(\hspace{10pt}\color{blue}{c(n+1)+d}=3(\color{red}{c\,n+d})+4n\\
\Leftrightarrow c\,n+c+d\,=3c\,n+3d+4n\\
\Leftrightarrow c\,n+c+d\,=(3c+4)n+3d\\
\Leftrightarrow c=3c+4 , c+d=3d\\
\Leftrightarrow c=\color{magenta}{-2} , d=\color{magenta}{-1}\)
よって漸化式
\(\hspace{10pt} a_{n+1}=3a_n+4n\)
は変形すると
\(\hspace{10pt} a_{n+1}-\{\color{magenta}{-2}(n+1)\color{magenta}{-1}\}=3\{a_n-(\color{magenta}{-2}n\color{magenta}{-1})\}\\
\Leftrightarrow \hspace{5pt} a_{n+1}+\{2(n+1)+1\}=3\{a_n+(2n+1)\}\)
これは数列\(\,\{a_n+(2n+1)\}\,\)が等比数列を意味しているので
初項が
\(\hspace{10pt}\, (a_1+2\cdot 1+1)\,\\
=1+2+1\,=4\)
公比が\(\,3\,\)
であることから
\( a_n+(2n+1)=4\cdot 3^{n-1}\)
\( ∴ \hspace{7pt}a_n=4\cdot 3^{n-1}-2n-1 \)
と簡単に求めることができるようになるのです。
使えなくて良いです。階差タイプの解き方で良いです。
でも、解き方は１つしかない、この方法じゃないとダメ、なんて考えは捨てて下さいね。
この別解と比較して見ると良いです。
⇒ 漸化式の解き方パターン一覧と一般項の求め方まとめ（階差数列、分数、累乗など）
２項間漸化式と階差タイプは一般項が求められるようになっておきましょう。