定理 1(惯性定理) 设二次型 的秩为 ,且有两个可逆变换
使
及
则 中正数的个数与
证明 略。
二次型的标准形中正系数的个数称为二次型的 正惯性指数,负系数的个数称为 负惯性指数。若二次型 的正惯性指数为 ,秩为 ,则 的规范形便可确定为
定义 1 设二次型 ,如果对任何 ,都有 (显然 ,则称 为正定二次型,并称对称矩阵 是正定的;如果对任何 都有 ,则称 为负定二次型,并称对称矩阵
定理 2 元二次型 为正定的充分必要条件是:它的标准形的 个系数全为正,即它的规范形的 个系数全为 ,亦即它的正惯性指数等于 。
证明见 “【证明】二次型正定的充要条件是特征值全为正”。
推论 对称矩阵 为正定的充分必要条件是:
证明见 “【证明】二次型正定的充要条件是特征值全为正”。
定理 3(赫尔维茨定理) 对称矩阵 为正定的充分必要条件是:
对称矩阵
证明 略。