展开 已知a是正定矩阵,证明a*是正定的