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