数列$\{a_n\}$の初項から第$n$項までの和$S_n$が与えられたとき、数列$\{a_n\}$の一般項を求める問題です。 (1) $S_n = 2n+3$の場合と、(2) $S_n = 3 \cdot (-2)^{n-1}$の場合を考えます。

代数学数列級数一般項
2025/6/26

1. 問題の内容

数列{an}\{a_n\}の初項から第nn項までの和SnS_nが与えられたとき、数列{an}\{a_n\}の一般項を求める問題です。
(1) Sn=2n+3S_n = 2n+3の場合と、(2) Sn=3(2)n1S_n = 3 \cdot (-2)^{n-1}の場合を考えます。

2. 解き方の手順

(1) Sn=2n+3S_n = 2n+3 の場合:
ana_n は、 n2n \ge 2 のとき、
an=SnSn1a_n = S_n - S_{n-1}
で求められます。SnS_n に与えられた式を代入します。
Sn=2n+3S_n = 2n+3
Sn1=2(n1)+3=2n2+3=2n+1S_{n-1} = 2(n-1)+3 = 2n-2+3 = 2n+1
したがって、
an=(2n+3)(2n+1)=2a_n = (2n+3) - (2n+1) = 2
n=1n=1 のときは、a1=S1a_1 = S_1 です。
S1=2(1)+3=5S_1 = 2(1)+3 = 5
したがって、a1=5a_1=5となります。
an=2a_n = 2の式に n=1n=1 を代入すると a1=2a_1 = 2 ですが、a1=5a_1 = 5 と一致しません。
よって、n=1n=1のときだけ別の式で表す必要があります。
以上より、
a1=5a_1=5
an=2(n2)a_n = 2 \quad (n \ge 2)
(2) Sn=3(2)n1S_n = 3(-2)^{n-1} の場合:
n2n \ge 2 のとき、an=SnSn1a_n = S_n - S_{n-1} を計算します。
Sn=3(2)n1S_n = 3(-2)^{n-1}
Sn1=3(2)(n1)1=3(2)n2S_{n-1} = 3(-2)^{(n-1)-1} = 3(-2)^{n-2}
したがって、
an=3(2)n13(2)n2=3(2)n2(21)=3(2)n2(3)=9(2)n2=9(2)n2(1)=9(1)(2)n2=(9)(2)n2a_n = 3(-2)^{n-1} - 3(-2)^{n-2} = 3(-2)^{n-2}(-2-1) = 3(-2)^{n-2}(-3) = -9(-2)^{n-2} = 9(-2)^{n-2}(-1) = 9(-1)(-2)^{n-2} = (-9)(-2)^{n-2}
an=9(2)n2(n2)a_n = -9(-2)^{n-2} \quad (n \ge 2)
n=1n=1のとき、a1=S1a_1 = S_1 です。
S1=3(2)11=3(2)0=3(1)=3S_1 = 3(-2)^{1-1} = 3(-2)^0 = 3(1) = 3
a1=3a_1 = 3
n=2n=2のとき上記の一般項に代入すると、a2=9(2)22=9(2)0=9(1)=9a_2 = -9(-2)^{2-2} = -9(-2)^0 = -9(1) = -9
a2=S2S1=3(2)213(2)11=3(2)3(1)=63=9a_2 = S_2-S_1=3(-2)^{2-1}-3(-2)^{1-1}=3(-2)-3(1) = -6-3 = -9
これで、a2a_2の値は整合性が取れました。
上記の一般項にn=1n=1を代入してみます。
a1=9(2)12=9(2)1=912=92a_1 = -9(-2)^{1-2} = -9(-2)^{-1} = -9 \cdot \frac{-1}{2} = \frac{9}{2}
これは a1=3a_1=3 と異なるため、場合分けが必要です。
n2n \ge 2 で求めた一般項をn=1n=1のときに適用できるかを確かめるために、一般項を少し変形します。
an=9(2)n2a_n = -9(-2)^{n-2}
=9(2)(n1)1= -9(-2)^{(n-1)-1}
=(9)12(2)n1= (-9) \frac{1}{-2}(-2)^{n-1}
=92(2)n1= \frac{9}{2}(-2)^{n-1}
もしこの式がn=1n=1でも成立すると仮定すると
a1=92(2)11=92(1)=92a_1 = \frac{9}{2} (-2)^{1-1} = \frac{9}{2}(1) = \frac{9}{2}
a1=3a_1=3と異なるのでやはり場合分けが必要です。
以上より、
a1=3a_1=3
an=9(2)n2(n2)a_n = -9(-2)^{n-2} \quad (n \ge 2)
または
a1=3a_1 = 3
an=92(2)n1(n2)a_n = \frac{9}{2}(-2)^{n-1} \quad (n \ge 2)

3. 最終的な答え

(1)
a1=5a_1=5
an=2(n2)a_n = 2 \quad (n \ge 2)
(2)
a1=3a_1=3
an=9(2)n2(n2)a_n = -9(-2)^{n-2} \quad (n \ge 2)
または
a1=3a_1 = 3
an=92(2)n1(n2)a_n = \frac{9}{2}(-2)^{n-1} \quad (n \ge 2)