正定矩阵 特征值 特征多项式 计算数学 数值解 主子式 矩阵 稳定矩阵 正规矩阵