定义

元二次型:

若对任意 ,均有: 则称 为正定二次型,称其对应的矩阵 为正定矩阵。

正定的充要条件

一元二次型 正定

  • 对任意 ,有 ;
  • 的正惯性指数 ; 常用
  • 存在可逆矩阵 使 ;
  • ;
  • 的特征值 ; 常用
  • 的全部顺序主子式均大于 。 常用

Info

顺序主子式:矩阵左上角的子式。

  • 有 行就是 阶顺序主子式。
  • 必须开头是 ,结尾是

正定的必要条件

  • ;
  • 。