对称矩阵合同的充分必要条件