展开 a为正定矩阵,证明a*为正定矩阵吗