4.3二次型及其标准形.doc

§4.3 二次型及其标准形 1．用正交变换化二次型为标准形 在解析几何中,为了便于研究二次曲线 (3.1) 的几何性质,可以选择适当的坐标旋转变换 把方程化为标准形 . (3.1)式的左边是一个二次齐次多项式,上述标准化问题,实际上就是通过变元的正交线性变换化简一个二次齐次多项式,使它只含有平方项.这样一个问题,在许多理论问题或实际问题中常会遇到.现在我们把这类问题一般化,讨论个变元的二次齐次多项式的化简问题. 定义3.1 含有个变元的二次齐次多项式 (3.2) 称为元二次型(quadratic form),记作,其中. 记阶对称矩阵,,直接验算可知,(3.2)式可表示为 . 对称矩阵与二次型一一对应,称对称矩阵为二次型的矩阵. 只含有平方项的二次型称为标准形.可以证明 通过变元的正交线性变换,一个二次型总能化为标准形. 事实上,对于阶对称矩阵,由§4.2节定理2.3知,存在正交矩阵,使 , 其中是的个特征值.而对于元二次型,若选取正交变换,则 . 这样,通过正交变换,二次型就化为变元的标准形. 例3.1 求一个正交变换,化二次型 为的标准形. 解 二次型的矩阵为 . 由§4.2节例2.1,求得正交矩阵 , 使 . 因此,取正交变换,就把化为标准形 . 由例3.1知,二次曲面 通过正交变换 化为标准方程 . 此方程表示一旋转双叶双曲面.因为正交变换保持几何形状不变,所以二次曲面 也是一旋转双叶双曲面. 2．用配方法化二次形为标准形 用正交变换化二次型为标准形,具有保持几何形状不变的优点,但正交变换的算法较繁琐.如果只考虑二次型的代数特点,我们可以更一般地讨论,用可逆线性变换化二次型为标准形.具体地说,就是: 寻求一个可逆线性变换,使二次型化为变元的标准形 . 特别地,系数只在三个数中取值的标准形称为规范形. 下面举例说明拉格朗日(Lagrange)配方法. 例3.2 求一个可逆线性变换,化二次型 为的规范形. 解 . 令 即 就把化为规范形 . 所求可逆线性变换为,其中 例3.3 化二次型 为标准形. 解 令 代入得 . 令 即 就把化为标准形 . 所用可逆线性变换为,其中变换矩阵 . 例3.2中含平方项,则把含的所有项归并配方;例3.3中不含平方项,则把化为,其中令 按这两例方法所得的变换矩阵,是对角元素全不为零的三角矩阵或其乘积,从而必可逆. 3．对称矩阵合同对角化的初等变换解法 设可逆线性变换,则二次型 . 当变元从变换为时,二次型的矩阵从变换为. 定义3.2 设为阶矩阵,若有可逆矩阵,使,则称矩阵与合同. 矩阵的合同具有反身性、对称性和传递性. 二次型的标准化问题,也即对称矩阵的合同对角化问题.当矩阵为对称矩阵时,合同矩阵也为对称矩阵.由初等变换保持矩阵的秩,可知.因此,二次型的标准形中含有的项数(非零系数的个数),就是对称矩阵的秩,称它为二次型的秩. 以下介绍对称矩阵合同对角化的初等变换解法: 设,其中都是初等矩阵,则 . 对矩阵依次施行相应于左乘的初等行变换,得矩阵 , 再对子矩阵依次施行相应于右乘的初等列变换,得矩阵 . 因此,同时成对地对矩阵施行行与列的初等变换,将它化为矩阵 , 当矩阵化为对角矩阵(即为对角矩阵)的同时,单位矩阵就化为合同变换矩阵的转置矩阵. 例3.4 求一个可逆线性变换,化二次型 为的标准形. 解 二次型的矩阵为 , 同时成对地对矩阵施行行与列的初等变换,将它化为矩阵: . 故知可逆线性变换,其中 , 将所给二次型化成标准形 . 习 题 4.3 1．写出下列各二次型的矩阵: （1）; （2）. 2．求一可逆线性变换化下列二次型为规范形: （1）; （2）. 3．求一可逆矩阵,使为对角矩阵: （1）;（2）. 4．试求一个正交变换,化下列二次型为标准形: （1）; （2）. 5．二次曲面 表示一个什么曲面? 6．证明:二次型在时的最大值为对称矩阵的最大特征值. 91