C语言设计资料.docVIP

§4 正定二次型 一、正定二次型 定义4 实二次型称为正定的，如果对于任意一组不全为零的实数都有. 实二次型 是正定的当且仅当. 设实二次型 (1) 是正定的，经过非退化实线性替换 (2) 变成二次型 (3) 则的二次型也是正定的，或者说，对于任意一组不全为零的实数都有. 因为二次型（3）也可以经非退化实线性替换 变到二次型（1），所以按同样理由，当（3）正定时（1）也正定.这就是说，非退化实线性替换保持正定性不变. 二、正定二次型的判别 定理6 实数域上二次型是正定的它的正惯性指数等于. 定理6说明，正定二次型的规范形为 (5) 定义5 实对称矩阵A称为正定的，如果二次型 正定. 因为二次型（5）的矩阵是单位矩阵E，所以一个实对称矩阵是正定的它与单位矩阵合同. 推论 正定矩阵的行列式大于零. 定义6 子式 称为矩阵的顺序主子式. 定理7 实二次型 是正定的矩阵的顺序主子式全大于零. 例 判定二次型 是否正定. 定义7 设是一实二次型，如果对于任意一组不全为零的实数都有,那么称为负定的；如果都有，那么称为半正定的；如果都有，那么称为半负定