隣接２項間漸化式の発展的テクニックと分数型の解法をスライドでやさしく学ぶ

高校数学[総目次]

数学B　第2章　数列

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

10. 隣接2項間漸化式その2

10.1　一般型の発展的な考え方

$a_{n+1}=p{a}_n+q$ 型の一般項は，頑張れば暗算でも求まる

　$a_{n+1}=p{a}_n+q$ 型の一般項は，

$$a_n=A{p}^{n-1}+B$$

の形になる．更に $B$ は，特性方程式 $c=pc+q$ の解となるから，残るは $A$ のみ．しかし $A$ は $a_1$ から簡単に求まる．つまり $a_{n+1}=p{a}_n+q$ 型の漸化式から定まる数列の一般項は，次のように考えることで，頑張れば暗算でも計算できる．

　9.4節の例題 ($a_1=2,a_{n+1}=2a_n+1$ )で考えると，特性方程式 $c=2c+1$ を解いて $c=-1$．よって一般項は

$$a_n=A\cdot 2^{n-1}-1$$

という形になることがわかる．あとは $A$ を決めるのに $a_1=2$ より，

$$A\cdot 2^0-1=2\therefore A=3$$

　よって一般項は， $\underset{―}{{\mathit{a}}_{\mathit{n}}\mathbf{=}\mathbf{3}\mathbf{\cdot }{\mathbf{2}}^{\mathit{n}\mathbf{-}\mathbf{1}}\mathbf{-}\mathbf{1}}$

　大学入試や学校の試験でこれをそのまま書くとさすがに説明不足として減点されることは覚悟しなければならない．もしこの解法を前面に押し出した答案を作りたいなら次のように書けばよいであろう．

解答例

　$x=2x+1$ の解を $c(=-1)$ とし， $$b_n=A\cdot 2^{n-1}+c$$ すなわち，$b_n=A\cdot 2^{n-1}-1$ を作ると，$b_{n+1}$ は

$$\begin{array}{rl}{b}_{n+1}& =A\cdot 2^n-1\\ & =2(\underset{―}{A\cdot 2^{n-1}-1})+1\\ & (\uparrow \text{無理矢理 }{b}_n\text{を作った})\\ & =2b_n+1\end{array}$$

となって，$\{b_n\}$ は $\{a_n\}$ と同じ漸化式を満たす．（つまり，数列の生成過程が全くの同一であるということ．）
　その上，初項まで同じであると，すべての $n$ で $a_n=b_n$ が成り立つ．よって $b_1=a_1$ を計算すると，

$$A-1=2\therefore A=3$$

　故に，$\underset{―}{{\mathit{a}}_{\mathit{n}}}(=b_n)\underset{―}{\mathbf{=}\mathbf{3}\mathbf{\cdot }{\mathbf{2}}^{\mathit{n}\mathbf{-}\mathbf{1}}\mathbf{-}\mathbf{1}}$

10.2　分数型 $(a_{n+1}={\displaystyle \frac{p{a}_n+q}{r{a}_n+s}})$

分母子が $a_n$ の１次式である分数型の漸化式は解くことが可能

　一般に，与えられた漸化式から一般項を求めることができるような漸化式の型というのはある程度決まっているが，表題の分数型の漸化式も，解ける漸化式として入試にも時折登場する．その際には大抵誘導がつけられており，以下の流れを事前に知っておかなくても答えまでたどり着くことができるよう出題に工夫がなされている場合が多い．しかしこの流れをある程度理解しておけば，入試でもスムーズな記述ができるであろう．教科書の例題として取り上げられることはほぼないが，ここでその流れを確認していこう．

${\mathit{a}}_{\mathit{n}\mathbf{+}\mathbf{1}}\mathbf{=}{\displaystyle \frac{\mathit{p}{\mathit{a}}_{\mathit{n}}\mathbf{+}\mathit{q}}{\mathit{r}{\mathit{a}}_{\mathit{n}}\mathbf{+}\mathit{s}}}$ 型の漸化式

例題　$a_1=2,a_{n+1}=2-{\displaystyle \frac{1}{a_n}}$ の一般項 $a_n$ を求めよ．

(下準備)
　漸化式の右辺を通分すると

$$a_{n+1}=\frac{2a_n-1}{a_n}\leftarrow {\mathit{a}}_{\mathit{n}\mathbf{+}\mathbf{1}}\mathbf{=}{\displaystyle \frac{\mathit{p}{\mathit{a}}_{\mathit{n}}\mathbf{+}\mathit{q}}{\mathit{r}{\mathit{a}}_{\mathit{n}}\mathbf{+}\mathit{s}}}\text{型}$$

　よってこの漸化式の特性方程式は

$$x=\frac{2x-1}{x}$$

　分母を払って整理すると

$$x^2-2x+1=0$$

$\therefore x=1$　(重解)

(下準備ここまで)

　漸化式の両辺から特性方程式の解である1を引くと

$$a_{n+1}-1=(2-{\displaystyle \frac{1}{a_n}})-1$$

　右辺を通分して計算すると

$a_{n+1}-1={\displaystyle \frac{a_n-1}{a_n}}\cdots$ ①

　初項と与えられた漸化式からすべての $n$ で $a_n\ne 1$ であるので，$a_n-1\ne 0$．
　よって，①の両辺の逆数をとって，

$$\frac{1}{a_{n+1}-1}=\frac{a_n}{a_n-1}$$

　この式の右辺は ${\displaystyle \frac{a_n-1+1}{a_n-1}}=1+{\displaystyle \frac{1}{a_n-1}}$ と変形できるから

$$\frac{1}{a_{n+1}-1}=\frac{1}{a_n-1}+1$$

　ここで，$b_n={\displaystyle \frac{1}{a_n-1}}$ とおくと，

$$b_{n+1}=b_n+1$$

　よって数列 $\{b_n\}$ は初項 $b_1={\displaystyle \frac{1}{a_1-1}}=1$，公差 $1$ の等差数列であるから， $$\begin{array}{rl}\frac{1}{a_n-1}& =n\\ \therefore a_n-1& =\frac{1}{n}\end{array}$$

$$\therefore \underset{―}{{\mathit{a}}_{\mathit{n}}\mathbf{=}\frac{\mathit{n}\mathbf{+}\mathbf{1}}{\mathit{n}}}$$

補足

分数型漸化式の特性方程式が $x={\displaystyle \frac{px+q}{rx+s}}$ になる理由

　分数型漸化式 $a_{n+1}={\displaystyle \frac{p{a}_n+q}{r{a}_n+s}}$ の解法のポイントは，両辺に $a_{n+1}-c$，$a_n-c$ という同じ形の式を作って逆数をとることにある．そこで今，漸化式の両辺から $c$ を引くと

$$a_{n+1}-c={\displaystyle \frac{p{a}_n+q}{r{a}_n+s}}-c$$

　右辺を通分して計算を進めると

$$\begin{array}{rl}\text{右辺}& ={\displaystyle \frac{p{a}_n+q-c(r{a}_n+s)}{r{a}_n+s}}\\ & ={\displaystyle \frac{(p-rc)a_n+q-sc}{r{a}_n+s}}\\ & ={\displaystyle \frac{(p-rc)(a_n+{\displaystyle \frac{q-sc}{p-rc}})}{r{a}_n+s}}\end{array}$$

　よって

$$a_{n+1}-c={\displaystyle \frac{(p-rc)\left(a_n+{\displaystyle \frac{q-sc}{p-rc}}\right)}{r{a}_n+s}}$$

となる．右辺の分子に注目すると，$p-rc$ は定数であるから，$a_n+{\displaystyle \frac{q-sc}{p-rc}}$ の部分が $a_n-c$ と一致する，即ち

$${\displaystyle \frac{q-sc}{p-rc}}=-c$$

が成り立つように $c$ を定めれば，左辺の $a_{n+1}-c$ と同じ形が現れる．分母を払って計算すると

$$\begin{array}{rl}q-sc& =-c(p-rc)\\ (rc+s)c& =pc+q\\ \therefore c& ={\displaystyle \frac{pc+q}{rc+s}}\end{array}$$

　故に

分数型漸化式の特性方程式$$x={\displaystyle \frac{px+q}{rx+s}}$$

という方程式の解を $c$ とすればよいことがわかる．

---

高校数学[総目次]

数学B　第2章　数列

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