线性代数与解析几何 第5章 相似矩阵与二次型.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * § 5.4 二次型 对于二次型，我们讨论的主要问题是寻找可逆的线性变换 (5.4.2) 得到只含平方项的二次型，也就是将(5.4.2)式代入(5.4.1)式，能使 (5.4.3) 这种只含平方项的二次型(5.4.3)式，称为二次型f的标准形. § 5.4 二次型 如果二次型f的标准形(5.4.3)式中系数 只在1，-1，0三个数中取值，也就是将(5.4.2)式代入(5.4.1)式，能使 ， (5.4.4) 其中r为二次型f的秩，则称(5.4.4)式为二次型f的规范形. 记 则可逆线性变换(5.4.2)写成矩阵形式 x=Cy ，其中C为可逆矩阵. § 5.4 二次型 这里新二次型的矩阵 . 将x =Cy 代入二次型 f = xTAx ，得 而 即A是对称矩阵时， 也是对称矩阵, 所以线性变换 x =Cy 将二次型 f = xTAx化为新二次型 § 5.4 二次型 定义5.12 设A，B是n阶矩阵，若有可逆矩阵C，使 , 则称矩阵A与B合同. 由上面的讨论可知，二次型经过可逆线性变换后得到的新二次型的矩阵与原二次型的矩阵是合同的，且因C可逆时，有 所以二次型 f = xTAx 经可逆线性变换 x =Cy 后, 二次型f 的矩阵由A变为与A合同的矩阵 ，但二次型f的秩不变. 要使二次型f 经可逆线性变换 x =Cy 变成标准形，就是要使 § 5.4 二次型 即要求可逆矩阵C使 (对角矩阵), 这个问题称为把对称矩阵A合同对角化. 常用方法有正交变换法与配方法. § 5.4 二次型 5.4.2 用正交变换法将二次型化为标准形 定理5.13 对任意实二次型 ，总有正交变换x=Py使二次型f化为标准形，即 其中 是二次型f的矩阵A的特征值. 由5.3节知道，对任意给定的n阶实对称矩阵A，总存在正交矩阵P，使得 其中 为A的n个特征值. 把此结论应用于二次型有下面的定理. § 5.4 二次型 A的特征多项式为 化为标准形. 例5.14 求正交变换x=Py 把二次型 解 因二次型的矩阵为 则A的特征值为 § 5.4 二次型 对于 ，方程组 的基础解系为 ， 对于 ，方程组 的基础解系为 ， ， 因 与 正交，则将 ， 单位化得 单位化得 令 则P是正交矩阵，即有正交变换x=Py使 § 5.4 二次型 注5.9 用正交变换化二次型f 为标准形，因其标准形的平方项的系数是二次型矩阵A的特征值，所以如果不计特征值的排列顺序，f 的标准形就是唯一的. § 5.4 二次型 5.4.3 用配方法将二次型化为标准形 例5.15 化二次型 为标准形，并求所用的变换矩阵C. 正交变换化二次型为标准形，具有保持几何性质不变的优点，但有时计算量较大.如果不限于用正交变换，那么还可以有多种方法(对应地有多个可逆的线性变换)把二次型化为标准形. 这里举例说明用拉格朗日配方法将二次型化为标准形的方法. § 5.4 二次型 令 即有可逆线性变