定理 1(惯性定理) 设二次型 正定二次型_正定二次型 的秩为 正定二次型_线性代数_02,且有两个可逆变换
正定二次型_正定二次型_03
使
正定二次型_对称矩阵_04

正定二次型_线性代数_05
正定二次型_线性代数_06 中正数的个数与 正定二次型_正定二次型_07

证明 略。

二次型的标准形中正系数的个数称为二次型的 正惯性指数,负系数的个数称为 负惯性指数。若二次型 正定二次型_线性代数_08 的正惯性指数为 正定二次型_线性代数_09,秩为 正定二次型_矩阵_10,则 正定二次型_线性代数_08 的规范形便可确定为
正定二次型_特征值_12

定义 1 设二次型 正定二次型_特征值_13,如果对任何 正定二次型_对称矩阵_14,都有 正定二次型_特征值_15(显然 正定二次型_特征值_16,则称 正定二次型_正定二次型_17 为正定二次型,并称对称矩阵 正定二次型_对称矩阵_18 是正定的;如果对任何 正定二次型_对称矩阵_14 都有 正定二次型_特征值_20,则称 正定二次型_正定二次型_17 为负定二次型,并称对称矩阵 正定二次型_对称矩阵_18

定理 2 正定二次型_矩阵_23 元二次型 正定二次型_正定二次型 为正定的充分必要条件是:它的标准形的 正定二次型_矩阵_23 个系数全为正,即它的规范形的 正定二次型_矩阵_23 个系数全为 正定二次型_线性代数_27,亦即它的正惯性指数等于 正定二次型_矩阵_23

证明见 “【证明】二次型正定的充要条件是特征值全为正”。

推论 对称矩阵 正定二次型_对称矩阵_18 为正定的充分必要条件是:正定二次型_对称矩阵_18

证明见 “【证明】二次型正定的充要条件是特征值全为正”。

定理 3(赫尔维茨定理) 对称矩阵 正定二次型_对称矩阵_18 为正定的充分必要条件是:正定二次型_对称矩阵_18
正定二次型_矩阵_33
对称矩阵 正定二次型_对称矩阵_18
正定二次型_矩阵_35

证明 略。