連立漸化式の解法

【解答1:等比数列に帰着させる方法】

\begin{cases} a_{n+1}=pa_n+qb_n\\ b_{n+1}=ra_n+sb_n \end{cases}

$x$ を後から決める定数として, $(上式)+(下式)\times x$ より

\[a_{n+1}+xb_{n+1}=(p+rx)a_n+(q+sx)b_n\]

をつくり, $1:x=(p+rx):(q+sx)$ となるように $x$ を定め,その値が異なる $\alpha,\beta$ ならば

\begin{cases} a_{n+1}+\alpha b_{n+1}=(p+r\alpha)(a_n+\alpha b_n)\\ a_{n+1}+\beta b_{n+1}=(p+r\beta)(a_n+\beta b_n)\\ \end{cases}

となり,等比数列の漸化式に帰着されることを利用する.

【解答2:3 項間漸化式に帰着させる方法】

\begin{align} a_{n+1}=pa_n+qb_n\tag{1}\label{renrituzenkasiki1}\\ b_{n+1}=ra_n+sb_n\tag{2}\label{renrituzenkasiki2} \end{align}

$\eqref{renrituzenkasiki1}$ より

\begin{align} b_n&=\frac{1}{q}a_{n+1}-\frac{p}{q}a_n\\ b_{n+1}&=\frac{1}{q}a_{n+2}-\frac{p}{q}a_{n+1} \end{align}

となるので,この2式を $\eqref{renrituzenkasiki2}$ に用いて3項間漸化式に帰着されることを利用する.

連立漸化式

$ \begin{cases} a_1=1\\ b_1=-1 \end{cases} , \begin{cases} a_{n+1}=2a_n+b_n\\ b_{n+1}=-2a_n+5b_n \end{cases} \quad(n\geqq1) $ で定まる数列 $\{a_n\}$ および数列 $\{b_n\}$ の一般項 $a_n$ および $b_n$ を $n$ の式で表せ.

漸化式

\begin{cases} a_{n+1}=2a_n+b_n\\ b_{n+1}=-2a_n+5b_n \end{cases}

において, $(上式)+x\times(下式)$ より

\begin{align} &a_{n+1}+xb_{n+1}=2a_n+b_n\\ &\qquad\qquad+x(-2a_n+5b_n)\\ \Leftrightarrow\ &a_{n+1}+xb_{n+1}=(2-2x)a_n\\ &\qquad\qquad+(1+5x)b_n\tag{3}\label{renrituzenkasiki3} \end{align}

ここで

\[1:x=2-2x:1+5x\]

となる $x$ を求める,つまり方程式 $x(2-2x)=1+5x$ を解くと

\begin{align} &x(2-2x)=1+5x\\ \Leftrightarrow\ &2x-2x^2=1+5x\\ \Leftrightarrow\ &2x^2+3x+1=0\\ \Leftrightarrow\ &(x+1)(2x+1)=0\\ \therefore\ &x=-1,-\frac{1}{2} \end{align}

となるので,これらの値のとき数列 $\{a_n+xb_n\}$ は等比数列となる.

  1. $x=-1$ のとき
  2. $\eqref{renrituzenkasiki3}$ は

    \[a_{n+1}-b_{n+1}=4(a_n-b_n)\]

    となるので, $c_n=a_n-b_n$ とおくと

    \[c_{n+1}=4c_n\]

    $\blacktriangleleft$ 等比数列に帰着された

    より,数列 $\{c_n\}$ は,初項 $c_1=a_1-b_1=2$ ,公比 $4$ の等比数列となっている.よって

    \begin{align} c_n&=c_14^{n-1}\\ &=2\cdot4^{n-1} \end{align}

    ここで, $c_n=a_n-b_n$ であったから

    \begin{align} &c_n=2\cdot4^{n-1}\\ \Leftrightarrow\ &a_n-b_n=2\cdot4^{n-1}\tag{4}\label{renrituzenkasiki4} \end{align}
  3. $x=-\dfrac{1}{2}$ のとき
  4. $\eqref{renrituzenkasiki3}$ は

    \[a_{n+1}-\frac{1}{2}b_{n+1}=3\left(a_n-\frac{1}{2}b_n\right)\]

    となるので, $d_n=a_n-\dfrac{1}{2}b_n$ とおくと

    \[d_{n+1}=3d_n\]

    $\blacktriangleleft$ 等比数列に帰着された

    より,数列 $\{d_n\}$ は,初項 $d_1=a_1-\dfrac{1}{2}b_1=\dfrac{3}{2}$ ,公比 $3$ の等比数列となっている.よって

    \begin{align} d_n&=d_13^{n-1}\\ &=\frac{3}{2}\cdot3^{n-1}\\ &=\frac{3^n}{2} \end{align}

    ここで, $d_n=a_n-\dfrac{1}{2}b_n$ であったから

    \begin{align} &d_n=\frac{3^n}{2}\\ \Leftrightarrow\ &a_n-\frac{1}{2}b_n=\frac{3^n}{2}\tag{5}\label{renrituzenkasiki5} \end{align}

$\eqref{renrituzenkasiki5}-\eqref{renrituzenkasiki4}$ より

\begin{align} &a_n-\frac{1}{2}b_n-(a_n-b_n)=\frac{3^n}{2}-2\cdot4^{n-1}\\ \Leftrightarrow\ &\frac{1}{2}b_n=\frac{3^n}{2}-2\cdot4^{n-1}\\ \therefore\ &\boldsymbol{b_n=3^n-4^n} \end{align}

また,これを $\eqref{renrituzenkasiki4}$ に代入して

\begin{align} &a_n-(3^n-4^n)=2\cdot4^{n-1}\\ \Leftrightarrow\ &a_n=2\cdot4^{n-1}+(3^n-4^n)\\ \therefore\ &\boldsymbol{a_n=3^n-2\cdot4^{n-1}} \end{align}

【解答2:線形3項間漸化式に帰着させる方法】

漸化式

\begin{align} &a_{n+1}=2a_n+b_n\tag{6}\label{renrituzenkasiki6}\\ &b_{n+1}=-2a_n+5b_n\tag{7}\label{renrituzenkasiki7} \end{align}

$\eqref{renrituzenkasiki6}$ より

\[b_n=a_{n+1}-2a_n\tag{8}\label{renrituzenkasiki8}\]

また,この式で $n$ のかわりに $n+1$ とおくと

\[b_{n+1}=a_{n+2}-2a_{n+1}\tag{9}\label{renrituzenkasiki9}\]

$\eqref{renrituzenkasiki8}$ と $\eqref{renrituzenkasiki9}$ を,それぞれ $\eqref{renrituzenkasiki7}$ に代入すると

\begin{align} &b_{n+1}=-2a_n+5b_n\\ \Leftrightarrow\ &a_{n+2}-2a_{n+1}=-2a_n+5(a_{n+1}-2a_n)\\ \therefore\ &a_{n+2}-7a_{n+1}+12a_n=0 \end{align}

$\blacktriangleleft$ 3項間漸化式に帰着された

また, $\eqref{renrituzenkasiki6}$ より

\[a_2=2a_1+b_1=2+(-1)=1\]

である.

$\blacktriangleleft$ 3項間漸化式を解く際に,第2項も必要となるのでここで求めておく

ここで,漸化式 $a_{n+2}-7a_{n+1}+12a_n=0$ は

\[t^2-7t+12=0\]

を満たす $t$ ,つまり

\begin{align} &t^2-7t+12=0\\ \Leftrightarrow\ &(t-3)(t-4)=0\\ \therefore\ &t=3,4 \end{align}

を用いて

\begin{align} a_{n+2}-3a_{n+1}=4(a_{n+1}-3a_n)\tag{10}\label{renrituzenkasiki10}\\ a_{n+2}-4a_{n+1}=3(a_{n+1}-4a_n)\tag{11}\label{renrituzenkasiki11} \end{align}

と2通りに変形できる.

  1. $\eqref{renrituzenkasiki10}$ について
  2. $c_n=a_{n+1}-3a_n$ とおくと,数列 $\{c_n\}$ は $c_{n+1}=4c_n$ を満たすので

    \begin{align} c_n&=c_14^{n-1}\\ &=(a_2-3a_1)4^{n-1}\\ &=-2\cdot4^{n-1} \end{align}

    ここで, $c_n=a_{n+1}-3a_n$ であるから

    \[a_{n+1}-3a_n=-2\cdot4^{n-1}\tag{12}\label{renrituzenkasiki12}\]
  3. $\eqref{renrituzenkasiki11}$ について
  4. $d_n=a_{n+1}-4a_n$ とおくと,数列 $\{d_n\}$ は $d_{n+1}=3d_n$ を満たすので

    \begin{align} d_n&=d_13^{n-1}\\ &=(a_2-4a_1)3^{n-1}\\ &=-3\cdot3^{n-1}\\ &=-3^n \end{align}

    ここで, $d_n=a_{n+1}-4a_n$ であるから

    \[a_{n+1}-4a_n=-3^n\tag{13}\label{renrituzenkasiki13}\]

$\eqref{renrituzenkasiki12}-\eqref{renrituzenkasiki13}$ より

\[\boldsymbol{a_n=-2\cdot4^{n-1}+3^n}\tag{14}\label{renrituzenkasiki14}\]

また,この式で $n$ のかわりに $n+1$ とおくと

\[a_{n+1}=-2\cdot4^n+3^{n+1}\tag{15}\label{renrituzenkasiki15}\]

$\eqref{renrituzenkasiki14}$ と $\eqref{renrituzenkasiki15}$ を $\eqref{renrituzenkasiki8}$ に代入して

\begin{align} &b_n=-2\cdot4^n+3^{n+1}-2(-2\cdot4^{n-1}+3^n)\\ \Leftrightarrow\ &b_n=-2\cdot4^n+3\cdot3^n+4^n-2\cdot3^n\\ \therefore\ &b_n=3^n-4^n \end{align}