３項間漸化式の一般項

...(ＰＣ版)メニューに戻る
*** 科目 ***
数Ⅰ・Ａ数Ⅱ・Ｂ数Ⅲ 高卒・大学初年度
*** 単元 ***
式と証明点と直線円軌跡と領域三角関数
指数関数対数関数微分不定積分定積分
高次方程式数列漸化式と数学的帰納法
平面ベクトル空間ベクトル確率分布

※高校数学Bの「数学的帰納法と漸化式」について，このサイトには次の教材があります．
この頁へGoogleやYAHOO ! などの検索から直接来てしまったので「前提となっている内容が分からない」という場合や「この頁は分かったがもっと応用問題を見たい」という場合は，他の頁を見てください．　が現在地です．

↓帰納法とは（読み物）
↓数学的帰納法（等式）
↓数学的帰納法（不等式）

↓漸化式と一般項（階差形）
↓同（等比形）
三項間漸化式の一般項-現在地

== ３項間漸化式の一般項 ==

基本

【

a_{n + 2} = p a_{n + 1} + q a_{n}

の形の漸化式】

　定数p, q (p≠1)係数の３項間漸化式が

a_{n + 2} = p a_{n + 1} + q a_{n}

の形で与えられているとき，

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

を満たす定数α, βを見つけると，数列

a_{n + 1} - α a_{n}

は，

初項

a_{2} - α a_{1}

公比β

の等比数列になるので，
(I)まず２項間漸化式

a_{n + 1} - α a_{n}

の一般項を求めることができます．

１組の定数α, βから得られる２項間漸化式から，さらに数列

a_{n}

の一般項を求めることもできますが，通常の場合，次の（II）の手順で２組の定数α, βから得られる２項間漸化式から連立方程式を解く方が，手順としては簡単になります．

(II)

〇上記のα, βが「２組求まる場合（２次方程式が異なる実数解を持つ場合）」は，その２組から元の数列の一般項

a_{n}

を求めると簡単になります．
〇上記のα, βが「１組の解しかない場合（２次方程式が重解を持つ場合）」は，やむを得ず，さらに２項間漸化式を解いて一般項

a_{n}

を求めます．

（解説）

（初歩的な解説）
　３項間漸化式では，前の項

a_{n + 1}

と２つ前の項

a_{n}

を使って

a_{n + 2}

が定義されるので，初項だけでなく第２項も具体的な値として与えられていなければ数列を確定することはできません．
　したがって，３項間漸化式の問題では，漸化式以外に初項と第２項の値も使って問題を解きます．

　問題が

a_{1} = 1, a_{2} = 2

a_{n + 2} = 3 a_{n + 1} - 2 a_{n}

…(1)

であるとき，

a_{n + 2} - a_{n + 1} = 2 (a_{n + 1} - a_{n})

…(2)

または

a_{n + 2} - 2 a_{n + 1} = a_{n + 1} - 2 a_{n}

…(3)

のような変形に気付くと，各々数列

{a_{n + 1} - a_{n}}

{a_{n + 1} - 2 a_{n}}

が等比数列となって，３項間漸化式の問題を２項間漸化式の問題に直すことができます．

(2) →

{a_{n + 1} - a_{n}}

は公比2の等比数列になるから

a_{n + 1} - a_{n} = (a_{2} - a_{1}) 2^{n - 1} = 2^{n - 1}

…(2’)

(3) →

{a_{n + 1} - 2 a_{n}}

は公比1の等比数列になるから

a_{n + 1} - 2 a_{n} = (a_{2} - 2 a_{1}) 1^{n - 1} = 0

…(3’)

(2’)(3’)を各々２項間漸化式として，さらに，元の数列

{a_{n}}

の一般項を求めることもできますが，このように未知数２個

a_{n + 1}

と

a_{n}

に対する連立方程式が得られた場合は，これらの未知数について解くことができます．

この連立方程式は

a_{n + 1}

について解いても

a_{n}

についても構いません．･･･

a_{n}

について解けば直接的に

a_{n}

の式が得られます．

a_{n + 1}

について解けば（他の普通の連立方程式とは違って）nにn+1を代入した式が得られるので，元に戻す手順が１ステップ必要となります．

〇(2’)(3’)を

a_{n + 1}

と

a_{n}

に対する連立方程式として解くと
(2’)−(3’)

a_{n} = 2^{n - 1}

…（答）

もちろん，

a_{n + 1}

についても解けますが，当然の結果が得られ，

a_{n}

を求めるために１ステップが余計に必要になります．

(2’)×2−(3’)

a_{n + 1} = 2 \times 2^{n - 1} = 2^{n}

a_{n} = 2^{n - 1}

…（答）

〇(2’)または(3’)の１つだけを２項間漸化式として解く場合は

(2’)→

{a_{n}}

の階差数列

{b_{n}}

が与えられていることになるから
n≧2のとき

a_{n} = a_{1} + \sum_{k = 1}^{n - 1} 2^{k - 1} = 1 + \frac{1 (2^{n - 1} - 1)}{2 - 1}

= 2^{n - 1}

これはn=1の場合にも成り立つから

a_{n} = 2^{n - 1}

…（答）

(3’)→から求める場合は

a_{n + 1} = 2 a_{n}

は公比2の等比数列であることを示しているから

a_{n} = a_{1} \times 2^{n - 1} = 2^{n - 1}

…（答）

初歩

a_{1} = 1, a_{2} = 2

a_{n + 2} = 3 a_{n + 1} - 2 a_{n}

…(1)

のとき，通常，参考書などでは答案の流れは次のようになります．

(1)より特性方程式

x^{2} = 3 x - 2

を解くと
x=1, 2となるから

a_{n + 2} - a_{n + 1} = 2 (a_{n + 1} - a_{n})

…(1’)

a_{n + 2} - 2 a_{n + 1} = 1 (a_{n + 1} - 2 a_{n})

…(1”)

※素朴に考えると，「特性方程式」とは何なのか？なぜ特性方程式の解を使えば(1’)(1”)のように変形できるのかという疑問がわきます．･･･速く進もうと「この問題はこうするものだ」と丸暗記してしまうと，実際には特性方程式が使えない場面で使ってしまうミスが起ります．･･･だから，最低でもどの形の問題の場合に特性方程式が使えるのかということは理解しておく必要があります．

▲１　≪特性方程式の解を極限と見る見方≫
　(1)を

\frac{a_{n + 2}}{a_{n}} = 3 \frac{a_{n + 1}}{a_{n}} - 2

\frac{a_{n + 2}}{a_{n + 1}} \cdot \frac{a_{n + 1}}{a_{n}} = 3 \frac{a_{n + 1}}{a_{n}} - 2

と変形して，もし，数列

\frac{a_{n + 1}}{a_{n}}

に極限値αが存在したら，すなわち

lim_{n \to \infty} \frac{a_{n + 2}}{a_{n + 1}} = lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}} = α

ならば，αは

x^{2} = 3 x - 2

で求められることになります．

ただ，この解釈は簡単には納得しにくい話です．
（理由１）

そもそも，なぜ

\frac{a_{n + 1}}{a_{n}}

の極限なのか，なぜ

a_{n}

の

極限を求めないのかが分かりにくい．また，もし極限値がなかったらどうなるのか，極限値が存在することを示されていない

（理由２）

結局のところ

a_{n + 2} \to x^{2}

a_{n + 1} \to x

a_{n} \to 1

と置き換えるということになるが，特になぜ

x^{2}

とおくのかがよくわからない

（理由３）

lim_{n \to \infty} \frac{a_{n + 2}}{a_{n + 1}} = lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}} = α

，

x^{2} = 3 x - 2

と

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

の間の論理が跳び過ぎていてつながらない

●２　≪

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

の形≫から逆算する見方

　(1)を

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

…(1’)
の形に変形できたらよいのにな～と考えます．

　もし，そのような変形ができなければ以下の方程式が解なしとなるだけだから，試してから判断したらよいと考えます．

　もし，(1’)の形に変形できれば，

第n項が

a_{n + 1} - α a_{n}

第n+1項が

a_{n + 2} - α a_{n + 1}

となる数列

{a_{n + 1} - α a_{n}}

が公比βの等比数列になって，とりあえず

a_{n + 1} - α a_{n}

が求まるからです．
　(1’)のα, βは(1)との係数比較により求めることができます．

(1’)→

a_{n + 2} = (α + β) a_{n + 1} - α β a_{n}

(1)→

a_{n + 2} = 3 a_{n + 1} - 2 a_{n}

よりα, βは次の連立方程式の解です．

α+β=3…(2)
αβ=2…(3)

(2)(3)を素朴に連立方程式として解けば

(2)→

β = 3 - α

これを(3)に代入→

α (3 - α) = 2

α^{2} - 3 α + 2 = 0

…(4)

(4)より

(α - 1) (α - 2) = 0

α=1のときβ=2
α=2のときβ=1

(2)(3)からαを消去してβの方程式にした場合は

β^{2} - 3 β + 2 = 0

…(4’)
になりますが，(4)(4’)を見比べてみると，α, βはいずれも，２次方程式

x^{2} - 3 x + 2 = 0

…(5)
の解になっているということです．

　通常の解説：

α+β=3…(2)
αβ=2…(3)
となる２数は（解と係数の関係により），２次方程式

x^{2} - 3 x + 2 = 0

の２つの解だからこれを解きます．
この説明が分かりにくい場合は，上記のように

α^{2} - 3 α + 2 = 0

…(4)

β^{2} - 3 β + 2 = 0

…(4’)
はいずれも，２次方程式

x^{2} - 3 x + 2 = 0

…(5)
にまとめられると考えればよいでしょう．

要点

【要点】
　

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

となるα, βを求めたとき
(A)　異なる２つの実数となる場合

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

…(1)

a_{n + 2} - β a_{n + 1} = α (a_{n + 1} - β a_{n})

…(2)

a_{n + 1} - α a_{n} = (a_{2} - α a_{1}) β^{n - 1}

…(1’)

a_{n + 1} - β a_{n} = (a_{2} - β a_{1}) α^{n - 1}

…(2’)

(1’)−(2’)により

a_{n + 1}

を消去する

(B)　同じ１つの実数αとなる場合

a_{n + 2} - α a_{n + 1} = α (a_{n + 1} - α a_{n})

a_{n + 1} - α a_{n} = (a_{2} - α a_{1}) α^{n - 1}

これを２項間漸化式として解く

実際には(A)と全く同様に解けばよい．虚数・無理数・分数係数の数式となるが，

a_{1}, a_{2}

が整数ならばすべての自然数nに対して整数値となることは証明できる．
※通常，この形の問題は高校生向けの３項間漸化式の問題としては出題されない．
※複素数のド・モアブルの定理との融合問題としてなら出題されるかもしれない．また，ここで得られる一般項を題材として，虚数・無理数・分数係数の数式がすべての自然数nに対して整数値となることの証明問題，計算問題などとして出題されることは考えられる．

【例題１】…α, βが異なる２つの実数となる場合

a_{1} = 0, a_{2} = 1

a_{n + 2} = 4 a_{n + 1} - 3 a_{n}

…(1)
で定義される数列

{a_{n}}

の一般項を求めてください．

（答案１）
　(1)より

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

…(2)となるα, βを求める．
　(2)より

a_{n + 2} = (α + β) a_{n + 1} - α β a_{n}

これを(1)式と係数比較すると

α+β=4…(3)
αβ=3…(4)
この解は
α=1, β=3…(5)またはα=3, β=1…(6)

(5)より

a_{n + 2} - a_{n + 1} = 3 (a_{n + 1} - a_{n})

数列

{a_{n + 1} - a_{n}}

は公比3の等比数列になるから

a_{n + 1} - a_{n} = (a_{2} - a_{1}) \times 3^{n - 1} = 3^{n - 1}

…(7)

(6)より

a_{n + 2} - 3 a_{n + 1} = a_{n + 1} - 3 a_{n}

数列

{a_{n + 1} - 3 a_{n}}

は公比1の等比数列になるから

a_{n + 1} - 3 a_{n} = (a_{2} - 3 a_{1}) \times 1^{n - 1} = 1

…(8)

ある数列

{b_{n}}

が公比1の等比数列であれば

b_{1} = b_{2} = b_{3} = \dots = b_{n}

となり

ある人と友達が同じで，そのまた友達も友達と同じ･･･
⇒全員同じ
（♪友達の友達は友達だ，そのまた友達も友達だ♪⇒定数項になっている数列）

これより直ちに

b_{n} = b_{1}

がいえる．

(7)(8)を未知数

a_{n + 1}, a_{n}

に関する連立方程式として解く．

x - y = 3^{n - 1}

x - 3 y = 1

と見て，x, yについて解くということです．ただし，

a_{n}

を求めるにはyだけ求めればよく

a_{n + 1}

の方はn+1を代入すれば自動的に得られます．

(7)−(8)

2 a_{n} = 3^{n - 1} - 1

a_{n} = \frac{3^{n - 1} - 1}{2}

…（答）

（答案１’）

　簡単な変形の場合，なぜその変形を思いつくのかという理由を説明しなくても構わない．･･･「目の子算」でも分かるような簡単な移項にまで，くどくどと理由を付ける必要はない．
　だから，α, βを別途求めておいて，答案としては次のようにまとめてもよい．

(1)より

a_{n + 2} - a_{n + 1} = 3 (a_{n + 1} - a_{n})

数列

{a_{n + 1} - a_{n}}

は公比3の等比数列になるから

a_{n + 1} - a_{n} = (a_{2} - a_{1}) \times 3^{n - 1} = 3^{n - 1}

…(2)

また(1)より

a_{n + 2} - 3 a_{n + 1} = a_{n + 1} - 3 a_{n}

数列

{a_{n + 1} - 3 a_{n}}

は公比1の等比数列になるから

a_{n + 1} - 3 a_{n} = (a_{2} - 3 a_{1}) \times 1^{n - 1} = 1

…(3)

(2)−(3)

2 a_{n} = 3^{n - 1} - 1

a_{n} = \frac{3^{n - 1} - 1}{2}

…（答）

（参考）
この数列において，特性方程式の解1, 3は数列の極限

lim_{n \to \infty} a_{n}

を表していると言うよりは，隣の項との比の極限

lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}}

と考えた方が分かりやすい．
本問のように

a_{1} \neq a_{2}

の場合は

lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}} = 3

になり，本問とは異なる初項と第２項で問題が作られていて

a_{1} = a_{2}

となっている場合は

lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}} = 1

となる．

重解形

【要点】
　

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

となるα, βを求めたとき
(B)　同じ１つの実数αとなる場合

a_{n + 2} - α a_{n + 1} = α (a_{n + 1} - α a_{n})

a_{n + 1} - α a_{n} = (a_{2} - α a_{1}) α^{n - 1}

これを２項間漸化式として解く

【例題２】…α, βが実数の重解となる場合

a_{1} = 1, a_{2} = 2

a_{n + 2} = 2 a_{n + 1} - a_{n}

…(1)
で定義される数列

{a_{n}}

の一般項を求めてください．

(1)より

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

となるα, βを求める

a_{n + 2} = (α + β) a_{n + 1} - α β a_{n}

と(1)の係数を比較して

α+β=2
αβ=1
よりα=1, β=1の重解となる．

これらの値を代入すると

a_{n + 2} - a_{n + 1} = a_{n + 1} - a_{n}

数列

{a_{n + 1} - a_{n}}

は公比1の等比数列（実際には全部等しい数列）になるから

a_{n + 1} - a_{n} = (a_{2} - a_{1}) \times 1^{n - 1} = 1

…(2)

(2)より

a_{n + 1} - (n + 1) = a_{n} - n

数列

{a_{n} - n}

は公比1の等比数列（実際には全部等しい数列）になるから

a_{n} - n = a_{1} - 1 = 0

a_{n} = n

…（答）

　(2)式以下の変形は，通常は，次のように階差形の漸化式として処理される．
　(2)より数列

{a_{n}}

の階差数列を数列

{b_{n}}

とすると数列

b_{n} = 1

だから
n≧2のとき

a_{n} = a_{1} + \sum_{k = 1}^{n - 1} 1 = 1 + (n - 1) = n

これはn=1のときも成り立つ
ゆえに，

a_{n} = n

…（答）

無理数.虚数形

【要点】
　

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

となるα, βを求めたとき
(C)　無理数や虚数となる場合

〇実際には(A)と全く同様に解けばよい．途中経過が無理数や虚数の数式となり不気味であるが，

a_{1}, a_{2}

が整数ならばすべての自然数nに対して

a_{n}

が整数値となることは証明できる．
〇途中経過が無理数であるにもかかわらず，結果は正の整数となる例として，有名なものにフィボナッチ数列がある．
〇α, βが虚数である場合も，(A)と同様に解けばよいが，この形の問題が高校生向けの３項間漸化式の単元で出題されることはめったにない．むしろ，複素数のド・モアブルの定理との融合問題として出題される可能性がある．また，ここで得られる一般項を題材として（数列とか漸化式という言葉を出さずに）途中経過が虚数・無理数となる数式がすべての自然数nに対して整数値となることの証明問題，計算問題などとして出題されることは考えられる．

【例題３】…α, βが異なる２つの無理数となる場合

a_{1} = 1

a_{2} = 1

a_{n + 2} = a_{n + 1} + a_{n}

…(1)
で定義される数列

{a_{n}}

の一般項を求めてください．
（この数列はフィボナッチ数列と呼ばれる）

この数列を定義に従って順に書き下していくと，

1 , 1 , 2 , 3 , 5 , 8 , 13 , 21 , ...

となって，何らあやしいところはない．

（解答）
　(1)より

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

…(2)となるα, βを求める．
　(2)より

a_{n + 2} = (α + β) a_{n + 1} - α β a_{n}

これを(1)式と係数比較すると

α+β=1…(3)
αβ=−1…(4)
この解は

\frac{1 - \sqrt{5}}{2}, \frac{1 + \sqrt{5}}{2}

の２数

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

数列

{a_{n + 1} - α a_{n}}

は公比

β

の等比数列になるから

a_{n + 1} - α a_{n} = (a_{2} - α a_{1}) \times β^{n - 1} = (1 - α) β^{n - 1}

ここで(3)より1−α=βであるから

a_{n + 1} - α a_{n} = β^{n}

…(5)

同様にして

a_{n + 2} - β a_{n + 1} = α (a_{n + 1} - β a_{n})

より

a_{n + 1} - β a_{n} = α^{n}

…(6)
(5)−(6)

(β - α) a_{n} = β^{n} - α^{n}

a_{n} = \frac{β^{n} - α^{n}}{β - α} = \frac{{(\frac{1 + \sqrt{5}}{2})}^{n} - {(\frac{1 - \sqrt{5}}{2})}^{n}}{\sqrt{5}}

…（答）

※最終結果の式が無理数・分数になっており，本当にこれで正しのか不気味な印象を受ける．そこで，各項を調べてみると
■ n=1 →

a_{1} = \frac{(\frac{1 + \sqrt{5}}{2}) - (\frac{1 - \sqrt{5}}{2})}{\sqrt{5}} = 1

：整数
n=2 →

a_{2} = {\frac{{(\frac{1 + \sqrt{5}}{2})}^{2} - (\frac{1 - \sqrt{5}}{2})}{\sqrt{5}}}^{2} = 1

：整数

a_{n} = \frac{β^{n} - α^{n}}{β - α}, a_{n + 1} = \frac{β^{n + 1} - α^{n + 1}}{β - α}

が整数であるならば

a_{n + 2} = \frac{β^{n + 2} - α^{n + 2}}{β - α}

= \frac{(β^{n + 1} - α^{n + 1}) (β + α) + α^{n + 1} β - α β^{n + 1}}{β - α}

= \frac{(β^{n + 1} - α^{n + 1}) (β + α)}{β - α} - \frac{α β (β^{n} - α^{n})}{β - α}

α+β=1, αβ=1だから

a_{n + 2} = \frac{β^{n + 1} - α^{n + 1}}{β - α} - \frac{β^{n} - α^{n}}{β - α}

は整数−整数で整数になる．■

(1)式で定義されることを考えると，前の２項が整数であるならば次の項も整数であることは当然であるが，数列・漸化式という枠組みを隠して，次の形で出題されることが多い．
「すべての自然数nについて

\frac{{(\frac{1 + \sqrt{5}}{2})}^{n} - {(\frac{1 - \sqrt{5}}{2})}^{n}}{\sqrt{5}}

は整数になることを証明せよ．」
これに対しては上記の■～■のように答えるとよい．

【例題４】…α, βが互いに共役複素数となる場合

a_{1} = 0

a_{2} = 1

a_{n + 2} = a_{n + 1} - a_{n}

…(1)
で定義される数列

{a_{n}}

の一般項を求めてください．

この数列を定義に従って順に書き下していくと，

0 , 1 , 1 , 0 , −1 , −1 , 0 , 1 , 1 , ...

となって，６個周期で同じ値となる．

（解答）
　(1)より

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

…(2)となるα, βを求める．
　(2)より

a_{n + 2} = (α + β) a_{n + 1} - α β a_{n}

これを(1)式と係数比較すると

α+β=1…(3)
αβ=1…(4)
この解は

\frac{1 - \sqrt{3} i}{2}, \frac{1 + \sqrt{3} i}{2}

の２数

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

数列

{a_{n + 1} - α a_{n}}

は公比βの等比数列になるから

a_{n + 1} - α a_{n} = (a_{2} - α a_{1}) \times β^{n - 1} = β^{n - 1}

…(5)

同様にして

a_{n + 2} - β a_{n + 1} = α (a_{n + 1} - β a_{n})

より

a_{n + 1} - β a_{n} = (a_{2} - β a_{1}) α^{n - 1} = α^{n - 1}

…(6)
(5)−(6)

(β - α) a_{n} = β^{n - 1} - α^{n - 1}

a_{n} = \frac{β^{n - 1} - α^{n - 1}}{β - α} = \frac{{(\frac{1 + \sqrt{3} i}{2})}^{n - 1} - {(\frac{1 - \sqrt{3} i}{2})}^{n - 1}}{\sqrt{3} i}

…（答）

※この一般項も虚数のn乗で表されており，すべての自然数nについて

a_{n}

が整数になるのは奇妙に思えるが･･･

複素数平面上で

α = \frac{1 - \sqrt{3} i}{2}, β = \frac{1 + \sqrt{3} i}{2}

は図のような単位円を６等分する点にある．複素数については，ド・モアブルの定理により

(\cos α + i \sin α)^{n} = \cos n α + i \sin n α

(\cos β + i \sin β)^{n} = \cos n β + i \sin n β

が成り立つから，各々図のような位置にある．
　差を取ると実部が消えて，虚部の２倍が残るから，

β^{n - 1} - α^{n - 1}

の取る値は

0, \sqrt{3} i, \sqrt{3} i, 0, - \sqrt{3} i, - \sqrt{3} i, . . .

の６個の値を順に繰り返し，

β - α = \sqrt{3} i

だから

a_{n} = \frac{β^{n} - α^{n}}{β - α}

は0, 1, 1, 0, −1, −1, ...の値を順に繰り返す．

【⇒とにかく答を出すには】

　以下を用いれば，異なる２つの解をもつときは，例題３，例題４のような問題のどちらでも解けます．
　通常，答案を書くときに教科書や参考書に広く書かれている事柄は省略してもよいと解釈されていますが，以下の解き方：特に

a_{n} = A α^{n - 1} + B β^{n - 1}

とおけるということは広く書かれているとは言えないので，上記の解答のように係数比較から導くなどの根拠も書かないと少しは減点されるかもしれない．
　この項目は「とにかく答を出すには」「検算するには」･･･という話

a_{1}

a_{2}

a_{n + 2} + p a_{n + 1} + q a_{n} = 0

…(1)

a_{n} = A α^{n - 1} + B β^{n - 1}

となるA, Bを求めるとよい．

（解説）

a_{n + 2} + p a_{n + 1} + q a_{n} = 0

…(1)を

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

…(2)

a_{n + 2} - β a_{n + 1} = α (a_{n + 1} - β a_{n})

…(3)
とおいたとき，α≠βであれば
(2) →

a_{n + 1} - α a_{n} = (a_{2} - α a_{1}) β^{n - 1}

…(2’)
(3) →

a_{n + 1} - β a_{n} = (a_{2} - β a_{1}) α^{n - 1}

…(3’)
(2’)−(3’)

(β - α) a_{n} = - (a_{2} - β a_{1}) α^{n - 1} + (a_{2} - α a_{1}) β^{n - 1}

a_{n} = \frac{- (a_{2} - β a_{1}) α^{n - 1} + (a_{2} - α a_{1}) β^{n - 1}}{β - α}

= A α^{n - 1} + B β^{n - 1}

と書ける．ここでα, βが固定されているとき，A, Bは

a_{1}, a_{2}

で定まる定数．
そこで，

a_{1}, a_{2}

の値を代入してA, Bを求めたら答が得られる．

例と答

　次の漸化式で与えられる数列の一般項を求めてください．
(1)～(4)はα, βが異なる値となる問題

(1)

a_{1} = 1

a_{2} = 2

a_{n + 2} = 3 a_{n + 1} - 2 a_{n}

（解答）

a_{n} = 2^{n - 1}

（途中経過）

a_{1} = 1

a_{2} = 2

a_{n + 2} = 3 a_{n + 1} - 2 a_{n}

…(1)

a_{n + 2} - a_{n + 1} = 2 (a_{n + 1} - a_{n})

…(2)

a_{n + 2} - 2 a_{n + 1} = a_{n + 1} - 2 a_{n}

…(3)
(2)より数列

{a_{n + 1} - a_{n}}

は公比2の等比数列になるから

a_{n + 1} - a_{n} = (a_{2} - a_{1}) \times 2^{n - 1} = 2^{n - 1}

…(2’)
(3)より数列

{a_{n + 1} - 2 a_{n}}

は公比1の等比数列になるから

a_{n + 1} - 2 a_{n} = (a_{2} - 2 a_{1}) \times 1^{n - 1} = 0

…(3’)
(2’)−(3’)

a_{n} = 2^{n - 1}

…（答）

（参考）
この数列において，特性方程式の解1, 2は数列の極限

lim_{n \to \infty} a_{n}

を表しているのではなく，隣の項との比の極限

lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}}

を表しています．
本問のように

a_{1} \neq a_{2}

の場合は

lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}} = 2

になり，本問とは異なる初項と第２項で問題が作られていて

a_{1} = a_{2}

となっている場合は

lim_{n \to \infty} \frac{a_{n + 1}}{a_{n}} = 1

となることは(2’)(3’)を少し変形すれば示せます．（以下の問題についても同様です）

(2)

a_{1} = 0

a_{2} = 1

a_{n + 2} = 5 a_{n + 1} - 6 a_{n}

（解答）

a_{n} = 3^{n - 1} - 2^{n - 1}

（途中経過）

a_{1} = 0

a_{2} = 1

a_{n + 2} = 5 a_{n + 1} - 6 a_{n}

…(1)

a_{n + 2} - 2 a_{n + 1} = 3 (a_{n + 1} - 2 a_{n})

…(2)

a_{n + 2} - 3 a_{n + 1} = 2 (a_{n + 1} - 3 a_{n})

…(3)
(2)より数列

{a_{n + 1} - 2 a_{n}}

は公比3の等比数列になるから

a_{n + 1} - 2 a_{n} = (a_{2} - 2 a_{1}) \times 3^{n - 1} = 3^{n - 1}

…(2’)
(3)より数列

{a_{n + 1} - 3 a_{n}}

は公比2の等比数列になるから

a_{n + 1} - 3 a_{n} = (a_{2} - 3 a_{1}) \times 2^{n - 1} = 2^{n - 1}

…(3’)
(2’)−(3’)

a_{n} = 3^{n - 1} - 2^{n - 1}

…（答）

(3)

a_{1} = 0

a_{2} = 1

a_{n + 2} - a_{n + 1} - 2 a_{n} = 0

（解答）

a_{n} = \frac{2^{n - 1} - (- 1)^{n - 1}}{3}

（途中経過）

a_{1} = 0

a_{2} = 1

a_{n + 2} - a_{n + 1} - 2 a_{n} = 0

…(1)

a_{n + 2} + a_{n + 1} = 2 (a_{n + 1} + a_{n})

…(2)

a_{n + 2} - 2 a_{n + 1} = (- 1) (a_{n + 1} - 2 a_{n})

…(3)
(2)より数列

{a_{n + 1} + a_{n}}

は公比2の等比数列になるから

a_{n + 1} + a_{n} = (a_{2} + a_{1}) \times 2^{n - 1} = 2^{n - 1}

…(2’)
(3)より数列

{a_{n + 1} - 2 a_{n}}

は公比−1の等比数列になるから

a_{n + 1} - 2 a_{n} = (a_{2} - 2 a_{1}) \times (- 1)^{n - 1} = (- 1)^{n - 1}

…(3’)
(2’)−(3’)

3 a_{n} = 2^{n - 1} - (- 1)^{n - 1}

a_{n} = \frac{2^{n - 1} - (- 1)^{n - 1}}{3}

…（答）

(4)

a_{1} = 1

a_{2} = 2

a_{n + 2} = \frac{a_{n + 1} + a_{n}}{2}

（解答）

a_{n} = \frac{2}{3} {\frac{5}{2} - (- \frac{1}{2})^{n - 1}}

（途中経過）

a_{1} = 1

a_{2} = 2

a_{n + 2} = \frac{a_{n + 1} + a_{n}}{2}

…(1)

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

…(2)

a_{n + 2} + \frac{1}{2} a_{n + 1} = a_{n + 1} + \frac{1}{2} a_{n}

…(3)
(2)より数列

{a_{n + 1} - a_{n}}

は公比

- \frac{1}{2}

の等比数列になるから

a_{n + 1} - a_{n} = (a_{2} - a_{1}) \times {(- \frac{1}{2})}^{n - 1} = {(- \frac{1}{2})}^{n - 1}

…(2’)
(3)より数列

{a_{n + 1} + \frac{1}{2} a_{n}}

は公比1の等比数列（すべての項が等しい数列）になるから

a_{n + 1} + \frac{1}{2} a_{n} = (a_{2} + \frac{1}{2} a_{1}) \times 1^{n - 1} = \frac{5}{2}

…(3’)
(2’)−(3’)

- \frac{3}{2} a_{n} = {(- \frac{1}{2})}^{n - 1} - \frac{5}{2}

a_{n} = \frac{2}{3} {\frac{5}{2} - {(- \frac{1}{2})}^{n - 1}}

…（答）

(5)～(7)はα, βが重解となる問題

(5)

a_{1} = 0

a_{2} = 2

a_{n + 2} = 4 a_{n + 1} - 4 a_{n}

（解答）

a_{n} = (n - 1) 2^{n - 1}

（途中経過）

a_{1} = 0

a_{2} = 2

a_{n + 2} = 4 a_{n + 1} - 4 a_{n}

…(1)

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

となるα, βを求める．

a_{n + 2} = (α + β) a_{n + 1} - α β a_{n}

と(1)を係数比較すると

α+β=4
αβ=4
よりα=2, β=2（２次方程式では重解の場合）

a_{n + 2} - 2 a_{n + 1} = 2 (a_{n + 1} - 2 a_{n})

…(2)
(2)より数列

{a_{n + 1} - 2 a_{n}}

は公比2の等比数列になるから

a_{n + 1} - 2 a_{n} = (a_{2} - 2 a_{1}) \times 2^{n - 1} = 2^{n}

a_{n + 1} = 2 a_{n} + 2^{n}

…(2’)
(2’)を２項間漸化式として解く

a_{n + 1} - (n + 1) \times 2^{n} = 2 (a_{n} - n \times 2^{n - 1})

…(*)
数列

{a_{n} - n \times 2^{n - 1}}

は公比2の等比数列になるから

a_{n} - n \times 2^{n - 1} = (a_{1} - 1 \times 2^{0}) 2^{n - 1} = - 2^{n - 1}

a_{n} = n \times 2^{n - 1} - 2^{n - 1} = (n - 1) 2^{n - 1}

…（答）

（参考）
(2’)のように

a_{n + 1} = p a_{n} + q^{n}

の形をしている漸化式は，通常は

a_{n + 1} - α q^{n + 1} = p (a_{n} - α q^{n})

と変形できるが，この問題のようにp=qとなっている場合はαが定まらない．このような場合には，

a_{n + 1} - α (n + 1) q^{n + 1} = p (a_{n} - α n q^{n})

とおけばよい．これにより，本問では

a_{n + 1} - α (n + 1) 2^{n + 1} = 2 (a_{n} - α n 2^{n})

より

α (n + 1) 2^{n + 1} - 2 α n 2^{n} α 2^{n + 1} = 2^{n}

から

α = \frac{1}{2}

が求まる．

普通，参考書では(2’)以下の答案は，次のように書かれるが，かなり長い答案になる：

(2’)の両辺を

2^{n + 1}

で割る．

\frac{a_{n + 1}}{2^{n + 1}} = \frac{a_{n}}{2^{n}} + \frac{1}{2}

\frac{a_{n}}{2^{n}} = b_{n}

とおくと（この

b_{n}

は階差数列ではなく置き換えた式の名前）

b_{n + 1} = b_{n} + \frac{1}{2}

b_{n}

の階差数列を

c_{n}

とおくと

c_{n} = \frac{1}{2}

n ≧ 2

のとき

b_{n} = b_{1} + \sum_{k = 1}^{n - 1} \frac{1}{2} = 0 + \frac{n - 1}{2} = \frac{n - 1}{2}

n=1のときも結果が一致するから

b_{n} = \frac{n - 1}{2}

したがって

\frac{a_{n}}{2^{n}} = \frac{n - 1}{2}

a_{n} = (n - 1) 2^{n - 1}

…（答）

(6)

a_{1} = 1

a_{2} = 2

a_{n + 2} = 6 a_{n + 1} - 9 a_{n}

（解答）

a_{n} = (4 - n) 3^{n - 2}

（途中経過）

a_{1} = 1

a_{2} = 2

a_{n + 2} = 6 a_{n + 1} - 9 a_{n}

…(1)

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

となるα, βを求める．

a_{n + 2} = (α + β) a_{n + 1} - α β a_{n}

と(1)を係数比較すると

α+β=6
αβ=9
よりα=3, β=3（２次方程式では重解の場合になっている）

a_{n + 2} - 3 a_{n + 1} = 3 (a_{n + 1} - 3 a_{n})

…(2)
(2)より数列

{a_{n + 1} - 3 a_{n}}

は公比3の等比数列になるから

a_{n + 1} - 3 a_{n} = (a_{2} - 3 a_{1}) \times 3^{n - 1} = 3^{n - 1}

a_{n + 1} = 3 a_{n} - 3^{n - 1}

…(2’)
(2’)を２項間漸化式として解く

a_{n + 1} - λ (n + 1) \times 3^{n + 1} = 3 (a_{n} - λ n \times 3^{n})

…(*)
(*)と(2’)を係数比較すると

λ \times 3^{n + 1} = 3^{n - 1}

λ = - \frac{1}{9}

ゆえに

a_{n + 1} + (n + 1) 3^{n - 1} = 3 (a_{n} + n 3^{n - 2})

数列

{a_{n} + n \times 3^{n - 2}}

は公比3の等比数列になるから

a_{n} + n \times 3^{n - 2} = (a_{1} + 1 \times 3^{- 1}) 3^{n - 1} = \frac{4}{3} \times 3^{n - 1}

a_{n} = \frac{4}{3} \times 3^{n - 1} - n \times 3^{n - 2}

a_{n} = (4 - n) 3^{n - 2}

…（答）

（参考）
(2’)のように

a_{n + 1} = p a_{n} + q^{n}

の形をしている漸化式は，通常は

a_{n + 1} - α q^{n + 1} = p (a_{n} - α q^{n})

と変形できるが，この問題のようにp=qとなっている場合はαが定まらない．このような場合には，

a_{n + 1} - α (n + 1) q^{n + 1} = p (a_{n} - α n q^{n})

とおけばよい．これにより，本問では

a_{n + 1} - α (n + 1) 3^{n + 1} = 3 (a_{n} - α n 3^{n})

とおくとよい．

普通，参考書では(2’)以下の答案は，次のように書かれるが，かなり長い答案になる：

(2’)の両辺を

3^{n + 1}

で割る．

\frac{a_{n + 1}}{3^{n + 1}} = \frac{a_{n}}{3^{n}} - \frac{1}{9}

\frac{a_{n}}{3^{n}} = b_{n}

とおくと（この

b_{n}

は階差数列ではなく置き換えた式の名前）

b_{n + 1} = b_{n} - \frac{1}{9}

b_{n}

の階差数列を

c_{n}

とおくと

c_{n} = - \frac{1}{9}

n≧2のとき

b_{n} = b_{1} + \sum_{k = 1}^{n - 1} (- \frac{1}{9}) = \frac{a_{1}}{3} + \frac{1}{9} (n - 1)

= \frac{1}{3} - \frac{n}{9} + \frac{1}{9} = \frac{4 - n}{9}

n=1のときも結果が一致するから

b_{n} = \frac{4 - n}{9}

したがって

\frac{a_{n}}{3^{n}} = \frac{4 - n}{9}

a_{n} = \frac{4 - n}{9} \times 3^{n} = (4 - n) 3^{n - 2}

…（答）

(7)

a_{1} = 0

a_{2} = 1

a_{n + 2} = \frac{4 a_{n + 1} - a_{n}}{4}

（解答）

a_{n} = \frac{n - 1}{2^{n - 2}}

（途中経過）

a_{1} = 0

a_{2} = 1

a_{n + 2} = \frac{4 a_{n + 1} - a_{n}}{4}

…(1)

a_{n + 2} - α a_{n + 1} = β (a_{n + 1} - α a_{n})

となるα, βを求める．

a_{n + 2} = (α + β) a_{n + 1} - α β a_{n}

と(1)を係数比較すると

α+β=1
αβ

= \frac{1}{4}

より

α = β = \frac{1}{2}

（２次方程式では重解の場合になっている）

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

…(2)

(2)より数列

{a_{n + 1} - \frac{1}{2} a_{n}}

は公比

\frac{1}{2}

の等比数列になるから

a_{n + 1} - \frac{1}{2} a_{n} = (a_{2} - \frac{1}{2} a_{1}) \times {(\frac{1}{2})}^{n - 1} = {(\frac{1}{2})}^{n - 1}

a_{n + 1} = \frac{1}{2} a_{n} + \frac{1}{2^{n - 1}}

…(2’)
(2’)を２項間漸化式として解く

a_{n + 1} - α \frac{n + 1}{2^{n + 1}} = \frac{1}{2} (a_{n} - α \frac{n}{2^{n}})

…(*)
(*)と(2’)を係数比較すると

α \frac{n + 1}{2^{n + 1}} - α \frac{n}{2^{n + 1}} = \frac{α}{2^{n + 1}} = \frac{1}{2^{n - 1}}

α=4
ゆえに

a_{n + 1} - \frac{n + 1}{2^{n - 1}} = \frac{1}{2} (a_{n} - \frac{n}{2^{n - 2}})

数列

{a_{n} - \frac{n}{2^{n - 2}}}

は公比

\frac{1}{2}

の等比数列になるから

a_{n} - \frac{n}{2^{n - 2}} = (a_{1} - \frac{1}{2^{- 1}}) {(\frac{1}{2})}^{n - 1} = - 2 \times \frac{1}{2^{n - 1}}

= - \frac{1}{2^{n - 2}}

a_{n} = \frac{n}{2^{n - 2}} - \frac{1}{2^{n - 2}} = \frac{n - 1}{2^{n - 2}}

…（答）

(8)～(11)はα, βが異なる２つの無理数または虚数になる問題
※やや難しい：基本問題とは言えない！

(8)

a_{1} = 0

a_{2} = 1

a_{n + 2} = 2 a_{n + 1} + a_{n}

（解答）

a_{n} = \frac{(1 + \sqrt{2})^{n - 1} - (1 - \sqrt{2})^{n - 1}}{2 \sqrt{2}}

（途中経過）

a_{1} = 0

a_{2} = 1

a_{n + 2} = 2 a_{n + 1} + a_{n}

…(1)

(1)の特性方程式

x^{2} - 2 x - 1 = 0

の解は

α = 1 - \sqrt{2}, β = 1 + \sqrt{2}

一般項を

a_{n} = A α^{n - 1} + B β^{n - 1}

とおくと

a_{1} = 0

よりA+B=0

a_{2} = 1

よりAα+Bβ=1
これをA, Bについて解くと

A = \frac{1}{α - β} = \frac{1}{- 2 \sqrt{2}}, B = \frac{1}{β - α} = \frac{1}{2 \sqrt{2}}

だから

a_{n} = \frac{(1 + \sqrt{2})^{n - 1} - (1 - \sqrt{2})^{n - 1}}{2 \sqrt{2}}

…（答）

(9)

a_{1} = 1

a_{2} = 2

a_{n + 2} = \frac{2 a_{n + 1} + a_{n}}{2}

（解答）

a_{n} = {(\frac{1 - \sqrt{3}}{2})}^{n} + {(\frac{1 + \sqrt{3}}{2})}^{n}

（途中経過）

a_{1} = 1

a_{2} = 2

a_{n + 2} = \frac{2 a_{n + 1} + a_{n}}{2}

…(1)

(1)の特性方程式

2 x^{2} - 2 x - 1 = 0

の解は

α = \frac{1 - \sqrt{3}}{2}, β = \frac{1}{2}

一般項を

a_{n} = A α^{n - 1} + B β^{n - 1}

とおくと

a_{1} = 1

よりA+B=1

a_{2} = 2

よりAα+Bβ=2
これをA, Bについて解くと

A = \frac{2 - β}{α - β} = - \sqrt{3} α, B = \frac{2 - α 1}{β - α} = \sqrt{3} β

だから

a_{n} = {(\frac{1 - \sqrt{3}}{2})}^{n} + {(\frac{1 + \sqrt{3}}{2})}^{n}

…（答）

(10)

a_{1} = 0

a_{2} = 1

a_{n + 2} = 2 a_{n + 1} - 2 a_{n}

（解答）

a_{n} = \frac{(1 + i)^{n - 1} - (1 - i)^{n - 1}}{2 i}

（途中経過）

a_{1} = 0

a_{2} = 1

a_{n + 2} = 2 a_{n + 1} - 2 a_{n}

…(1)

(1)の特性方程式

x^{2} - 2 x + 2 = 0

の解はα=1−i, β=1+i
一般項を

a_{n} = A α^{n - 1} + B β^{n - 1}

とおくと

a_{1} = 0

よりA+B=0

a_{2} = 1

よりAα+Bβ=1
これをA, Bについて解くと

A = \frac{1}{α - β} = - \frac{1}{2 i}, B = \frac{1}{β - α} = \frac{1}{2 i}

だから

a_{n} = \frac{(1 - i)^{n - 1}}{- 2 i} + \frac{(1 + i)^{n - 1}}{2 i} = \frac{(1 + i)^{n - 1} - (1 - i)^{n - 1}}{2 i}

…（答）

(11)

a_{1} = 0

a_{2} = 1

a_{n + 2} + a_{n + 1} + a_{n} = 0

（解答）

a_{n} = \frac{{(\frac{- 1 + \sqrt{3} i}{2})}^{n - 1} - {(\frac{- 1 - \sqrt{3} i}{2})}^{n - 1}}{\sqrt{3} i}

（途中経過）

a_{1} = 0

a_{2} = 1

a_{n + 2} + a_{n + 1} + a_{n} = 0

…(1)

(1)の特性方程式

x^{2} + x + 1 = 0

の解は

α = \frac{- 1 - \sqrt{3} i}{2}, β = \frac{- 1 + \sqrt{3} i}{2}

一般項を

a_{n} = A α^{n - 1} + B β^{n - 1}

とおくと

a_{1} = 0

よりA+B=0

a_{2} = 1

よりAα+Bβ=1
これをA, Bについて解くと

A = \frac{1}{α - β} = - \frac{1}{\sqrt{3} i}, B = \frac{1}{β - α} = \frac{1}{\sqrt{3} i}

だから

a_{n} = \frac{α^{n - 1}}{- \sqrt{3} i} + \frac{β^{n - 1}}{\sqrt{3} i}

= \frac{{(\frac{- 1 + \sqrt{3} i}{2})}^{n - 1} - {(\frac{- 1 - \sqrt{3} i}{2})}^{n - 1}}{\sqrt{3} i}

…（答）

テスト

【問題】 …（このページで解説した問題と全く同じ問題の再現問題です）
　次の漸化式で定義される数列の一般項を求めてください．
（** HELPが必要なときは，上記の例題などを見てください **）
　はじめに左欄の定義式を選び，続いて右欄の一般項を選んでください．やり直すときは，右欄を連打するのでなく，左欄の問題を選び直すことから始めてください．

※解説をよく読んだので，身に着いてしまったという場合は構いませんが，普通の場合には別途計算用紙などを使ってよく考えてから選択肢をクリックしてください．
まぐれ当たりでは，身に着いたかどうかは分かりませんので注意しましょう．

(1)