第六章二次型与二次曲面.ppt

《第六章二次型与二次曲面.ppt》由会员分享，可在线阅读，更多相关《第六章二次型与二次曲面.ppt（91页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、第六章二次型与二次曲面第六章二次型与二次曲面第一节第一节 二次型的基本概念二次型的基本概念定义定义一、二次型及其矩阵一、二次型及其矩阵称为一个称为一个(n元元)二次型二次型.本书只讨论本书只讨论实二次型实二次型，即系数全是实数的二次型。，即系数全是实数的二次型。12/13/20222于是上述二次型可以写成如下求和形式于是上述二次型可以写成如下求和形式 12/13/2022312/13/20224记记则上述二次型可以用矩阵形式表示为则上述二次型可以用矩阵形式表示为 A称为二次型称为二次型 的矩阵。的矩阵。12/13/20225A的秩称为该二次型的秩。的秩称为该二次型的秩。A称为二次型称为二次型

2、的矩阵。的矩阵。A是一个实对称矩阵。是一个实对称矩阵。事实上，由一个实对称矩阵也可构造唯一的实二次型，也就是说，实二次型与实对称矩阵是事实上，由一个实对称矩阵也可构造唯一的实二次型，也就是说，实二次型与实对称矩阵是互相唯一确定的，所以，研究二次型的性质可以转化为研究它的矩阵互相唯一确定的，所以，研究二次型的性质可以转化为研究它的矩阵A所具有的性质。所具有的性质。12/13/20226例例1 1设二次型设二次型 求二次型的矩阵求二次型的矩阵A和二次型的秩。和二次型的秩。解解所以所以r(A)=3，即二次型的秩等于，即二次型的秩等于3。12/13/20227例例2 2求二次型求二次型 的矩阵的矩阵A

3、和二次型的秩，和二次型的秩，解解所以二次型所以二次型 f 的矩阵为的矩阵为12/13/20228二、线性变换二、线性变换在平面解析几何中，为了确定二次方程在平面解析几何中，为了确定二次方程 所表示的曲线的性态，通常利用转轴公式：所表示的曲线的性态，通常利用转轴公式：12/13/20229定义定义关系式关系式 记记则上述线性则上述线性变换变换可以写成矩阵形式：可以写成矩阵形式：12/13/202210C 称为该线性称为该线性变换变换的矩阵。的矩阵。如果如果C 为正交矩阵，则此线性为正交矩阵，则此线性变换变换称为正交变换。称为正交变换。容易验证，转轴公式容易验证，转轴公式是一个正交是一个正交变换变

4、换。12/13/202211三、矩阵的合同关系三、矩阵的合同关系 由于由于C是可逆矩阵，所以是可逆矩阵，所以A和和B秩相等秩相等,从而两个二次型的秩相等。从而两个二次型的秩相等。12/13/202212定义定义 与矩阵的相似关系类似，矩阵之间的合同关系也具有以下性质。与矩阵的相似关系类似，矩阵之间的合同关系也具有以下性质。(1)(1)反身性：反身性：(2)(2)对称性：对称性：(3)(3)传递性：传递性：A AA BB AA BB CA C证明证明只证只证(3)(3)，其余留作练习。，其余留作练习。12/13/202213第二节第二节 二次型的标准形二次型的标准形12/13/202214一、二

5、次型的标准形一、二次型的标准形定义定义下面介绍二次型化为标准形的方法。下面介绍二次型化为标准形的方法。12/13/2022151、用正交变换法化二次型为标准形用正交变换法化二次型为标准形定理定理任何二次型都可以通过正交任何二次型都可以通过正交变换变换化为标准形。化为标准形。而由正交阵性质可知，而由正交阵性质可知，因此这样的正交因此这样的正交 12/13/202216用正交变换化二次型为标准形的具体步骤：用正交变换化二次型为标准形的具体步骤：12/13/202217例例1 1 用正交用正交变换变换将二次型将二次型 解解化为标准形，并求所作的正交化为标准形，并求所作的正交变换变换。二次型的矩阵二次

6、型的矩阵12/13/20221812/13/202219再单位化，合在一起，即得所求正交再单位化，合在一起，即得所求正交变换变换的矩阵的矩阵正交化，正交化，12/13/202220于是所求正交变换为于是所求正交变换为标准形为标准形为12/13/202221解解化为标准形，并求所作的正交化为标准形，并求所作的正交变换变换。二次型的矩阵二次型的矩阵例例2 2 用正交用正交变换变换将二次型将二次型 12/13/20222212/13/20222312/13/202224正交化，正交化，12/13/20222512/13/202226再单位化，合在一起，即得所求正交再单位化，合在一起，即得所求正交变换

7、变换的矩阵的矩阵所作正交变换为所作正交变换为标准形为标准形为12/13/202227例例3 3解解12/13/202228由题意由题意,这两个矩阵相似这两个矩阵相似,12/13/202229第三节第三节 惯性定理与二次型的规范形惯性定理与二次型的规范形一个实二次型，既可以通过正交变换化为标准形，也可以通过拉格朗日配方法化为标准形，一个实二次型，既可以通过正交变换化为标准形，也可以通过拉格朗日配方法化为标准形，显然，其标准形一般来说是不唯一的。显然，其标准形一般来说是不唯一的。但是，标准形中系数不为零的项数是确定的，项数等于二次型的秩但是，标准形中系数不为零的项数是确定的，项数等于二次型的秩 实

8、际上，不仅标准形中的非零系数的个数是确定的，其中正的系数个数和负的系数个数也实际上，不仅标准形中的非零系数的个数是确定的，其中正的系数个数和负的系数个数也被原二次型所确定，这就是下面的被原二次型所确定，这就是下面的“惯性定理惯性定理”。12/13/202230定理定理(惯性定理惯性定理)p为正惯性指数为正惯性指数,正负惯性指数的差正负惯性指数的差 称为二次型的称为二次型的符号差符号差.为负惯性指数为负惯性指数,无论用何种可逆线性变换把它化为标准形无论用何种可逆线性变换把它化为标准形,其中正的系数个数其中正的系数个数(称正惯性指数称正惯性指数)和负的系数个数和负的系数个数(称负惯性称负惯性指数指

9、数)唯一确定唯一确定.证略证略12/13/202231继续作可逆线性变换，继续作可逆线性变换，矩阵形式为矩阵形式为12/13/202232二次型化为二次型化为称之为二次型的称之为二次型的规范形规范形.定理定理 任一二次型都可以通过可逆线性变换化为规范形任一二次型都可以通过可逆线性变换化为规范形,且规范形是唯一的且规范形是唯一的.化二次型为规范形时，所作的线性变换不一定是正交变换。化二次型为规范形时，所作的线性变换不一定是正交变换。12/13/202233定理定理 任一实对称矩阵任一实对称矩阵 A 与对角阵与对角阵12/13/202234推论推论 两个两个 n 阶实对称矩阵合同的充分必要条件是它

10、们的秩和正惯性指数分别相等。阶实对称矩阵合同的充分必要条件是它们的秩和正惯性指数分别相等。第四节第四节 正定二次型与正定矩阵正定二次型与正定矩阵12/13/202235一一、基本概念、基本概念定义定义如果二次型的取值有正有负，就称为不定二次型。如果二次型的取值有正有负，就称为不定二次型。设设 A 为实对称矩阵，为实对称矩阵，对任意非零向量对任意非零向量X，12/13/202236二、正定矩阵、正定二次型的判别二、正定矩阵、正定二次型的判别由定义，可得以下结论：由定义，可得以下结论：充分性是显然的；下面用反证法证必要性：充分性是显然的；下面用反证法证必要性：代入二次型，得代入二次型，得 12/1

11、3/202237 由上述两个结论可知，研究二次型的正定性，只要通过非退化线性变换，将其化为标准形，就由上述两个结论可知，研究二次型的正定性，只要通过非退化线性变换，将其化为标准形，就容易由以下定理判别其正定性。容易由以下定理判别其正定性。12/13/202238定理定理准则准则1实对称矩阵实对称矩阵A正定的充分必要条件是正定的充分必要条件是A的特征值的特征值全为正。全为正。12/13/202239解解例例1 判别二次型判别二次型是否正定。是否正定。二次型对应的矩阵为二次型对应的矩阵为 12/13/202240全为正，全为正，因此二次型正定。因此二次型正定。12/13/202241准则准则212

12、/13/202242解解例例2 判别二次型判别二次型是否正定。是否正定。二次型对应的矩阵为二次型对应的矩阵为 它的顺序主子式为：它的顺序主子式为：因此因此 A是正定的，是正定的，即二次型即二次型 f 正定。正定。12/13/202243解解例例3 设有实二次型设有实二次型 问问 t 取何值时，该二次型为正定二次型？取何值时，该二次型为正定二次型？f 的矩阵为的矩阵为 顺序主子式为：顺序主子式为：解得解得12/13/202244三、正定矩阵的性质三、正定矩阵的性质1 1、若、若 A 为正定矩阵，则为正定矩阵，则 A 的行列式为正，因而可逆。的行列式为正，因而可逆。都是正定阵，都是正定阵，2 2、

13、若、若 A 为正定矩阵为正定矩阵,则则其中其中 k 为正整数。为正整数。这是因为：这是因为：12/13/2022453 3、若、若 A 为正定矩阵，则为正定矩阵，则 A 的主对角元全为正。的主对角元全为正。证证4 4、若、若 A 和和 B 为正定矩阵，则为正定矩阵，则 A+B 也为正定矩阵。也为正定矩阵。证证对任意非零向量对任意非零向量X，12/13/2022465 5、实对称矩阵实对称矩阵A为正定矩阵的充分必要条件是存在可逆矩阵为正定矩阵的充分必要条件是存在可逆矩阵P，使得，使得 实际上，正定二次型的规范形为实际上，正定二次型的规范形为即即A正定的充分必要条件是正定的充分必要条件是A合同于单

14、位矩阵合同于单位矩阵E，即存在可逆矩阵即存在可逆矩阵P，使，使12/13/202247证证因为因为于是于是12/13/202248类似结论有：类似结论有：12/13/202249 显然，显然，A是负定（半负定是负定（半负定 ）的当且仅当）的当且仅当-A是正定（半正定）的。由此，容易得出以下结论：是正定（半正定）的。由此，容易得出以下结论：（2 2）A负定的充分必要条件是负定的充分必要条件是A的特征值全负；的特征值全负；（3 3）A半负定的充分必要条件是半负定的充分必要条件是A的特征值非正；的特征值非正；（4 4）A负定的充分必要条件是负定的充分必要条件是A的奇数阶顺序主子式全为负而偶数阶顺序主

15、子式全为正；的奇数阶顺序主子式全为负而偶数阶顺序主子式全为正；（1 1）A半正定的充分必要条件是半正定的充分必要条件是A的特征值非负；的特征值非负；（5 5）若）若A负定，则负定，则A的对角元全为负。的对角元全为负。注意注意:1.最后一条只是必要条件。最后一条只是必要条件。2.A的顺序主子式全非负，的顺序主子式全非负，A也未必是半正定的。也未必是半正定的。12/13/202250例例4 4 设矩阵设矩阵 显然显然A的顺序主子式的顺序主子式但对角元有正有负，显然但对角元有正有负，显然A是不定的。是不定的。12/13/202251例例5 5判定下列二次型是否为有定二次型。判定下列二次型是否为有定二

16、次型。解解(1)f 的矩阵为的矩阵为 顺序主子式顺序主子式 所以所以 f 是负定的。是负定的。12/13/202252例例5 5判定下列二次型是否为有定二次型。判定下列二次型是否为有定二次型。(2)f 的矩阵为的矩阵为 顺序主子式顺序主子式 所以所以 f 是不定的。是不定的。解解12/13/202253备用例题1 1、解解C是正定的。是正定的。且且C是实对称阵，故是实对称阵，故C是正定矩阵。是正定矩阵。12/13/202254证证必要性：必要性：充分性充分性:将上述过程逆推将上述过程逆推,即可得证即可得证.12/13/202255四、二次曲面四、二次曲面第五节第五节一、曲面方程的概念一、曲面方

17、程的概念二、旋转曲面二、旋转曲面 三、柱面三、柱面曲面及其方程曲面及其方程 12/13/202256一、曲面方程的概念一、曲面方程的概念求到两定点A(1,2,3)和B(2,-1,4)等距离的点的化简得即说明说明:动点轨迹为线段 AB 的垂直平分面.引例引例:显然在此平面上的点的坐标都满足此方程,不在此平面上的点的坐标不满足此方程.解解:设轨迹上的动点为轨迹方程.12/13/202257定义定义1.如果曲面 S 与方程 F(x,y,z)=0 有下述关系:(1)曲面 S 上的任意点的坐标都满足此方程;则 F(x,y,z)=0 叫做曲面曲面 S 的方程的方程,曲面 S 叫做方程 F(x,y,z)=0

18、 的图形图形.两个基本问题两个基本问题:(1)已知一曲面作为点的几何轨迹时,(2)不在曲面 S 上的点的坐标不满足此方程,求曲面方程.(2)已知方程时,研究它所表示的几何形状(必要时需作图).12/13/202258故所求方程为例例1.求动点到定点方程.特别,当M0在原点时,球面方程为解解:设轨迹上动点为即依题意距离为 R 的轨迹表示上(下)球面.12/13/202259例例2.研究方程解解:配方得此方程表示:说明说明:如下形式的三元二次方程(A 0)都可通过配方研究它的图形.其图形可能是的曲面.表示怎样半径为的球面.球心为 一个球面球面,或点点,或虚轨迹虚轨迹.12/13/202260定义定

19、义2.一条平面曲线二、旋转曲面二、旋转曲面 绕其平面上一条定直线定直线旋转一周所形成的曲面叫做旋转曲面旋转曲面.该定直线称为旋转旋转轴轴.例如例如:12/13/202261建立yoz面上曲线C 绕 z 轴旋转所成曲面的方程:故旋转曲面方程为当绕 z 轴旋转时,若点给定 yoz 面上曲线 C:则有则有该点转到12/13/202262思考：思考：当曲线 C 绕 y 轴旋转时，方程如何？12/13/202263例例3.试建立顶点在原点,旋转轴为z 轴,半顶角为的圆锥面方程.解解:在yoz面上直线L 的方程为绕z 轴旋转时,圆锥面的方程为两边平方12/13/202264例例4.求坐标面 xoz 上的双

20、曲线分别绕 x轴和 z 轴旋转一周所生成的旋转曲面方程.解解:绕 x 轴旋转绕 z 轴旋转这两种曲面都叫做旋转双曲面.所成曲面方程为所成曲面方程为12/13/202265三、柱面三、柱面引例引例.分析方程表示怎样的曲面.的坐标也满足方程解解:在 xoy 面上，表示圆C,沿曲线C平行于 z 轴的一切直线所形成的曲面称为圆圆故在空间过此点作柱面柱面.对任意 z,平行 z 轴的直线 l,表示圆柱面圆柱面在圆C上任取一点 其上所有点的坐标都满足此方程,12/13/202266定义定义3.平行定直线并沿定曲线 C 移动的直线 l 形成的轨迹叫做柱面柱面.表示抛物柱面抛物柱面,母线平行于 z 轴;准线为x

21、oy 面上的抛物线.z 轴的椭圆柱面椭圆柱面.z 轴的平面平面.表示母线平行于(且 z 轴在平面上)表示母线平行于C 叫做准线准线,l 叫做母线母线.12/13/202267一般地,在三维空间柱面,柱面,平行于 x 轴;平行于 y 轴;平行于 z 轴;准线 xoz 面上的曲线 l3.母线柱面,准线 xoy 面上的曲线 l1.母线准线 yoz 面上的曲线 l2.母线12/13/202268四、二次曲面四、二次曲面三元二次方程 适当选取直角坐标系可得它们的标准方程,下面仅 就几种常见标准型的特点进行介绍.研究二次曲面特性的基本方法:截痕法截痕法 其基本类型有:椭球面、抛物面、双曲面、锥面的图形通常

22、为二次曲面二次曲面.(二次项系数不全为 0)12/13/2022691 1.椭球面椭球面(1)范围：(2)与坐标面的交线：椭圆12/13/202270与的交线为椭圆：(4)当 ab 时为旋转椭球面;同样的截痕及也为椭圆.当abc 时为球面.(3)截痕:为正数)12/13/2022712.抛物面抛物面(1)椭圆抛物面(p,q 同号)(2)双曲抛物面（鞍形曲面）特别,当 p=q 时为绕 z 轴的旋转抛物面.(p,q 同号)12/13/2022723.双曲面双曲面(1)(1)单叶双曲面单叶双曲面椭圆.时,截痕为(实轴平行于x 轴；虚轴平行于z 轴）平面 上的截痕情况:双曲线:12/13/202273

23、虚轴平行于x 轴）时,截痕为时,截痕为(实轴平行于z 轴;相交直线:双曲线:12/13/202274(2)双叶双曲面双叶双曲面双曲线椭圆注意单叶双曲面与双叶双曲面的区别:双曲线单叶双曲面双叶双曲面12/13/2022754.椭圆锥面椭圆锥面椭圆在平面 x0 或 y0 上的截痕为过原点的两直线.可以证明,椭圆上任一点与原点的连线均在曲面上.(椭圆锥面也可由圆锥面经 x 或 y 方向的伸缩变换得到。)12/13/202276例例8.直线绕 z 轴旋转一周,求此旋转转曲面的方程.提示提示:在 L 上任取一点旋转轨迹上任一点,则有得旋转曲面方程12/13/202277化为标准型，并指出化为标准型，并指

24、出 表示何种二次表示何种二次曲面曲面.例例9.求一正交变换，将二次型求一正交变换，将二次型解解对应特征向量为对应特征向量为12/13/202278再单位化，合在一起，即得所求正交再单位化，合在一起，即得所求正交变换变换的矩阵的矩阵二次型的标准形二次型的标准形12/13/202279一、空间曲线的一般方程一、空间曲线的一般方程二、空间曲线的参数方程二、空间曲线的参数方程 三、空间曲线在坐标面上的投影三、空间曲线在坐标面上的投影第六节空间曲线及其方程 12/13/202280一、空间曲线的一般方程一、空间曲线的一般方程空间曲线可视为两曲面的交线,其一般方程为方程组例如例如,方程组表示圆柱面与平面的

25、交线 C.C12/13/202281又如又如,方程组表示上半球面与圆柱面的交线C.12/13/202282二、空间曲线的参数方程二、空间曲线的参数方程将曲线C上的动点坐标x,y,z表示成参数t 的函数:称它为空间曲线的 参数方程.例如,圆柱螺旋线的参数方程为上升高度,称为螺距螺距.12/13/202283例例1.将下列曲线化为参数方程表示:解解:(1)根据第一方程引入参数,(2)将第二方程变形为故所求为得所求为12/13/202284例例2.求空间曲线:绕 z 轴旋转时的旋转曲面方程.解解:点 M1绕 z 轴旋转,转过角度 后到点 则这就是旋转曲面满足的参数方程.12/13/202285例如例

26、如,直线绕 z 轴旋转所得旋转曲面方程为 消去 t 和 ,得旋转曲面方程为12/13/202286绕 z 轴旋转所得旋转曲面(即球面)方程为 又如又如,xoz 面上的半圆周说明说明:一般曲面的参数方程含两个参数,形如12/13/202287三、空间曲线在坐标面上的投影三、空间曲线在坐标面上的投影设空间曲线 C 的一般方程为消去 z 得投影柱面则C 在xoy 面上的投影曲线 C为消去 x 得C 在yoz 面上的投影曲线方程消去y 得C 在zox 面上的投影曲线方程12/13/202288例如例如,在xoy 面上的投影曲线方程为12/13/202289又如又如,所围的立体在 xoy 面上的投影区域为:上半球面和锥面在 xoy 面上的投影曲线二者交线所围圆域:二者交线在xoy 面上的投影曲线所围之域.12/13/202290例例3.求平面曲线绕 z 轴旋转的曲面与平面 的交线在 xoy 平面的投影曲线方程.解：解：旋转曲面方程为交线为此曲线向 xoy 面的投影柱面方程为 此曲线在 xoy 面上的投影曲线方程为,它与所给平面的12/13/202291