设 与 分别是由Lanczos方法确定的y 0 与z 0 相对于A的零化多项式，而y 1 ，…， 与z 1 ，…， 是由Lanczos正交化过程得到的向量组．如果 span{y 0 ，y 1 ，…， ，z 0 ，z 1 ，…， }=C n ，则m(λ)等于 与 的最小公倍式．