連立・周期係数の漸化式――和と差、偶数項と奇数項

複数の数列を独立な成分に分け、周期係数は1周期ずつ進めて処理します。

レベル:標準〜発展

前提知識:等比数列・1次漸化式・3項間漸化式

学習の入口:数列・漸化式の型別・レベル別ガイド

1.対称な連立式は和と差を取る

$$a_{n+1}=pa_n+qb_n,\qquad b_{n+1}=qa_n+pb_n$$ なら、$s_n=a_n+b_n,\ d_n=a_n-b_n$ によって $$s_{n+1}=(p+q)s_n,\qquad d_{n+1}=(p-q)d_n$$ と独立な等比数列になります。最後に $a_n=(s_n+d_n)/2,\ b_n=(s_n-d_n)/2$ で戻します。

例題1:和だけが増幅する

$a_1=1,b_1=0,\ a_{n+1}=2a_n+b_n,\ b_{n+1}=a_n+2b_n$。和は公比3、差は公比1です。$s_1=d_1=1$ なので、$$a_n=\frac{3^{n-1}+1}2,\qquad b_n=\frac{3^{n-1}-1}2.$$ 差が常に1であることは、計算結果の検算にも使えます。

2.対称でなければ消去する

$$a_{n+1}=Aa_n+Bb_n,\qquad b_{n+1}=Ca_n+Db_n$$ から、直接代入して $$a_{n+2}=(A+D)a_{n+1}-(AD-BC)a_n$$ が得られます。$B\ne0$ なら、解いた $a_n$ から $b_n=(a_{n+1}-Aa_n)/B$ と復元できます。$B=0$ ならこの割り算をせず、先に $a_n$ を解き、$b_n$ の非同次漸化式へ代入します。

行列を習った読者には、$A+D$ が跡、$AD-BC$ が行列式に対応します。高校の答案では、この用語を使わなくても上の代入計算で十分に説明できます。

3.周期係数は一周分を合成する

例題2:奇数番と偶数番で規則が変わる

$a_1=0$ とし、$n$ が奇数なら $a_{n+1}=2a_n+1$、偶数なら $a_{n+1}=3a_n+1$ とします。$u_k=a_{2k-1}$ と置けば、$$u_{k+1}=3(2u_k+1)+1=6u_k+4,\qquad u_1=0.$$ 固定点は $-4/5$ だから、$$a_{2k-1}=\frac45(6^{k-1}-1),\qquad a_{2k}=\frac85\,6^{k-1}-\frac35.$$ 最初の4項0,1,4,9を確認します。合成の順序を逆にすると定数項が変わるので、どの項から一周させるかを明記します。

4.成分を分けた後、元の問題へ戻す

和だけが分かっても2つの数列は決まりません。また、奇数項だけを求めて一般項と呼ぶのも不十分です。復元式、両方の初期条件、元の2本の式を確認します。2周期の係数が現れても数列自体が2周期になるとは限りません。例題2は急速に増加する反例です。

作問者の視点――条件と解法の関係

確認演習と解答

まず方針と必要な条件を言葉にしてから計算してください。解答は開いて確認できます。

演習1 $a_1=2,b_1=0,\ a_{n+1}=3a_n+b_n,\ b_{n+1}=a_n+3b_n$。

解答・考え方を開く

和は $2\cdot4^{n-1}$、差は $2\cdot2^{n-1}$。$a_n=4^{n-1}+2^{n-1},b_n=4^{n-1}-2^{n-1}$。

演習2 $a_1=t$、奇数 $n$ で $a_{n+1}=2a_n$、偶数 $n$ で $a_{n+1}=a_n/2$。

解答・考え方を開く

$a_{2k-1}=t,a_{2k}=2t$。$t=0$ なら定数列、それ以外は2周期。

演習3 例題2の偶数項 $v_k=a_{2k}$ の漸化式を作れ。

解答・考え方を開く

$v_{k+1}=2(3v_k+1)+1=6v_k+3$、$v_1=1$。奇数項の定数4と違うことを確認します。

参考資料

定理・基本的な方法の確認に使える公開教材です。本ページの例題・演習・作問上のコメントは、解説用に独自に構成しています。