隣接3項間漸化式の解法パターンと変形テクニックをスライドで学ぶ

高校数学[総目次]

数学B　第2章　数列

	スライド	ノート	問題
1. 等差数列
2. 等比数列
3. Σ(シグマ)と和の公式
4. 階差数列
5. 数列の和と一般項
6. 差をとってできる数列の応用
7. (等差)×(等比)の和
8. 群数列
9. 隣接2項間漸化式(その1)
10. 隣接2項間漸化式(その2)
11. 隣接3項間漸化式

11. 隣接3項間漸化式

　連続した３つの項の関係を表した等式を，隣接3項間漸化式という．隣接した2項間の関係に比べると状況はやや複雑化するものの，結局のところ隣接2項間漸化式に帰着させて考えることになり，隣接2項間漸化式が不自由なく扱えるならば，3項間でも全く問題なく処理できる．

11.1　$a_{n+2}+p{a}_{n+1}+q{a}_n=0$

　典型的な隣接3項間漸化式は，突き詰めてしまえば次のようになるといえる．

　${\mathit{a}}_{\mathit{n}\mathbf{+}\mathbf{2}}\mathbf{+}\mathit{p}{\mathit{a}}_{\mathit{n}\mathbf{+}\mathbf{1}}\mathbf{+}\mathit{q}{\mathit{a}}_{\mathit{n}}\mathbf{=}\mathbf{0}$ 型
　　→　$a_n=A{\alpha }^{n-1}+B{\beta }^{n-1}$ の形になる．

　この点については下の11.4節で述べるとして，まずはオーソドックスなタイプから見ていこう．

特性方程式が異なる2つの実数解をもつ場合

　隣接3項間漸化式の最もオーソドックスなパターンとして，次の例題を見ていこう．

例題1　$a_1=1,a_2=5,a_{n+2}-7a_n+12a_n=0$ の一般項 $a_n$ を求めよ．

　2項間の場合がそうであったように，3項間の場合も「上手い変形」によって等比数列型の漸化式に帰着させるというのが大まかな方針である．等比数列型の漸化式 というのは次のような形であった：

等比数列型の漸化式　$a_{n+1}=r{a}_n$　→　$\{a_n\}$ は公比 $r$ の等比数列

　このような上手い変形を導くための補助的な方程式(特性方程式)が，隣接2項間の場合と同様に存在する．2項間の場合はそれが1次方程式であったが，3項間の場合は2次方程式になる．そしてこの2次方程式が，異なる2つの実数解をもつケースというのが最も基本的なパターンであり，本問はそのケースである．

　まずは特性方程式を導くところから始めてみよう．後述するように，実際の答案では特性方程式の導出過程は省略してもっとシンプルに書いてよい．

　漸化式を変形して， $$a_{n+1}-\alpha a_{n+1}=\beta (a_{n+1}-\alpha a_n)\cdots \text{①}$$ と書けたとしよう． これが先に述べた「上手い変形」である．何故これを指して上手い変形といえるか，その理由は

数列 $\{a_{n+1}-\alpha a_n\}$ が公比 $\beta$ の等比数列になっているから

である．

特性方程式の作り方

　①式をすべて左辺に寄せて整理すると，

$$a_{n+2}-(\alpha +\beta )a_{n+1}+\alpha \beta a_n=0$$

　これと与えられた漸化式と比較すると， $$\alpha +\beta =7,\alpha \beta =12$$ であり，この2式を満たす2数 $\alpha ,\beta$ は，2次方程式

$$x^2-7x+12=0\cdots (\ast )$$

の2解であるから，$\alpha$ と $\beta$ は 3 と 4 である．$(\ast )$ の方程式を，与えられた漸化式の特性方程式という．与えられた漸化式と特性方程式を並べて比較してみよう．

$$\begin{array}{rl}{a}_{n+2}-7a_n+12a_n& =0\\ x^2-7x+12& =0\end{array}$$

　すると，

$$\begin{array}{rl}{a}_{n+2}& \to x^2\\ a_{n+1}& \to x\\ a_n& \to 1\end{array}$$

という具合に置き換わっていることがわかる．これは偶然ではなく，この手の隣接3項間漸化式では常にこれと同様の置き換えで特性方程式が得られるのである．

特性方程式の作り方　$a_{n+2}+p{a}_{n+1}+q{a}_n=0$ の形の隣接3項間漸化式の特性方程式は$$x^2-px+q=0$$

　特性方程式の解として得られた3と4は，どちらが $\alpha$ か $\beta$ かで2通り考えられ，その2通りの両方を考えることで一般項を導く方法を次に示す．

1°　$\alpha =3,\beta =4$ のとき

　①より $$a_{n+2}-3a_{n+1}=4(a_{n+1}-3a_n)$$ 　$b_n=a_{n+1}-3a_n$ とおくと，

$b_{n+1}=4b_n$　(←等比数列型)

　よって数列 $\{b_n\}$ は初項 $b_1=a_2-3a_1=5-3\cdot 1=2$，公比4の等比数列であるから， $$b_n=2\cdot 4^{n-1}$$ 　$b_n$ を元に戻して $$a_{n+1}-3a_n=2\cdot 4^{n-1}\cdots \text{③}$$

2°　$\alpha =4,\beta =3$ のとき

　①より $$a_{n+2}-4a_{n+1}=3(a_{n+1}-4a_n)$$ 　$c_n=a_{n+1}-4a_n$ とおくと，

$c_{n+1}=3c_n$　(←等比数列型)

　よって数列 $\{c_n\}$ は初項 $c_1=a_2-4a_1=5-4\cdot 1=1$，公比3の等比数列であるから， $$c_n=3^{n-1}$$ 　$c_n$ を元に戻して $$a_{n+1}-4a_n=3^{n-1}\cdots \text{④}$$

　③$-$④より $$\underset{―}{{\mathit{a}}_{\mathit{n}}\mathbf{=}\mathbf{2}\mathbf{\cdot }{\mathbf{4}}^{\mathit{n}\mathbf{-}\mathbf{1}}\mathbf{-}{\mathbf{3}}^{\mathit{n}\mathbf{-}\mathbf{1}}}$$

補足

実際の答案の書き方

　上の解答例では，特性方程式を導くところから記述したのであるが，実際の答案では計算用紙に特性方程式の解を計算しておき，いきなり変形したところから書くのでよい．以下がその記述例である．

11.2　特性方程式が1を解にもつ場合

　特性方程式の解の1つが1であると，別の方法でも一般項を求めることができる．

例題2　$a_1=1,a_2=5,a_{n+2}-4a_{n+1}+3a_n=0$ の一般項 $a_n$ を求めよ．

【下準備】
　特性方程式より， $$x^2-4x+3=0\therefore x=1,3$$ 【下準備ここまで】

解法その1

　漸化式を変形して， $$a_{n+2}-a_{n+1}=3(a_{n+1}-a_n)$$ 　よって数列 $\{a_{n+1}-a_n\}$ は初項 $a_2-a_1=4$，公比3の等比数列であるから，

$a_{n+1}-a_n=4\cdot 3^{n-1}$　(←階差数列型)

　よって，$n\geqq 2$ のとき， $$\begin{array}{rl}{a}_n& =1+\sum _{k=1}^{n-1}4\cdot 3^{k-1}\\ & =1+4\cdot \frac{3^{n-1}-1}{3-1}\\ & =\underset{―}{\mathbf{2}\mathbf{\cdot }{\mathbf{3}}^{\mathit{n}\mathbf{-}\mathbf{1}}\mathbf{-}\mathbf{1}}\end{array}$$

($n=1$ のときもこれでよい．)

解法その2

　漸化式を変形して， $$a_{n+2}-3a_{n+1}=a_{n+1}-3a_n$$

　これは数列 $\{a_{n+1}-3a_n\}$ が，定数数列(すべての項が同じ数である数列)であることを表している．よって， $$\begin{array}{rl}{a}_{n+1}-3a_n& =a_n-3a_{n-1}\\ & =\cdots \\ & =a_2-3a_1\\ & =5-3\cdot 1=2\end{array}$$ となるから， $$a_{n+1}=3a_n+2$$ (これ以降は隣接2項間漸化式の問題として処理)

補足

従来の解法ももちろんOK

　もちろん前節と同様に連立方程式を解く要領からも一般項を導ける．

$$\{\begin{array}{ll}{a}_{n+1}-a_n=4\cdot 3^{n-1}& \cdots \text{①}\\ a_{n+1}-3a_n=2& \cdots \text{②}\end{array}$$

　①－②より　$2a_n=4\cdot 3^{n-1}-2$
　両辺を2で割って　$\underset{―}{a_n=2\cdot 3^{n-1}-1}$

11.3　特性方程式が重解をもつ場合

　特性方程式の解が重解のとき，変形して得られる式は1本となるが，隣接2項間漸化式に帰着させて一般項を導くことができる．

例題3　$a_1=1,a_2=5,a_{n+2}-4a_{n+1}+4a_n=0$ の一般項 $a_n$ を求めよ．

こたえ

　漸化式を変形して， $$a_{n+2}-2a_{n+1}=2(a_{n+1}-2a_n)$$

　よって数列 $\{a_{n+1}-2a_n\}$ は，初項 $a_2-2a_1=5-2\cdot 1=3$，公比 2 の等比数列であるから， $$a_{n+1}-2a_n=3\cdot 2^{n-1}$$ 　この両辺を $2^{n+1}$ で割ると，

${\displaystyle \frac{a_{n+1}}{2^{n+1}}}-{\displaystyle \frac{a_n}{2^n}}={\displaystyle \frac{3}{4}}$　(←等差数列型)

　よって，数列 $\left\{{\displaystyle \frac{a_n}{2^n}}\right\}$ は，初項 ${\displaystyle \frac{a_1}{2}}={\displaystyle \frac{1}{2}}$，公差 ${\displaystyle \frac{3}{4}}$ の等差数列であるから， $$\begin{array}{rl}\frac{a_n}{2^n}& =\frac{1}{2}+(n-1)\cdot \frac{3}{4}\\ & =\frac{3}{4}n-\frac{1}{4}\end{array}$$ $$\therefore \underset{―}{{\mathit{a}}_{\mathit{n}}\mathbf{=}\mathbf{(}\mathbf{3}\mathit{n}\mathbf{-}\mathbf{1}\mathbf{)}{\mathbf{2}}^{\mathit{n}\mathbf{-}\mathbf{2}}}$$

補足

ただ1通りの変形からだけでも一般項は導ける

　この解法からわかるように，特性方程式が異なる2つの実数解をもつような場合であっても，一方だけの変形から一般項を導くことが可能である．例えば，例題1では $a_{n+1}-3a_n=2\cdot 4^{n-1}$ と $a_{n+1}-4a_n=3^{n-1}$ の2通りに変形したが，$a_{n+1}-3a_n=2\cdot 4^{n-1}$ だけ，あるいは $a_{n+1}-4a_n=3^{n-1}$ だけからでも一般項を導くことは可能である．

　$a_{n+1}-3a_n=2\cdot 4^{n-1}$ の場合では両辺を $4^{n+1}$ で割って

$${\displaystyle \frac{a_{n+1}}{4^{n+1}}}-{\displaystyle \frac{3}{4}}\cdot {\displaystyle \frac{a_n}{4^n}}={\displaystyle \frac{1}{8}}$$

　ここで ${\displaystyle \frac{a_n}{4^n}}=b_n$ とおくと，$b_1={\displaystyle \frac{a_1}{4}}={\displaystyle \frac{1}{4}}$ で，

$$b_{n+1}={\displaystyle \frac{3}{4}}{b}_n+{\displaystyle \frac{1}{8}}$$

となるが，これは典型的な隣接2項間漸化式である．(以下の解答は省略)

11.4　3項間漸化式の発展的な考え方

　$a_{n+2}+p{a}_{n+1}+q{a}_n=0$ 型の一般項は，特性方程式の2解を $\alpha ,\beta (\alpha \ne \beta )$ としたとき，

$$a_n=A{\alpha }^{n-1}+B{\beta }^{n-1}$$

の形になる．
　この事実を逆手に取って，次のように答案を作ることもできる：

例題　$a_1=1,a_2=1,a_{n+2}=a_{n+1}+a_n$ の一般項 $a_n$ を求めよ．
　　（フィボナッチの数列と呼ばれている．）

解答例

　$t^2=t+1(\cdots$①) の2解を $\alpha (={\displaystyle \frac{1+\sqrt{5}}{2}})$，$\beta (={\displaystyle \frac{1-\sqrt{5}}{2}})$ とし， $$b_n=A{\alpha }^{n-1}+B{\beta }^{n-1}\cdots \text{②}$$ とおくと， $$\begin{array}{rl}{b}_{n+2}& =A{\alpha }^{n+1}+B{\beta }^{n+1}\\ & =A{\alpha }^2\cdot {\alpha }^{n-1}+B{\beta }^2{\beta }^{n-1}\\ & =A(\alpha +1){\alpha }^{n-1}+B(\beta +1){\beta }^{n-1}(\because \text{①})\\ & =A({\alpha }^n+{\alpha }^{n-1})+B({\beta }^n+{\beta }^{n-1})\\ & =(A{\alpha }^n+B{\beta }^n)+(A{\alpha }^{n-1}+B{\beta }^{n-1})\\ & =b_{n+1}+b_n\end{array}$$ となり，$\{b_n\}$ は $\{a_n\}$ と同じ漸化式を満たす．(つまり数列の生成過程が同一である．)
　更に，$b_1=a_1(=1)$，$b_2=a_2(=1)$ ならば，すべての $n$ で $b_n=a_n$ が成り立つから，②より， $$\{\begin{array}{ll}(b_1=)A+B=1& \cdots \text{③}\\ (b_2=)A\alpha +B\beta =1& \cdots \text{④}\end{array}$$ 　④$-$③$\times \beta$ より， $$(\alpha -\beta )A=1-\beta$$ $$\therefore A=\frac{1-\beta }{\alpha -\beta }=\frac{\frac{1+\sqrt{5}}{2}}{\sqrt{5}}=\frac{5+\sqrt{5}}{10}=\frac{\sqrt{5}}{5}\alpha$$ 　③より，$B=1-A={\displaystyle \frac{5-\sqrt{5}}{10}}=-{\displaystyle \frac{\sqrt{5}}{5}}\beta$．
　故に②より， $$b_n=\frac{\sqrt{5}}{5}({\alpha }^n-{\beta }^n)$$ $$\therefore \underset{―}{{\mathit{a}}_{\mathit{n}}\mathbf{=}\frac{\sqrt{\mathbf{5}}}{\mathbf{5}}\{{\left(\frac{\mathbf{1}\mathbf{+}\sqrt{\mathbf{5}}}{\mathbf{2}}\right)}^{\mathit{n}}\mathbf{-}{\left(\frac{\mathbf{1}\mathbf{-}\sqrt{\mathbf{5}}}{\mathbf{2}}\right)}^{\mathit{n}}\}}$$

補足

隣接3項間漸化式の裏技的解法

　この答案から，隣接3項間漸化式の解法には2項間の場合と同様の裏技ともいえる解法があることがわかる．例題1を使って手順を説明する．

例題1　$a_1=1,a_2=5,a_{n+2}-7a_n+12a_n=0$ の一般項 $a_n$ を求めよ．

　特性方程式の解が4と3であったから，数列 $\{a_n\}$ の一般項は $A,B$ を定数として

$$a_n=A\cdot 4^{n-1}+B\cdot 3^{n-1}$$

まではわかっていることになる．あとは初項と第2項の条件から $A$ と $B$ を定めればよい．

　$a_1=1$ より　$A+B=1$
　$a_2=5$ より　$4A+3B=5$

　これを解いて　$A=2,B=-1$
　よって　$\underset{―}{a_n=2\cdot 4^{n-1}-\cdot 3^{n-1}}$

---

高校数学[総目次]

数学B　第2章　数列

	スライド	ノート	問題
1. 等差数列
2. 等比数列
3. Σ(シグマ)と和の公式
4. 階差数列
5. 数列の和と一般項
6. 差をとってできる数列の応用
7. (等差)×(等比)の和
8. 群数列
9. 隣接2項間漸化式(その1)
10. 隣接2項間漸化式(その2)
11. 隣接3項間漸化式