展开 a为正定矩阵,证明a逆为正定