例えば、
$ \sum (5n^{2} + 3n) $
が出てきたら、
$ 5 \sum n^{2} + 3 \sum n $
と機械的に変形すべきだ。$r \in$R のとき
$ r(5n^{2} + 3n) = 5rn^{2} + 3rn $
と形式的に計算をするのと同じように、形式的に計算できなくてはならない。
いちいち$\sum$の意味を考えて計算していては(最初のうちはそれでもよいが)、見通しが悪くなり、本質が見えなくなる。つまり、$\sum$は線型作用素であるという理解が求められるのだ。
さて、フィボナッチ数列においては、漸化式
$\begin{equation}
a_{n+2} = a_{n+1} + a_{n}
\end{equation}$
が成り立つが、これの一般項はどうなっているのだろうか。
そこで、登場するのがズラシ演算子$\tau$(タウ)である。これは、
$ \tau(a_{n}) = a_{n+1} $
という変換を引き起こす。すると、さきの漸化式から
$ (\tau^{2} - \tau - 1 )(a_{n}) =0 $
が成り立つ。これから特性方程式
$ t^{2} - t - 1 = 0 $
を解いて、固有値
$ \lambda_{1} = \frac{1+\sqrt{5}}{2}, \lambda_{2} = \frac{1-\sqrt{5}}{2} $
を得る。
この場合の固有値とは何かを考えてみよう。
特性方程式が1次方程式 $t - \lambda =0$ なら
$ (\tau - \lambda)(a_{n}) = \tau(a_{n}) - \lambda a_{n} =0 $
となって、
$ a_{n+1} = \lambda a_{n} $
だから、$\lambda$は等比数列の公比である。従って、
$ a_{n} = C \lambda^{n} $
で、定数$C$の値は初期条件から定まる。
これの類推でフィボナッチの一般項は
$ a_{n} = C_{1}\lambda_{1}^{n} + C_{2}\lambda_{2}^{n} $
である。初期条件
$ a_{1} = 1, a_{2} = 1 $
より係数を求めよう。
$\left ( \begin{array}{cc}
\lambda_{1} & \lambda_{2} \\
\lambda_{1}^{2} & \lambda_{2}^{2}
\end{array} \right)
\left ( \begin{array}{c}
C_{1} \\
C_{2}
\end{array} \right)
=
\left ( \begin{array}{c}
1 \\
1
\end{array} \right)$
に逆行列を掛けて
$\left ( \begin{array}{c}
C_{1} \\
C_{2}
\end{array} \right)
=\frac{1}{\Delta} \left ( \begin{array}{cc}
\lambda_{2}^{2} & -\lambda_{2} \\
-\lambda_{1}^{2} & \lambda_{1}
\end{array} \right)
\left ( \begin{array}{c}
1 \\
1
\end{array} \right)
=
\frac{1}{\Delta} \left ( \begin{array}{cc}
1 \\
-1
\end{array} \right)
=\left ( \begin{array}{c}
1/\sqrt{5} \\
-1/\sqrt{5}
\end{array} \right) $
となるので、一般項
$a_{n} = \frac{1}{\sqrt{5}}\{ (\frac{1+\sqrt{5}}{2})^{n} -
(\frac{1-\sqrt{5}}{2})^{n} \} = \frac{1}{\sqrt{5}} (\lambda_{1}^{n} -\lambda_{2}^{n})$
が得られる。
特性方程式など出てきて、一見難しそうだが、いま求めた一般項から計算した各項の値と、漸化式から求めたそれが同じであることを確認することはパソコン(例えば Excel)を使えば楽であろう。
フィボナッチ数列と黄金比との関係を調べてみよう。黄金比というのは正五角形の対角線と1辺の長さの比で、
$ \frac{1+\sqrt{5}}{2} \doteq 1.6$
である。(逆数の$ 2/(\sqrt{5}+1)= (\sqrt{5}-1)/2 \doteq 0.6$の方を黄金比と言う人もいる。)
黄金比は下図の相似の三角形から $1:x=x-1:1$だから$x^{2}-x-1=0$(先の特性方程式と同じ)の正根である。
$ \displaystyle \lim_{n \rightarrow \infty} \frac{a_{n}}{a_{n+1}}
= \lim
\frac{\lambda_{1}^{n} - \lambda_{2}^{n}}
{\lambda_{1}^{n+1} - \lambda_{2}^{n+1}}
= \lim \frac{1 - (\frac{\lambda_{2}}{\lambda_{1}})^{n}}
{\lambda_{1}-\lambda_{2}(\frac{\lambda_{2}}{\lambda_{1}})^{n}} $
ここで、
$ \mid \frac{\lambda_{2}}{\lambda_{1}} \mid = \frac{3-\sqrt{5}}{2} \doteq 0.38 < 1 $
だから収束して
$ = \frac{1-0}{\lambda_{1}-\lambda_{2} \times 0} = \frac{1}{\lambda_{1}}
= \frac{2}{1+\sqrt{5}} $
となって、分母を有理化すれば黄金比の逆数に等しいことが分かる。
【「フィボナッチ数列の性質」のページ】 ←ここをクリック！§2.漸化式を解く
教科書に出てくる数列には、特性方程式が1次方程式になるものがある。例えば、
