设A∈Rn×n,对0≠y0∈Rn,按Krylov方法构造矩阵B=(y0,y1,…,yn),设rankB=r1,y0相对于A的零化多项式为;对0≠z0∈Rn,
设A∈Rn×n,对0≠y0∈Rn,按Krylov方法构造矩阵B=(y0,y1,…,yn),设rankB=r1,y0相对于A的零化多项式为;对0≠z0∈Rn,按Lanczos方法构造向量
zi=Pi(A)z0(i=0,1,…,r2)
并设z0相对于A的零化多项式为,证明:若
span{y0,y1,…,,z0,z1,…,}=Rn,
则与的最小公倍式为A的最小多项式.