展开 设a是正定矩阵,证明a*也是正定矩阵