漸化式 $a_1 = 2$, $a_2 = 3$, $a_{n+2} = a_{n+1} + 2a_n$ で定義される数列の一般項 $a_n$ を求め、与えられた式 $a_n = \frac{[1]\cdot[2]^{n-1} + ([3] - [4])^{n-1}}{[5]}$ の $[1]$ から $[5]$ に入る数字を求める問題です。

代数学漸化式数列特性方程式一般項
2025/5/13

1. 問題の内容

漸化式 a1=2a_1 = 2, a2=3a_2 = 3, an+2=an+1+2ana_{n+2} = a_{n+1} + 2a_n で定義される数列の一般項 ana_n を求め、与えられた式 an=[1][2]n1+([3][4])n1[5]a_n = \frac{[1]\cdot[2]^{n-1} + ([3] - [4])^{n-1}}{[5]}[1][1] から [5][5] に入る数字を求める問題です。

2. 解き方の手順

まず、与えられた漸化式 an+2=an+1+2ana_{n+2} = a_{n+1} + 2a_n の特性方程式を求めます。特性方程式は
x2=x+2x^2 = x + 2
となります。これを解くと、
x2x2=0x^2 - x - 2 = 0
(x2)(x+1)=0(x - 2)(x + 1) = 0
したがって、特性解は x=2,1x = 2, -1 となります。
したがって、一般項は
an=A(2)n1+B(1)n1a_n = A(2)^{n-1} + B(-1)^{n-1}
と表すことができます。ここで、AABBは定数です。
a1=2a_1 = 2 より、
2=A(2)11+B(1)11=A+B2 = A(2)^{1-1} + B(-1)^{1-1} = A + B
a2=3a_2 = 3 より、
3=A(2)21+B(1)21=2AB3 = A(2)^{2-1} + B(-1)^{2-1} = 2A - B
これらの連立方程式を解きます。
A+B=2A + B = 2
2AB=32A - B = 3
2つの式を足し合わせると、
3A=53A = 5
A=53A = \frac{5}{3}
B=2A=253=6353=13B = 2 - A = 2 - \frac{5}{3} = \frac{6}{3} - \frac{5}{3} = \frac{1}{3}
したがって、an=53(2)n1+13(1)n1a_n = \frac{5}{3}(2)^{n-1} + \frac{1}{3}(-1)^{n-1}
an=52n1+1(1)n13a_n = \frac{5 \cdot 2^{n-1} + 1 \cdot (-1)^{n-1}}{3}
与えられた形式に合わせると、
an=52n1+(1)n13a_n = \frac{5 \cdot 2^{n-1} + (1)^{n-1}}{3} となります.
問題文の式と比較すると、
[1]=5[1] = 5
[2]=2[2] = 2
[3]=1[3] = -1
[4]=0[4] = 0
[5]=3[5] = 3
とするのがもっともらしいですが、この問題の場合 [33]と[44]は [33][44]となっており(33引く44)、[33]が11、[44]が00という推測は間違っています。
数列の最初の数項を計算し,パターンを見てみましょう。
a1=2a_1 = 2
a2=3a_2 = 3
a3=a2+2a1=3+2(2)=7a_3 = a_2 + 2a_1 = 3 + 2(2) = 7
a4=a3+2a2=7+2(3)=13a_4 = a_3 + 2a_2 = 7 + 2(3) = 13
a5=a4+2a3=13+2(7)=27a_5 = a_4 + 2a_3 = 13 + 2(7) = 27
一般項は an=A2n1+B(1)n1Ca_n = \frac{A \cdot 2^{n-1} + B \cdot (-1)^{n-1}}{C} の形式であることを仮定します。
a1=A+BC=2a_1 = \frac{A + B}{C} = 2
a2=2ABC=3a_2 = \frac{2A - B}{C} = 3
上の計算から
an=52n1+1(1)n13=52n1+(1)n13a_n = \frac{5 \cdot 2^{n-1} + 1 \cdot (-1)^{n-1}}{3} = \frac{5 \cdot 2^{n-1} + (-1)^{n-1}}{3}
なので、
[1]=5[1] = 5
[2]=2[2] = 2
[3]=1[3] = -1
[4]=0[4] = 0 ではありませんでした。
数列の一般項はan=52n1+(1)n13a_n = \frac{5 \cdot 2^{n-1} + (-1)^{n-1}}{3}なので、
an=52n1+(12)n13a_n = \frac{5 \cdot 2^{n-1} + (1-2)^{n-1}}{3}と書けます。
[1]=5[1] = 5
[2]=2[2] = 2
[3]=1[3] = 1
[4]=2[4] = 2
[5]=3[5] = 3

3. 最終的な答え

[1]=5[1] = 5
[2]=2[2] = 2
[3]=1[3] = 1
[4]=2[4] = 2
[5]=3[5] = 3