高等学校数学B/数列のソースを表示

{{pathnav|frame=1|高等学校数学|高等学校数学B|pagename=数列}}
ここで扱う数列は離散的な現象を扱う際に威力を発揮する。数列はいろいろなところに応用されている。例えば、単利の計算には等差数列が、複利の計算には等比数列が応用できる。
== 数列とは ==
数を一列に並べたもの'''数列'''（sequence of numbers）という。数列のそれぞれの数を'''項'''という。

* <math>10,9,8,7,6,5,4,3,2,1,0</math> (10 から 0 までの整数を大きい順に並べた数列)

* <math>1, 2, 3, 4, 5, 6, 7, 8, 9, \cdots </math>(正の整数を順に並べた数列)
* <math>1,3,5,7,9,11,13,\cdots</math>(正の奇数を順に並べた数列)
* <math>1,3,9,27,81,\cdots</math>(1から3をかけ続けた数列)

1番目から数えて、第1項、第2項、第3項のように、''n'' 番目の項を第 ''n'' 項という。特に第1項は'''初項'''（first term）ともいう。以下、特に断りのない限り ''n'' は 1 以上の自然数とする。

第 <math>n</math> 項が <math>a_n</math> である数列を <math>\{a_n\}</math> と表記する。つまり、数列 <math>\{a_n\}</math> の第1項から数項並べると

:<math>a_1, a_2, a_3, a_4,\cdots</math>
:である。

数列 <math>\{a_n\}</math> において、この数列の第 ''n'' 項 <math>a_n</math> を ''n'' の式で表すとき、この式を数列 <math>\{a_n\}</math> の'''一般項'''（general term）という。たとえば、数列 1, 2, 3, 4, 5, ... の一般項は <math>a_n = n</math> である。自然数の偶数の数列 2, 4, 6, 8, 10, ... の一般項は <math>a_n = 2n</math> である。

項の数が有限である数列を'''有限数列'''（finite sequence of numbers）という。有限数列の最後の項を'''末項'''（final term）といい、項の総数を'''項数'''（arity）という。末項が存在しない数列を'''無限数列'''（infinite sequence of numbers）という。数列 1, 2, 3, 4, 5, ... は無限数列である。



{{演習問題|
数列 <math>\{a_n\}</math> の一般項が以下で与えられるとき、この数列の第 1 項から第 5 項を求めよ。

# <math>a_n =3 n - 5</math>
# <math>a_n = 3^n</math>
# <math>a_n = n^n</math>|# 第1項から順に <math>-2, 1, 4, 7, 10</math>
# 第1項から順に <math>3, 9, 27, 81, 243</math>
# 第1項から順に <math>1, 4, 27, 256, 3125</math>
}}
{{演習問題|次の数列の一般項を推測せよ。
* <math>1, 4, 9, 16, 25,\cdots</math>
* <math>2, 4, 8, 16, 32,\cdots</math>|* <math>n^2</math> や <math>n^5 - 15 n^4+ 85 n^3 - 224 n^2 + 274 n - 120</math> など<ref>二番目の式は <math>n^2 + (n-1)(n-2)(n-3)(n-4)(n-5) </math> から得られたものである。有限個の項が与えられた数列の一般項は一意に定まるわけではない。</ref>
* <math>2^n</math> など}}



== 等差数列 ==
数列 <math>\{a_n\}</math> において、定数 <math>d</math> が存在して、任意の自然数 <math>n</math> に対し <math>a_{n + 1} = a_n + d</math> となるとき、この数列 <math>\{a_n\}</math> を'''等差数列'''（arithmetic progression (sequence)）といい、 <math>d</math> を'''公差'''(common difference)という。

<math>a_{n + 1} = a_n + d</math> を変形すると <math>a_{n+1}-a_n =d </math> である。等差数列は名前の通り隣り合った項の'''差'''が'''等'''しい数列である。

例えば、 <math>2,5,8,11,14,\cdots</math> は初項 2 、公差 3 の等差数列である。

初項 <math>a_1</math> 、公差 <math>d</math> の等差数列 <math>\{a_n\}</math> について

:<math>a_2 = a_1 + d</math>
:<math>a_3 = a_2 + d = a_1 + 2d</math>
:<math>a_4 = a_3 + d = a_1 + 3d</math>
:<math>a_5 = a_4 + d = a_1 + 4d</math>
:<math>a_6 = a_5 + d = a_1 + 5d</math>
:...

なので、一般項は <math>a_n = a_1 + (n - 1)d</math> である。




初項 <math>a_1</math> 、公差 <math>d</math> の等差数列 <math>\{a_n\}</math> の第1項から第 n 項までの和 <math>S_n</math> は

<math>S_n = a_1 + (a_1 + d) + (a_1 + 2d) + \cdots + (a_n - d) + a_n</math> 

である。 これを逆順に並び替えて

<math>S_n = a_n + (a_n - d) + (a_n - 2d) + \cdots + (a_1 + d) + a_1</math>

を得る。この2つをそれぞれ足すと <math>2S_n = n(a_1 + a_n)</math> である。これより

<math>S_n = \frac n 2 (a_1 + a_n)</math> を得る。また <math>a_n = a_1 + (n-1)d</math> を代入して

<math>S_n = \frac n 2 (2a_1 + (n-1)d)</math>

である。


{{演習問題|

初項3、 公差2の等差数列の一般項を求め、この数列の第 1 項から第 n 項までの和 <math>S_n</math> を求めよ。
|

<math>a_n = 2n + 1</math>

<math>S_n = n^2+2n</math>}}


<math>a,b,c</math> がこの順に隣り合った等差数列の項であるとき、 <math>c-b=b-a</math> より、 <math>2b = a+c</math> である。

また、<math>2b = a+c</math> が成り立つとき、<math>c-b=b-a</math> より、<math>a,b,c</math> はこの順に隣り合った等差数列の項である。

以上より、 <math>2b=a+c \iff </math><math>a,b,c</math> はこの順に隣り合った等差数列の項

{{演習問題|

<math>2,2x-1,x^2</math> がこの順に隣り合った等差数列の項であるとき、<math>x</math> を求めよ。
|

<math>2(2x-1) = x^2 + 2</math> より <math> x = 2</math>}}

{{演習問題|
150以下の自然数の内、7で割った余りが2である自然数の和を求めよ。
|

7で割った余りが2 である自然数は <math>7n+2\,(n\ge 0)</math> と表せる。<math>7n+2</math> が 150以下の自然数となる条件は <math>7n+2 \le 150</math> より <math>n \le \frac{148}{7} = 21.148...</math> から、<math>n</math> が21以下であればいい。150以下の自然数の内、7で割った余りが2である自然数の和は等差数列 <math>7n+2</math>の0項から21項までの和である。この和は1661である。}}

== 等比数列 ==
数列 <math>\{a_n\}</math> において、定数 <math>r</math> が存在して、任意の自然数 <math>n</math> に対し <math>a_{n+1} = ra_n</math> が成り立つとき、この数列を'''等比数列'''（geometric progression）といい、 <math>r</math> を'''公比'''（common ratio）という。

<math>a_{n+1} = ra_n</math> を変形すると <math>\frac{a_{n+1}}{a_n} = r</math> である。等比数列は名前の通り隣り合った項の'''比'''が'''等'''しい数列である。

例えば、 <math>3,6,12,24,48,\cdots</math> は初項 3 、公比 2 の等比数列である。

初項 <math>a_1</math> 、公比 <math>r</math> の等比数列 <math>\{a_n\}</math> の各項を並べて書くと、

:<math>a_2 = a_1 r</math>
:<math>a_3 = a_2 r = a_1 r^2</math>
:<math>a_4 = a_3 r = a_1 r^3</math>
:<math>a_5 = a_4 r = a_1 r^4</math>
:<math>a_6 = a_5 r = a_1 r^5</math>

のようになることから、等比数列の一般項は <math>a_n = a_1 r^{n - 1}</math> で与えられる。


初項 <math>a_1</math> 、公比 <math>r</math> <math>(\neq 1)</math>の等比数列 <math>\{a_n\}</math> の第1項から第 n 項までの和 <math>S_n</math> は

<math>S_n = a_1 + a_1r + a_1r^2 + \cdots + a_1r^{n-2} + a_1r^{n-1}</math>     (1)

である。両辺に <math>r</math> をかけて

<math>rS_n = a_1r + a_1r^2 + a_1r^3 + \cdots + a_1r^{n-1} + a_1r^{n}</math>     (2)

を得る。

(2) - (1) より <math>rS_n - S_n = a_1r^n - a_1 </math> なので、 <math>S_n = \frac{a_1(r^n-1)}{r-1}</math> である。

また <math>r=1</math> のとき第1項から第 n 項までの和 <math>S_n</math> は <math>S_n = na_1</math> である。<ref><math>S_n = a_1 + a_1 \cdot 1 + \cdots + a_1 \cdot 1^{n-1} = na_1</math> </ref>


{{演習問題|初項3、 公比が4の等比数列の一般項を求め、この数列の第 1 項から第 n 項までの和 <math>S_n</math> を求めよ。|<math>
a _n = 3 \cdot 4^{n-1}
</math>

<math>S_n = 4^n-1</math>}}



それぞれ 0 ではない数 <math>a,b,c</math> がこの順に隣り合った等比数列の項であるとき、 <math>\frac{b}{a} = \frac{c}{b}</math> より <math>b^2 =ac</math> が成り立つ。

また、<math>b^2 =ac</math> ならば、<math>\frac{b}{a} = \frac{c}{b}</math> より、<math>a,b,c</math> がこの順に隣り合った等比数列の項である。

よって、 <math>b^2 =ac \iff </math><math>a,b,c</math> がこの順に隣り合った等比数列の項

== 総和記号Σ ==
ここで、総和を効率よく表せる表記法について学ぼう。

数列 <math>\{a_n\}</math> に対し、この数列の第 m 項から第 n 項までの和を <math>\sum_{k=m}^{n}a_k</math> で表す。つまり

<math>\sum_{k=m}^{n}a_k = a_m + a_{m+1} + a_{m+2} + \cdots + a_{n-1} + a_n</math> 

である。<ref>変数 <math>k</math> の代わりに他の文字 <math>i</math> や <math>l</math> を使用して <math>\sum_{i=m}^{n}a_i</math> や <math>\sum_{l=m}^{n}a_l</math> としても意味は変わらない。なぜなら、これらはすべて、 <math>a_m + \cdots + a_n</math> を表しているからである。慣習的にこの添字には <math>i,j,k,n</math> などが用いられることが多い。</ref>

例えば、 <math>\sum_{k=2}^{4}(k^2 - 2k) = (2^2 - 2\cdot 2) + (3^2 - 2 \cdot 3) + (4^2 - 2 \cdot 4)</math> である。

なお、この Σ はギリシア文字のシグマの大文字である。これは、Sum(和)を意味するラテン語 ''Summa'' の頭文字 S に対応するギリシャ文字である。



<math>\{a_n\}</math> と <math>\{b_n\}</math> と実数<ref>複素数について既に学んでいる読者は複素数としてもよい</ref> <math>c</math> に対し、

<math>\begin{align}\sum_{k = m}^{n}(a_k+b_k) &= (a_m + b_m) + (a_{m+1} + b_{m+1}) + \cdots + (a_n + b_n)\\ &= (a_m + a_{m+1} + \cdots + a_n) + (b_m + b_{m+1} + \cdots + b_n)\\ &= \sum_{k=m}^{n}a_k + \sum_{k=m}^{n}b_k \end{align}</math><ref>この式変形は足し算の順序を変えただけである。</ref>

また、

<math>\begin{align}\sum_{k=m}^{n}ca_k &= ca_m + ca_{m+1} + \cdots + ca_n\\ &= c(a_m + a_{m+1} + \cdots + a_n)\\ &= c\sum_{k=m}^{n}a_k\end{align}</math>

である。



;<math>\sum_{k=1}^{n} k , \sum_{k=1}^{n}k^2, \sum_{k=1}^n{k^3}</math>の算出


<span id="シグマ1"/>ここで、 <math>\sum_{k=1}^{n} k = 1 + 2 + \cdots + n</math> を求めてみよう。

[[高等学校数学B/数列#等差数列|等差数列]]で習ったことを思い出せば、<math>\sum_{k=1}^{n} k</math> は第1項が1、公差が1の等差数列の第 n 項までの和なので、 <math>\sum_{k=1}^{n} k = \frac 1 2 n (n+1)</math> である。

また、等比数列の和を総和記号を使って書き直せば、 <math>\sum_{k=1}^{n}ar^{k-1} = \frac{a(r^n - 1)}{r-1}</math> である。


<span id="シグマ2"/>次に、<math>\sum_{k=1}^{n}k^2</math> を求めてみよう。

<math>(k+1)^3 - k^3 = 3k^2 + 3k + 1</math> である。ここで <math>k</math> に 1 から <math>n</math> までを代入したものはそれぞれ


<math>2^3 - 1^3 = 3\cdot1^2 + 3\cdot1 + 1</math>

<math>3^3 - 2^3 = 3\cdot2^2 + 3\cdot2 + 1</math>

<math>4^3 - 3^3 = 3\cdot3^2 + 3\cdot3 + 1</math>

<math>       \vdots</math>

<math>(n+1)^3 - n^3 = 3n^2 + 3n + 1</math>


である。この <math>n</math> 式をそれぞれ足し合わせると

左辺はほとんどが打ち消し合い、 <math>(n+1)^3 - 1</math> となるので

<math>(n+1)^3 - 1 = 3\sum_{k=1}^{n}k^2 + 3\sum_{k=1}^{n}k + n</math>

である。ここで <math>\sum_{k=1}^{n}k = \frac 1 2 n (n+1)</math> を代入して <math>\sum_{k=1}^n k^2</math> について整理すれば

<math>\sum_{k=1}^n k^2 = \frac 1 6 n(n+1)(2n+1)</math>

を得る。



<span id="シグマ3"/>同様に <math>\sum_{k=1}^n{k^3}</math> を求めることが出来る。

<math>(k+1)^4 - k^4 = 4k^3+6k^2 + 4k + 1</math> であるので、 <math>k</math> に 1 から <math>n</math> までを代入してそれぞれを足し合わせれば、

<math>(n+1)^4 - 1 = 4\sum_{k=1}^nk^3+6\sum_{k=1}^nk^2+4\sum_{k=1}^nk + n</math> である。これを変形して <math>\begin{align}4\sum_{k=1}^n k^3 &= (n+1)^4-1 -6\cdot\frac{1}{6}n(n+1)(2n+1) - 4\cdot\frac{1}{2}n(n+1) - n\\ &= (n^4+4n^3 + 6n^2+4n) - (2n^3+3n^2+n)-2(n^2+n)-n\\ &= n^4+2n^3+n^2\\ &= n^2(n^2+2n+1)\\ &=n^2(n+1)^2\end{align} </math>

なので、 <math>\sum_{k=1}^nk^3= \frac{1}{4}n^2(n+1)^2 = \left\{ \frac{1}{2}n(n+1)\right\}^2</math> である。<ref>これは 1 から n までの自然数の和を2乗したものになっている。</ref>

{{演習問題|

以下を計算せよ。

# <math>\sum_{k=1}^{n}(k^2 + 3k-2)</math>
# <math>\sum_{k=1}^{n}2^k</math>
|

# <math>\begin{align}\sum_{k=1}^{n}(k^2 + 3k-2) &= 
\sum_{k=1}^{n}k^2 + 3\sum_{k=1}^{n}k+\sum_{k=1}^{n}(-2)\\ &=
\frac 1 6 n (n+1)(2n+1) + \frac 3 2 n(n+1) -2n \\ &= \frac{1}{3} n(n^2+6n-1)\end{align}
</math>
# <math>\sum_{k=1}^{n}2^k</math> は <math>\sum_{k=1}^{n}2\cdot 2^{k-1}</math> と表記してみるとわかりやすいが、初項 2 で公比 2 の等比数列の和を表している。したがって <math>\sum_{k=1}^{n}2^k = \frac{2(2^n-1)}{2-1} = 2^{n+1} - 2</math>}}

==階差数列==

数列 <math>\{ a_n \}</math> に対し
:<math>b_n = a_{n+1} - a_n</math>
で与えられる数列 <math>\{ b_n \}</math> を数列 <math>\{ a_n \}</math> の'''階差数列'''という。


数列 <math>\{a_n\}</math> の階差数列 <math>\{ b_n \}</math> および初項 <math>a_1</math> を利用して <math>\{ a_n \}</math> の一般項を求めてみる

階差数列の定義から

<math>b_1 = a_2 - a_1</math>

<math>b_2 = a_3 - a_2</math>

<math>b_3 = a_4 - a_3</math>

<math>       \vdots</math>

<math>b_{n-1} = a_n - a_{n-1}</math>

である。

それぞれの式を足し合わせれば

<math>a_n - a_1 = \sum_{k=1}^{n-1}b_k</math>

つまり
:<math> a_n = a_1 + \sum _{k = 1} ^{n-1} b_k \quad (n\ge 2) </math>
:を得る。



{{演習問題|
<math>b _n= 2n+2</math> として数列 <math>\{b_n\}</math> を定める。初項が 3 で、数列 <math>\{b_n\}</math> を階差数列とする数列を <math>\{a_n\}</math> とする。数列 <math>\{a_n\}</math> の第 1 項から第 4 項までを求め、さらに、数列 <math>\{a_n\}</math> の一般項を求めよ。|

<math>a_1= 3</math>

<math>a_2 = b_ 1 + a_1 = 7</math>

<math>a_3 = b_2 + a_2 = 13</math>

<math>a_4  =b_3 +  a_3 = 21</math>

である。


数列 <math>\{ b_n \}</math> を階差数列とする数列 <math>\{a_n\}</math> の第 n 項は
:<math>
a _n = a_1 + \sum  _{k=1} ^{n-1} b _k
</math>
であることを思いだそう。

これを元に計算すれば、<math>n \geqq 2</math> のとき、

<math>
a _n = 3 + \sum  _{k=1} ^{n-1} (2k+2)
= 3 + (n-1)n + 2(n-1)
= n^2 + n + 1
</math>

である。<math>a_1=3</math> だったので、この式は <math>n=1</math> でも成り立つことが確かめられる。}}

==漸化式==
数列の隣り合った項どうしの関係を表す式を'''漸化式'''（recurrence relation）という。
:<math>a_n = a_{n - 1} + 1</math>
たとえば、上の漸化式を満たす数列は公差1の等差数列である。これだけでは数列は一意的には定まらないが、さらに初項を <math>a_1 = 1</math> と与えると、自然数列
:<math>a_n = n</math>
を得ることができる。ここでは漸化式が与えられたとき、それを満たす数列 <math>{a_n}</math> にはどのようなものがあるか、具体的に求める方法を考える。漸化式を満たす数列を求めることを、漸化式を'''解く'''という。

簡単なもう一つの例として、
:<math>a_1 = 3</math>
:<math>a_{n + 1} = 2 a_n</math>
のようなものがある。これは、
:<math>\frac{ a_{n + 1} }{ a_n } = 2</math>
と変形することで、公比2の等比数列であることがわかる。<math>a_1 = 3</math>であることをあわせると、一般項は
:<math>a_n = 3 \cdot 2^{n - 1}</math>
であることがわかる。

一般に、漸化式 <math>a_{n+1} = a_n + d</math> を満たす数列 <math>\{a_n\}</math> は等差数列なので、一般項は <math>a_n = a_1 + (n - 1)d</math> である。

漸化式 <math>a_{n+1} = ra_n</math> を満たす数列 <math>\{a_n\}</math> は等比数列なので、一般項は <math>a_n = a_1 r^{n - 1}</math> である。

=====隣接二項間漸化式=====
隣接二項間漸化式の定義は次のとおりである。
{{math_theorem|
''p'', ''q'' を ''n'' に無関係な定数とし、数列 <math>{a_n}</math> の漸化式が
:<math>a_{n + 1} = p a_n + q</math>
で表されるとき、この漸化式を（定数係数をもつ線型の）'''隣接二項間漸化式'''という。|name=定義}}

このような隣接二項間漸化式は等差数列または等比数列に帰着できることが知られている。まず ''p'' = 1 のとき、漸化式は <math>a_{n + 1} = a_n + q</math> であるから、これは等差数列である。次に、 ''p'' ≠ 1 の場合を考える。

ここで、もし <math>a_{n + 1} = p a_n + q</math> を <math>a_{n+1}-c = p(a_n -c )</math> と変形することが出来れば、数列 <math>\{a_n -c\}</math> は等比数列であり、一般項は <math>a_n-c=p^{n-1}(a_1-c)</math> である。よって <math>a_n = p^{n-1}(a_1-c)+c</math> と数列 <math>\{a_n\}</math> の一般項を求めることができる。

さて、問題は <math>a_{n+1}-c = p(a_n -c )</math> を満たす <math>c</math> をどのように求めるかということだが、<math>a_{n+1}-c = p(a_n -c )</math> を変形して <math>a_{n+1}=pa_n-pc+c</math> となる。これが <math>a_{n + 1} = p a_n + q</math> と等しくなるので、 <math>q = -pc +c</math> つまり、 <math>c = pc + q</math> となる <math>c</math> を求めればよい。<ref>この式は <math>a_{n+1}=pa_n+q</math> の <math>a_{n+1},a_n</math> を <math>c</math> とした式になっている。</ref>

{{演習問題|

<math>a_1 =3</math> であり、漸化式 <math>a_{n+1}=2a_n + 1</math> を満たす数列 <math>\{a_n\}</math> を求めよ。|

<math>c = -1</math> は方程式 <math>c = 2c+1</math> を満たすので、 <math>a_{n+1} + 1 = 2(a_n+1)</math> と変形できる。なので数列 <math>\{a_n+1\}</math> は等比数列であり、一般項は <math>a_n+1 = 2^{n-1}(a_1+1)</math> よって <math>a_n=2^{n+1}-1</math> である。}}

=====隣接三項間漸化式（発展）=====
隣接三項間漸化式の定義は次のとおりである。
{{math_theorem|
''p'', ''q'' を ''n'' に無関係な定数とし、数列 <math>{a_n}</math> の漸化式が
:<math>a_{n + 2} = p a_{n + 1} + q a_n</math> … (1)
で表されるとき、この漸化式を（定数係数をもつ線型の）'''隣接三項間漸化式'''という。|name=定義}}

ここでは (1) の隣接三項間漸化式を等比数列に帰着して解く方法を考える。公比 β の等比数列
:<math>b_{n + 1} = \beta b_n</math>
の一般項を <math>b_n = a_{n + 1} - \alpha a_n</math> で定義すると、
:<math>
\begin{array}{lcl}
a_{n + 2} - \alpha a_{n + 1} &=&           \beta(a_{n + 1} - \alpha a_n)      \\
a_{n + 2} - \alpha a_{n + 1} &=&           \beta a_{n + 1} - \alpha \beta a_n \\
a_{n + 2}                    &=& (\alpha + \beta)a_{n + 1} - \alpha \beta a_n
\end{array}
</math> … (2)
(2) の等比数列を (1) と係数比較すると、次の関係が得られる。
:<math>
\begin{cases}
\alpha + \beta &= p \\
\alpha \beta   &= -q
\end{cases}
</math>
これは二次方程式の解と係数の関係であるから、二次方程式
:<math>x^2 = px + q</math>
の解 α, β を用いて、(1) の隣接三項間漸化式は (2) の等比数列の漸化式に帰着することができる。この二次方程式を隣接三項間漸化式の'''特性方程式'''という。特性方程式の2つの解は便宜上区別したもので、解の取り方によらない（以下の定理は α と β を入れ換えても成立する）。

{{定理|1.1.6}}
隣接三項間漸化式 <math>a_{n + 2} = p a_{n + 1} + q a_n</math>（''p'', ''q'' は ''n'' に無関係な定数）は、特性方程式 <math>x^2 = px + q</math> の解 α, β を用いて、公比 β の等比数列 <math>a_{n + 2} - \alpha a_{n + 1} = \beta(a_{n + 1} - \alpha a_n)</math> に変形することができる。
{{定理終わり}}

隣接三項間漸化式は等比数列 <math>a_{n + 2} - \alpha a_{n + 1} = \beta(a_{n + 1} - \alpha a_n)</math> に変形することにより、等比数列の一般項の公式 <math>a_{n + 1} - \alpha a_n = (a_2 - \alpha a_1)\beta^{n - 1}</math> を用いてただちに解くことができる。

=====練習問題（漸化式）=====

**問題

(i)
:<math>
a _{n+1} - 2 a _n = 5
</math>
(ii)
:<math>
a _ {n+1} - 3a _n = 7
</math>
(iii)
:<math>
a  _ {n+1} - 5a _n = 4
</math>
の<math>a _n</math>をそれぞれ計算せよ。
ただし、
:<math>
a _1 = a
</math>
(aは任意の実数。)
とする。さらに、一般に
:<math>
a _{n+1} + b a _n = c
</math>
(b,cは任意の実数。)についても計算せよ。

**解答
(i)
特性方程式は、
:<math>
a - 2a = 5
</math>
:<math>
a = -5
</math>
となる。よって、この式は、
:<math>
a _{n+1} + 5 = 2 (a _n +5)
</math>
と書き換えられる。ここで、
:<math>
b  _ n = a _n +5
</math>
と書き換えると、上の式は
:<math>
b  _{n+1} 
= 2 b _n
</math>
となり、通常の等比数列の表式となる。ここで、
:<math>
b _0 = a _n + 5
= a +5
</math>
を用いると、
:<math>
b  _n = (a +5)2^{n-1}
</math>
となる。ここで、
:<math>
b  _ n = a _n +5
</math>
を再び用いると、
:<math>
a _n + 5 =(a +5)2^{n-1}
</math>
:<math>
a _n = (a +5)2^{n-1} - 5
</math>
が得られる。

(ii),(iii)についても同様に計算を行うと、
:<math>
a _n = 3^{n-1}(a+\frac 7 2) - \frac 7 2
</math>
:<math>
a _n =  5^{n-1}(a+1) - 1
</math>
が得られる。

次に、より一般的な場合について計算する。
:<math>
a _{n+1} + b a _n = c
</math>
について特性方程式を用いると、
:<math>
(1+b)\alpha = c
</math>
:<math>
\alpha = \frac c {1+b}
</math>
となる。
よって、上の式は、
:<math>
a _{n+1} - \frac c {1+b} = -b ( a _n - \frac c {1+b})
</math>
となる。
:<math>
a  _0 - \frac c {1+b} = a - \frac c {1+b}
</math>
を用いると、
:<math>
a  _ n - \frac c {1+b} 
= (-b )^{n-1} (a - \frac c {1+b})
</math>
:<math>
a _n =
(-b )^{n-1} (a - \frac c {1+b})
+\frac c {1+b} 
</math>
が得られる。
実際、
:<math>
b = -2, c = 5
</math>
の結果を代入すると、
:<math>
a  _n =
2 ^{n-1} (a + 5 ) - 5
</math>
が得られ、上の結果と一致する。

*問題例

**問題
(i)
:<math>
a _{n+1} +3a _n = n
</math>
(ii)
:<math>
a _{n+1} + 3a _n = 2^n
</math>
について
:<math>
a _n
</math>
を計算せよ。
ただし、
:<math>
a _1 = a
</math>(<math>a</math>は、任意の実数。 ）

**解答

漸化式の右辺が通常の数でないときには、それぞれ異なった手法で計算を進める必要がある。このような場合の一般的な計算は指導要領の範囲を超えるため、限られた場合について例を示すことにする。
<!--
(
*注意、
[[物理数学I 微分方程式]]などに類題がある。
ただし、漸化式が差分方程式に対応するのに対して、
そちらでは微分方程式を扱っているため、
多少扱いに違いがある。
)
-->

(i)の場合については、右辺の<math>n</math>について、
:<math>
a _{n+1} + 3a _n = n
</math>
を<math>n</math>を<math>n+1</math>とした
:<math>
a _{n+2} + 3a _{n+1} = n+1
</math>
を引くことで右辺が定数に等しくなることに注意する。このとき、実際に引き算した値を計算すると、
:<math>
b _{n+1} +3 b _n = 1
</math>
が得られる。ただし、
:<math>
b _n = a _{n+1} - a _n
</math>
とおいた。この式は、先ほど一般的に計算した式と等しいため、簡単に
:<math>
b _n
</math>
を計算できる。ただし、今回は初期値である<math>b _1</math>の値が求められていないので、まずは<math>b _1</math>を計算しなくてはならない。ここで、
:<math>
b _1 = a _2 - a _1
</math>
:<math>
= (-3 a _1 +1) - a _1
= 1-4a
</math>
となり、<math>
b _1
</math>が求められた、この値を数列bnの初項として上の<math>
b _n
</math>に関する漸化式を解くと、
:<math>
b _n = \frac 1 4 + (-4a + \frac 3 4 ) (-3) ^{n-1}
</math>
が得られる。ここで、
:<math>
b _n = a _{n+1} - a _n
</math>
は数列<math>a _n</math>の階差数列に等しい。よって、
:<math>
a _n =
a _1 + \sum  _{k=1} ^{n-1} b _k
</math>
が得られる。この和を計算すると、
:<math>
a _n = a
+  
\sum  _{k=1} ^{n-1} 
(\frac 1 4  - 4 (a - \frac 3 {16} )( -3) ^ {k-1 })
</math>
:<math>
=a +
\frac {n-1} 4  - 4 (a - \frac 3 {16} ) \frac {1 - (-3) ^{n-1} } { 1 - (-3) }
</math>
:<math>
= \frac {n-1}  {4} + \frac 3 {16}
+ (a - \frac 3 {16} ) (-3) ^{n-1}
</math>
が得られる。
::答え、
:<math>
a_n=\frac {n-1} {4} + \frac 3 {16}
+ (a - \frac 3 {16} ) (-3) ^{n-1}
</math>
(ⅱ)
<!--
(a-2/5)(-3)^n-1+2^n/5
-->

左辺は既に見た漸化式と同じ形であるが右辺に<math>a^n</math>(aは実数)が加わった点が異なる場合である。この場合にはまず最初に両辺を<math>a^n</math>で割るとよい。 このとき、上の式は
:<math>
\frac {a _{n+1} } {2^n} + \frac 3 2 \frac {a  _n } {2 ^{n-1} } = 1
</math>
となる。更に<math>b _n = \frac {a _n} {2^{n-1} } </math>の置き換えをすると、漸化式
:<math>
b _{n+1} + \frac 3 2 b _n = 1
</math>
が得られるがこれは既に扱った漸化式である。この式は
:<math>
b _{n+1} - \frac 2 5 = - \frac 3 2 (b _n - \frac 2 5)
</math>
となり
:<math>
b  _ n - \frac 2 5 = (b _1 - \frac 2 5) (- \frac 3 2) ^{n-1}
</math>
が得られる。<math>b _n = \frac {a _n} {2^{n-1} }</math>を用いると
<math>b _1 = a _1 = a</math>
が得られるので、これを用いて
:<math>
b _n - \frac 2 5 = (a - \frac 2 5) (- \frac 3 2) ^{n-1}
</math>
:<math>
b _n = (a - \frac 2 5) (- \frac 3 2) ^{n-1} + \frac 2 5 
</math>
が得られるが、この式から<math>a _n = 2^{n-1} b _n</math>は、
:<math>
a _n = (-3)^{n-1} (a - \frac 2 5) + \frac 1 5 2^n
</math>
となる。
<!--
a _1 = aのとき
a _1 = (a - \frac 2 5) + \frac 2 5 = a
a _2 = (-3)(a - \frac 2 5) + \frac 4 5 = -3a +2
a _3 = 9(a - \frac 2 5) + \frac 8 5 = 9a - 2
-->

==数学的帰納法==
自然数 1, 2, 3, 4, 5, ... は無限に存在するので、任意の自然数に関しての命題を証明するとき、1つ1つの自然数を列挙していくことは不可能である。そこで、ここでは任意の自然数に関して成り立つ命題を有限の手順で証明する方法を考える。

自然数 <math>n</math> に関する命題 <math>P(n)</math> <ref>つまり、 <math>P(n)</math> は命題 <math>P(1),P(2),P(3),\cdots</math> をまとめたものだとも言える。<math>k</math> が自然数のとき <math>P(k)</math> は命題なので、<math>P(k)</math> は真(正しい)か偽(間違い)のいずれかである。例えば、 <math>P(n)</math> が <math>n > 2</math> のとき、 <math>P(1),P(2)</math> は偽である ( <math>1>2</math> と <math>2>2</math> はどちらも正しくない) が、3以上の自然数 m に対して <math>P(m)</math> は真である。</ref>が任意の自然数に関して成り立つことを証明するには、次の2つの事柄を示せばよい。
#任意の自然数 ''k'' について <math>P(k)\Longrightarrow P(k+1) </math> である。
#<math>P(1)</math> が成り立つ。
2. の条件より ''n'' = 1 について ''P'' は真であるから、1. の条件より ''n'' + 1 = 1 + 1 = 2 についても ''P'' は真である。これより ''n'' = 2 について ''P'' は真であるから、''n'' + 1 = 2 + 1 = 3 についても ''P'' が真であることがいえ、以下同様にすべての自然数に対して ''P'' は真であると結論できる。

このような証明法を'''数学的帰納法'''（mathematical induction）という。

数学的帰納法を用いて
:<math>
 \sum  _{k = 1} ^n k = \frac{n(n+1)} 2 
</math>
を導出する。まずn=1のとき、
:<math>
(\textrm{lhs} ) = 1
</math>
(lhsは左辺の意味。)
<!--  lhs = left hand side -->
,そして
:<math>
\begin{matrix}
(\textrm{rhs} ) =  \frac{1(1+1)} 2 \\
= 1
\end{matrix}
</math>
(rhsは右辺の意味。)
<!--  rhs = right hand side -->
となり、確かに正しいことが分かる。次にn = lのときこのことが正しいと仮定する。このとき、
:<math>
\begin{matrix}
\sum _{k=1} ^{l+1} k = \sum _{k=1} ^{l} k ~+ (l+1)\\
= \frac {l(l+1)} 2 + (l+1)\\
= (l+1) (\frac l2 + 1)\\
= \frac 12 (l+1)(l+2) \\
= \frac 12 (l+1)\{(l+1)+1\} 
\end{matrix}
</math>
となり、n = l+1 のときにも、この式が正しいことが示された。よって数学的帰納法より、この式は1以上の全てのnについて成立する。

== コラム:フィボナッチ数列 ==
[[w:フィボナッチ数列|フィボナッチ数列]]は <math>
1,1,2,3,5,8,13,21,\cdots
</math> のように、前とその前の項の和が次の項になる数列である。

フィボナッチ数列の漸化式
:<math>a_1 = 1</math>
:<math>a_2 = 1</math>
:<math>a_{n + 2} = a_{n + 1} + a_n</math>
は隣接三項間漸化式であるが、<math>a_{n + 2} - a_{n + 1} - a_n = 0</math> よりこの特性方程式は
:<math>x^2 - x - 1 = 0</math>
である。これを解くと、
:<math>\alpha = \frac{1 + \sqrt{5}}{2}</math>（[[w:黄金比|黄金比]] φ として知られる）
:<math>\beta  = \frac{1 - \sqrt{5}}{2}</math>
公比 β の等比数列の一般項に初項 <math>a_1 = 1, a_2 = 1</math> を代入すると、
:<math>
\begin{array}{lcl}
a_{n + 1} - \alpha a_n &=& (a_2 - \alpha a_1)\beta^{n - 1} \\
a_{n + 1} - \alpha a_n &=& (1 - \alpha)\beta^{n - 1}       \\
a_{n + 1} - \alpha a_n &=& \beta^n
\end{array}
</math>
ただし α + β = 1 より 1 - α = β という関係を使った。これは α と β を入れ換えても成り立つため、次の連立方程式が得られる。
:<math>
\begin{cases}
a_{n + 1} - \beta  a_n &= \alpha^n \\
a_{n + 1} - \alpha a_n &= \beta^n \\
\end{cases}
</math>
辺々を引いて <math>a_n</math> について解くと、
:<math>
\begin{array}{lcl}
\alpha a_n - \beta a_n &=& \alpha^n - \beta^n \\
(\alpha - \beta)a_n    &=& \alpha^n - \beta^n \\
                a_n    &=& \frac{1}{ \alpha - \beta } ( \alpha^n - \beta^n )
\end{array}
</math>
ここで <math>\alpha - \beta = \sqrt{5}</math> であるから、求める一般項は次のようになる。
:<math>
a_n = \frac{1}{ \sqrt{5} } \left\{ \left( \frac{ 1 + \sqrt{5} }{2} \right)^n - \left( \frac{ 1 - \sqrt{5} }{2} \right)^n \right\}
</math>
これはフィボナッチ数列の一般項を求める公式（[[w:en:Jacques Philippe Marie Binet|ビネ]]の公式、Binet's formula）として知られている。
== 脚注 ==
<references/>
{{Wikiversity|Topic:数列|数列}}
[[Category:高等学校数学B|すうれつ]]
[[カテゴリ:数列]]