数列 $\{a_n\}$ が与えられた漸化式 $a_{n+1} - a_n = 4^n$ と初期条件 $a_1 = 1$ を満たすとき、一般項 $a_n$ を求める。

代数学数列漸化式等比数列
2025/6/21

1. 問題の内容

数列 {an}\{a_n\} が与えられた漸化式 an+1an=4na_{n+1} - a_n = 4^n と初期条件 a1=1a_1 = 1 を満たすとき、一般項 ana_n を求める。

2. 解き方の手順

与えられた漸化式は階差数列を表しているので、n2n \ge 2 のとき、
an=a1+k=1n1(ak+1ak)a_n = a_1 + \sum_{k=1}^{n-1} (a_{k+1} - a_k)
と表すことができる。これに与えられた漸化式 ak+1ak=4ka_{k+1} - a_k = 4^k と初期条件 a1=1a_1 = 1 を代入すると、
an=1+k=1n14ka_n = 1 + \sum_{k=1}^{n-1} 4^k
となる。k=1n14k\sum_{k=1}^{n-1} 4^k は初項 4、公比 4、項数 n1n-1 の等比数列の和なので、
k=1n14k=4(4n11)41=4(4n11)3=4n43\sum_{k=1}^{n-1} 4^k = \frac{4(4^{n-1} - 1)}{4 - 1} = \frac{4(4^{n-1} - 1)}{3} = \frac{4^n - 4}{3}
したがって、n2n \ge 2 のとき
an=1+4n43=3+4n43=4n13a_n = 1 + \frac{4^n - 4}{3} = \frac{3 + 4^n - 4}{3} = \frac{4^n - 1}{3}
となる。
n=1n=1 のとき a1=4113=33=1a_1 = \frac{4^1 - 1}{3} = \frac{3}{3} = 1 となり、初期条件を満たす。よって、n1n \ge 1 でこの式は成立する。

3. 最終的な答え

an=4n13a_n = \frac{4^n - 1}{3}