正交变换化标准形
方法模板
一、五步流程(与第14章实对称正交对角化完全相同)
| 步 | 动作 | 本章特有的注意点 |
|---|---|---|
| 1 | 写出对称矩阵 | 题给矩阵不对称时先取 |
| 2 | 求全部特征值 | 优先用结构( |
| 3 | 每个 | —— |
| 4 | 同一特征值内施密特正交化 | 不同特征值的特征向量自动正交,不必再算 |
| 5 | 单位化,按列拼成 | 列的顺序必须与标准形系数的顺序逐位对应 |
主轴定理就是"实对称必可正交对角化"换了个说法
第14章证的是
,本章要的是 。因为 正交, ,两式是同一个式子。 这就是为什么正交变换既保持相似(谱不变)又保持合同(惯性指数不变)——它是唯一同时做到这两件事的变换。
二、已知标准形,反求参数的两条捷径
正交变换下的标准形系数就是特征值,于是:
用
和 解出的参数必须回代验谱 这两条只保证”和相等、积相等”,不保证特征值逐个相等。三个数的和与积相同,第三个对称函数(
)可以不同,谱就不同。880 综合解答 6 里 和 都通过了这两关,只有 才真的给出谱 。回代验证是必答步骤,不是保险动作。
三、结构型矩阵的特征值,看一眼就写
| 结构 | 特征值 | 出处 |
|---|---|---|
| 秩 1 | ||
| 平移不动方向 | ||
| 分块对角 | 两块的谱并起来 | —— |
把参数矩阵拆成”
必考
880 第十五章基础解答 1
原题
设二次型
(I)求一个正交变换
解析
(I) 试
三行两两成比例,
(II)配方法(注意:结果与(I)不同,这是正常的)
对含
令
得标准形
两个标准形不一样,但惯性指数一样——这正是本题的教学点
与 三个系数完全不同,但都是三正零负, 。标准形不唯一,规范形唯一(都是 )。 配方法出来的系数不是特征值,因为它用的变换只可逆、不正交——它不保长度、不保角度,只保”正负号的个数”。
配方法的两条纪律
- 每次消掉一个变量的全部出现:先把含
的所有项(含交叉项)打包配成一个平方,之后 就再也不出现了; - 变换必须可逆:按
依次以 为主元写出来,系数阵自动是上三角且对角线全 1,可逆性不用另证。
880 第十五章基础解答 2
原题
已知二次型
解析
是分块对角阵
标准形系数即特征值,故集合相等:
| 方程 | 特征向量 | 单位化 | |
|---|---|---|---|
| 1 | |||
| 2 | |||
| 5 |
按标准形的系数顺序
的列序与标准形系数序必须一一对应 若把
的第 1、2 列对调,得到的标准形就是 ——数学上同样正确,但与题目要求的形式不符,答案判错。写完 一定回头核一遍列序。 也别忘了检查
:题目若要求”旋转变换”( ),发现 时把任意一列取反即可。
880 第十五章综合解答 5
原题
设二次型
(I)求一个正交变换
解析
(I) 参数只是平移,先攻
于是
| 特征向量 | ||
|---|---|---|
三者两两正交(不同特征值,自动成立;也可直接验:
(II) 注意
平方和为零
见到
或 ( 对称),立刻降级为 这是本章最高频的”二次方程降成一次方程”手法:
前提是把它写成
的形式,即 对称(或原本就是 )。若 不对称且不是这个形状, 的解集会大得多。
参数
从头到尾没参与计算 拆成
之后, 只在最后一步写标准形系数时露面。含参实对称矩阵只要能拆成” 无参阵”,参数就完全不进入求特征向量的计算——这是本章省力的第一招。
880 第十五章综合解答 6(第 I 问)
原题
设二次型
(I)求
解析(第 I 问;第 II 问见 正定平方根与分解)
用迹定
用行列式定
回代验谱(这一步不能省):
: ,特征值为 ——和是 6、积是 4,两条都过关,但谱不是 ,舍去。 : ( 为全 1 阵), 的谱是 ,故 的谱是 ✓
求
: ( 的非零特征方向); : ,取 ,施密特得 与 。
按标准形顺序
本题就是"
与 相同但谱不同"的现成反例
给出的谱 与目标谱 :和都是 6,积都是 4,只有 不同( …… 具体不必算,结论是不同)。 记住:
个数需要 个对称函数才能定死。三阶只用 和 是两个条件定三个数,必然可能多解。见 第14章 相似的判定与不变量。
1000 基础第 6 章 4
原题
设二次型
(A) 0 (B) 1 (C) 2 (D) 3
解析(结构识别,一步到位)
另解(迹)
是本章参数题的标准外形 凡”平方项系数全相同、交叉项系数也全相同”的二次型,矩阵一定是
型:
谱是
(一重)与 ( 重),特征向量永远是 与 ,与参数无关。这个模板在正定含参、二次曲面、最值题里反复出现。
1000 基础第 6 章 5
原题
设二次型
(A)
解析
由
- 特征向量乘非零常数仍是同一特征值的特征向量:
,所以 仍对应 ; 与 长度相同、 三列仍两两正交且单位, 仍是正交矩阵。
于是
正交阵的列可以换序、可以整列取反,唯独不能只改一部分
允许的操作:列的置换(对应对角元同步置换)、整列乘
(对角元不变)。 不允许:某列乘 (不再单位)、两列相加(不再正交)。 这条也解释了”正交对角化的
不唯一”到底有多少自由度: 个特征值互异时, 恰有 种取法(每列 ,列间可换序)。
拓展
880 第十五章综合解答 10
原题
设
(I)求
解析
(I)
观察到第 1 行
(II)
这是分块结构:第 2 行第 2 列独立出来贡献
| 特征向量 | |
|---|---|
"
与 同解"是第13章的秩语言 一般地,对
, 与 同 解
本章借它来定参数,方法完全是第13章的。见 第13章 同解方程组与解集包含。
是 但秩只有 2,标准形必缺一项
(由第 I 问, )已经预告了标准形只有两个非零系数。算完特征值发现三个都非零,就说明前面算错了——这种自检在解答题里很值钱。
880 第十五章拓展解答 1
原题
设二次型
(I)二次型
解析
记
(I)
(II) 特征向量与
: ; :解 ,即 ,取
正惯性指数
另解(不求特征值,直接看正定性)
由柯西—施瓦茨不等式,
柯西—施瓦茨的取等条件直接给出秩
且 的解空间维数 。半正定二次型的零点集就是 的解空间(见 二次型的矩阵、秩与平方和型),所以”取等条件是一条直线”直接翻译成 。 这条路线不需要写出
,也不需要碰特征值——第 I 问在两行之内解决。
只要求可逆,不要求正交 题目说的是
,所以 不必施密特正交化(它们两两不正交: )。若题目改成”求正交矩阵 “,才需要对这 个向量做施密特——那是明显更大的计算量。看清题目要的是 还是 ,能省一大截。
1000 基础第 6 章 7
原题
已知二次型
(1)求
解析
(1)
核对:
: ,秩 1(几何重数 2 ✓),解 ,取 ,施密特得 与 ; :由 、 得 。
(2)
秩为 1 要求
是否存在正交
即
这是"相似成立、正交相似不成立"的干净反例
(谱相同且都可对角化)完全不能推出存在正交 使 。 判据极简:正交相似于实对称阵的矩阵必然实对称。所以只要目标矩阵
不对称,正交相似立刻出局,一行话答完,不必真去尝试构造 。 反过来若
恰好对称且与 同谱,那就一定存在这样的 (两边各自正交对角化到同一个 ,再取 )——这个构造在下面 1000 强化 9-14 里用到。
1000 基础第 6 章 13
原题
设矩阵
(1)求常数
解析
(1) 解空间维数 1
三行之和为零、前两行无关,
解
由
(2)
| 特征向量 | |
|---|---|
(三者两两正交 ✓)
行和相同的矩阵,
是现成的特征向量
每行之和为 ,所以 , 恒是特征值。本题 使它变成 ——这正是 的来源,也直接给出了 这个特征向量。 反过来看第(1)问:
的两个根 与 ,一个来自”行和为零”( ),一个来自”三行全相同”( ),结构不同,秩自然不同,所以必须回代筛选。
1000 基础第 6 章 20
原题
设 3 维列向量
(1)求
解析
(1) 秩 1 阵的谱:
: ,全部特征向量为 , ; : ,即 ,全部特征向量为
(2)
| 3 | 只有零解 | |
| 1 | ||
| 2 |
(3)
另解(第 3 问一行)
其中
第(2)问必须讨论
“求
的通解”里 是任意常数,不讨论就默认它使矩阵奇异,是本题最常见的丢分点。判据很清楚: 是不是 的特征值——是则有非零解,否则只有零解。
1000 强化第 9 章 14
原题
二次型
(1)求
解析
(1) 正交变换
(2) 标准做法是两段接力:把
验证(比接力更快的一条路)
直接盯着两个式子找对应:
与第14章的
是同一个"两段接力" 第14章求”
使 “时用的是 。本章因为要求正交, 变成 ,式子的形状和推导逻辑一字不改。见 第14章 相似的判定与不变量。 差别只在结论的读法:那里得到的是
,这里同时还得到 (合同)——正交变换一箭双雕。
链接
- 方法总纲:主轴定理与正交化简 · 标准形与规范形 · 二次型与它的矩阵
- 同章:配方法与可逆线性变换 · 由谱反求二次型 · 二次型的最值 · 二次曲面的分类
- 上一章:第14章 实对称与正交对角化(五步流程的出处) · 第14章 特征值计算与含参定值 · 第14章 相似的判定与不变量
- 更早:第12章 向量空间与施密特正交化 · 第13章 同解方程组与解集包含
- 易错清单:第15章易错点