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