ここで扱う数列は離散的な現象を扱う際に威力を発揮する。数列はいろいろなところに応用されている。例えば、単利の計算には等差数列が、複利の計算には等比数列が応用できる。
数を一列に並べたもの数列(sequence of numbers)という。数列のそれぞれの数を項という。
(10 から 0 までの整数を大きい順に並べた数列)
(正の整数を順に並べた数列)
(正の奇数を順に並べた数列)
(1から3をかけ続けた数列)
1番目から数えて、第1項、第2項、第3項のように、n 番目の項を第 n 項という。特に第1項は初項(first term)ともいう。以下、特に断りのない限り n は 1 以上の自然数とする。
第
項が
である数列を
と表記する。つまり、数列
の第1項から数項並べると
![{\displaystyle a_{1},a_{2},a_{3},a_{4},\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/386b2fd236a02ec21a8c68651abe657c09405e95)
- である。
数列
において、この数列の第 n 項
を n の式で表すとき、この式を数列
の一般項(general term)という。たとえば、数列 1, 2, 3, 4, 5, ... の一般項は
である。自然数の偶数の数列 2, 4, 6, 8, 10, ... の一般項は
である。
項の数が有限である数列を有限数列(finite sequence of numbers)という。有限数列の最後の項を末項(final term)といい、項の総数を項数(arity)という。末項が存在しない数列を無限数列(infinite sequence of numbers)という。数列 1, 2, 3, 4, 5, ... は無限数列である。
解答
- 第1項から順に
![{\displaystyle -2,1,4,7,10}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07c1ae59ca5888fc2672174ad290884c9cc534e3)
- 第1項から順に
![{\displaystyle 3,9,27,81,243}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5581a8956eed46cf4516ed1a9cf82ee449228e1c)
- 第1項から順に
![{\displaystyle 1,4,27,256,3125}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d544c041d80234dc7bb01c6560fd78a0fc5ea28)
演習問題
次の数列の一般項を推測せよ。
![{\displaystyle 1,4,9,16,25,\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f5933b6f1acada5b72edd6d58237767fe9d43988)
![{\displaystyle 2,4,8,16,32,\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b83239a9a5778db37937caefbe4f62835ef3922)
解答
や
など[1]
など
数列
において、定数
が存在して、任意の自然数
に対し
となるとき、この数列
を等差数列(arithmetic progression (sequence))といい、
を公差(common difference)という。
を変形すると
である。等差数列は名前の通り隣り合った項の差が等しい数列である。
例えば、
は初項 2 、公差 3 の等差数列である。
初項
、公差
の等差数列
について
![{\displaystyle a_{2}=a_{1}+d}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7bba7a3f32ac90d73b039c4a6325e9c46addc565)
![{\displaystyle a_{3}=a_{2}+d=a_{1}+2d}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44fa7ae07c307bc862288e9b891252382c3f9b2c)
![{\displaystyle a_{4}=a_{3}+d=a_{1}+3d}](https://wikimedia.org/api/rest_v1/media/math/render/svg/89730df79f09e2d3075f1796ef00813b08088e2f)
![{\displaystyle a_{5}=a_{4}+d=a_{1}+4d}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5efc0ad6de3c1b821f2a9c76cf4e910b1280fcba)
![{\displaystyle a_{6}=a_{5}+d=a_{1}+5d}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8b601e639179049d0eeb9b436e1a37d027ebe24c)
- ...
なので、一般項は
である。
初項
、公差
の等差数列
の第1項から第 n 項までの和
は
である。 これを逆順に並び替えて
を得る。この2つをそれぞれ足すと
である。これより
を得る。また
を代入して
である。
演習問題
初項3、 公差2の等差数列の一般項を求め、この数列の第 1 項から第 n 項までの和
を求めよ。
解答
がこの順に隣り合った等差数列の項であるとき、
より、
である。
また、
が成り立つとき、
より、
はこの順に隣り合った等差数列の項である。
以上より、 ![{\displaystyle 2b=a+c\iff }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cedf81ef44b0cbb79ce13860f28b758a8e317c5f)
はこの順に隣り合った等差数列の項
演習問題
がこの順に隣り合った等差数列の項であるとき、
を求めよ。
解答
より
演習問題
150以下の自然数の内、7で割った余りが2である自然数の和を求めよ。
数列
において、定数
が存在して、任意の自然数
に対し
が成り立つとき、この数列を等比数列(geometric progression)といい、
を公比(common ratio)という。
を変形すると
である。等比数列は名前の通り隣り合った項の比が等しい数列である。
例えば、
は初項 3 、公比 2 の等比数列である。
初項
、公比
の等比数列
の各項を並べて書くと、
![{\displaystyle a_{2}=a_{1}r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/974cf8ff388fb1e69d3bdf895a97e9ad238a9a03)
![{\displaystyle a_{3}=a_{2}r=a_{1}r^{2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6dbcc32da7ce871d2d76e657cab6badb46245314)
![{\displaystyle a_{4}=a_{3}r=a_{1}r^{3}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f23a2e724b91ef3426a19d2b16a89a06c23abb76)
![{\displaystyle a_{5}=a_{4}r=a_{1}r^{4}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1ae4ebd25328a58c143e5a746c50b325c2a1011)
![{\displaystyle a_{6}=a_{5}r=a_{1}r^{5}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f86dcbcb88a73cf8d71c63bb4bfbbf5e93c3f7ff)
のようになることから、等比数列の一般項は
で与えられる。
初項
、公比
の等比数列
の第1項から第 n 項までの和
は
(1)
である。両辺に
をかけて
(2)
を得る。
(2) - (1) より
なので、
である。
また
のとき第1項から第 n 項までの和
は
である。[2]
演習問題
初項3、 公比が4の等比数列の一般項を求め、この数列の第 1 項から第 n 項までの和
を求めよ。
解答
それぞれ 0 ではない数
がこの順に隣り合った等比数列の項であるとき、
より
が成り立つ。
また、
ならば、
より、
がこの順に隣り合った等比数列の項である。
よって、 ![{\displaystyle b^{2}=ac\iff }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f945144f5d28e657ce6cd02c97a72c9b9a6c11b)
がこの順に隣り合った等比数列の項
ここで、総和を効率よく表せる表記法について学ぼう。
数列
に対し、この数列の第 m 項から第 n 項までの和を
で表す。つまり
である。[3]
例えば、
である。
ちなみにこの Σ はギリシア文字のシグマの大文字である。これは、Sum(和)を意味するラテン語 Summa の頭文字 S に対応するギリシャ文字である。
と
と実数[4]
に対し、
[5]
また、
である。
ここで、
を求めてみよう。
等差数列で習ったことを思い出せば、
は第1項が1、公差が1の等差数列の第 n 項までの和なので、
である。
また、等比数列の和を総和記号を使って書き直せば、
である。
次に、
を求めてみよう。
である。ここで
に 1 から
までを代入したものはそれぞれ
である。この
式をそれぞれ足し合わせると
左辺はほとんどが打ち消し合い、
となるので
である。ここで
を代入して
について整理すれば
を得る。
同様に
を求めることが出来る。
であるので、
に 1 から
までを代入してそれぞれを足し合わせれば、
である。これを変形して
なので、
である。[6]
演習問題
以下を計算せよ。
![{\displaystyle \sum _{k=1}^{n}(k^{2}+3k-2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/292e476c7d056bb992bc3ea6ef1ae6a16b835bb8)
![{\displaystyle \sum _{k=1}^{n}2^{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f4f446bee8c89d17968f10c65ee60f0dbe415f4)
数列
に対し
![{\displaystyle b_{n}=a_{n+1}-a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d673f271ae0ad638e5ec288b3f1e6e45396e9a8c)
で与えられる数列
を数列
の階差数列という。
数列
の階差数列
および初項
を利用して
の一般項を求めてみる
階差数列の定義から
である。
それぞれの式を足し合わせれば
つまり
![{\displaystyle a_{n}=a_{1}+\sum _{k=1}^{n-1}b_{k}\quad (n\geq 2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb08827d69e4ef98c8dd6c60a75f650a240ea360)
- を得る。
解答
である。
数列
を階差数列とする数列
の第 n 項は
![{\displaystyle a_{n}=a_{1}+\sum _{k=1}^{n-1}b_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a673077d70882fd1e38c80773011f87ef8e854bf)
であることを思いだそう。
これを元に計算すれば、
のとき、
である。
だったので、この式は
でも成り立つことが確かめられる。
数列の隣り合った項どうしの関係を表す式を漸化式(recurrence relation)という。
![{\displaystyle a_{n}=a_{n-1}+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bf98ef653261f7ffd8c2a343a23ee8993ba2e03)
たとえば、上の漸化式を満たす数列は公差1の等差数列である。これだけでは数列は一意的には定まらないが、さらに初項を
と与えると、自然数列
![{\displaystyle a_{n}=n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eae67f9b6f91a2c763feb1867d662b827b913031)
を得ることができる。ここでは漸化式が与えられたとき、それを満たす数列
にはどのようなものがあるか、具体的に求める方法を考える。漸化式を満たす数列を求めることを、漸化式を解くという。
簡単なもう一つの例として、
![{\displaystyle a_{1}=3}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fdceba060def809ebd8e70b7db1b375e5f7159e)
![{\displaystyle a_{n+1}=2a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8c9899b58a3cc0d451ff741c1a1840f06943c097)
のようなものがある。これは、
![{\displaystyle {\frac {a_{n+1}}{a_{n}}}=2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0c6ad885c876eaeaedb18f0d5824845c2716631d)
と変形することで、公比2の等比数列であることがわかる。
であることをあわせると、一般項は
![{\displaystyle a_{n}=3\cdot 2^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec71ee1c70aeb0c160ea2072addca328dcac601c)
であることがわかる。
一般に、漸化式
を満たす数列
は等差数列なので、一般項は
である。
漸化式
を満たす数列
は等比数列なので、一般項は
である。
隣接二項間漸化式の定義は次のとおりである。
定義 ―
p, q を n に無関係な定数とし、数列
の漸化式が
![{\displaystyle a_{n+1}=pa_{n}+q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/85d5ed97e3b95c93b675646fe674361324d19ef1)
で表されるとき、この漸化式を(定数係数をもつ線型の)隣接二項間漸化式という。
このような隣接二項間漸化式は等差数列または等比数列に帰着できることが知られている。まず p = 1 のとき、漸化式は
であるから、これは等差数列である。次に、 p ≠ 1 の場合を考える。
ここで、もし
を
と変形することが出来れば、数列
は等比数列であり、一般項は
である。よって
と数列
の一般項を求めることができる。
さて、問題は
を満たす
をどのように求めるかということだが、
を変形して
となる。これが
と等しくなるので、
つまり、
となる
を求めればよい。[7]
演習問題
であり、漸化式
を満たす数列
を求めよ。
隣接三項間漸化式の定義は次のとおりである。
定義 ―
p, q を n に無関係な定数とし、数列
の漸化式が
… (1)
で表されるとき、この漸化式を(定数係数をもつ線型の)隣接三項間漸化式という。
ここでは (1) の隣接三項間漸化式を等比数列に帰着して解く方法を考える。公比 β の等比数列
![{\displaystyle b_{n+1}=\beta b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d79ecc3848bf5d446d7e490a58e6b813e4e523f5)
の一般項を
で定義すると、
… (2)
(2) の等比数列を (1) と係数比較すると、次の関係が得られる。
![{\displaystyle {\begin{cases}\alpha +\beta &=p\\\alpha \beta &=-q\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/00c155476c4863d6de58b86d42b101320e544b2e)
これは二次方程式の解と係数の関係であるから、二次方程式
![{\displaystyle x^{2}=px+q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4310fed0abe8d49d06dd359b385dafcd03cc8e4b)
の解 α, β を用いて、(1) の隣接三項間漸化式は (2) の等比数列の漸化式に帰着することができる。この二次方程式を隣接三項間漸化式の特性方程式という。特性方程式の2つの解は便宜上区別したもので、解の取り方によらない(以下の定理は α と β を入れ換えても成立する)。
定理1.1.6
隣接三項間漸化式
(p, q は n に無関係な定数)は、特性方程式
の解 α, β を用いて、公比 β の等比数列
に変形することができる。
隣接三項間漸化式は等比数列
に変形することにより、等比数列の一般項の公式
を用いてただちに解くことができる。
(i)
![{\displaystyle a_{n+1}-2a_{n}=5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c865ad9d4f29d7692a97392c2ee98b2c54069bb)
(ii)
![{\displaystyle a_{n+1}-3a_{n}=7}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d892b06886a773798b104302a9bfd05dd66b5074)
(iii)
![{\displaystyle a_{n+1}-5a_{n}=4}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5b3cbac0615a8c13cc26c6aa6cca8ec2b03c3aa)
の
をそれぞれ計算せよ。
ただし、
![{\displaystyle a_{1}=a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f1334ab898003e0224a49c8bd6ddd80d2e96bb7)
(aは任意の実数。)
とする。さらに、一般に
![{\displaystyle a_{n+1}+ba_{n}=c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f1ccab26dd0fdac1869702bf0b5e9169290e430)
(b,cは任意の実数。)についても計算せよ。
(i)
特性方程式は、
![{\displaystyle a-2a=5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ee838d15b048e5b0f1fa1263c82f41606b03b80)
![{\displaystyle a=-5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f3cc235485aa45a8bf9d2faedc19a4f70cc6279)
となる。よって、この式は、
![{\displaystyle a_{n+1}+5=2(a_{n}+5)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff850b752f852ce96122ef4c768d15d6cb008d67)
と書き換えられる。ここで、
![{\displaystyle b_{n}=a_{n}+5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc444f67e14321dd5ef3f9dd2b5af156c129b4fd)
と書き換えると、上の式は
![{\displaystyle b_{n+1}=2b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2b78a4ea81bc4ea0407c2811f82b4c7f0c500711)
となり、通常の等比数列の表式となる。ここで、
![{\displaystyle b_{0}=a_{n}+5=a+5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f2983731a57533a23fd1b5a66630e795de0a9b3a)
を用いると、
![{\displaystyle b_{n}=(a+5)2^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a1c50f327e5d9e0de97912375d2c4964704b082)
となる。ここで、
![{\displaystyle b_{n}=a_{n}+5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dc444f67e14321dd5ef3f9dd2b5af156c129b4fd)
を再び用いると、
![{\displaystyle a_{n}+5=(a+5)2^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f3066d115bfe3e9398a5298d011d554e4e5d8bcb)
![{\displaystyle a_{n}=(a+5)2^{n-1}-5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0816069bb4307e7128c08afdfaccad97e90a52c4)
が得られる。
(ii),(iii)についても同様に計算を行うと、
![{\displaystyle a_{n}=3^{n-1}(a+{\frac {7}{2}})-{\frac {7}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a15692436bdaa1fbfaccb6f55c4f973baeef9c34)
![{\displaystyle a_{n}=5^{n-1}(a+1)-1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0705aa4cd278aba068d1db4d8c4a630aa55e9dda)
が得られる。
次に、より一般的な場合について計算する。
![{\displaystyle a_{n+1}+ba_{n}=c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f1ccab26dd0fdac1869702bf0b5e9169290e430)
について特性方程式を用いると、
![{\displaystyle (1+b)\alpha =c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df1221478af3024f05b2332a9c3033c8ae7d6e7e)
![{\displaystyle \alpha ={\frac {c}{1+b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21e42912cb6b0f1a9a4314114ab29807c5bf171e)
となる。
よって、上の式は、
![{\displaystyle a_{n+1}-{\frac {c}{1+b}}=-b(a_{n}-{\frac {c}{1+b}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/666ad1363897b2bf69421d90c5d9e5693c90f090)
となる。
![{\displaystyle a_{0}-{\frac {c}{1+b}}=a-{\frac {c}{1+b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74b8f9d1c9a447c672c2aa7a572a9316a93052cf)
を用いると、
![{\displaystyle a_{n}-{\frac {c}{1+b}}=(-b)^{n-1}(a-{\frac {c}{1+b}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/40346533f595f1c6b9d20c90c89b81f5d7156a89)
![{\displaystyle a_{n}=(-b)^{n-1}(a-{\frac {c}{1+b}})+{\frac {c}{1+b}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e20dcd2980376d042dbaeaeec7dc92e4d8294dc)
が得られる。
実際、
![{\displaystyle b=-2,c=5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21a9bc4694692e4f8b70607555db7c0ca04efaef)
の結果を代入すると、
![{\displaystyle a_{n}=2^{n-1}(a+5)-5}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3dc9479de713bb5f68fc1fd9bde76282633f7ed2)
が得られ、上の結果と一致する。
(i)
![{\displaystyle a_{n+1}+3a_{n}=n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ca992414befffc5ad4869b3306b781f4dc9cb9f)
(ii)
![{\displaystyle a_{n+1}+3a_{n}=2^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d09bbde6107ce46d565dba76d377cde97a9a73f8)
について
![{\displaystyle a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/790f9209748c2dca7ed7b81932c37c02af1dbc31)
を計算せよ。
ただし、
(
は、任意の実数。 )
漸化式の右辺が通常の数でないときには、それぞれ異なった手法で計算を進める必要がある。このような場合の一般的な計算は指導要領の範囲を超えるため、限られた場合について例を示すことにする。
(i)の場合については、右辺の
について、
![{\displaystyle a_{n+1}+3a_{n}=n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ca992414befffc5ad4869b3306b781f4dc9cb9f)
を
を
とした
![{\displaystyle a_{n+2}+3a_{n+1}=n+1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b84f51bc1d1acc1e40aa5b4f1e37f8da6540bf51)
を引くことで右辺が定数に等しくなることに注意する。このとき、実際に引き算した値を計算すると、
![{\displaystyle b_{n+1}+3b_{n}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd054f39e4f712ea0989079fe53432bbc627c0e8)
が得られる。ただし、
![{\displaystyle b_{n}=a_{n+1}-a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d673f271ae0ad638e5ec288b3f1e6e45396e9a8c)
とおいた。この式は、先ほど一般的に計算した式と等しいため、簡単に
![{\displaystyle b_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/28e2d72f6dd9375c8f1f59f1effd9b4e5492ac97)
を計算できる。ただし、今回は初期値である
の値が求められていないので、まずは
を計算しなくてはならない。ここで、
![{\displaystyle b_{1}=a_{2}-a_{1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59c17429356dd4d4d34d96047a757152ab922d98)
![{\displaystyle =(-3a_{1}+1)-a_{1}=1-4a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee22679e538e683fb4136048903b316b922912a7)
となり、
が求められた、この値を数列bnの初項として上の
に関する漸化式を解くと、
![{\displaystyle b_{n}={\frac {1}{4}}+(-4a+{\frac {3}{4}})(-3)^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fbb90a26142a1d23aa7eea62cbe4361547b2940f)
が得られる。ここで、
![{\displaystyle b_{n}=a_{n+1}-a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d673f271ae0ad638e5ec288b3f1e6e45396e9a8c)
は数列
の階差数列に等しい。よって、
![{\displaystyle a_{n}=a_{1}+\sum _{k=1}^{n-1}b_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a673077d70882fd1e38c80773011f87ef8e854bf)
が得られる。この和を計算すると、
![{\displaystyle a_{n}=a+\sum _{k=1}^{n-1}({\frac {1}{4}}-4(a-{\frac {3}{16}})(-3)^{k-1})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0cb56a240ed3927b85dcbc745e85170db7491c9)
![{\displaystyle =a+{\frac {n-1}{4}}-4(a-{\frac {3}{16}}){\frac {1-(-3)^{n-1}}{1-(-3)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c503fc99008e6551356743ce6db00f9284dd8d29)
![{\displaystyle ={\frac {n-1}{4}}+{\frac {3}{16}}+(a-{\frac {3}{16}})(-3)^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e46f30b7e5fb1fb8e704347ddc7b1bc08ad980cc)
が得られる。
- 答え、
![{\displaystyle a_{n}={\frac {n-1}{4}}+{\frac {3}{16}}+(a-{\frac {3}{16}})(-3)^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c31b8ffa7b3c7bcbc478f607a64b260726e812e5)
(ⅱ)
左辺は既に見た漸化式と同じ形であるが右辺に
(aは実数)が加わった点が異なる場合である。この場合にはまず最初に両辺を
で割るとよい。 このとき、上の式は
![{\displaystyle {\frac {a_{n+1}}{2^{n}}}+{\frac {3}{2}}{\frac {a_{n}}{2^{n-1}}}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5360bf7dafadd7127d4447d76e4208a04f17ca3c)
となる。更に
の置き換えをすると、漸化式
![{\displaystyle b_{n+1}+{\frac {3}{2}}b_{n}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a866f091abf54ebd6945d3c157a91d1421936195)
が得られるがこれは既に扱った漸化式である。この式は
![{\displaystyle b_{n+1}-{\frac {2}{5}}=-{\frac {3}{2}}(b_{n}-{\frac {2}{5}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4d5747f679c6044e8642400b6d1adb89deb7f908)
となり
![{\displaystyle b_{n}-{\frac {2}{5}}=(b_{1}-{\frac {2}{5}})(-{\frac {3}{2}})^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/609a4745c6d31ad1cc5b0efb0caa5db5ec34cbb4)
が得られる。
を用いると
が得られるので、これを用いて
![{\displaystyle b_{n}-{\frac {2}{5}}=(a-{\frac {2}{5}})(-{\frac {3}{2}})^{n-1}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03a772cf467337aba65702d8668f355b8982241e)
![{\displaystyle b_{n}=(a-{\frac {2}{5}})(-{\frac {3}{2}})^{n-1}+{\frac {2}{5}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc872a54432d4469037aadf38287630630ce0232)
が得られるが、この式から
は、
![{\displaystyle a_{n}=(-3)^{n-1}(a-{\frac {2}{5}})+{\frac {1}{5}}2^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/51f2e849636a16dcd8653ca8d32a408d8813f2f1)
となる。
自然数 1, 2, 3, 4, 5, ... は無限に存在するので、任意の自然数に関しての命題を証明するとき、1つ1つの自然数を列挙していくことは不可能である。そこで、ここでは任意の自然数に関して成り立つ命題を有限の手順で証明する方法を考える。
自然数
に関する命題
[8]が任意の自然数に関して成り立つことを証明するには、次の2つの事柄を示せばよい。
- 任意の自然数 k について
である。
が成り立つ。
2. の条件より n = 1 について P は真であるから、1. の条件より n + 1 = 1 + 1 = 2 についても P は真である。これより n = 2 について P は真であるから、n + 1 = 2 + 1 = 3 についても P が真であることがいえ、以下同様にすべての自然数に対して P は真であると結論できる。
このような証明法を数学的帰納法(mathematical induction)という。
数学的帰納法を用いて
![{\displaystyle \sum _{k=1}^{n}k={\frac {n(n+1)}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0de16c11776f68684fa2f85065b43ed70f2d298)
を導出する。まずn=1のとき、
![{\displaystyle ({\textrm {lhs}})=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1923c1a6978873325f2822962a28e199c7414183)
(lhsは左辺の意味。)
,そして
![{\displaystyle {\begin{matrix}({\textrm {rhs}})={\frac {1(1+1)}{2}}\\=1\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/047bac42fcc6849d9b0c5a279b110aa70ec077b7)
(rhsは右辺の意味。)
となり、確かに正しいことが分かる。次にn = lのときこのことが正しいと仮定する。このとき、
![{\displaystyle {\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 {l}{2}}+1)\\={\frac {1}{2}}(l+1)(l+2)\\={\frac {1}{2}}(l+1)\{(l+1)+1\}\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/316cc7f4256ffceb77abada1c965dc08e9542dbf)
となり、n = l+1 のときにも、この式が正しいことが示された。よって数学的帰納法より、この式は1以上の全てのnについて成立する。
フィボナッチ数列は
のように、前とその前の項の和が次の項になる数列である。
フィボナッチ数列の漸化式
![{\displaystyle a_{1}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3f6489d2bc20b48a0f4acb8d102124ef02af3531)
![{\displaystyle a_{2}=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f54d6d77aa893417872e5a68750196e072ea93ce)
![{\displaystyle a_{n+2}=a_{n+1}+a_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/178ed443a27e75b97e628789834eb768a5ef27b5)
は隣接三項間漸化式であるが、
よりこの特性方程式は
![{\displaystyle x^{2}-x-1=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e22ea5278827fbb7e09fb5fbeb5f50b234410f84)
である。これを解くと、
(黄金比 φ として知られる)
![{\displaystyle \beta ={\frac {1-{\sqrt {5}}}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0e21db5d3889ab3d618d1bfe480fb7cbaf96acb7)
公比 β の等比数列の一般項に初項
を代入すると、
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f9b6efe481a7aaa4e5ff638b36c46c9c82eec9f)
ただし α + β = 1 より 1 - α = β という関係を使った。これは α と β を入れ換えても成り立つため、次の連立方程式が得られる。
![{\displaystyle {\begin{cases}a_{n+1}-\beta a_{n}&=\alpha ^{n}\\a_{n+1}-\alpha a_{n}&=\beta ^{n}\\\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1068ae8cce2c46eb8f9d5444192bb8c7220cca2)
辺々を引いて
について解くと、
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ed1dbdf94fb55994cadba8b3791ced0ced3776af)
ここで
であるから、求める一般項は次のようになる。
![{\displaystyle a_{n}={\frac {1}{\sqrt {5}}}\left\{\left({\frac {1+{\sqrt {5}}}{2}}\right)^{n}-\left({\frac {1-{\sqrt {5}}}{2}}\right)^{n}\right\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4e88b5e661a75f11205a8bc624f11af321c3b6eb)
これはフィボナッチ数列の一般項を求める公式(ビネの公式、Binet's formula)として知られている。
- ^ 二番目の式は
から得られたものである。有限個の項が与えられた数列の一般項は一意に定まるわけではない。
- ^
- ^ 変数
の代わりに他の文字
や
を使用して
や
としても意味は変わらない。なぜなら、これらはすべて、
を表しているからである。慣習的にこの添字には
などが用いられることが多い。
- ^ 複素数について既に学んでいる読者は複素数としてもよい
- ^ この式変形は足し算の順序を変えただけである。
- ^ これは 1 から n までの自然数の和を2乗したものになっている。
- ^ この式は
の
を
とした式になっている。
- ^ つまり、
は命題
をまとめたものだとも言える。
が自然数のとき
は命題なので、
は真(正しい)か偽(間違い)のいずれかである。例えば、
が
のとき、
は偽である (
と
はどちらも正しくない) が、3以上の自然数 m に対して
は真である。