赫尔维茨定理对称矩阵A为负定的充要条件什么意思