数列 $\{a_n\}$ が $a_1 = 1$ および漸化式 $a_{n+1} = 2a_n - 3n$ で定義されている。 (1) $b_n = a_{n+1} - a_n$ とおくとき、$b_{n+1}$ を $b_n$ の式で表す。 (2) 数列 $\{a_n\}$ の一般項を求める。

代数学数列漸化式一般項等比数列
2025/7/1

1. 問題の内容

数列 {an}\{a_n\}a1=1a_1 = 1 および漸化式 an+1=2an3na_{n+1} = 2a_n - 3n で定義されている。
(1) bn=an+1anb_n = a_{n+1} - a_n とおくとき、bn+1b_{n+1}bnb_n の式で表す。
(2) 数列 {an}\{a_n\} の一般項を求める。

2. 解き方の手順

(1) bn=an+1anb_n = a_{n+1} - a_n であるから、bn+1=an+2an+1b_{n+1} = a_{n+2} - a_{n+1} である。
漸化式 an+1=2an3na_{n+1} = 2a_n - 3n より、an+2=2an+13(n+1)a_{n+2} = 2a_{n+1} - 3(n+1) である。
したがって、
bn+1=an+2an+1=(2an+13(n+1))an+1=an+13n3b_{n+1} = a_{n+2} - a_{n+1} = (2a_{n+1} - 3(n+1)) - a_{n+1} = a_{n+1} - 3n - 3
また、bn=an+1anb_n = a_{n+1} - a_n より、an+1=bn+ana_{n+1} = b_n + a_n である。
これらを代入すると、
bn+1=(bn+an)3n3b_{n+1} = (b_n + a_n) - 3n - 3
ここで、an+1=2an3na_{n+1} = 2a_n - 3nana_n について解くと、an=an+1+3n2a_n = \frac{a_{n+1} + 3n}{2} となる。
これを代入すると、bn+1=an+13n3=(2an3n)3n3=2an6n3b_{n+1} = a_{n+1} - 3n - 3 = (2a_n - 3n) - 3n - 3 = 2a_n - 6n - 3
しかし、bn=an+1anb_n = a_{n+1} - a_n より、an+1=an+bna_{n+1} = a_n + b_n なので、bn+1=an+2an+1=(2an+13(n+1))an+1=an+13(n+1)b_{n+1} = a_{n+2} - a_{n+1} = (2a_{n+1} - 3(n+1)) - a_{n+1} = a_{n+1} - 3(n+1).
一方、an+1=2an3na_{n+1} = 2a_n - 3n なので、
bn+1=2an3n3n3=2an6n3b_{n+1} = 2a_n - 3n - 3n - 3 = 2a_n - 6n - 3
bn=an+1an=(2an3n)an=an3nb_n = a_{n+1} - a_n = (2a_n - 3n) - a_n = a_n - 3n より、an=bn+3na_n = b_n + 3n
bn+1=2(bn+3n)6n3=2bn+6n6n3=2bn3b_{n+1} = 2(b_n + 3n) - 6n - 3 = 2b_n + 6n - 6n - 3 = 2b_n - 3
(2) bn+1=2bn3b_{n+1} = 2b_n - 3 を変形する。bn+13=2(bn3)b_{n+1} - 3 = 2(b_n - 3)
cn=bn3c_n = b_n - 3 とすると、cn+1=2cnc_{n+1} = 2c_n となり、{cn}\{c_n\} は公比2の等比数列。
c1=b13=(a2a1)3=(2a13(1)a1)3=a133=16=5c_1 = b_1 - 3 = (a_2 - a_1) - 3 = (2a_1 - 3(1) - a_1) - 3 = a_1 - 3 - 3 = 1 - 6 = -5.
よって、cn=c12n1=52n1c_n = c_1 2^{n-1} = -5 \cdot 2^{n-1}.
したがって、bn=cn+3=52n1+3b_n = c_n + 3 = -5 \cdot 2^{n-1} + 3.
an+1an=52n1+3a_{n+1} - a_n = -5 \cdot 2^{n-1} + 3
an=a1+k=1n1(ak+1ak)=1+k=1n1(52k1+3)=1+k=1n1(52k1)+k=1n13=15k=1n12k1+3(n1)a_n = a_1 + \sum_{k=1}^{n-1} (a_{k+1} - a_k) = 1 + \sum_{k=1}^{n-1} (-5 \cdot 2^{k-1} + 3) = 1 + \sum_{k=1}^{n-1} (-5 \cdot 2^{k-1}) + \sum_{k=1}^{n-1} 3 = 1 - 5 \sum_{k=1}^{n-1} 2^{k-1} + 3(n-1).
k=1n12k1=12n112=2n11\sum_{k=1}^{n-1} 2^{k-1} = \frac{1 - 2^{n-1}}{1 - 2} = 2^{n-1} - 1.
an=15(2n11)+3(n1)=152n1+5+3n3=352n1+3na_n = 1 - 5(2^{n-1} - 1) + 3(n-1) = 1 - 5 \cdot 2^{n-1} + 5 + 3n - 3 = 3 - 5 \cdot 2^{n-1} + 3n.
したがって、an=52n1+3n+3a_n = -5 \cdot 2^{n-1} + 3n + 3

3. 最終的な答え

(1) bn+1=2bn3b_{n+1} = 2b_n - 3
(2) an=52n1+3n+3a_n = -5 \cdot 2^{n-1} + 3n + 3

「代数学」の関連問題

問題は、数列$\{a_n\}$の一般項を求める問題です。与えられた条件は、$a_1 = 2$と漸化式$a_{n+1} = 9 - 2a_n$です。

数列漸化式等比数列
2025/7/4

(a) $(3 - \frac{1}{2}x)^7$ の展開における5番目の項を求めなさい。 (b) $(x + x^{-\frac{1}{2}})^{12}$ の展開における9番目の項を求めなさい。

二項定理展開多項式
2025/7/4

$(3 - \frac{1}{2}x)^{12}$ の展開式における $x^4$ の項の係数を求める問題です。二項定理の一般項の式が与えられています。

二項定理展開係数
2025/7/4

与えられた数列の漸化式から一般項 $a_n$ を求める問題です。問題文には3つの漸化式と、それぞれの解法が示されています。 (1) $a_{n+2}-3a_{n+1}-10a_n=0$ (2) $a_...

漸化式数列等比数列等差数列一般項
2025/7/4

与えられた数列の和 $S$ を求める問題です。 $S = 1 \cdot 1 + 3 \cdot 2 + 5 \cdot 2^2 + \dots + (2n-1) \cdot 2^{n-1}$

数列級数等差数列等比数列
2025/7/4

多項式 $P(x)$ があり、$P(x)$ は $x-1$ で割り切れ、$x+2$ で割った余りが 9 である。ただし、$P(x)$ のすべての項の係数は実数である。 (1) $P(1)$ と $P(...

多項式剰余の定理因数定理因数分解3次方程式
2025/7/4

問題12.1は連立一次方程式 $ \begin{cases} 3x + 2y = 2 \\ 2x - y = 3 \end{cases} $ について、係数行列$A$の(1,2)成分、行列式$|A|$...

線形代数連立一次方程式行列行列式逆行列余因子行列
2025/7/4

$a = \frac{1}{3-2\sqrt{2}}$ とする。 (1) $a$ の分母を有理化し、簡単にせよ。 (2) $a$ の小数部分を $b$ とするとき、$b$ の値を求めよ。また、$a^2...

式の計算有理化平方根小数部分
2025/7/4

$\theta$ についての方程式 $\cos2\theta - 2a\cos\theta + 2a + 1 = 0$ ($0 \le \theta \le \pi$) がある。ただし、$a$ は定数...

三角関数二次方程式解の配置
2025/7/4

与えられた数列の和 $S$ を求める問題です。数列 $S$ は以下のように定義されています。 $S = 1 \cdot 1 + 2 \cdot 4 + 3 \cdot 4^2 + \dots + n ...

数列等比数列級数
2025/7/4