数列 $\{a_n\}$ があり、$a_1 = 1$ と漸化式 $2a_{n+1} = a_n + 2$ ($n = 1, 2, 3, \dots$) を満たすとき、この数列の一般項 $a_n$ を求める。

代数学数列漸化式等比数列
2025/7/8

1. 問題の内容

数列 {an}\{a_n\} があり、a1=1a_1 = 1 と漸化式 2an+1=an+22a_{n+1} = a_n + 2 (n=1,2,3,n = 1, 2, 3, \dots) を満たすとき、この数列の一般項 ana_n を求める。

2. 解き方の手順

まず、漸化式を変形する。
2an+1=an+22a_{n+1} = a_n + 2 より、
an+1=12an+1a_{n+1} = \frac{1}{2}a_n + 1
この漸化式は、等比数列の形に変形できる。an+1α=12(anα)a_{n+1} - \alpha = \frac{1}{2}(a_n - \alpha) となるような α\alpha を求める。
an+1=12an12α+α=12an+12αa_{n+1} = \frac{1}{2} a_n - \frac{1}{2} \alpha + \alpha = \frac{1}{2} a_n + \frac{1}{2} \alpha
よって、1=12α1 = \frac{1}{2} \alpha なので、α=2\alpha = 2 となる。
したがって、
an+12=12(an2)a_{n+1} - 2 = \frac{1}{2} (a_n - 2)
数列 {an2}\{a_n - 2\} は、初項 a12=12=1a_1 - 2 = 1 - 2 = -1、公比 12\frac{1}{2} の等比数列である。
よって、
an2=(a12)(12)n1=1(12)n1=(12)n1a_n - 2 = (a_1 - 2) (\frac{1}{2})^{n-1} = -1 \cdot (\frac{1}{2})^{n-1} = -(\frac{1}{2})^{n-1}
an=2(12)n1=212n1a_n = 2 - (\frac{1}{2})^{n-1} = 2 - \frac{1}{2^{n-1}}
an=212n1=222n=221na_n = 2 - \frac{1}{2^{n-1}} = 2 - \frac{2}{2^n} = 2 - 2^{1-n}

3. 最終的な答え

an=212n1a_n = 2 - \frac{1}{2^{n-1}} または an=221na_n = 2 - 2^{1-n}