因为Lanczos算法是一种将对称矩阵通过正交相似变换变成对称三对角矩阵的算法，以20世纪匈牙利数学家Cornelius Lanczos命名。Lanczos算法实际上是Arnoldi算法对于对称矩阵的特殊形式，可应用于对称矩阵线性方程组求解的Krylov子空间方法以及对称矩阵的特征值问题。A代表任意一个需要三对角化的矩阵，b是任意一个向量，且b的行数与A的列数相同因为要用到nmax是你想要得到的矩阵的大小，例如nmax=12，最后得到12*12的三对角矩阵。
