6.2 二次型的标准形
约 714 字大约 2 分钟
2026-01-10
6.2 二次型的标准形与求法
定义 6.2.1 (标准形)
形式如 b1y12+b2y22+⋯+bnyn2 的二次型称为二次型的标准形。
定义 6.2.2 (线性替换与合同)
设线性替换关系为:
⎩⎨⎧x1=c11y1+⋯+c1nyn⋮xn=cn1y1+⋯+cnnyn⇒X=CY
其中 C=[cij]n×n。若 ∣C∣=0,则称其为可逆线性替换。
定理 6.2.1 (合同变换定理)
可逆线性替换 X=CY 把二次型 f=XTAX 变为二次型 g=YTBY,且:
B=CTAC
定义 6.2.3 (合同矩阵)
若存在可逆矩阵 C,使得 B=CTAC,则称矩阵 A 合同于 B,记为 B≃A。
各种矩阵关系 相似与合同都是相抵的一种特殊情况。
性质 6.2.1 (合同性质)
若 A≃diag(b1,…,bn),则 A 也合同于该对角元任意排列后的对角矩阵。
即:A≃diag(bj1,…,bjn)。
求法一:配方法
例题:求可逆线性替换使 f(x1,x2,x3)=x1x2+2x1x3 化为标准形。
解: 令 x1=y1+y2,x2=y1−y2⇒x1x2=y12−y22。 代入得:
f=y12−y22+2(y1+y2)y3=y12−y22+2y1y3+2y2y3
进一步配方:
=(y1+y3)2−(y2−y3)2
再令 z1=y1+y3,z2=y2−y3,z3=y3。 最终得到 X=C1Y,Y=C2Z⇒X=C1C2Z。
定理 6.2.2 (配方法原理)
任意二次型必可通过配方法找出一个适合的可逆线性替换化为对角阵形式。
推论:任意实对称矩阵都合同于一个对角阵。
求法二:正交变换法 (仅适用于实二次型)
实二次型对应的矩阵为实对称矩阵。
- 求 A 的特征值 λi。
- 求 A 的特征向量并进行正交化、单位化,构造正交矩阵 Q。
- 则 QTAQ=Q−1AQ=diag(λ1,…,λn)。 此时变换为 X=QY (称为正交变换)。
例题 6.2.1
设 f=x12+x22+x32+2sx1x2+2tx1x3+2x2x3,经正交变换 X=QY 化为 y22+2y32。 (1) 求 s,t; (2) 求正交矩阵 Q。
解: (1) 注意点:A 的特征值即为标准形 y22+2y32 对应的系数,即 0,1,2。 由此可得特征多项式:
∣λI−A∣=λ(λ−1)(λ−2)
将行列式展开并对比系数,得方程组:
{2−s2−t2=2s−st2=0
解得:s=t=0。
(2) 求特征向量并正交化、单位化: 对于特征值 0,1,2 分别求得单位特征向量,构造正交矩阵:
Q=−2102101021021
重要
标准形 ⟺ 特征值的对应关系。
求法三:初等变换法
略。
更新日志
a4ce6-update: 线代第六章 完结撒花 🎉于