对于任何非零列向量 x,均满足二次型大于 0,则称该 二次型 为正定二次型