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

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