数列 $\{a_n\}$ の初項から第 $n$ 項までの和を $S_n$ とするとき、$S_n = 2a_n - 3^n$ が成り立っている。 (1) $a_1$ を求めよ。 (2) $a_{n+1}$ を $a_n$ を用いて表せ。 (3) $a_n$ を求めよ。

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

1. 問題の内容

数列 {an}\{a_n\} の初項から第 nn 項までの和を SnS_n とするとき、Sn=2an3nS_n = 2a_n - 3^n が成り立っている。
(1) a1a_1 を求めよ。
(2) an+1a_{n+1}ana_n を用いて表せ。
(3) ana_n を求めよ。

2. 解き方の手順

(1) S1=a1S_1 = a_1 であるから、n=1n=1 のとき、与えられた式に代入して、
S1=2a131S_1 = 2a_1 - 3^1
a1=2a13a_1 = 2a_1 - 3
a1=3a_1 = 3
(2) Sn+1=2an+13n+1S_{n+1} = 2a_{n+1} - 3^{n+1}Sn=2an3nS_n = 2a_n - 3^n の差を考える。
n1n \geq 1 に対して、Sn+1Sn=an+1S_{n+1} - S_n = a_{n+1} であるから、
an+1=(2an+13n+1)(2an3n)a_{n+1} = (2a_{n+1} - 3^{n+1}) - (2a_n - 3^n)
an+1=2an+13n+12an+3na_{n+1} = 2a_{n+1} - 3^{n+1} - 2a_n + 3^n
0=an+12an3n+1+3n0 = a_{n+1} - 2a_n - 3^{n+1} + 3^n
an+1=2an+3n+13na_{n+1} = 2a_n + 3^{n+1} - 3^n
an+1=2an+3n(31)a_{n+1} = 2a_n + 3^n (3 - 1)
an+1=2an+23na_{n+1} = 2a_n + 2 \cdot 3^n
(3) an+1=2an+23na_{n+1} = 2a_n + 2 \cdot 3^n を変形する。両辺を 3n+13^{n+1} で割ると
an+13n+1=2an3n+1+23n3n+1\frac{a_{n+1}}{3^{n+1}} = \frac{2a_n}{3^{n+1}} + \frac{2 \cdot 3^n}{3^{n+1}}
an+13n+1=23an3n+23\frac{a_{n+1}}{3^{n+1}} = \frac{2}{3} \frac{a_n}{3^n} + \frac{2}{3}
ここで、bn=an3nb_n = \frac{a_n}{3^n} とおくと、
bn+1=23bn+23b_{n+1} = \frac{2}{3} b_n + \frac{2}{3}
bn+12=23(bn2)b_{n+1} - 2 = \frac{2}{3} (b_n - 2)
したがって、bn2b_n - 2 は初項 b12=a132=332=12=1b_1 - 2 = \frac{a_1}{3} - 2 = \frac{3}{3} - 2 = 1 - 2 = -1、公比 23\frac{2}{3} の等比数列であるから、
bn2=(1)(23)n1b_n - 2 = (-1) \left( \frac{2}{3} \right)^{n-1}
bn=2(23)n1b_n = 2 - \left( \frac{2}{3} \right)^{n-1}
an3n=2(23)n1\frac{a_n}{3^n} = 2 - \left( \frac{2}{3} \right)^{n-1}
an=23n3(23)n13=23n2n13a_n = 2 \cdot 3^n - 3 \left( \frac{2}{3} \right)^{n-1} \cdot 3 = 2 \cdot 3^n - 2^{n-1} \cdot 3
an=23n3n(23)n1a_n = 2 \cdot 3^n - 3^n (\frac{2}{3})^{n-1}
an=23n3(23)n1a_n = 2 \cdot 3^n - 3 (\frac{2}{3})^{n-1}

3. 最終的な答え

(1) a1=3a_1 = 3
(2) an+1=2an+23na_{n+1} = 2a_n + 2 \cdot 3^n
(3) an=23n3(23)n1a_n = 2 \cdot 3^n - 3 \left( \frac{2}{3} \right)^{n-1}
別の書き方:an=23n3n(2/3)n1=23n3(2n1)a_n = 2 \cdot 3^n - 3^n (2/3)^{n-1} = 2 \cdot 3^n - 3 (2^{n-1})
誤記修正:an=23n32n1a_n = 2 \cdot 3^n - 3\cdot 2^{n-1}
最終的な答え:
an=23n32n1a_n = 2 \cdot 3^n - 3 \cdot 2^{n-1}