数列 - 等差数列・等比数列・階差数列

概要

等差数列は、隣り合う項の差が常に一定の数列である。
日常生活では、例えば、1時間ごとの気温の変化や定期的な積立預金の残高等がこれに似た形になることがある。

等比数列は、隣り合う項の比が常に一定の数列である。
現実の例としては、細胞分裂による細胞数の増加や複利計算による預金の増え方等が挙げられる。
「前の項に対して同じ割合で増減する」という特徴がある。

階差数列は、元の数列から隣り合う項の差を取って新しい数列を作り、それを繰り返す数列である。
例えば、2次関数のグラフ上の点の値から作った数列の階差数列は、最終的に0になるという性質がある。

これらの数列は、特に、予測・分析やデジタル信号処理等で活用されることが多い。

等差数列

基本

等差数列とは、隣り合う項の差が常に一定である数列のことである。

例:
3, 7, 11, 15, 19, 23, ...

隣接する2項の差を公差と呼ぶ。(dで表すことが多い)

第n項は、初項a₁と公差dを用いて次式で表される。
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a_n = a_1 + (n - 1)d}

# n項目の計算例:

上記の例では
初項 : 3
公差 : 4
であるため、

構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a_n = 3 + 4(n - 1) = 4n -1}
 となる。

等差数列の和

項数nの等差数列の和 (S_n) は、次式で求められる。

$S_{n}={\frac {n(a_{1}+a_{n})}{2}}$

または

$S_{n}={\frac {1}{2}}n\,\{2a_{1}+(n-1)d\}$

$S_{n}={\frac {1}{2}}n\,\{2a_{1}+(n-1)d\}$ は、$S_{n}={\frac {n(a_{1}+a_{n})}{2}}$ の a_nに対して、
$a_{n}=a_{1}+(n-1)d$ を代入することにより、
${\begin{aligned}S_{n}&={\frac {n(a_{1}+a_{n})}{2}}\\&={\frac {n(a_{1}+a_{1}+(n-1)d)}{2}}\\&={\frac {n\{2a_{1}+(n-1)d\}}{2}}\end{aligned}}$

ゆえに、${\frac {1}{2}}n\,\{2a_{1}+(n-1)d\}$ となる。

導出: 等差数列の和
$S=a+(a+d)+(a+2d)+\cdots +{a+(n-1)d}$ において、aの部分とdの部分に分ける。
$S=na+d{1+2+\cdots +(n-1)}$

ここで、$1+2+\cdots +(n-1)={\frac {n(n-1)}{2}}$​ であるので、
$S=na+{\frac {1}{2}}nd(n-1)={\frac {1}{2}}n\{2a+(n-1)d\}$ となる。

つまり，等差数列の和は、自然数の和を1次変換したものである。

例題:
初項が4、公差が3、項数が6であるような等差数列の和Sを求めよ。

解答:
$S={\frac {1}{2}}n\,\{2a_{1}+(n-1)d\}$ において、$a_{1}=4,\,d=3,\,n=6$ とする時、

$S={\frac {6}{2}}(8+5\times 3)=69$ となる。

特徴

等差数列の中項は両端の項の平均値になる。

実生活での例

• 定額の積立貯金
• 等間隔に並んだ数値
• 等間隔の時間経過

等比数列

基本

等比数列とは、隣り合う項の比が常に一定である数列のことである。
隣接する2項の比を公比と呼び、rで表すことが多い。

第n項は、初項a₁と公比rを用いて、次式で表される。
$a_{n}=a_{1}r^{n-1}$

例:
2, 6, 18, 54, 162, ...

• 初項 $a_{1}=2$
• 公比 $r=3\,\,$ (どの隣り合う項も比が3で一定)

性質

等比数列の任意の連続する3項a, b, cについて、$b^{2}=ac$ が成り立つ。
これを、等比中項という。

等比数列の和

項数nの等比数列の和 S_n は、次式で求められる。

${\begin{cases}S_{n}={\dfrac {a_{1}(1-r^{n})}{(1-r)}},&r\neq 1\\S_{n}=na_{1},&r=1\end{cases}}$

実生活での例

• 複利計算での預金の増加
• 細胞分裂による増殖
• 放射性物質の崩壊

等比数列は、指数関数的な成長や減衰を示す現象を扱う場合や金融や自然科学の分野でも頻繁に使用される。
また、デジタル信号処理において、Z変換を使用して伝達関数を求める場合にも使用される。

階差数列

基本

元の数列の隣り合う項の差を順番に並べたものを第1階差数列と呼ぶ。
$a_{n}=a_{n+1}-a_{n}$ と表す。

第1階差数列から、さらに階差を取ったものを第2階差数列と呼ぶ。
これを繰り返すことで第3、第4...階差数列が得られる。

例:

原数列:  2, 5, 10, 17, 26, 37
第1階差:  3,  5,  7,  9,  11
第2階差:     2,  2,  2,  2

性質

等差数列の第1階差数列は、定数列になる。
等比数列の第1階差数列は、元の数列の定数倍になる。
n次式で表される数列の第n階差数列は、定数列になる。

活用方法

• 数列のパターンを見つける場合
• 与えられた数列が何次式で表されるかを判断できる。
• 数列の一般項を求める場合のヒントになる。

応用例

数列 2, 5, 10, 17, 26, 37 の一般項を求める場合、第2階差が定数列であるため、2次式で表されることがわかる。
これは、$a_{n}=\alpha n^{2}+\beta n+\gamma$ の形で表される。

計算により、
$b_{n}=3+2(n-1)=2n+1$
${\begin{alignedat}{2}a_{n}&=a_{1}+\sum _{k=1}^{n-1}{b_{k}}\\&=2+\sum _{k=1}^{n-1}{2n+1)}\\&=2+2\sum _{k=1}^{n-1}{n}+\sum _{k=1}^{n-1}{1}\\&=2+2\cdot {\frac {n(n-1)}{2}}+(n-1)\\&=2+n(n-1)+n-1\\&=n^{2}+1\end{alignedat}}$

したがって、$a_{n}=n^{2}+1$ と求められる。

階差数列の考え方を用いれば、複雑に見える数列でもその規則性を見つけやすくなる。
特に、多項式で表される数列の分析に効果的である。

例題:
数列anが、5，11，21，35，53，... の時
(1) 一般項anを求めよ。
(2) 初項から第n項までの和を求めよ。

(1)の解答:
数列anの階差数列をbnとする時
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a_n : 5, 11, 21, 35, 53, \cdots}

$b_{n}:6,10,14,18,\cdots$

数列bnは、初項6、公差4の等差数列であるから、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle b_n = 6 + 4(n - 1) = 4n + 2}


構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n \ge 2}
 の時
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle   \begin{align}   a_n &= a_1 + \sum_{k=1}^{n-1} b_k  \\       &= 5 + \sum_{k=1}^{n-1} (4k+2) \\       &= 5 + 4 \sum_{k=1}^{n-1} k + \sum_{k=1}^{n-1} 2 \\       &= 5 + 4 \cdot \frac{1}{2} (n - 1) n + 2 (n - 1) \\       &= 2n^2 + 3 \quad \cdots \mbox{(1)}  \end{align}  }


構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n = 1}
 の時
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle 2 n^2 + 3 = 2 \cdot 1 + 3 = 5}

初項は 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a_1 = 5}
 であるから、上式(1)は 構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle n = 1}
 の時も成り立つ。

したがって、構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle a_n = 2 n^2 + 3}
 となる。

(2)の解答
求める和をSnとする時
構文解析に失敗 (SVG (ブラウザーのプラグインで MathML を有効にできます): サーバー「https://wikimedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle   \begin{align}   S_n &= \sum_{k = 1}^{n} a_k         \\       &= \sum_{k = 1}^{n} (2 k^2 + 3) \\      &= 2 \sum_{k = 1}^{n} k^2 + \sum_{k = 1}^{n} 3 \\      &= 2 \cdot \frac{1}{6} n (n + 1)(2n + 1) + 3n  \\       &= \frac{1}{3} n \{(n + 1)(2n + 1) + 9 \}      \\       &= \frac{1}{3} n (2 n^2 + 3n + 10)  \end{align}  }