设m是n阶实系数对称矩阵，如果对任何非零向量
x=(x_1,...x_n)都有xmx^t>0，就称m正定。

正定矩阵在相似变换下可化为标准型，即单位矩阵。

所有特征值大于零的矩阵也是正定矩阵。