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

代数学数列漸化式一般項telescoping sum
2025/6/3

1. 問題の内容

数列 {an}\{a_n\} が与えられた漸化式 an+1=an2n+4a_{n+1} = a_n - 2n + 4 および初期条件 a1=1a_1 = 1 を満たすとき、一般項 ana_n を求める問題です。

2. 解き方の手順

まず、漸化式を書き下して、隣り合う項の差を考えます。
an+1an=2n+4a_{n+1} - a_n = -2n + 4
次に、n=1n = 1 から n=k1n = k-1 までの和をとります。
n=1k1(an+1an)=n=1k1(2n+4)\sum_{n=1}^{k-1} (a_{n+1} - a_n) = \sum_{n=1}^{k-1} (-2n + 4)
左辺はtelescoping sumになるので、
aka1=n=1k1(2n+4)a_k - a_1 = \sum_{n=1}^{k-1} (-2n + 4)
ak=a1+n=1k1(2n+4)a_k = a_1 + \sum_{n=1}^{k-1} (-2n + 4)
a1=1a_1 = 1 なので、
ak=1+n=1k1(2n+4)a_k = 1 + \sum_{n=1}^{k-1} (-2n + 4)
n=1k1(2n+4)=2n=1k1n+n=1k14=2(k1)k2+4(k1)=k2+k+4k4=k2+5k4\sum_{n=1}^{k-1} (-2n + 4) = -2\sum_{n=1}^{k-1} n + \sum_{n=1}^{k-1} 4 = -2 \cdot \frac{(k-1)k}{2} + 4(k-1) = -k^2 + k + 4k - 4 = -k^2 + 5k - 4
したがって、
ak=1+(k2+5k4)=k2+5k3a_k = 1 + (-k^2 + 5k - 4) = -k^2 + 5k - 3
nn に置き換えて、一般項は an=n2+5n3a_n = -n^2 + 5n - 3 となります。
n=1n=1のとき、a1=1+53=1a_1 = -1 + 5 - 3 = 1 となり、初期条件を満たします。

3. 最終的な答え

an=n2+5n3a_n = -n^2 + 5n - 3