存在可逆矩阵P.PPTVIP

个数相同数. 比较教材例3和例4的结果可以看到，选取的变换 矩阵不 同，化出的二次型的标准形一般也不同， 一是标准形中平方项的个数相同. 形中正平方项和负平方项的 但有两点是相同的： 另一个就是标准 第三节　惯性定理和正定二次型 其中 ＞0(i=1，2，…，r). 一、 惯性定理 (6.5) 同一二次型化为标准形，由于采用的可逆变换不同而使标准形不同，也就是说，二次型的标准形不是唯 一的，那么这些不同的标准形又有什么关系呢？ 二次型的标准形的标准型可以表示成如下形式： 定理5 二次型f经过不同的可逆变换化为标准形后， 正平方项的个数和负平方项的个数都是由f 唯一确定的. 二次型的标准形保持其正平方项个数和负平方项 个数不变的特性，称为实二次型的惯性. 因此，常称定理5为惯性定理. 二次型f的标准形（6.5）中正平方项的个数p称为 二次型的正惯性指数，负平方项的个数r-p称为负 惯性指数. 正惯性指数与负惯性指数的和为r，恰等于 二次型f的秩. 若对二次型f的标准形（6.5）进一步作可逆变换 称(6.6)式为二次型f的规范形. 则二次型可以化为如下形式 推论1　任意实二次型都可以通过可逆线性变换化 为规范形，且规范形是唯一的. 利用矩阵的语言，推论1可以叙述为： 推论2　任意实对称矩阵A合同于对角矩阵 　　 　　　　 且p与r-p是由A唯一确定的. 显然，将一个标准形化为规范形的过程中，二次 型的正平方项个数和负平方项个数也保持不变. 于是 由惯性定理及上节定理4可以得到： 推论3　实对称矩阵A与B合同的充分必要条件是 A与B有相同的规范形. 称上述对角矩阵Λ为实对称矩阵A的规范形. 于是有： 设二次型 ，如果对于任意的 都有 二、二次型的有定性 非零向量 定义3 （负定）矩阵. ，则称 为正定（负定）二次型，其矩阵A称为正定 如果对于任意的 都有 非零向 量 （半负定）矩阵. ，则称 为半正定（半负定）二次型，其矩阵A称为半正定 正定的充分必要条件是 定理7 可逆线性变换不改变二次型的正定性. 定理6 二次型 定理7知，总可以通过可逆线性变换将二次型 设n元二次型 (1)f 为正定二次型； (2) 的正惯性指数为n， (3)存在可逆矩阵P，使得 ,A与E合同. (4)A的特征值全大于零. 定理8 ，则下列命题等价： f 化为标准型来判定其正定性. 证明 （略） 设n元二次型 n元二次型 定理9　 正定，则 (1) A的主对角元素 (2) A的行列式 定理10　 正定的充分必要条件是 A的各阶顺序主子式全大于零，即 证明 （略） 证明 （略） 习题六 10(1),11 定理11 设n元二次型 ,则下列命题等价： (1) f为负定矩阵 f的负惯性指数为n (2) 存在可逆矩阵P，使得 (3) A的奇数阶顺序主子式全小于零，偶数阶顺序 (4) (5) 主子式全大于零，即 A的特征值全小于零； 证明（ 略） 　 设n元二次 ,则下列命题等价: f为半正定矩阵； (1) f的正惯性指数为 (2) 存在不可逆矩阵P，使得 (3) A的特征值全大于等于零，但至少有一个等于零; (4) A的各阶主子式大于或等于零，即 (5) 但至少有一个主子式等于零. 定理12 三、 应用示例（略） 多元函数极值的理论是微分学中应用很广泛的内容，但在一般的微积分教科书中仅对二元函数取极值的充分条件进行了讨论，对于两个以上变量的情形不作介绍.　下面以三元函数为例，将矩阵与二次型的理论、方法应用于极值研究.对于n元函数，读者可得到类似的结果. 例3　设三元函数y=f(x1，x2，x3)在点X0=()的邻域内具有二阶连续偏导数，则f(x1，x2，x3)在X=X0处的二阶泰勒展开式为 其中α为 的高阶无穷小量. 若记 f(X)=f(x1，x2，x3)， f(X0)=f( )， ΔX=( )T， 在上式中，称gradf(X0)为函数f(X)在X=X0处的梯度，H(X0)为f(X)在X=X0处的黑塞（Hesse）矩阵，它们分别是由f(X)在X=X0处的一阶偏导数构成的n维行向量和二阶偏导数构成的n阶实对称矩阵. 则上