要点精讲
把关键道理、证明与典型例子重新过一遍。
1. 求负惯性指数的第三种方法:顺序主子式序列 1,D1,…,Dn 的变号次数
求惯性指数通常有两种方法:一是化为标准形后数系数的正负个数,二是求出特征值后数其符号。此外还有一种不必求特征值的方法,即雅可比(Jacobi)定理:如果各阶顺序主子式 D1,…,Dn 全不为零,那么负惯性指数 q 等于序列 D0=1,D1,D2,…,Dn 中相邻两项变号的次数,正惯性指数 p 等于相邻两项同号(即不变号)的次数。因此在含参数的题目中,只需算出几个行列式并考察其符号,就能读出 (p,q)。必须注意,本定理的前提是所有 Dk=0;如果某个顺序主子式为零,此法失效,应改用特征值或标准形。
证明 / 推导
以下给出证明的要点。如果 D1,…,Dn 全不为零,那么对 A 可以施行不换行的对称高斯消元,即作 LDLT 分解,得 A≃diag(p1,…,pn),其中第 k 个主元 pk=Dk/Dk−1(D0=1)。根据合同变换下惯性指数不变,q 等于负主元的个数 =#{k:Dk/Dk−1<0}=#{k:Dk−1,Dk 异号},也就是序列 D0,…,Dn 的变号次数;与此相类似,p 等于同号的次数。■举例说明
设 A=12021000−3。它的各阶顺序主子式为 D1=1, D2=1⋅1−4=−3, D3=∣A∣=(−3)⋅(−3)=9。于是序列为 D0,D1,D2,D3=1,1,−3,9,相邻两项的符号依次为 +,+,−,+:变号 2 次(1→−3、−3→9),故 q=2;同号 1 次(1→1),故 p=1。这与直接求特征值 3,−1,−3 所得的 (p,q)=(1,2) 完全一致。2. 合同不变量与合同下可以改变的量,判断题的常考内容★★ 必会
合同变换 A→CTAC 保持的是符号结构,而不保持具体数值。下面分两类列出。
合同不变量(一定不变):秩 r、正惯性指数 p、负惯性指数 q、(进而) 符号差 s=p−q、行列式的符号 sgn∣A∣、是否正定或半正定。
合同下可以改变的量:特征值(数值)、迹 trA、行列式的数值 ∣A∣、矩阵的元素。
由此可见,合同只保持符号的个数,不保持数值;只有相似变换才保持特征值、迹与行列式的数值。
证明 / 推导
证. 秩不变:C 可逆 ⇒r(CTAC)=r(A)。(p,q) 不变:这就是惯性定理。行列式的符号:∣CTAC∣=∣C∣2∣A∣,而 ∣C∣2>0,因此它与 ∣A∣ 同号;但二者相差一个可以任意取值的正因子 ∣C∣2,所以 ∣A∣ 的数值是可以改变的。特征值与迹也会改变:例如 diag(1,1)≃diag(4,9),特征值由 {1,1} 变为 {4,9},迹由 2 变为 13。■举例说明
设 A,B 为合同的实对称矩阵,判断下列各量中哪些必定相等:(i) r(A),r(B);(ii) 正惯性指数;(iii) trA,trB;(iv) ∣A∣,∣B∣。解. (i) 与 (ii) 必定相等,因为它们都是合同不变量;(iii) 未必相等,因为迹可以改变;(iv) 未必相等,但符号相同。例如取 A=diag(1,1), B=diag(4,9):秩都是 2,p 都是 2,但 tr 分别为 2 与 13,∣A∣ 分别为 1 与 36,二者同为正数。3. 利用完全判据做证明题:A 与 −A 合同 ⟺ 正、负惯性指数相等(p=q)
合同的完全判据(A≃B⟺(p,q) 相同)不仅可以用来判断两个矩阵是否合同,而且是证明这类命题的基本工具。下面是一个典型的结论:实对称矩阵 A 与 −A 合同的充分必要条件是它的符号差为零,即 p=q。事实上,−A 把每个特征值都变号,于是正、负惯性指数互换 (p,q)→(q,p);要使它与原来的一致,就必须 p=q。一般地,凡是判断某个矩阵与它的某种变形是否合同的题目,都可以化归为比较 (p,q)。
证明 / 推导
证. 设 A 的惯性指数为 (p,q)。−A 的特征值是 A 的特征值的相反数,故正、负特征值的个数互换,从而 −A 的惯性指数为 (q,p)。根据完全判据,A≃−A⟺(p,q)=(q,p)⟺p=q。■举例说明
矩阵 A=(0110) 的特征值为 ±1,故 (p,q)=(1,1),满足 p=q,因此 A≃−A。还可以给出显式的合同矩阵 C=diag(1,−1):CTAC=(100−1)(0110)(100−1)=(0−1−10)=−A。再看一个反例:diag(1,1) 的 (p,q)=(2,0),此时 p=q,所以它与 diag(−1,−1) 不合同。4. 规范形是每个合同类的唯一代表;n 阶实对称矩阵按合同关系恰分成 2(n+1)(n+2) 类★ 要懂
惯性定理在分类上的意义如下:每个实对称矩阵都合同于唯一的规范形
diag(p1,…,1,q−1,…,−1,n−r0,…,0),它是整个合同类的
唯一标准代表。因此合同类的个数就等于
(p,q) 的取法个数。对于
n 阶矩阵,按秩
r=p+q 从
0 到
n 逐一枚举:当秩为
r 时,
p 可取
0,1,…,r,共
r+1 种,故合计
∑r=0n(r+1)=2(n+1)(n+2) 类。
证明 / 推导
证. 任意实对称矩阵 A 经合同变换化为规范形,其形状由 (p,q)(等价地由 (p,r))完全确定;根据完全判据,不同的 (p,q) 给出互不合同的规范形。因此合同类与满足 0≤p, 0≤q, p+q≤n 的整点 (p,q) 一一对应。下面计数。固定 r=p+q∈{0,…,n},这时 p∈{0,…,r} 有 r+1 个,故总数为 ∑r=0n(r+1)=1+2+⋯+(n+1)=2(n+1)(n+2)。■举例说明
设 n=2。这时共有 23⋅4=6 个合同类,其代表元为 diag(0,0)(零型)、diag(1,0)、diag(−1,0)、diag(1,1)、diag(1,−1)、diag(−1,−1),分别对应 (p,q)=(0,0),(1,0),(0,1),(2,0),(1,1),(0,2)。任何 2 阶实对称矩阵都合同于其中之一。真题精选
近年原题,先做做看、自动判分,再对照答案、思路与完整解答。
2025 年 · 数二 · 第 22 题 · 解答题 · 12 分
已知矩阵
A=41−2111−21a,
B=k00060000 合同。
(Ⅰ)求
a 的值及
k 的取值范围;
(Ⅱ)若存在正交矩阵
Q,使得
QTAQ=B,求
k 及
Q。
2023 年 · 数二 · 第 9 题 · 选择题 · 5 分
二次型 f(x1,x2,x3)=(x1+x2)2+(x1+x3)2−4(x2−x3)2 的规范形为( )
- Ay12+y22
- By12−y22
- Cy12+y22−4y32
- Dy12+y22−y32
2021 年 · 数二 · 第 8 题 · 选择题 · 5 分
二次型 f(x1,x2,x3)=(x1+x2)2+(x2+x3)2−(x3−x1)2 的正惯性指数与负惯性指数依次为( )
随堂练习
先用基础题热身,再按年份从新到旧挑战本知识点的其余真题。
练习 1 · 选择题
设实对称矩阵 A 与 B 合同,则下列一定成立的是( )。
- A∣A∣=∣B∣
- B∣A∣ 与 ∣B∣ 同号(或同为 0)
- CA 与 B 有相同的特征值
- DA=B
练习 2 · 填空题
已知 4 阶实对称矩阵 A 的特征值为 2,−3,0,5,矩阵 B 与 A 合同,则 r(B)= ____。
练习 3 · 选择题
下列矩阵中,与 A=(0330) 合同的是( )。
- Adiag(1,1)
- Bdiag(1,−1)
- Cdiag(−1,−1)
- Ddiag(0,1)
练习 4 · 填空题
二次型 f=x12+x22+x32+2ax1x2 的秩为 2,则 a= ____。
练习 5 · 选择题
设 A,B 均为 n 阶实对称矩阵,则下列命题中正确的是( )。
- A若 r(A)=r(B),则 A 与 B 合同
- B若 A 与 B 合同,则 A 与 B 相似
- C若 A 与 B 相似,则 A 与 B 合同
- D若 ∣A∣=∣B∣,则 A 与 B 合同
练习 6 · 填空题
设
A=12021000−2,
B=a000−10001。若
A 与
B 合同,则
a 的取值范围是 ____。
练习 7 · 解答题
设 A 为 3 阶实对称矩阵,满足
A3−3A2−4A=O,r(A)=2,tr(A)=3.
(1) 求 A 的全部特征值;
(2) 求二次型 f=xTAx 的正、负惯性指数与规范形;
(3) 在下列四个矩阵中指出哪些与 A 合同,并说明理由:
diag(1,1,0),diag(1,−1,0),diag(2,−3,0),diag(1,1,−1).
2020 年 · 数二 · 第 22 题 · 解答题 · 11 分
设二次型
f(x1,x2,x3)=x12+x22+x32+2ax1x2+2ax1x3+2ax2x3 经可逆线性变换
x1x2x3=Py1y2y3 化为二次型
g(y1,y2,y3)=y12+y22+4y32+2y1y2。
(Ⅰ)求
a 的值;
(Ⅱ)求可逆矩阵
P。
2014 年 · 数二 · 第 14 题 · 填空题 · 4 分
设二次型 f(x1,x2,x3)=x12−x22+2ax1x3+4x2x3 的负惯性指数为 1,则 a 的取值范围是 ___。
2009 年 · 数二 · 第 8 题 · 选择题 · 4 分
设
A,P 均为
3 阶矩阵,
PT 为
P 的转置矩阵,且
PTAP=100010002。若
P=(α1,α2,α3),
Q=(α1+α2,α2,α3),则
QTAQ 为( )
- A210110002.
- B110120002.
- C200010002.
- D100020002.