与えられた数列 $\{a_n\}$ の一般項を求める問題です。今回は、(1)の数列 2, 2, 3, 6, 12, 22, ... の一般項を求めます。

代数学数列一般項階差数列シグマ記号数学的帰納法
2025/7/10

1. 問題の内容

与えられた数列 {an}\{a_n\} の一般項を求める問題です。今回は、(1)の数列 2, 2, 3, 6, 12, 22, ... の一般項を求めます。

2. 解き方の手順

この数列は等差数列でも等比数列でもありません。そこで、階差数列を考えます。
階差数列 {bn}\{b_n\} は、an+1an=bna_{n+1} - a_n = b_n で定義されます。
与えられた数列の階差数列は、次のようになります。
22=0,32=1,63=3,126=6,2212=10,...2-2=0, 3-2=1, 6-3=3, 12-6=6, 22-12=10, ...
つまり、bn=0,1,3,6,10,...b_n = 0, 1, 3, 6, 10, ... です。
さらに、階差数列 {bn}\{b_n\} の階差数列 {cn}\{c_n\} を考えると、
10=1,31=2,63=3,106=4,...1-0=1, 3-1=2, 6-3=3, 10-6=4, ...
つまり、cn=1,2,3,4,...c_n = 1, 2, 3, 4, ... となります。
{cn}\{c_n\} は等差数列であり、cn=nc_n = n と表せます。
したがって、bnb_n は、b1=0b_1=0 であり、 bn=b1+k=1n1ck=0+k=1n1k=(n1)n2b_n = b_1 + \sum_{k=1}^{n-1} c_k = 0 + \sum_{k=1}^{n-1} k = \frac{(n-1)n}{2} となります。ただし、n2n \geq 2
b1=0b_1 = 0(11)12=0\frac{(1-1)1}{2} = 0 で成立するため、
bn=n(n1)2b_n = \frac{n(n-1)}{2} (n1n \geq 1)
a1=2a_1 = 2 であり、an=a1+k=1n1bk=2+k=1n1k(k1)2=2+12k=1n1(k2k)=2+12(k=1n1k2k=1n1k)a_n = a_1 + \sum_{k=1}^{n-1} b_k = 2 + \sum_{k=1}^{n-1} \frac{k(k-1)}{2} = 2 + \frac{1}{2} \sum_{k=1}^{n-1} (k^2 - k) = 2 + \frac{1}{2} \left( \sum_{k=1}^{n-1} k^2 - \sum_{k=1}^{n-1} k \right)となります。
k=1n1k=(n1)n2\sum_{k=1}^{n-1} k = \frac{(n-1)n}{2}
k=1n1k2=(n1)n(2n1)6\sum_{k=1}^{n-1} k^2 = \frac{(n-1)n(2n-1)}{6}
an=2+12((n1)n(2n1)6(n1)n2)=2+12(n(n1)6(2n13))=2+n(n1)12(2n4)=2+n(n1)(n2)6a_n = 2 + \frac{1}{2} \left( \frac{(n-1)n(2n-1)}{6} - \frac{(n-1)n}{2} \right) = 2 + \frac{1}{2} \left( \frac{n(n-1)}{6} (2n-1 - 3) \right) = 2 + \frac{n(n-1)}{12} (2n-4) = 2 + \frac{n(n-1)(n-2)}{6}
an=2+n(n1)(n2)6a_n = 2 + \frac{n(n-1)(n-2)}{6} (for n2\text{for } n \geq 2)
n=1n=1のとき、a1=2+1(0)(1)6=2a_1 = 2 + \frac{1(0)(-1)}{6} = 2 となり、n=1n=1の場合も成立します。

3. 最終的な答え

an=2+n(n1)(n2)6a_n = 2 + \frac{n(n-1)(n-2)}{6}
または
an=n33n2+2n+126a_n = \frac{n^3 - 3n^2 + 2n + 12}{6}

「代数学」の関連問題

自然数 $n$ と実数 $x$ について、以下の3つの命題の真偽を調べ、さらにそれぞれの逆、裏、対偶を述べ、それらの真偽を調べる。 (1) $n$ は 9 の倍数である $\Rightarrow$ $...

命題真偽対偶倍数因数分解二次方程式
2025/7/21

実数 $a, b, c$ について、以下の3つの命題の空欄に当てはまる選択肢(1: 必要条件だが十分条件でない, 2: 十分条件だが必要条件でない, 3: 必要十分条件, 4: 必要条件でも十分条件で...

条件必要条件十分条件命題整数の性質倍数
2025/7/21

実数 $x, y$ が3つの不等式 $y \geq 2x - 5$, $y \leq x - 1$, $y \geq 0$ を満たすとき、$x^2 + (y - 3)^2$ の最大値と最小値を求めよ。

不等式最大・最小領域
2025/7/21

与えられた指数方程式・不等式を解く。 (1) $4^x = 64$ (2) $25^x = \frac{1}{125}$ (3) $(\frac{1}{8})^x = 16$ (4) $(\frac{...

指数指数方程式指数不等式対数
2025/7/21

関数 $y = (\frac{1}{3})^x$ の、定義域が $-2 \leq x \leq 2$ であるときの値域を求める問題です。

指数関数値域単調減少関数
2025/7/21

与えられた5つの連立一次不等式について、それぞれの解を求める問題です。

連立不等式一次不等式グラフ領域
2025/7/21

(1) $\sum_{k=1}^{n} 2 \cdot 3^k$ を $\Sigma$ を用いずに各項を書き並べて表す。 (2) $\sum_{k=2}^{5} (k^3 - 8)$ を $\Sigm...

数列シグマ
2025/7/21

$\sum_{k=1}^{n} (6k^2 - 1)$ を求める問題です。

数列シグマ公式多項式
2025/7/21

与えられた行列Aで表される線形写像fについて、その像(Im f)と核(Ker f)の基底をそれぞれ求める問題です。具体的には、以下の3つの行列について、像と核の基底を求めます。 (1) $\begin...

線形代数線形写像基底行列
2025/7/21

与えられた数列の和、$\sum_{k=1}^{n} (-\frac{1}{3})^k$を求めます。

数列等比数列級数シグマ
2025/7/21