数列 $\{a_n\}$ が $a_1 = 1$ および $a_{n+1} = a_n + 2^n$ という条件を満たすとき、一般項 $a_n$ を求めよ。

代数学数列漸化式等比数列一般項
2025/5/15

1. 問題の内容

数列 {an}\{a_n\}a1=1a_1 = 1 および an+1=an+2na_{n+1} = a_n + 2^n という条件を満たすとき、一般項 ana_n を求めよ。

2. 解き方の手順

数列の漸化式 an+1=an+2na_{n+1} = a_n + 2^n より、 an+1an=2na_{n+1} - a_n = 2^n であることがわかる。これは数列 {an}\{a_n\} の階差数列が 2n2^n であることを示している。
n2n \geq 2 のとき、ana_n は次のように表せる。
an=a1+k=1n12k a_n = a_1 + \sum_{k=1}^{n-1} 2^k
ここで、a1=1a_1 = 1 であり、k=1n12k\sum_{k=1}^{n-1} 2^k は初項 22、公比 22、項数 n1n-1 の等比数列の和であるから、
k=1n12k=2(2n11)21=2(2n11) \sum_{k=1}^{n-1} 2^k = \frac{2(2^{n-1} - 1)}{2 - 1} = 2(2^{n-1} - 1)
したがって、
an=1+2(2n11)=1+2n2=2n1 a_n = 1 + 2(2^{n-1} - 1) = 1 + 2^n - 2 = 2^n - 1
これは n2n \geq 2 のとき成り立つ。
n=1n=1 のとき、a1=211=1a_1 = 2^1 - 1 = 1 となり、条件 a1=1a_1 = 1 を満たす。
したがって、この式は n=1n=1 のときも成り立つ。

3. 最終的な答え

an=2n1a_n = 2^n - 1

「代数学」の関連問題

円 $x^2 + y^2 = 1$ と直線 $y = x + m$ が共有点を持つとき、定数 $m$ の値の範囲を求める。

直線共有点判別式二次方程式
2025/5/15

与えられた数式の計算を行う問題です。数式は $\frac{y}{x^2-xy} + \frac{x}{y^2-xy}$ です。

分数式因数分解式の計算通分
2025/5/15

関数 $f(x) = 3x + 2$ と $g(x) = ax + b$ が与えられています。 合成関数に関して $(f \circ g)(x) = (g \circ f)(x)$ という条件と、$f...

関数合成関数一次関数方程式連立方程式
2025/5/15

(1) $(2x^2 + y)^8$ の展開式における $x^6y^5$ の係数を求めよ。 (2) $(3x^2 - 2y)^6$ の展開式における $x^6y^3$ の係数を求めよ。

二項定理展開係数
2025/5/15

2つの関数 $f(x) = x + 2$ と $g(x) = ax^2 + bx + 1$ が与えられています。合成関数 $(g \circ f)(x) = 2x^2 + 8x + 9$ が成り立つよ...

合成関数二次関数係数比較
2025/5/15

3次方程式 $x^3 - 3x^2 - 6x + 8 = 0$ を因数分解して解を求めます。

3次方程式因数分解因数定理解の公式
2025/5/15

与えられた式 $x^3 - y^3 - 6xy - 8$ を因数分解します。

因数分解多項式3次式
2025/5/15

1次関数 $f(x)$ の逆関数 $f^{-1}(x)$ について、$f^{-1}(2) = 1$ かつ $f^{-1}(4) = 5$ であるとき、$f(x)$ を求めよ。

一次関数逆関数関数の決定
2025/5/15

はい、承知いたしました。画像に写っている4つの問題について、順に解いていきます。

平方根計算展開有理化
2025/5/15

関数 $f(x) = \frac{ax+b}{x+3}$ とその逆関数 $f^{-1}(x)$ について、$f(1) = 1$ と $f^{-1}(4) = -1$ が与えられている。このとき、定数 ...

関数逆関数連立方程式代入
2025/5/15