线性代数与解析几何：二次型部分.pptxVIP

第六章 二次型与二次曲面 二次型讨论的对象是多元二次齐次函数，这种函数在物理、统计、规划、极值等问题中有广泛的应用． 例如在三维空间的几何问题中，一般二次曲面在直角坐标系下表示为三元二次函数，通过对二次型的讨论，可以研究二次曲面的分类.本章主要讨论： 1．?二次型的理论； 2．?空间曲面与曲线； 3. 二次曲面的分类． 1．定义6.1个变量 的二次齐次函数 称为 元二次型，简称二次型. 当 为实数时，称 为实二次型， 为复数时 为复二次型，本书只讨论实二次型．6.1 实二次型6.1.1 二次型的定义及矩阵表示 2．矩阵形式： 则二次型的矩阵形式为 为二次型 的矩阵,为二次型的秩． 3．二次型 对称阵 注：讨论二次型问题，首要的问题是给定二次型能准确地写出二次型的矩阵，反之，给定一个对称阵，会写出以它为矩阵的二次型. 这里的关键概念是二次型的矩阵是一个对称矩阵. 例1 设二次型 试写出二次型 的矩阵.（ 为三元二次型） 解：将交叉项 的系数除2即平均分配给 及的二次型的系数矩阵 为 例２ 将二次型 写成矩阵形式. 解： 是一个四元二次型，先写出二次型的矩阵 例３ 设 ，试写出以 为矩阵的二次型. 分析： 是一个3阶对称阵，对应的三元二次型，把 与 合并后写出二次型. 解：设 6.1.2 合同矩阵 1．定义6.2（合同）二个 阶方阵 和，可逆阵 ，使 ，则称 与 合同（Congruent）. 矩阵合同的定义与矩阵相似的定义很相似，也是 阶方阵之间的一 种等价关系. 即 2．合同 等价，合同 等秩，反之都不成立．但不等秩，则一定不合同. 3．合同关系具有以下性质： （1）自反性. （2）对称性. （3）传递性. （4） 与 合同，则 . 4．（二次型的变换）合同二次型 设二次型, 经可逆线性变换 （ 可逆） 其中 ，即 与 合同， 仍是对称阵. 所以经可逆线性变换后，二次型的对应矩阵是合同的. 也可以说：合同的矩阵是同一二次型关于不同变量的矩阵[我们教材是将变量看成 个基下的坐标， 是一个基到另一个基的过渡矩阵，合同阵是不同基下的矩阵]. 5．实对称阵 （不但和对角阵相似，也与对角阵合同）. 由于实对称可正交相似对角化. 所以存在正交阵 ，使 所以实对称阵 都与对角阵合同. 换句话说，就是任意实二次型都可通过一个适当的可逆线性变换化成只有平方项 而没有混合项. 这就引出了二次型的标准形的概念. 设 （1） 令 （1）可变为. 但不惟一.（2） 当 是可逆阵时. （1）式是可逆线性变换. 6.2 化实二次型为标准形 1．标准二次型：只含有平方项的二次型 称为 元二次型的一个标准型. 不惟一. 线性变换为6.2.1 用正交变换化实二次型为标准形 对于实二次型，最实用的方法是正交变换法，即所作的可逆线性变换中可逆矩阵 不只是可逆，还是正交矩阵. 这个正交阵的存在是由实对称矩阵的性质决定的，值得注意的是这种方法仅限于实二次型. 定理6.1 对 元实二次型 ， 正交线性变换：（不惟一） ，使二次型 化为标准形. 是 的 个特征值. 注1o的秩 的标准形中系数不为0的平方项的个数. 2o 任一个实二次型都可通过可逆线性变换化为标准形. 元二次型的标准形不惟一，有两种方法化标准形. 例5 用正交线性变换化实二次型为标准形. 化成标准形. 解：（1）二次型 的矩阵为（2）由 ， 得 的特征值为.（3）对 时，解.即所以得同解方程组为 得基础解系为. 正交化： ∥ 单位化： 当 时，由方程组 即 得基础解系