应该说“正定二次型”,它对应的矩阵式正定矩阵,关于正定矩阵有一些非常好的性质：
1、特征值全大于零.
2、具有平方根分解A=P'P.（利用这个结论容易证明关于半正定矩阵的一个非常有用的结论：半正定正定矩阵一旦主对角元出现0,那么该行该列必全为0）.
3、所有的顺序主子式大于零.（这个性质有更一般的结论,要利用Laplace定理,不再多说）.
4、可看作欧式空间中一组基的度量矩阵.（这个性质常常用来证明一个矩阵正定,我们只需找到一个欧式空间的一组基并证明这个矩阵就是这组基在内积下的度量矩阵即可说明其正定）.
事实上还有一些小结论：
比如他的定义就是任意的n维向量有X'AX>0.
还有一个结论,两个n阶半正定矩阵可同时对角化.（首届全国大学生数学竞赛决赛试题）