二次型和对称矩阵课件.ppt

《二次型和对称矩阵课件.ppt》由会员分享，可在线阅读，更多相关《二次型和对称矩阵课件.ppt（69页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。

1、第九章第九章 二次型二次型9.1 9.1 二次型和对称矩阵二次型和对称矩阵9.2 9.2 复数域和实数域上的二次型复数域和实数域上的二次型9.3 9.3 正定二次型正定二次型9.4 9.4 主轴问题主轴问题 我思故我在。我思故我在。-笛卡儿笛卡儿(Rene Descartes(Rene Descartes，1596-1650)1596-1650)如果我能够看的更远，那是因为我站在巨人如果我能够看的更远，那是因为我站在巨人的肩上。的肩上。-牛顿（牛顿（Newton,1642Newton,164217271727）惠州学院数学系9.1 二次型和对称矩阵二次型和对称矩阵一一.内容分布内容分布 9.1

2、.1 二次型及矩阵 9.1.2 线性变换 9.1.3 矩阵的合同 9.1.4 二次型的标准形二二.教学目的教学目的 1.掌握二次型及其矩阵的定义掌握二次型及其矩阵的定义 以及矩阵的合同以及矩阵的合同 2.理解关于二次型的线性变换理解关于二次型的线性变换 3.了解二次型的标准形了解二次型的标准形三三.重点难点重点难点:合同、线性变换、二次型的标准形合同、线性变换、二次型的标准形 惠州学院数学系9.1.1 9.1.1 二次型及矩阵二次型及矩阵 定义定义1 1 设设F是一个数域，是一个数域，F上上n n元二次齐次多项式元二次齐次多项式（1 1）叫做叫做F上的一个上的一个n n 元二次型。元二次型。F

3、 上上n n 元多项式总可以看成元多项式总可以看成 F 上的上的n n 个变量的函个变量的函数，二次型（数，二次型（1 1）定义了一个函数）定义了一个函数 所所以以n n 元二次型也叫元二次型也叫n n 个变量的二次型个变量的二次型.在（在（1）中令）中令 因为因为 所以（所以（1）式可以写成以下形式：）式可以写成以下形式：惠州学院数学系（2 2）是（是（2）式右端的系数所构成的矩阵）式右端的系数所构成的矩阵,称称为二次型为二次型 的矩阵。因为的矩阵。因为 ,所以所以A是是F上的一个上的一个n 阶对称矩阵，利用矩阵的乘阶对称矩阵，利用矩阵的乘法，（法，（2）式可以写成）式可以写成（3 3）二次

4、型（二次型（3）的秩指的就是矩阵）的秩指的就是矩阵A的秩。的秩。惠州学院数学系9.1.2 线性变换线性变换如果对二次型（如果对二次型（3）的变量施行如下的一个变换：）的变量施行如下的一个变换：（4）那么就得到一个关于那么就得到一个关于 的二次型的二次型（4）式称为变量的线性变换，令）式称为变量的线性变换，令 是（是（4）的系数据构成的矩阵，则（的系数据构成的矩阵，则（4）可以写成）可以写成 惠州学院数学系（5）将（将（5）代入（）代入（3）就得到）就得到（6）矩阵矩阵P称为线性变换（称为线性变换（4）的矩阵。）的矩阵。如果如果P是非奇异是非奇异的，就称（的，就称（4）是一个）是一个非奇异线性变

5、换非奇异线性变换。因为。因为A是是对称矩阵，所以对称矩阵，所以 也是对称矩阵。也是对称矩阵。惠州学院数学系推论推论9.1.2 一个二次型的秩在变量的非奇异线性变一个二次型的秩在变量的非奇异线性变换之下保持不变。换之下保持不变。注意注意:如果不取二次型的矩阵是对称矩阵，则推论如果不取二次型的矩阵是对称矩阵，则推论9.1.2不成立不成立 定理定理9.1.1 设设 是数域是数域F上的一个以上的一个以A为为矩阵的矩阵的n元二次型。对它的变量施行一次以元二次型。对它的变量施行一次以P为矩为矩阵的线性变换后所得到的二次型的矩阵是阵的线性变换后所得到的二次型的矩阵是 。惠州学院数学系9.1.3 矩阵的合同矩

6、阵的合同定义定义2 设设A，B是数域是数域F上的两个上的两个n 阶矩阵。如果存阶矩阵。如果存在在F上的一个非异矩阵上的一个非异矩阵P，使得，使得 那么称那么称B与与A合同。合同。矩阵的合同关系的性质：矩阵的合同关系的性质：传递性：如果传递性：如果 B B 与与 A A 合同，合同，C C 与与 B B 合同，那合同，那么么C C 与与 A A 合同。合同。自反性：任意矩阵自反性：任意矩阵A A都与自身合同，因为都与自身合同，因为IAI=AIAI=A 对称性：如果对称性：如果B B与与A A合同，那么合同，那么A A也与也与B B合同，因为合同，因为由由 可以得出可以得出惠州学院数学系事实上，由

7、事实上，由 可得可得合同的矩阵显然有相同的秩，并且与一个对合同的矩阵显然有相同的秩，并且与一个对称矩阵合同的矩阵仍是对称的称矩阵合同的矩阵仍是对称的.是数域是数域F上两个上两个n 元二次型，它们的元二次型，它们的矩阵分别为矩阵分别为A 和和 B.如果可以通过变量的非奇异线如果可以通过变量的非奇异线性变换将性变换将 ，则，则B与与A 合同合同.反之，设反之，设B与与A 合同合同.于是存在于是存在F上非奇异矩阵上非奇异矩阵P 使得使得 .通过以通过以P为矩阵的非奇异线性变换就将为矩阵的非奇异线性变换就将 .F上两个二次型叫上两个二次型叫等价等价，如果可以通过变量的，如果可以通过变量的非奇异线性变换

8、将其中一个变成另一个非奇异线性变换将其中一个变成另一个.惠州学院数学系定理定理9.1.3 数域数域F上两个二次型等价的必要且充分上两个二次型等价的必要且充分条件是它们的矩阵合同。条件是它们的矩阵合同。等价的二次型具有相同的秩。等价的二次型具有相同的秩。定理定理9.1.4 是数域是数域F上的一个上的一个n阶对称矩阶对称矩阵。总存在阵。总存在F上一个上一个n阶非奇异矩阵阶非奇异矩阵P，使得，使得即即F上的一个上的一个n阶对称矩阵都与一个对角形式矩阵合阶对称矩阵都与一个对角形式矩阵合同。同。惠州学院数学系证证 我们将利用矩阵的初等变换来证明这个定我们将利用矩阵的初等变换来证明这个定理。回忆一下理。回

9、忆一下5.2里所定义的三种初等矩阵里所定义的三种初等矩阵 容易看出，容易看出，现在对矩阵现在对矩阵A的阶的阶n作数学归纳法，作数学归纳法，n=1时定时定理显然成立。设理显然成立。设n 1，并且假设对于，并且假设对于n 1阶对称阶对称矩阵来说，定理成立。矩阵来说，定理成立。是一个是一个n阶矩阵阶矩阵.如果如果A=O，这时，这时A本身就是对角形式。设本身就是对角形式。设 ,我们分两种情形来考虑我们分两种情形来考虑.惠州学院数学系(a)设设A的主对角线上元素不全为零，例如，的主对角线上元素不全为零，例如，.如果如果i 1，那么交换，那么交换A的第的第1列与第列与第I 列，再交换第列，再交换第1行与第

10、行与第i行，就可以把行，就可以把 换到左上角。这样就相当换到左上角。这样就相当于初等矩阵于初等矩阵 ,再用再用 .于是于是 的左上角的元素的左上角的元素不等于零不等于零.因此，我们不妨设因此，我们不妨设 ，用，用 乘乘 j 行，就可以把行，就可以把第一行第第一行第 j 列和第列和第 j 行第行第1列位置的列位置的元素变成零元素变成零。A的第的第1列加到第列加到第 j 列，再用列，再用 乘第乘第1行加到第行加到第惠州学院数学系这相当于用这相当于用 右乘右乘A，用，用 左乘左乘A。这样，总可以选取初等矩阵。这样，总可以选取初等矩阵 ,使得使得 这里这里 是一个是一个n 1阶的对称矩阵。阶的对称矩阵

11、。惠州学院数学系由归纳法假设，存在由归纳法假设，存在n 1阶可逆矩阵阶可逆矩阵 使得使得 取取惠州学院数学系那么那么 这里这里 。惠州学院数学系(b)如果如果 .由于由于AO，所以，所以一定有某一个元素一定有某一个元素 .把把A的第的第 j 列列加到第加到第 i列列,再把第再把第 j 行加到第行加到第 i行行,这相当于初等这相当于初等矩阵矩阵 右乘右乘A.再用再用 左乘左乘A.而经过这而经过这样的变换后所得到的矩阵第样的变换后所得到的矩阵第 i行第行第 j 列的元素是列的元素是 .于是由情形（于是由情形（b）就归结到情形（）就归结到情形（a）.注意注意 在定理在定理 9.1.2的主对角形矩阵的

12、主对角形矩阵 中，主对中，主对角线上的元素角线上的元素 的一部分甚至全部可以是的一部分甚至全部可以是零。显然，不为零的零。显然，不为零的 的个数等于的个数等于A的秩，如果秩的秩，如果秩A等于等于r 0，那么由定理的证明过程可以知，那么由定理的证明过程可以知惠州学院数学系给了数域给了数域 F 上一个上一个n 阶对称矩阵阶对称矩阵A，由定理由定理9.1.2的证明过程还可以看出，我们可以具体求出的证明过程还可以看出，我们可以具体求出一个可逆矩阵一个可逆矩阵P，使，使 有对角形式，只要在对有对角形式，只要在对A施行一对列初等变换和行初等变换的同时，仅对施行一对列初等变换和行初等变换的同时，仅对n阶单位

13、矩阵阶单位矩阵 I 施行同样的列初等变换，那么当施行同样的列初等变换，那么当A化化为对角形式时，为对角形式时，I 就化为就化为P。例例1 1 设设 惠州学院数学系我们按定理我们按定理9.1.2所给出的方法对所给出的方法对A施行行和列施行行和列初等变换，将初等变换，将A变成，使得是一个对变成，使得是一个对角形矩阵。同时对单位矩阵角形矩阵。同时对单位矩阵，施行同样的初等变，施行同样的初等变换而得出换而得出P。交换交换A第一列和第二列，第一行和第二行，同第一列和第二列，第一行和第二行，同时交换时交换 的第一列和第二列。这时的第一列和第二列。这时A和和 分别化分别化为：为：惠州学院数学系把把 的第一列

14、乘以的第一列乘以2加到第三列，第一行乘以加到第三列，第一行乘以2加到第三行，同时把加到第三行，同时把 的第一列乘以的第一列乘以2加到第三加到第三列。分别得到：列。分别得到：把把 的第四列加到第二列，第四行加到第二的第四列加到第二列，第四行加到第二行，同时把行，同时把 和第四列加到第二列，得和第四列加到第二列，得惠州学院数学系以以 2/3 和和 1/2 乘乘 的第二列依次回到第三的第二列依次回到第三列和第四列上列和第四列上,再以再以 2/3 和和1/2 乘第二行依次加乘第二行依次加到第三行和第四行上，同时对到第三行和第四行上，同时对 的列施行同样的的列施行同样的初等变换。得初等变换。得惠州学院数

15、学系最后，以最后，以 3/4 乘乘 的第三列加到第四列上的第三列加到第四列上,再以再以3/4 乘第三行加到第四行上，并且对乘第三行加到第四行上，并且对 的列的列施行同样的初等变换，我们得到施行同样的初等变换，我们得到 取取 。于是。于是惠州学院数学系9.1.4 9.1.4 二次型的标准形二次型的标准形定理定理9.1.5 数域数域F上每一个上每一个n元二次型元二次型 可以通过变量的非奇异线性变换化为：可以通过变量的非奇异线性变换化为：例如，例如，以以例例 1 中对称矩阵中对称矩阵A为矩阵的二次型是为矩阵的二次型是 惠州学院数学系通过变量的非奇异线性变换通过变量的非奇异线性变换 化为化为 惠州学院

16、数学系练习练习1 写出下列二次型的矩阵写出下列二次型的矩阵 练习练习2 写出对应下列方阵的二次型写出对应下列方阵的二次型 例例2 分别用配方法和合同变换法化二次型分别用配方法和合同变换法化二次型 成标准形成标准形.(读者答题）读者答题）惠州学院数学系练习练习3 3 已知二次型已知二次型 试对它作如下非奇异线性变换试对它作如下非奇异线性变换惠州学院数学系9.2 9.2 复数域和实数域上的二次型复数域和实数域上的二次型 一一.内容分布内容分布 9.2.1 复二次型的典范形复二次型的典范形 9.2.2 实二次型的典范形实二次型的典范形二二.教学目的教学目的 1掌握复二次型的典范形、实二次型的典范形、

17、掌握复二次型的典范形、实二次型的典范形、实二次实二次 型的惯性指标型的惯性指标.、符号差等概念。、符号差等概念。2掌握实二次型的惯性定律掌握实二次型的惯性定律.三三.重点、难点：重点、难点：实二次型的惯性定律实二次型的惯性定律.惠州学院数学系复数域和实数域上的二次型分别叫做复二次型复数域和实数域上的二次型分别叫做复二次型和实二次型和实二次型.9.2.1 复二次型的典范形复二次型的典范形 定理定理9.2.1 复数域上两个复数域上两个n阶对称矩阵合同的充分阶对称矩阵合同的充分且必要条件是它们有相同的秩且必要条件是它们有相同的秩.两个复二次型等价两个复二次型等价的充分且必要条件是它们有相同的秩的充分

18、且必要条件是它们有相同的秩.证证 显然只要证明第一个论断显然只要证明第一个论断.条件的必要性是明显的条件的必要性是明显的.我们只要证条件的充我们只要证条件的充分性分性.设设A，B是复数域上两个是复数域上两个n阶对称矩阵，且阶对称矩阵，且A与与B有相同的秩有相同的秩r，由定理，由定理9.1.2，分别存在复可逆，分别存在复可逆矩阵矩阵P和和Q，使得，使得惠州学院数学系惠州学院数学系取取 n n 阶复矩阵阶复矩阵的一个平方根的一个平方根.惠州学院数学系那么那么 ，而，而 因此，矩阵因此，矩阵A，B 都与矩阵都与矩阵 合同，所以合同，所以A与与B合同合同.惠州学院数学系9.2.2 9.2.2 实二次型

19、的典范形实二次型的典范形定理定理9.2.2 实数域上每一实数域上每一n 阶对称矩阵阶对称矩阵A 都合同于都合同于如下形式的一个矩阵：如下形式的一个矩阵：（1）这里这里 r 等于等于A的秩的秩.证证 由定理由定理9.1.2，存在实可逆矩阵，存在实可逆矩阵P，使得，使得 惠州学院数学系如果如果r 0，必要时交换两列和两行，我们总，必要时交换两列和两行，我们总可以假定可以假定 惠州学院数学系取取 那么那么惠州学院数学系定理定理9.2.3 实数域上每一实数域上每一 n 元二次型都与如下形式元二次型都与如下形式的一个二次型等价：的一个二次型等价：（1）这里这里 r 是所给的二次型的秩是所给的二次型的秩.

20、二次型（二次型（1）叫做）叫做实二次型的典范形式，实二次型的典范形式，定理定理9.2.3 是说，实数域上每一个二次型都与一个典范是说，实数域上每一个二次型都与一个典范形式等价形式等价.在典范形式里，平方项的个数在典范形式里，平方项的个数 r 等于二等于二次型的秩，因而是唯一确定的次型的秩，因而是唯一确定的.惠州学院数学系定理定理 9.2.4 9.2.4（惯性定律）（惯性定律）设实数域设实数域R R上上n n元二次型元二次型 等价于两个典范形式等价于两个典范形式（2）（3）那么那么证证 设（设（2）和（）和（3）分别通过变量的非奇异线性变）分别通过变量的非奇异线性变换换（4）（5）惠州学院数学系

21、化为所给的二次型化为所给的二次型 如果如果 不不妨设妨设 考虑考虑 个方程的齐次线性个方程的齐次线性方程组方程组（6 6）因为因为 所以所以 因此，方程组因此，方程组（6）在）在R内有非零解内有非零解.令令 是（是（6）的）的一个非零解一个非零解.把这一组值代入把这一组值代入 的表示式的表示式惠州学院数学系（4）和（）和（5）.记记 我们有我们有惠州学院数学系然而然而所以所以 因为因为 都是非负数，所以必须都是非负数，所以必须又又 所以所以 是是齐次线性方程组齐次线性方程组 的一个非零解的一个非零解.这与矩阵这与矩阵 的非奇异性矛盾的非奇异性矛盾.惠州学院数学系这就证明了这就证明了 .同理可证

22、得同理可证得 .所以所以 由这个定理，实数域上每一个二次型都与由这个定理，实数域上每一个二次型都与 唯一的典范形式（唯一的典范形式（1）等价）等价.在在（1）中，正平方项的个数）中，正平方项的个数 p 叫做所给二次型的惯叫做所给二次型的惯性指标性指标.正项的个数正项的个数p与负项的个数与负项的个数 r p 的差的差s=p (r p)=2p r 叫做叫做所给的二次型的符号差所给的二次型的符号差.一个实二次型的秩，惯性指标和符号都是唯一确定一个实二次型的秩，惯性指标和符号都是唯一确定的的.惠州学院数学系定理定理9.2.5 实数域上两个实数域上两个 n 元二次型等价的充分元二次型等价的充分且必要条件

23、是它们有相同的秩和符号差且必要条件是它们有相同的秩和符号差.证证 设设 是实数是实数域上两个域上两个n元二次型元二次型.令令 分别是它们的矩分别是它们的矩阵阵.那么由定理那么由定理9.2.2，存在实可逆矩阵，存在实可逆矩阵P，使得，使得如果如果 等价，那么等价，那么 合同合同.于是存在于是存在实可逆矩阵实可逆矩阵Q 使得使得 .取取 ，那，那么么惠州学院数学系因此因此 都与同一个典范形式等价，所以它们有都与同一个典范形式等价，所以它们有相同的秩和符号差相同的秩和符号差.反过来，如果反过来，如果 有相同的秩有相同的秩 r 和符号差和符号差s,那么它们也有相同的惯性指标那么它们也有相同的惯性指标

24、.因此因此 都与矩阵都与矩阵惠州学院数学系合同合同.由此推出由此推出 合同，从而合同，从而 等价等价.推论推论 9.2.6 实数域实数域 R 上一切上一切n元二次型可以分成元二次型可以分成 类，属于同一类的二次型彼此等价，类，属于同一类的二次型彼此等价，属于不同类的二次型互不等价属于不同类的二次型互不等价.证证 给定给定 .令令 惠州学院数学系由定理由定理9.2.4，R上每一上每一n元二次型恰与一个以元二次型恰与一个以 为矩阵的典范形式等价为矩阵的典范形式等价.当当 r 取定后，取定后，p 可以取可以取0，1，r；而；而 r 又可以取又可以取0，1，n 中任何一中任何一个数个数.因此这样的因此

25、这样的 共有共有 个个.对于每一个对于每一个 ，就有一个典范形式，就有一个典范形式 惠州学院数学系与它相当与它相当.把与同一个典范形式等价的二次型放在把与同一个典范形式等价的二次型放在一类，于是一类，于是 R 上的一切上的一切 n 元二次型恰可以分成元二次型恰可以分成 类，属于同一类的二次彼此等价，类，属于同一类的二次彼此等价，属于不同类的二次互不等价属于不同类的二次互不等价.例例 1 a 满足什么条件时，二次型满足什么条件时，二次型 的惯性指标是的惯性指标是0，符号差是，符号差是2？写出其典范形。？写出其典范形。惠州学院数学系解解 实二次型实二次型 的矩阵为的矩阵为 经过合同变换可化为标准形

26、经过合同变换可化为标准形 所以当所以当 或或 时，二次型的惯性指标是时，二次型的惯性指标是0，符号差是，符号差是2，其典范形为，其典范形为 惠州学院数学系一内容分布一内容分布一内容分布一内容分布9.3.1正定二次型正定二次型 9.3.2 正定二次型的判别正定二次型的判别二、教学目的二、教学目的二、教学目的二、教学目的 1掌握正定二次型、正定矩阵、顺序主子式、负掌握正定二次型、正定矩阵、顺序主子式、负定二次型、半正定二次型、半负定二次型、不定定二次型、半正定二次型、半负定二次型、不定二次型的概念。二次型的概念。三、重点、难点三、重点、难点三、重点、难点三、重点、难点 实二次型实二次型 正定的判定

27、。正定的判定。2掌握实二次型掌握实二次型 正定的判正定的判 定定理。定定理。9.3 9.3 正定二次型正定二次型惠州学院数学系9.3.1 9.3.1 正定二次型与正定矩阵正定二次型与正定矩阵1基本概念基本概念 i）正定二次型）正定二次型实二次型实二次型 称为称为正定的正定的，如果对于，如果对于任意一组不全为零的实数任意一组不全为零的实数 都有都有 ii）正定矩阵）正定矩阵 实对称矩阵实对称矩阵 称为称为正定的正定的，如果二次型，如果二次型 惠州学院数学系iii）负定、半正定、半负定、不定的二次型）负定、半正定、半负定、不定的二次型设设 是一实二次型，如果对于任意一是一实二次型，如果对于任意一组

28、不全为零的实数组不全为零的实数 ，都有都有 ,那么那么 称为称为负定负定的；的；都有都有 ，那么，那么 称为称为半半正定的；正定的；都有都有 ，那么那么 称为称为半半负定的；负定的；如果它既不是半正定又不是半负定，那么如果它既不是半正定又不是半负定，那么 就称为就称为不定的不定的.称为称为正定正定 称为称为负定负定 称为称为半正定半正定 称为称为半负定半负定 惠州学院数学系例例1 下列实二次型是否为正定的二次型：下列实二次型是否为正定的二次型：1）2）3）（半正定）（半正定）例例2 若若 ，都是都是 阶正定矩阵，阶正定矩阵，证明：证明：是正定矩阵。是正定矩阵。证明证明：只需证明只需证明 正定。

29、正定。由由 ，都是正定矩阵，知都是正定矩阵，知 ，正定，正定，所以对于任意一组不全为所以对于任意一组不全为零的实数零的实数，有有，从而从而 故故 正定。正定。惠州学院数学系2两个结论两个结论实二次型实二次型 是正定的当且仅当是正定的当且仅当 .证明证明：若若 正定，正定，则对任意一组不全为零的实数则对任意一组不全为零的实数 ，都有，都有 .分别选取分别选取 为为 ，则有，则有 .若若 .则对任意一组不全为零的实数则对任意一组不全为零的实数 ，都有，都有 所以所以 是正定的。是正定的。惠州学院数学系非退化实线性替换保持实二次型的正定性不变非退化实线性替换保持实二次型的正定性不变.设实二次型设实二

30、次型(1)经过非退化实线性替换经过非退化实线性替换(2)变成二次型变成二次型(3)则则 是正定的是正定的 是正是正定的。定的。惠州学院数学系证明：证明：若若 是正定的。对于任意一是正定的。对于任意一 组不全为零的实数组不全为零的实数 ，令，令由于由于 是可逆实矩阵，故是可逆实矩阵，故 也是一组不全也是一组不全为零的实数，从而为零的实数，从而 因为二次型（因为二次型（3）也可以经非退化实线性替换）也可以经非退化实线性替换变到二次型（变到二次型（1 1），所以按同样理由，当（），所以按同样理由，当（3 3）正定）正定时，（时，（1 1）也正定）也正定.惠州学院数学系9.3.2 9.3.2 正定二次

31、型的判别正定二次型的判别 1判别定理判别定理1：实二次型实二次型 是正定的是正定的 它的正惯它的正惯性指数等于性指数等于 .实二次型实二次型 是正定的是正定的 它的规范它的规范形为形为 。一个实对称矩阵是正定的一个实对称矩阵是正定的 它与单位矩阵合它与单位矩阵合同同.例例3 正定矩阵的行列式大于零正定矩阵的行列式大于零.逆命题不成立。逆命题不成立。反例：反例：的行列式大于零，但它对应的二次型的行列式大于零，但它对应的二次型 不是正定的。不是正定的。惠州学院数学系提示：提示：2矩阵的顺序主子式矩阵的顺序主子式 称为矩阵称为矩阵 的顺序主子式的顺序主子式.矩阵矩阵 的第的第 个顺序主子式为个顺序主

32、子式为 练习练习1：若若 是是 阶实矩阵，则满足（阶实矩阵，则满足（）时，）时，是正定矩阵。是正定矩阵。惠州学院数学系称为矩阵称为矩阵 的顺序主子式的顺序主子式.3判别定理判别定理2：实二次型实二次型 是正定的是正定的 矩阵矩阵 的顺序主子式全大于零的顺序主子式全大于零.惠州学院数学系例例4 判定二次型判定二次型 是否正定是否正定.的矩阵为的矩阵为 ，它的顺序主子，它的顺序主子式式 所以，所以，正定。正定。惠州学院数学系A ，B.非退化，非退化，C.的元素的元素全是正实数，全是正实数，D.的主对角上元素全为正。的主对角上元素全为正。练习练习2：若若 是正定矩阵，则下列结论错误的是（是正定矩阵，

33、则下列结论错误的是（）。）。练习练习3：设设 易知易知 都是正定矩阵，但都是正定矩阵，但 不是正定矩阵。不是正定矩阵。惠州学院数学系9.4 主轴问题主轴问题 一一.内容分布内容分布 9.4.1 变量的正交变换变量的正交变换 9.4.2 实对称矩阵的相似对角形实对称矩阵的相似对角形二二.教学目的教学目的:1掌握变量的正交变换掌握变量的正交变换 2掌握将实二次型通过变量的正交变换化为一掌握将实二次型通过变量的正交变换化为一 个只含变量平方项的二次型个只含变量平方项的二次型三三.重点、难点重点、难点:实二次型通过变量的正交变换化为一个只含变实二次型通过变量的正交变换化为一个只含变量平方项的二次型量平

34、方项的二次型惠州学院数学系9.4.1 变量的正交变换变量的正交变换我们已经看到我们已经看到,实数域上一个二次型实数域上一个二次型 可以经过变量的非奇异变换可以经过变量的非奇异变换化为二次型化为二次型惠州学院数学系定义定义:我们一般地讨论将一个我们一般地讨论将一个n元实二次型通元实二次型通过变量的正交变换化为一个只含变量平方项的二次过变量的正交变换化为一个只含变量平方项的二次型问题型问题,这个问题称为二次型的主轴问题这个问题称为二次型的主轴问题.这里所这里所说的变量的正交变换指的是这个变换的矩阵是正交说的变量的正交变换指的是这个变换的矩阵是正交矩阵矩阵.由于正交矩阵是非奇异的由于正交矩阵是非奇异

35、的,所以变量的正交变所以变量的正交变换是非奇异的换是非奇异的.用矩阵的语言来说就是用矩阵的语言来说就是,给一个实给一个实对称矩阵对称矩阵A,要寻求一个正交矩阵要寻求一个正交矩阵U,使得使得 是对角形式是对角形式,这个问题在这个问题在8.4里实际上已经得到解里实际上已经得到解决决.惠州学院数学系定理定理9.4.1 设设 是实数域上一个二次型是实数域上一个二次型,那么总可以通过变量的正那么总可以通过变量的正交变换交变换 化为化为 这里这里U是一个正交矩阵是一个正交矩阵,而而 是二次型是二次型 的全部特征的全部特征根根.惠州学院数学系证证 是一个是一个n 阶实对称矩阵阶实对称矩阵.由定理由定理8.4

36、.3 和和 8.4.6,存在一个正交矩阵存在一个正交矩阵U,使得使得这里这里 是是A的全部特征根的全部特征根.这也就相这也就相当于说以当于说以A为矩阵的二次型可以通过变量的正交变为矩阵的二次型可以通过变量的正交变换化为标准形式换化为标准形式 惠州学院数学系推论推论9.4.2 设设 是实数域上一个是实数域上一个n元二次型元二次型,是它的矩阵是它的矩阵.(i)二次型二次型 的秩等于的秩等于A 的不等于的不等于零的特征根的个数零的特征根的个数,而符号差等于而符号差等于A 的正特征根个的正特征根个数与负特征根个数的差数与负特征根个数的差.(ii)二次型二次型 是正交的必要且只要是正交的必要且只要A的所

37、有特征根都是正数的所有特征根都是正数.9.4.2 9.4.2 实对称矩阵的相似对角形实对称矩阵的相似对角形惠州学院数学系例例1 已知实二次型已知实二次型 (1)用正交线性变换将二次型化为标准形用正交线性变换将二次型化为标准形,并写出并写出所用的正交线性变换；所用的正交线性变换；(2)求出的秩、惯性指标与符号差求出的秩、惯性指标与符号差.解解 （1）的矩阵为的矩阵为求求 f 的全部特征根：因为的全部特征根：因为惠州学院数学系故的全部特征根为故的全部特征根为 （二重），（二重），。对特征根对特征根 ，解齐次线性方程组，解齐次线性方程组 得一基础解系：得一基础解系：惠州学院数学系对特征根对特征根 ，解齐次线性方程组，解齐次线性方程组 得一基础解系：得一基础解系：对对 正交化、单位化得：正交化、单位化得：惠州学院数学系以以 为列作一个正交矩阵为列作一个正交矩阵惠州学院数学系则则 于是于是 经过正交线性变换经过正交线性变换 ，化为标准形化为标准形（2）由（由（1）的秩为的秩为2，惯性指，惯性指标标 ，符号差，符号差 .惠州学院数学系