展开 如何证明a是正定矩阵