二次型与标准型课件.ppt

《二次型与标准型课件.ppt》由会员分享，可在线阅读，更多相关《二次型与标准型课件.ppt（30页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、关于二次型与标准型现在学习的是第1页，共30页221axbxycycossin,sincos,xxyyxy221mxny引言：在解析几何中，为了便于研究二次曲线引言：在解析几何中，为了便于研究二次曲线把方程化为标准形把方程化为标准形的几何性质，可以选择适当的坐标旋转变换的几何性质，可以选择适当的坐标旋转变换 现在学习的是第2页，共30页上式的左边是一个二次齐次多项式。上式的左边是一个二次齐次多项式。从代数学的观点看，化标准形的过程从代数学的观点看，化标准形的过程就是通过变量的线性变换化简一个二就是通过变量的线性变换化简一个二次齐次多项式，使它只含有平方项次齐次多项式，使它只含有平方项这样一个问

2、题，在许多理论问题或这样一个问题，在许多理论问题或实际问题中常会遇到。现在我们把实际问题中常会遇到。现在我们把这类问题一般化，讨论这类问题一般化，讨论n个变量的二次齐次多项式的化简问题个变量的二次齐次多项式的化简问题现在学习的是第3页，共30页12,nx xx2221211 122 222 212 1213 131,1( ,)222nnn nnf x xxa xa xa xa x xa x xax x定义定义1 含有含有n个变量个变量 称为二次型。称为二次型。 的二次齐次函数的二次齐次函数例如二元及三元二次型（举例）例如二元及三元二次型（举例）现在学习的是第4页，共30页对于二次型，我们讨论的

3、主要问题是：对于二次型，我们讨论的主要问题是：寻求可逆的线性变换寻求可逆的线性变换 11111221221122221122nnnnnnnnnnxc yc yc yxc ycycyxc ycycy 使二次型只含平方项，也就是代入能使之成为使二次型只含平方项，也就是代入能使之成为2221122nnfk yk yk y这种只含平方项的二次型，称为这种只含平方项的二次型，称为二次型的标准形二次型的标准形 (或法式或法式)。现在学习的是第5页，共30页222211pprfyyyy如果标准形的系数只在如果标准形的系数只在1，-1,0三个三个数中取值，也就是代入数中取值，也就是代入 能使之成为能使之成为则

4、称上式为二次型的规范形则称上式为二次型的规范形。我们利用矩阵来解决这一问题我们利用矩阵来解决这一问题现在学习的是第6页，共30页一。二次型与可逆线性变换的矩阵表示一。二次型与可逆线性变换的矩阵表示例例1.将下列二次型表示成矩阵乘积的形式：将下列二次型表示成矩阵乘积的形式：2221231231 21 323( ,)2324f x x xxxxx xx xx x解：先写成对称形式解：先写成对称形式现在学习的是第7页，共30页123211 21 322 122323 1323( ,)21221232f x x xxx xx xx xxx xx xx xx112321233123(2 )1(2)21(

5、23 )2x xxxx xxxxxxx现在学习的是第8页，共30页利用内积写成：利用内积写成：12312312312321( ,)221232xxxx x xxxxxxx1123231121( ,) 1221232xx x xxx现在学习的是第9页，共30页令：令：11211221232A123123( ,)( ,)TTXx x xXx x x则：则：123( ,)Tf x x xX AX现在学习的是第10页，共30页矩阵矩阵11211221232A是对称矩阵，它是由二次型的系数来决定的，是对称矩阵，它是由二次型的系数来决定的，我们称该二次型的矩阵，而二次型称该矩阵我们称该二次型的矩阵，而二次

6、型称该矩阵的二次型，他们之间是一一对应的。的二次型，他们之间是一一对应的。矩阵矩阵A的秩称对应二次型的秩的秩称对应二次型的秩，写出了二次型的矩，写出了二次型的矩，就容易将二次型表示成矩阵乘积的形式。，就容易将二次型表示成矩阵乘积的形式。现在学习的是第11页，共30页将矩阵与二次型的系数比较，不难发现：将矩阵与二次型的系数比较，不难发现：1）对角元对应相应平方项的系数，）对角元对应相应平方项的系数，2）非对角元对应相应交叉项系数的一半）非对角元对应相应交叉项系数的一半（另一半为其对称元素）（另一半为其对称元素）我们将矩阵与未知数的系数列成下表：我们将矩阵与未知数的系数列成下表：123112213

7、21121223xxxxxx其中表中数字表对应变量乘积之系数其中表中数字表对应变量乘积之系数现在学习的是第12页，共30页例例2.写出下列二次型对应的矩阵，写出下列二次型对应的矩阵，并将二次型表示成矩阵乘积的形式：并将二次型表示成矩阵乘积的形式：2221231232221231231 22312341 223341) ( ,)2342) ( ,)3243) ( ,)222f x x xxxxf x x xxxxx xx xf x x x xx xx xx x解解:其矩阵分别为：其矩阵分别为：1234A2110132021A 现在学习的是第13页，共30页30100101001010010A对应

8、二次型分别写为：对应二次型分别写为：;(1,2,3)TifX AX i下面将可逆线性变换下面将可逆线性变换11111221221122221122nnnnnnnnnnxc yc yc yxc yc yc yxc yc yc y现在学习的是第14页，共30页利用将线性方程组表示成矩阵的方法利用将线性方程组表示成矩阵的方法（变量（变量X与线性方程组中的常数项对应）与线性方程组中的常数项对应）可将可逆线性变换用矩阵表示如下：可将可逆线性变换用矩阵表示如下：XCY其中其中C为线性变换对应的矩阵，为线性变换对应的矩阵，X,Y为为变量对应的向量表示变量对应的向量表示用矩阵乘积表示用矩阵乘积表示现在学习的是

9、第15页，共30页二。将二次型化成标准型：二。将二次型化成标准型：xC y()()TTTTfx AxCyACyyCAC yTBC AC。定义定义5.7 设设n阶矩阵阶矩阵A，若有可逆矩阵，若有可逆矩阵C使使1.将可逆线性变换：将可逆线性变换：代入二次型：代入二次型：TfX AX得：得：则称矩阵则称矩阵A与矩阵与矩阵B合同合同现在学习的是第16页，共30页TBC AC()TTTTTTBC ACC AC C AC BTB C ACTCR(B)=R(A)显然，若显然，若A为对称阵，则为对称阵，则也为对称阵，且也为对称阵，且R(A)=R(B)故故B为对称阵。又因为对称阵。又因也可逆，由矩阵秩的性质即知

10、也可逆，由矩阵秩的性质即知。xCyTCAC由此可知，经可逆线性变换由此可知，经可逆线性变换后，二次型后，二次型f的矩阵由的矩阵由A变成与变成与A合同的矩阵合同的矩阵。且二次型的秩不变且二次型的秩不变。事实上因事实上因C可逆，故可逆，故现在学习的是第17页，共30页矩阵等价，相似，合同是矩阵的三大关系矩阵等价，相似，合同是矩阵的三大关系，总结一下，各自的背景，判定条件，之，总结一下，各自的背景，判定条件，之间的关系，应用。间的关系，应用。矩阵合同关系是等价关系，故满足：矩阵合同关系是等价关系，故满足：自反，对称，传递自反，对称，传递2.用用lagrang配方法把二次型化标准型配方法把二次型化标准

11、型xCy，现在学习的是第18页，共30页上一节我们讲了用正交变换化二次型为标准上一节我们讲了用正交变换化二次型为标准形，这个问题称主轴问题。由于正交变换有形，这个问题称主轴问题。由于正交变换有保持图形不变的性质，因此在研究几何图形保持图形不变的性质，因此在研究几何图形中被广泛应用但在很多场合下我们只需要用中被广泛应用但在很多场合下我们只需要用一般可逆一般可逆线性变换把二次型化标准形。下面我们介线性变换把二次型化标准形。下面我们介绍用绍用Logrange配方法把二次型化成标准形配方法把二次型化成标准形。所用线性变换为可逆线性变换。所用线性变换为可逆线性变换。现在学习的是第19页，共30页1x1x

12、1x2x2x一、一、Logrange配方法的步骤配方法的步骤起头，首先集中所有含起头，首先集中所有含的项进行配方，剩下部分再不含的项进行配方，剩下部分再不含起头，则再集中所有含起头，则再集中所有含，情形情形1，如果二次型中含有平方项。不妨设以，如果二次型中含有平方项。不妨设以不妨设以不妨设以1x的项的项的项进行配方。以此类推，直至全部的项进行配方。以此类推，直至全部配成平方为止配成平方为止现在学习的是第20页，共30页情形情形2，如果二次型中不含有平方项。不妨设含，如果二次型中不含有平方项。不妨设含则变换后即含有平方项，再按情形则变换后即含有平方项，再按情形1进行配方进行配方即可。将以上每次新

13、老变量的线性变换连即可。将以上每次新老变量的线性变换连乘，即得新变量组到终变量组间的可逆线乘，即得新变量组到终变量组间的可逆线性变量。性变量。112212,xyyxyy的项，令的项，令12,x x(2)iixy i注：通过以下例题可看到用注：通过以下例题可看到用Logrange配方法把二次型化成标准形。的步骤与配方法把二次型化成标准形。的步骤与过程，其一般性证明是类似的，留待读者过程，其一般性证明是类似的，留待读者现在学习的是第21页，共30页22211221332346fxx xxx xx21x1x例例5.6.1 用配方法化下列二次型为标准形，用配方法化下列二次型为标准形，设设解解 ，故可先

14、将含，故可先将含的各项集中并进行配平方的各项集中并进行配平方f中含有变量平方项，例如中含有变量平方项，例如现在学习的是第22页，共30页2221121323(24)36fxx xx xxx222221232 32323(2 )4436xxxx xxxxx22212322 33(2 )242x xxxxxx 2212323(2 )2()xxxxx 令可逆线性变换令可逆线性变换现在学习的是第23页，共30页1123223332yxxxyxxyx1123223333xyyyxyyxy2212312(,)f x xxyy11221,2yz yz2212fzz即即使得使得显然如令显然如令上式又可化成规范

15、型上式又可化成规范型现在学习的是第24页，共30页1213233fx xx xx x11221233xyyxyyxy110110001xy例例5.6.2 用配方法把下面二次型化为标准形用配方法把下面二次型化为标准形解：因为解：因为f中不含有变量平方项，所以先做一中不含有变量平方项，所以先做一个简单的可逆线性变换使新二次型出现平方项个简单的可逆线性变换使新二次型出现平方项。为此设。为此设即即现在学习的是第25页，共30页22121 32 31 32 333fyyyyy yyyy y2211322324yy yyy y222132233()4fyyyy yy22213233()(2)3yyyyy代

16、入原二次型得代入原二次型得用例用例5.6.1配方步骤得配方步骤得现在学习的是第26页，共30页113223332zyyzyyzy2221233fzzz11232123333xzzzxzzzxz113111001xz令可逆线性变换令可逆线性变换代入上式，得代入上式，得由上面，式，得可逆线性变换由上面，式，得可逆线性变换即即 现在学习的是第27页，共30页fX AX一般非正交变换的可逆线性变换不再一般非正交变换的可逆线性变换不再保持图形形状不变，但仍保持许多好保持图形形状不变，但仍保持许多好的特性。首先保持秩不变，因此当二的特性。首先保持秩不变，因此当二次型用可逆线性变换化标准形时，其次型用可逆线

17、性变换化标准形时，其非零平方项的个数或独立变量个数）非零平方项的个数或独立变量个数）是不变的。不仅如此，还有如下结论是不变的。不仅如此，还有如下结论定理定理5.9（惯性定理）设秩为（惯性定理）设秩为r的的的实的实二次型二次型，经可逆线性变换化标准形时，正平，经可逆线性变换化标准形时，正平方项的个数方项的个数现在学习的是第28页，共30页请总结一下，请总结一下，用用Logrange配方法把二次型配方法把二次型化成标准形的步骤，并比较用正交变换化成标准形的步骤，并比较用正交变换化标准型各有什么特征，及不同。化标准型各有什么特征，及不同。我们学过矩阵的初等变换，能否通过我们学过矩阵的初等变换，能否通过矩阵的初等变换将对称矩阵化成矩阵的初等变换将对称矩阵化成标准型呢？（请参考有关线性代数书籍）标准型呢？（请参考有关线性代数书籍）p（称正惯性指数）不变，因而负（称正惯性指数）不变，因而负平方项的个数平方项的个数q（称负惯性指数）不（称负惯性指数）不变，变，p-q称符号差，当然也是不变的。称符号差，当然也是不变的。证略。证略。现在学习的是第29页，共30页感谢大家观看感谢大家观看现在学习的是第30页，共30页