乐思数学通 › 先打基础 › 相似矩阵

相似矩阵

线性代数 · 特征值与特征向量

这一条要先会:特征值与特征向量的概念与计算、逆矩阵

先打基础

一条一条过。读完点「已懂」或「待回顾」,这条就收起来,页面上剩下的就是还没过的。

1. 定义:存在可逆 使

设 为 阶方阵。若存在可逆矩阵 使



就说 与 相似,记 。

必须可逆,这是定义的一部分——否则 不存在,式子无从谈起。

相似是一种等价关系,三条都成立:

① 自反:取 ,得 。

② 对称:由 得 ,取 即得 。所以说「 与 相似」不必讲究谁先谁后。

③ 传递:、 (把两个 乘起来)。

几何意义: 和 是同一个线性变换在两组不同基下的矩阵, 就是两组基之间的过渡矩阵。换一副坐标看同一件事——这解释了下面那一串「相似不变量」为什么存在。

2. 相似不变量:哪些东西换基也不变

时,下面这些必定相同:



特征多项式相同是源头,特征值、行列式、迹都是它的系数或根,自然跟着相同。

反过来都不成立:这些量全相同,也推不出相似。经典反例——



两者特征值都是 ,迹都是 ,行列式都是 ,秩都是 。但 只与自己相似( 恒成立),而 ,所以不相似。

特征向量不是不变量: 的特征向量 对应到 的是 ,要跟着变。

3. 与对角阵相似:这一章真正要的东西

相似这个概念之所以有用,是因为可以拿最简单的矩阵当标准来比。最简单的就是对角阵。

若存在可逆 使



就说 可对角化(下一节专讲条件与做法)。

对角阵好在哪:

① 幂好算: 就是把每个对角元各取 次方。于是



一个难算的高次幂变成三个矩阵相乘。这是对角化最主要的用途。

② 特征值一眼就看见:对角线上就是。

③ 行列式、迹、秩都直接可读。

注意 的方向:由 解出 ,于是



(中间的 一对对消掉)。 和 的位置不能互换,写反了结果就错。

4. 证明两个矩阵不相似:找一个不变量对不上

题目常问「 与 是否相似」。

证相似:要造出具体的 ,或者证明两者都与同一个对角阵相似(最常用的一条路)。

证不相似:只要找到一个相似不变量对不上就行——这比证相似容易得多。按从易到难的顺序试:

① 迹:对角线一加就知道。

② 行列式。

③ 秩。

④ 特征值(含重数)。

⑤ 以上全同时:这时不能下结论。再检查每个特征值的几何重数 是否相同——这是比上面几条更细的不变量。

最后这一条正是 与 的分界:两者特征值都是 ,但



几何重数不同,故不相似。

还有一条特例值得单记:(以及任何数量阵 )只与自己相似,因为 恒成立。所以凡是题目里出现「与 相似」,结论必是「它就是 」。

常用结构

这类题反复出现的那个写法骨架——按这个顺序动笔。

判断 与 是否相似(否定方向)

第一步:比迹——对角线之和,最快。

第二步:比行列式、比秩。

第三步:比全部特征值(含重数)。

第四步:以上全同时,再比每个特征值的几何重数 。只要有一项不同,立刻判不相似。
例例. 判断 与 是否相似。

第一步,比迹(最快):,。

第二步, 立刻判不相似,后面都不用算了。

第三、四步,若迹相同,再依次比 、、全部特征值、每个特征值的几何重数。

这几条都是相似的必要条件:任何一条不同就能否定;但全部相同也不一定相似,那时要真找出 ,或说明两者都能对角化成同一个 。

注意顺序:迹一行算完,行列式要算两个二阶,特征值要解方程——先用便宜的。

利用相似求

第一步:由 解出 ——这一步要落在纸上,别凭记忆写方向。

第二步:,中间的 成对消掉。

第三步: 就是每个对角元各取 次方。

第四步:按需要乘开;若只问特征值或行列式,直接从 读,不必乘。
例例. 设 ,求 的特征值与 。

第一步,由 解出 ——这一步要落在纸上。方向写反(写成 )后面全错。

第二步,



中间的 成对消掉——这就是相似好用的全部理由。

第三步,,每个对角元各取三次方。

第四步,问特征值或行列式就直接从 读,不必乘开:特征值 与 ,。

由相似反推未知元素

第一步:题目给 且某一方含参数。

第二步:列出 ——通常给出第一个方程。

第三步:再列 ——给出第二个方程。

第四步:联立解出参数;解完代回核对特征值是否一致(不变量不止两条,要对得上全部)。
例例. 已知 与 相似,求 。

第一步,两边都含参数。

第二步,迹相等:。

第三步,行列式相等:。

第四步,联立得 、。代回核对:、,特征值都是 ✓ 都已对角、几何重数一致 ✓ 确实相似。

二阶时迹与行列式已经定下特征多项式,所以特征值必然相同;但三阶以上两条就不够,而且即便特征值全同,还要几何重数也相同才相似。所以「解完代回验」不是多余的。

基础易错

基础阶段真的会犯的那几处,每条都指到动笔的哪一步。

里 与 写反

由 得到的是 ,于是 。

写成 算的是另一个矩阵,整道题作废。

每次都从 现解一次,两秒钟,比记口诀稳。

以为不变量全相同就一定相似

迹、行列式、秩、特征值全部相同,仍可能不相似。

与 就是反例。

要往下判必须看几何重数 ,那是更细的不变量。

以为特征向量也是不变量

不是。若 、,则



特征向量要乘 ,不是原样搬过去。

特征值不变,特征向量要换坐标——这正是「同一变换在不同基下」的含义。

没说明可逆

相似的定义要求 可逆。

做证明题时若自己造了一个 ,必须说明它可逆(通常靠「列向量线性无关」)。

少这一句,后面所有带 的式子都是无源之水。

自己试一试

这一档不判分、不记进度,想不出来就直接看解答。

第一组 · 认定义

练 1

与 相似是指( )。
  • A存在可逆 使
  • B存在任意 使
  • C 与 的秩相同
  • D

练 2

相似变换中的矩阵 必须是 ________ 矩阵。

练 3

下列不是相似不变量的是( )。
  • A行列式
  • B迹
  • C秩
  • D特征向量

练 4

若 且 ,则 ________。

第二组 · 用不变量

练 5

与单位阵 相似的矩阵是( )。
  • A任意可逆矩阵
  • B任意对角阵
  • C任意特征值全为 的矩阵
  • D只有 自己

练 6

设 ,则 ________。

练 7

设 ,则 ( )。
  • A
  • B
  • C
  • D

练 8

若 , 的特征值为 ,则 的特征值为 ________。

第三组 · 判不相似

练 9

与 ( )。
  • A相似,因为特征值相同
  • B相似,因为迹和行列式都相同
  • C不相似
  • D无法判断

练 10

设 ,,,则 ________。

练 11

若 与 的迹、行列式、秩、特征值全部相同,则( )。
  • A必相似
  • B必不相似
  • C无法由此断定,需再比几何重数
  • D必有

练 12

设 ,则 与 ________(填「相似」或「不一定相似」)。

读完了?下一步是同一个知识点的完整讲解,那一档按考试难度写。

数一 · 完整讲解数二 · 完整讲解数三 · 完整讲解大学版 · 完整讲解