第 6 章 二次型
掌握二次型的矩阵表示、合同变换、标准形与规范形、惯性指数以及正定性判定。
Last updated on
本章以二次型的矩阵表示为起点,统一整理正交变换、合同、标准形与规范形、惯性指数以及正定性的判定方法。
这一章最容易学成“一堆公式”,实际上它的逻辑非常统一:
而第 5 章的特征值与实对称矩阵正交对角化,正好成为第 6 章最重要的计算工具。
一、什么是二次型
资料给出的定义是: 元二次型是 个变量的齐二次多项式,一般写成
令
构造实对称矩阵
那么
资料把 称为二次型的矩阵,同时把
称为二次型的秩。二次型和它的对称矩阵是相互唯一确定的。
1. 为什么交叉项要“除以 2”
这是第 6 章最容易犯的低级错误。
例如
设
那么
因此
所以
故矩阵为
必须形成条件反射
看到
矩阵中的对应元素就是
也就是说:
资料中的强化内容也专门强调了这一易错点。
二、为什么一定要把二次型写成矩阵
因为原来的多项式形式很乱,例如
真正决定它性质的是
之后:
求标准形,本质是把 变成对角矩阵;
判断正定,本质是判断 是否正定;
判断两个二次型能否互相转化,本质是判断两个矩阵是否合同;
求惯性指数,本质是数 的正负特征值。
所以这一章可以理解成:
三、线性变量替换与“合同”
这是整章真正的核心。
假设作可逆线性变量替换
其中 可逆。
原二次型
变成
因此新二次型的矩阵为
如果存在可逆矩阵 ,使
就称 合同。
资料的知识结构就是通过这个公式把“变量替换”与“矩阵合同”完全对应起来的。
四、合同和相似一定要彻底区分
这是考研选择题非常喜欢考的地方。
相似是
合同是
它们解决的问题不同。
| 关系 | 形式 | 主要保持什么 |
|---|---|---|
| 相似 | 特征值 | |
| 合同 | 正负惯性指数 | |
| 正交变换 | 二者兼有 |
为什么正交变换特殊?
因为正交矩阵满足
所以
于是通过正交变换得到的矩阵,和原矩阵既合同又相似。资料明确指出,这是本章的常考点。
因此特别重要:
但是
五、什么叫标准形
如果二次型只含平方项:
没有任何
交叉项,就叫标准形。
矩阵语言就是
因此“把二次型化标准形”本质是:
其中 为对角矩阵。
六、规范形是什么
标准形还不够唯一。
例如
和
虽然系数不同,但正平方项都是 2 个,负平方项都是 1 个。
继续作变量伸缩,可以把非零系数都变成 。
于是得到
这就是规范形。
如果
剩余项系数就是 0。
所以规范矩阵可以写成
七、标准形和规范形的核心区别
标准形:
规范形:
所以:
而
资料中特别说明:配方法不仅可以标准化,而且很容易继续规范化;正交变换一般只能直接得到特征值作为系数的标准形。
八、为什么任何实二次型都能化成标准形
这是和第 5 章连接起来的地方。
任何实二次型的矩阵 都是实对称矩阵。
根据实对称矩阵的性质,一定存在正交矩阵 ,使
令
那么
所以:
因此资料说得很关键:
二次型的标准化没有“能不能”的问题,只有“怎么做”的问题。
九、标准化方法一:正交变换法
这是考研最重要的一种。
完整流程可以记成
具体来说:
第一步,由二次型写矩阵 。
第二步,求特征值:
第三步,分别求各特征值对应的特征向量。
第四步,单位化。
同一特征值若存在多个线性无关特征向量,还需要 Schmidt 正交化。
第五步,把单位正交特征向量按列组成
于是
第六步,得到
最后
就得到标准形
十、资料例 6.2:标准的正交变换题
资料给出的二次型为
已知经过正交变换可化成
先写矩阵
标准形矩阵为
由于这里是正交变换,所以 相似。
于是其特征值相同。
特别地
有
故
而 ,所以
此时
其三个特征值为
资料求出的三个单位特征向量可以取
令
则
因此
即可将二次型化成
资料也特别指出:正交变换虽然计算量较大,但历年考试中出现很多。
十一、一个非常重要的捷径:已知标准形时不要急着算特征向量
例如资料例 6.3:
已知
要求判断哪些标准形能通过正交变换得到。
因为若
那么
给出
所以
因此特征值只能是
又因为
3 阶矩阵中非零特征值共有两个,所以特征值必为
于是只需要检查候选标准形的对角元是不是
的排列即可。
完全没有必要先求 。
这类题是第 6 章常见技巧:
资料例 6.3 正是按这个思路求解。
十二、标准化方法二:配方法
如果题目没有要求正交变换,配方法往往比求特征值快很多。
资料对此评价非常明确:配方法计算量通常小于正交变换,而且可以直接继续得到规范形。
例如资料例 6.1:
围绕 配方:
继续:
故
令
于是
这已经是标准形。
十三、如果没有任何平方项怎么办
例如资料例 6.1 第二问:
直接配平方很麻烦。
资料采用一个非常经典的技巧:
为什么这样换?
因为
这就是利用公式
代入后资料得到
现在有平方项了,继续配:
所以
最终得到
资料还给出了相应复合变换矩阵。
所以考场上看到“纯交叉项”
条件反射:
先制造平方项,再正常配方。
十四、正交变换和配方法到底有什么区别
这是本章最值得系统掌握的比较。
| 正交变换 | 配方法 | |
|---|---|---|
| 变换 | ||
| 矩阵要求 | 正交 | 可逆 |
| 关系 | ||
| 新对角元 | 是特征值 | 一般不是特征值 |
| 是否保持特征值 | 是 | 不一定 |
| 是否保持惯性指数 | 是 | 是 |
| 可否直接规范化 | 通常不能 | 可以 |
| 计算量 | 较大 | 往往较小 |
所以:
题目说“用正交变换”:
题目只说“化成标准形”:
资料对此也进行了明确比较。
十五、惯性定理:为什么标准形不唯一,但正负号数量唯一
资料中的惯性定理说:
一个实二次型可以通过不同可逆变换得到不同标准形,但是标准形中
和
不会改变。
定义:
如果还有零系数个数 ,则
而
为什么?
因为标准形矩阵是
其秩就是非零对角元的个数,因此
合同变换保持秩:
于是
十六、惯性指数和特征值的惊人关系
资料定理 6.4:
零特征值个数就是
所以以后求惯性指数,并不一定要配方。
假设
的特征值为
那么立即得到
规范形就是
十七、合同矩阵的判定
这是惯性定理最重要的应用。
两个实对称矩阵 合同的充分必要条件是:
也等价于:
资料定理 6.3、6.4 就是这一结论。
注意:
并不要求特征值具体相等。
例如
与
特征值明显不同。
但二者都有
所以
但一般
十八、资料例 6.14:典型的参数合同问题
问什么时候
能够通过可逆变量替换化成
右边显然:
正平方项 2 个;
负平方项 1 个。
所以
左边矩阵
其中
显然是一个正特征值。
剩下的 块为
为了总惯性为
剩余两个特征值必须一正一负。
两数一正一负的最方便判断就是乘积小于 0。
它们的乘积是
要求
所以
这正是资料例 6.14 的结论。
这个题非常典型,因为它表明:
只需要比较惯性指数。
十九、资料例 6.13:规范形反推参数
二次型
矩阵
资料把它写成
而 的特征值为
因此 的特征值直接平移为
如果规范形为
说明
且
因此三个特征值应当是:
两个正;
一个零。
检查
得到
这里又有一个超级常用技巧
若
而 的特征值为
那么 的特征值就是
这种结构一定优先利用,不要重新展开特征行列式。
二十、什么是正定二次型
资料定义:
若对于任意
都有
即
则称 为正定二次型,也称对应的实对称矩阵 为正定矩阵。
注意:
不是
而是严格
而且必须对所有非零向量成立。
二十一、正定最直观的理解
例如
只要
就一定
所以正定。
但是
在
时
所以不是正定。
而
取
得到
更不是正定。
因此规范形角度看:
即
二十二、正定矩阵最重要的五个等价条件
对 阶实对称矩阵 ,考研中必须熟练掌握:
等价于:
等价于:
等价于:
等价于:
等价于:
存在可逆矩阵 ,使
等价于:
资料定理 6.5、6.6、6.7正是这套体系。
二十三、为什么特征值全正等价于正定
因为实对称矩阵正交对角化:
令
由于 可逆,
于是
因此若
全部成立,则任何非零 至少有一个分量不为 0,于是
反过来,只要存在
取对应特征向量,就可以让二次型取非正值。
所以:
二十四、顺序主子式判别法
假设
第 阶顺序主子式是左上角 子矩阵的行列式:
则
例如三阶:
全部大于零即可。
特别注意:
这里说的是顺序主子式,不是所有子式,也不是所有主子式。
二十五、资料例 6.16:含参数正定问题
矩阵为
三个顺序主子式为
要求
以及
第二个:
即
于是
与
取交集,最终
资料例 6.16 的答案正是这一结果。
二十六、到底什么时候用哪种正定判别法
这是实际做题最重要的选择。
矩阵给得很具体、阶数不高、含参数
优先:
例如例 6.16。
已经知道特征值,或者矩阵有明显特征值结构
优先:
二次型本身是平方和结构
优先:
或者写成
涉及合同、规范形
优先:
不要所有正定题都去算特征值。
二十七、资料例 6.15:正定矩阵的性质证明
已知 正定,证明
这是典型的“看到正定立即想到特征值”。
设 的特征值为
正定意味着
于是 的特征值为
因此
故
资料例 6.15 也是这样处理的。
二十八、资料例 6.17:一个很有区分度的正定题
考虑
乍一看:
“全是平方和,所以肯定正定。”
错。
平方和只能说明
想要正定,还必须保证
只能发生在
定义
其中
于是
所以对应矩阵为
它正定的充分必要条件是
可逆。
资料计算得到
要求
于是
这道题把
这一正定判据体现得非常漂亮。
二十九、这一章最重要的三种“等价翻译”
以后见题要快速完成翻译。
第一组:
第二组:
第三组:
如果这三组能形成条件反射,第 6 章大部分题目都会明显简单。
三十、二次型章节的常考题型
根据本章资料的组织,第 6 章主要归纳成三大题型:二次型标准化、惯性与合同问题、正定问题;资料同时明确指出标准化中正交变换是真题出现最多的方法。
可以把考场策略压缩成下面这张表:
| 题目关键词 | 第一反应 |
|---|---|
| 写二次型矩阵 | 交叉项系数除以 2 |
| 正交变换化标准形 | 求特征值、正交单位特征向量 |
| 已知正交标准形求参数 | 利用特征值、迹、行列式、秩 |
| 化标准形但没指定正交 | 配方法优先 |
| 纯交叉项 | 先作和差变量替换 |
| 求规范形 | 求 ,直接写 |
| 判断合同 | 比较 |
| 已知规范形反求参数 | 转化成正、负、零特征值个数 |
| 判断正定 | 特征值 / 顺序主子式 / 定义 |
| 平方和正定 | 还要检查平方内线性式是否只在 同时为零 |
三十一、几个最容易出错的地方
错误 1:交叉项直接填进矩阵
例如
矩阵元素应该是
不是 6。
错误 2:合同和相似混淆
合同:
相似:
合同不保持具体特征值。
错误 3:标准形等于规范形
错误。
是标准形。
才是对应规范形。
错误 4:不同标准形系数必须一样
不对。
合同只保证:
不保证系数数值一样。
错误 5:正交变换下得到的对角元随便
不对。
正交变换下:
这是相似对角化,所以对角元一定是
错误 6:平方和一定正定
例如
不是正定,因为
时值仍为 0。
平方和只自动保证
错误 7:正定只要求行列式大于 0
远远不够。
例如
有
但
这是负定而非正定。
三十二、这一章和前五章如何串起来
这是考研线代最重要的整体认识。
和第 1 章行列式
正定参数题要算
特征值要算
和第 2 章矩阵
可逆矩阵、转置矩阵、正交矩阵是合同变换基础:
和第 3 章向量
正交特征向量、Schmidt 正交化会直接用于正交变换。
和第 4 章线性方程组
平方和型二次型正定,经常最终变成判断
是否只有零解,即
和第 5 章特征值
这是最紧密的:
以及
所以第 6 章实际上可以理解为:
三十三、考研解题时最值得记住的“决策树”
以后碰到二次型,先问自己:
题目要求“正交变换”吗?
如果是:
如果不是,只要求标准形:
如果问两个二次型能否互化:
如果问规范形:
如果问正定:
先看结构。
矩阵简单含参数:
特征值容易得到:
平方和:
三十四、最后把第 6 章压缩成一张公式网络
这一页建议真正记熟。
二次型:
可逆变量替换:
导致
合同:
正交变换:
于是
标准形:
规范形:
惯性指数:
合同判定:
正定:
本章真正要达到的水平
不是只会“求特征值再对角化”,而是看到不同措辞就能立刻换语言:
这就是本章资料第 6 章最核心的解题框架。资料中的例 6.1—6.17 基本都是围绕这几条主线展开的。
如果按照考研重要性排序,建议把 “正交变换化标准形 → 惯性指数与合同 → 参数正定题 → 配方法” 作为这一章的四个核心训练模块,其中前面三个尤其要做到见题即能判断方法。