■Bisection法■
三角対角行列に適用される手法で、以下に示すSturm列を用いて固有値を探し出す手法です。Bisection法、 Sturm法、二分法とか呼ばれています。

上で示されているSturm列 P_i(λ)は、[T]行列のi行i列までを行列としたときの 行列式(Determinant)を表しています。以下の式の展開を見て下さい。