a_47的特征向量formula_48，按照定义，是在变换formula_44的作用下会得到formula_48自身的若干倍的非零向量。假设在formula_44的作用下formula_48变成了自身的formula_5倍，也就是在等式两边的左侧乘以单位矩阵"I"，得到因此根据线性方程组理论，为了使这个方程有非零解，矩阵formula_58的行列式必须是零："det: determinant，行列式"按照行列式的展开定义，上面式子的左端是一个关于formula_5的多项式，称为特征多项式。