乐思数学通 › 考研数学(三) › 第 13 章 二次型

合同变换与惯性定理

§13.3 · 核心概念🌱 基础篇 →

考频价值

0.24 分/卷近 11 年平均
2/11 年出现年份
0.4 分支撑的下游价值

前置诊断

① 直接前置(需先掌握)二次型及其标准形、规范形化二次型为标准形(配方法、正交变换)③ 掌握后可解锁正定二次型

要点精讲

把关键道理、证明与典型例子重新过一遍。

1. 求负惯性指数的第三种方法:顺序主子式序列 的变号次数

求惯性指数通常有两种方法:一是化为标准形后数系数的正负个数,二是求出特征值后数其符号。此外还有一种不必求特征值的方法,即雅可比(Jacobi)定理:如果各阶顺序主子式 全不为零,那么负惯性指数 等于序列 中相邻两项变号的次数,正惯性指数 等于相邻两项同号(即不变号)的次数。因此在含参数的题目中,只需算出几个行列式并考察其符号,就能读出 。必须注意,本定理的前提是所有 ;如果某个顺序主子式为零,此法失效,应改用特征值或标准形。
证明 / 推导以下给出证明的要点。如果 全不为零,那么对 可以施行不换行的对称高斯消元,即作 分解,得 ,其中第 个主元 ()。根据合同变换下惯性指数不变, 等于负主元的个数 ,也就是序列 的变号次数;与此相类似, 等于同号的次数。
举例说明设 。它的各阶顺序主子式为 。于是序列为 ,相邻两项的符号依次为 :变号 次(、),故 ;同号 次(),故 。这与直接求特征值 所得的 完全一致。

2. 合同不变量与合同下可以改变的量,判断题的常考内容★★ 必会

合同变换 保持的是符号结构,而不保持具体数值。下面分两类列出。
合同不变量(一定不变):秩 、正惯性指数 、负惯性指数 、 符号差 、行列式的符号 、是否正定或半正定。
合同下可以改变的量:特征值(数值)、迹 、行列式的数值 、矩阵的元素。
由此可见,合同只保持符号的个数,不保持数值;只有相似变换才保持特征值、迹与行列式的数值。
证明 / 推导证. 秩不变: 可逆 。 不变:这就是惯性定理。行列式的符号:,而 ,因此它与 同号;但二者相差一个可以任意取值的正因子 ,所以 的数值是可以改变的。特征值与迹也会改变:例如 ,特征值由 变为 ,迹由 变为 。
举例说明(数三2007)设 ,,问 与 是合同、相似,还是二者兼有。由 得 的特征值为 ; 的特征值为 。相似要求特征值的数值完全相同,而 (迹 也说明这一点),故二者不相似,这是因为特征值与迹都是合同下可以改变的量。合同只看正、负、零特征值的个数:两者都是 个正、 个负、 个零,惯性一致,故二者合同。这个例子说明合同而不相似是可能的,它印证了前面所列的两类量:合同保持 这类关于符号的统计量,而不保持特征值与迹。

3. 利用完全判据做证明题: 与 合同 正、负惯性指数相等()★★ 必会

合同的完全判据( 相同)不仅可以用来判断两个矩阵是否合同,而且是证明这类命题的基本工具。下面是一个典型的结论:实对称矩阵 与 合同的充分必要条件是它的符号差为零,即 。事实上, 把每个特征值都变号,于是正、负惯性指数互换 ;要使它与原来的一致,就必须 。一般地,凡是判断某个矩阵与它的某种变形是否合同的题目,都可以化归为比较 。
证明 / 推导证. 设 的惯性指数为 。 的特征值是 的特征值的相反数,故正、负特征值的个数互换,从而 的惯性指数为 。根据完全判据,。
举例说明矩阵 的特征值为 ,故 ,满足 ,因此 。还可以给出显式的合同矩阵 :。再看一个反例: 的 ,此时 ,所以它与 不合同。

4. 规范形是每个合同类的唯一代表; 阶实对称矩阵按合同关系恰分成 类★ 要懂

惯性定理在分类上的意义如下:每个实对称矩阵都合同于唯一的规范形 ,它是整个合同类的唯一标准代表。因此合同类的个数就等于 的取法个数。对于 阶矩阵,按秩 从 到 逐一枚举:当秩为 时, 可取 ,共 种,故合计 类。
证明 / 推导证. 任意实对称矩阵 经合同变换化为规范形,其形状由 (等价地由 )完全确定;根据完全判据,不同的 给出互不合同的规范形。因此合同类与满足 的整点 一一对应。下面计数。固定 ,这时 有 个,故总数为 。
举例说明设 。这时共有 个合同类,其代表元为 (零型)、、、、、,分别对应 。任何 阶实对称矩阵都合同于其中之一。
💡 小知识
惯性定理又叫西尔维斯特惯性定律,1852 年由英国数学家西尔维斯特提出。惯性一词是借来的比喻:不论怎样用合同变换去晃动一个二次型,正负号的个数都像物体的惯性一样纹丝不动。

基础例题

从最基础开始,循序渐进;先独立尝试,再展开完整解答。

例 1 设二次型 ,求其矩阵的正、负惯性指数、秩与规范形。 难度 1思路:惯性指数看特征值的符号即可,不必真化标准形。

写矩阵: 均分得 ,。

求特征值: 单独给特征值 ;块 的特征值为 。故特征值为 。

数符号: 正特征值 个();负特征值 个();秩 。

规范形: 把系数归一为 、正项排前,得 。
例 2 设 ,。判断 与 是否合同、是否相似,并说明理由。 难度 2求两者的惯性指数。
- :特征值由 得 ,故 ,;
- :对角阵,特征值 ,故 ,。

判合同: 二者都是 阶实对称矩阵,且 ,由合同的完全判据(惯性定理)知 与 合同。(也可用行列式符号快速印证:,,同号,与合同相容。)

判相似: 的特征值 与 的特征值 不同,而相似矩阵必有相同特征值,故 与 不相似。

小结: 这是「合同却不相似」的典型——合同只保特征值的符号个数 ,不保其数值。
例 3 设实对称矩阵 ,讨论参数 取不同值时,二次型 的正、负惯性指数。 难度 2方法:用顺序主子式的符号来读惯性指数。

对 按第一行展开:。

情形一:。 全正 正定,三个特征值全正,,。

情形二:。 ,秩降;因 故 。此时前两个顺序主子式为正、无负号引入,第三个特征值为 ,,。

情形三:。 ,即三个特征值之积为负,故负特征值个数为奇数;又 排除了「三个全负」,只能恰有一个负特征值,,。

归纳: 时 ; 时 ; 时 。

真题精选

近年原题,先做做看、自动判分,再对照答案、思路与完整解答。

2023 年 · 数三 · 第 6 题 · 选择题 · 5 分

二次型 的规范形为(  )。
  • A
  • B
  • C
  • D

2016 年 · 数三 · 第 6 题 · 选择题 · 4 分

设二次型 的正、负惯性指数分别为 ,则( )
  • A.
  • B.
  • C.
  • D 或 .

2009 年 · 数三 · 第 6 题 · 选择题 · 4 分

设 均为 阶矩阵, 为 的转置矩阵,且 。若 ,,则 为(  )。
  • A.
  • B.
  • C.
  • D.

随堂练习

先用基础题热身,再按年份从新到旧挑战本知识点的其余真题。

练习 1 · 选择题

设实对称矩阵 与 合同,则下列一定成立的是( )。
  • A
  • B 与 同号(或同为 )
  • C 与 有相同的特征值
  • D

练习 2 · 填空题

已知 阶实对称矩阵 的特征值为 ,矩阵 与 合同,则 ____。

练习 3 · 选择题

(数三2008)设 ,则在实数域上与 合同的矩阵为( )。
  • A
  • B
  • C
  • D

练习 4 · 填空题

二次型 的秩为 ,则 ____。

练习 5 · 选择题

设二次型 的矩阵为 。若 与 合同,则 的取值范围是( )。
  • A
  • B
  • C
  • D

练习 6 · 填空题

设二次型 的负惯性指数为 ,则 的取值范围是 ____。

练习 7 · 解答题

设二次型

其矩阵记为 。已知 经某个正交变换可化为标准形 。

(1) 求 与 的全部特征值;

(2) 求一个正交矩阵 ,使 把 化为上述标准形;

(3) 求一个可逆矩阵 ,使 ;并据此说明 与 合同但不相似。

2008 年 · 数三 · 第 6 题 · 选择题 · 4 分

设 ,则在实数域上与 合同的矩阵为(  )
  • A.
  • B.
  • C.
  • D.

2007 年 · 数三 · 第 8 题 · 选择题 · 4 分

设矩阵 ,,则 与 (  )
  • A合同且相似
  • B合同,但不相似
  • C不合同,但相似
  • D既不合同,也不相似

2001 年 · 数三 · 第 18 题 · 解答题 · 8 分

设 为 阶实对称矩阵,, 是 中元素 的代数余子式(),二次型 (1)记 ,把 写成矩阵形式,并证明二次型 的矩阵为 ;(2)二次型 与 的规范形是否相同?说明理由。