Gram矩阵对称正定性质