n次多项式 n阶方阵 亚正定阵 正交阵 规范矩阵 方阵可逆 Moore-Penrose逆 特征根 引理 亚正定矩阵 乘法算子 完全主正阵 特征多项式 定理 张量积 新解法