数列$\{a_n\}$が、$a_1 = 1$, $a_2 = 2$, $a_{n+2} = 2a_{n+1} - a_n + 2$ ($n = 1, 2, 3, \dots$) という条件で定められている。また、数列$\{b_n\}$が$b_n = a_{n+1} - a_n$で定義されている。数列$\{b_n\}$の一般項と数列$\{a_n\}$の一般項を求める。

代数学数列漸化式等差数列一般項
2025/7/8

1. 問題の内容

数列{an}\{a_n\}が、a1=1a_1 = 1, a2=2a_2 = 2, an+2=2an+1an+2a_{n+2} = 2a_{n+1} - a_n + 2 (n=1,2,3,n = 1, 2, 3, \dots) という条件で定められている。また、数列{bn}\{b_n\}bn=an+1anb_n = a_{n+1} - a_nで定義されている。数列{bn}\{b_n\}の一般項と数列{an}\{a_n\}の一般項を求める。

2. 解き方の手順

まず、数列{bn}\{b_n\}の一般項を求める。bn=an+1anb_n = a_{n+1} - a_nなので、b1=a2a1=21=1b_1 = a_2 - a_1 = 2 - 1 = 1である。
与えられた漸化式 an+2=2an+1an+2a_{n+2} = 2a_{n+1} - a_n + 2 を変形すると、
an+2an+1=an+1an+2a_{n+2} - a_{n+1} = a_{n+1} - a_n + 2
となる。ここで、bn+1=an+2an+1b_{n+1} = a_{n+2} - a_{n+1}bn=an+1anb_n = a_{n+1} - a_nなので、
bn+1=bn+2b_{n+1} = b_n + 2
となる。これは、数列{bn}\{b_n\}が初項b1=1b_1 = 1, 公差2の等差数列であることを示している。したがって、数列{bn}\{b_n\}の一般項は、
bn=b1+(n1)2=1+(n1)2=2n1b_n = b_1 + (n-1) \cdot 2 = 1 + (n-1) \cdot 2 = 2n - 1
となる。
次に、数列{an}\{a_n\}の一般項を求める。bn=an+1anb_n = a_{n+1} - a_nなので、
an+1=an+bn=an+2n1a_{n+1} = a_n + b_n = a_n + 2n - 1
である。この式を変形すると、
an+1an=2n1a_{n+1} - a_n = 2n - 1
となる。したがって、
an=a1+k=1n1(2k1)=1+2k=1n1kk=1n11a_n = a_1 + \sum_{k=1}^{n-1} (2k - 1) = 1 + 2\sum_{k=1}^{n-1} k - \sum_{k=1}^{n-1} 1
ここで、k=1n1k=(n1)n2\sum_{k=1}^{n-1} k = \frac{(n-1)n}{2}k=1n11=n1\sum_{k=1}^{n-1} 1 = n-1なので、
an=1+2(n1)n2(n1)=1+n(n1)(n1)=1+n2nn+1=n22n+2a_n = 1 + 2\cdot \frac{(n-1)n}{2} - (n-1) = 1 + n(n-1) - (n-1) = 1 + n^2 - n - n + 1 = n^2 - 2n + 2
となる。

3. 最終的な答え

数列{bn}\{b_n\}の一般項は 2n12n-1である。
数列{an}\{a_n\}の一般項は n22n+2n^2 - 2n + 2である。