第六章实二次型.docVIP

第六章 实二次型 二次型的理论和方法在几何、多元函数的最值、控制理论等方面都有着很重要的应用．本章主要讨论在实数域上如何利用可逆线性变换及正交变换化二次型为标准型，并讨论了正定二次型和正定矩阵的性质． 引例 二次曲面的研究 考虑二次方程： ． （6.1） 试问在空间直角坐标系下，（6.1）表示怎样的二次曲面． 第一节 实二次型及其标准型 一、二次型的概念 定义1 个变量的二次齐次函数 　　 = （6.２） 称为关于变量的元二次型，若为实数，则（6.2）称为实二次型．本章若无特殊说明，所讨论的二次型都是指实二次型． 令，有，于是（6.２）可表示成 ． （6.３） 定义2 只含有完全平方项的二次型，称为二次型的标准形．形如的二次型称为二次型的规范形． 二、二次型的矩阵表示形式 对实二次型（6.3），有 ， 记，则实二次型可表示为 ，　　　　　　 （6.4） 其中为实对称矩阵，叫做二次型的矩阵，也把叫做实对称矩阵的实二次型． 总之，任给一个实二次型，可以唯一确定一个实对称矩阵；反之，任给一个实对称矩阵，也可以唯一确定一个实二次型，它们之间是一一对应关系．因此，我们把实对称矩阵的秩，称为二次型的秩． 　　例1 写出二次型的矩阵及矩阵表示式，并求该二次型的秩． 解 二次型的矩阵为，则二次型的矩阵表示式 ． 又，所以，则二次型的秩也等于３． 思 考 题 一 1．对于矩阵，，有 ， 　　试问二次型的矩阵是还是矩阵？为什么？ 2．请思考怎样快速写出给定二次型的矩阵；请针对定义２中二次型的标准形和规范形，写 　　出其二次型的矩阵． 第二节 化实二次型为标准型 通常将二次型转化为标准型的方法有配方法，正交变换法和初等变换法，本节我们着重讲述前两种方法． 一、线性变换 变量与变量的关系式 　　　　　　（6.5） 称为由变量到变量的线性变换，其中是实数．令 ， 则矩阵称为由变量到变量的线性变换矩阵，且（6.5）可表示为 ．　　　　　　　　 （6.6） 若为可逆矩阵，则（6.6）称为可逆线性变换（或非退化的线性变换）．若为正交矩阵，则（6.6）称为正交变换． 如果为正交变换，则 ， 即正交变换保持向量的长度不变． 二、用配方法化二次型为标准形 １、二次型中含有完全平方项情形 例2 化二次型为标准形，并求所用的可逆线性变换． 解 ， 令即，得可逆线性变换 ， 此时二次型的标准形． 2、二次型中不含有完全平方项情形 例3 化二次型为标准形，并求所用的可逆线性变换． 解 令即，代入二次型，再配方得 ． 令，即，得二次型的标准型为 ． 所用的可逆线性变换为 ． 三、用正交变换法化二次型为标准形 对二次型，作可逆线性变换，得 ， 就是说，若原二次型的矩阵为，那么新二次型的矩阵为，其中是所用可逆线性变换的矩阵．其对应关系是： 　　定义３ 设均为阶矩阵，若存在可逆矩阵，使得，则称矩阵与合同． 显然，矩阵合同满足下面性质： （1）如果为对称矩阵，则也为对称矩阵． （2）． （3）如果与合同，与合同，则与合同． 对于给定二次型，我们主要讨论的问题是找到可逆线性变换，使 ， 则得到了二次型的标准型．问题等价于，已知实对称矩阵，求可逆矩阵，使得为对角矩阵．而对于实对称矩阵，存在正交矩阵，使，其中是以的个特征值为主对角线元素的对角矩阵．因此我们有以下定理： 定理1 对任意元实二次型，总存在正交变换，将二次型化为标准形 ， 其中是实二次型的矩阵的个特征值． 例4 求一个正交变换，把二次型化为标准形． 解 二次型的矩阵．的特征多项式 ， 得的特征值． 当时，解齐次线性方程组，得基础解系，单位化得． 当时，解齐次线性方程组，得基础解系，单位化得． 当时，解齐次线性方程组，得基础解系，单位化得． 令正交矩阵，于是正交变换，且得二次型的标准形． 例5 求一个正交变换，把二次型化为标准形． 解 二次型的矩阵．的特征多项式 ， 得的特征值． 当时，解齐次线性方程组，得基础解系 ， 正交化得，；再单位化得 ． 当时，解齐次线性方程组，得基础解系，单位化得． 令正交矩阵=，于是正交变换，且得二次型的标准形． 思 考 题 二 1．利用配方法化二次型为标准形的步骤是什么？ 2．总结利用正交化方法化二次型为标准形的步骤，需要注意什么问题?