一个二次型负定的充要条件是对应矩阵的顺序主子式全小于零。