正定的判定

🏠 第15章概念导航 · 二次型题库

方法模板

一、正定的八条等价刻画( 为 阶实对称矩阵)

正定
#等价条件用在哪
1全部特征值 抽象题、含参题的主力
2正惯性指数 (规范形是 )与合同题接轨
3全部顺序主子式 都 具体数字矩阵,最快
4 与 合同判”与 合同”的题
5存在可逆矩阵 ,构造题
6存在可逆矩阵 ,同上,方向相反
7存在正定矩阵 ,平方根题
8 正定伴随、逆的连锁

二、三个”差一个字就废”的坑

坑 1:顺序主子式判据的三个前提

必须 对称——非对称阵的顺序主子式全正推不出任何东西; 必须全部——只查 不够; 必须严格大于 0——出现一个 就不是正定。

坑 2: 里 必须可逆

只是” 阶矩阵”时, 只给出半正定。 可逆才保证 ,才有严格大于号。这是 880 基础选择 6 的 A 选项、也是最常见的送分陷阱。

坑 3:半正定要看 全部主子式,不是顺序主子式

半正定全部主子式

只查顺序主子式 是不够的: 的顺序主子式是 ,都 ,但 显然不半正定()。正定可以只看顺序的,半正定不行——这个不对称性必须记住。

三、半正定的等价刻画

半正定可以奇异全部主子式

四、常见的”正定零件”速查

形状结论何时升级为正定
( 为 )半正定(列满秩)
半正定,秩 1 时永不正定
半正定系数阵 列满秩
( 正定, 为 )半正定
( 正定)正定恒成立
、、、正定 正定即可
与正定阵合同正定恒成立(合同保 )
与正定阵相似正定,但需 先对称相似不保对称性

必考

880 第十五章基础选择 6

原题

设 是 阶单位矩阵,则 阶实对称矩阵 正定的充分必要条件是( ).

A. 存在 阶矩阵 ,使得 B. 二次型 的负惯性指数为 0 C. 存在可逆矩阵 ,使得 D. 的伴随矩阵 与 合同

解析

逐项过:

A ✗: 没有要求可逆。 只给出半正定。反例: 时 ,满足 A 但不正定。(把” 阶矩阵”改成”可逆矩阵”就对了。)

B ✗: 只说明没有负特征值,可以有零特征值。反例:, 但不正定。(补上""或” 可逆”才行。)

C ✗:。这个条件强到只允许 ,远不是充要。

D: 与 合同 正定。

  • 必要性: 正定 ,而 的特征值是 ,且 实对称,故 正定 ✓

选 D(四项中唯一可选)。

D 的"充分性"在 为奇数时其实有漏洞

反过来推: 正定 所有 所有 与 同号。这允许两种情况:

  • 全部 ( 正定),此时 ✓
  • 全部 ( 负定),此时 的符号是 , 为奇数时也满足。

现成反例:,。此时 正定,但 是负定的。

所以严格讲 D 只在 为偶数时是充要条件。作为选择题,D 仍是唯一可选项(A、B、C 错得更彻底),但这个漏洞值得知道——它恰好把”伴随的谱是 “这条公式的用法演示了两遍。

880 第十五章基础解答 3

原题

证明: 阶矩阵 正定的充分必要条件是存在可逆矩阵 ,使得 .

证明

(充分性) 设 , 可逆。

先验对称: ✓

再验正定:任取 ,

由 可逆、 知 ,故 。 正定 ✓

(必要性) 设 正定。由主轴定理,存在正交矩阵 使

令 (每个 保证开方有意义且可逆),则

取 ,它是两个可逆阵之积,可逆 ✓

另证(必要性,走合同)

正定 与 合同 存在可逆 使 。两边左乘 、右乘 :,取 即可。

(这条路不需要特征值,只用惯性定理,在只学到合同、还没学谱定理时也能走通。)

充分性那一步是本章最常用的一行

看到 就把它读成”长度的平方”:非负是白送的,严格正取决于 能否为零,也就是 的列是否满秩。本章几乎每道正定证明题的核心都是这一行。

1000 基础第 6 章 10

原题

下列矩阵中的正定矩阵是( ).

(A)  (B)  (C)  (D)

解析

第一遍:扫对角线。 正定要求 ,对角元出现 立刻出局:

  • (A) ✗
  • (C) ✗

第二遍:剩下的两个算顺序主子式。

(B):

(D):

✗

选 (B)。

先扫对角线,能省一半计算

是正定的必要条件(取 即可),而且是零成本的。四个选项里两个直接死在这一步。

同族的零成本必要条件还有:、(二阶主子式)。做选择题时先把免费的必要条件全用一遍,再动手算行列式。

1000 基础第 6 章 11

原题

设 为 阶方阵,有下列结论:

① 若 的全部顺序主子式为正,则 正定; ② 若 相似于对角矩阵 ,则 与 合同; ③ 若 与正定矩阵合同,则 为正定矩阵.

则正确结论的个数为( ).

(A) 0  (B) 1  (C) 2  (D) 3

解析

题干的关键字是” 为 阶方阵”——没有说对称。 三条结论必须在这个前提下检验。

① ✗:顺序主子式判据的前提是 实对称。反例:

但 不对称,谈不上正定;而且,在 处取 0,连正定的定义式都不满足。

② ✗:合同要求 对称( 恒对称)。反例:

(两个互异特征值,可对角化),但 不对称,而任何 都是对称的,故 与 不合同。

③ ✓:设 , 正定, 可逆。

  • 对称性: ✓(这里不需要事先假设 对称,是推出来的)
  • 正定性:任取 , 可逆 ,故

正确的只有 ③,选 (B)。

①②的错因是同一个:偷偷假设了对称性

顺序主子式判据、合同关系,这两样东西的整套理论都建立在实对称的前提上。题目故意把”实对称”三个字从题干里抽掉,就是要看你会不会条件反射地补上。

对照 ③:它没有预设 对称,但对称性从 里自动推出来了——这才是合法的。“能推出来”和”想当然地假设”是两回事。

1000 基础第 6 章 22

原题

下列二次型中,属于正定二次型的是( ).

(A) (B) (C) (D)

解析

四个都是平方和型, 恒成立,所以正定只有零解只有零解,四个 都是”循环双对角”结构:第 行是 (下标模 4)。这类行列式有现成公式():

于是只需数每个括号里第二项的符号,把四个符号乘起来:

选项负号个数
(A)4(偶) ✗
(B)0(偶) ✗
(C)2(偶) ✗
(D)1(奇) ✓

选 (D)。

直接验证 (D): 要求,前后两条给出 ,故 ,进而全部为零 ✓ 正定。

顺带看 (C) 为什么不行:取 ,四个括号依次是 , 而 ✗

环状平方和的"符号奇偶律"

个变量首尾相接的平方和 (,下标循环):

时退化 负号个数为偶; 时 ,退化 负号个数为奇。

这解释了一个反直觉的现象:3 元的 退化(3 个负号,奇),而 正定(0 个负号,偶)——与 4 元时的结论正好相反。见 标准形、规范形与惯性指数。

880 第十五章综合选择 4

原题

设 元二次型,其中 均为实数,若二次型正定,则( ).

A.  B. C.  D.

解析

平方和型 ,故正定只有零解,其中 是”主对角线全 1、次对角线依次为 、左下角为 “的循环双对角阵:

按第 1 列展开(只有 与 非零):

上三角下三角

正定 ,选 A。

小规模核对

公式值
2 ✓
3 ✓

这就是上一题 (zy-b6-22) 的一般形式

上一题是 、 的具体版本,本题是任意 、任意实数的抽象版本。一道选择题给出公式,另一道让你用它数符号——两本书刚好凑成一对,建议连着做。

记忆锚点: 的两项分别来自”全走对角线”和”绕环一圈”,后者带的符号 正是环状置换的奇偶性。

880 第十五章综合填空 1

原题

设 是 阶矩阵,方程组 有唯一解,则二次型 的正惯性指数为 ____.

解析

有唯一解 可逆。

于是对任意 有 ,,即 正定,全部 个特征值为正:

" 正定 列满秩"是本章的常驻公式

一般地( 为 ):

半正定正定

题目往往不直说” 可逆”,而是用方程组语言伪装:

  • ” 有唯一解”、” 只有零解” 列满秩;
  • ” 对任意 有解” 行满秩(此时是 正定)。

读到这类句子,立刻翻译成秩。 见 第13章 转置乘积方程组。

1000 强化第 9 章 25

原题

设 为 阶矩阵,则以下不是” 正定”的充要条件的是( ).

(A) 为初等矩阵的乘积 (B) 为 的某两个基之间的过渡矩阵 (C) 的行向量组线性无关 (D) 与 阶单位矩阵 相似

解析

是方阵,故正定可逆,于是问题变成”哪一项不等价于 可逆”:

选项等价于 可逆?
(A) 初等矩阵的乘积✓ 可逆矩阵的标准刻画(可逆 可经初等变换化为 )
(B) 两个基之间的过渡矩阵✓ 过渡矩阵恒可逆;反之任何可逆阵都可看作某两组基的过渡矩阵
(C) 行向量组线性无关✓ 方阵,行秩 可逆
(D) 与 相似✗ ——只允许 这一个矩阵,比”可逆”强得多

选 (D)。

"与 相似"和"与 合同"天差地别

只有一个矩阵正定一大类矩阵

原因:相似要求谱逐个相同且结构相同,而 的相似类只有它自己( 恒成立);合同只要求正惯性指数是 。

这一对是本章最该背下来的反差,880 基础选择 6 的 C 选项踩的也是同一个点。

拓展

1000 强化第 9 章 21

原题

设 为 阶正定矩阵, 为 实矩阵,,则 与 阶单位矩阵 合同的充分必要条件为( ).

(A) 齐次线性方程组 只有零解 (B) 齐次线性方程组 有非零解 (C) 齐次线性方程组 只有零解 (D) 齐次线性方程组 有非零解

解析

是 阶实对称阵(),而与合同正定,把 拆开: 正定 存在可逆 使 ,于是,由” 正定 列满秩”:

正定可逆,不改秩只有零解

选 (A)。

逐项排除:

  • (B) 有非零解 ——说的是行秩,与 无关 ✗
  • (C) 只有零解 ——同样是行满秩 ✗
  • (D) 有非零解 ——恰好是正确条件的否定 ✗

不拆 也能做:直接用定义

任取 ,:

正定 这个值 当且仅当 。所以

正定只有零解

两行,不需要任何分解。 拆 是为了看清”这就是 的一般化”,但考场上直接用定义更快。

1000 强化第 9 章 23

原题

设 为 3 维列向量,二次型 .

(1)若 线性无关,证明 为正定二次型; (2)若 ,求 的解,并求二次型的规范形.

解析

先把 展成平方和——这是全题的总钥匙:

同理其余两项,

(1) 恒成立,且

线性无关 的三个行线性无关 只有零解。

故对一切 有 , 正定

(2)

情形 : ,由(1)知 正定,只有零解规范形,情形 : 此时 ,注意,三个向量线性相关,( 显然无关)。解 :

的解为任意规范形

是"半正定矩阵的标准出厂形式"

秩为 向量组的秩,恒半正定,正定当且仅当向量组张满整个空间。

反过来说:任何半正定矩阵都能写成若干个 之和——取谱分解 ,把 当作 即可。这条与第14章的谱分解是同一件事,见 第14章 秩1与结构型矩阵的谱。

1000 基础第 6 章 25

原题

设 ,其中 是正整数,证明 是实对称矩阵,并就正整数 的情况讨论矩阵 的正定性.

解析

是 矩阵,第 列为,对称性: ,且元素全实,故 是 阶实对称矩阵

半正定性(无条件成立): 对任意 ,,正定性 (列满秩)。 由 分两种情形:

情形一:。 取 的前 行构成 阶方阵

这是节点为 的范德蒙德矩阵,(节点两两互异)。故 ,即 ,

正定

情形二:。 此时 , 是 阶但秩 ,不可逆,

半正定但不正定

(此时 有非零解 ,。)

范德蒙德在本章的角色:提供"列满秩"的证据

第10章学范德蒙德是为了算行列式,这里用它是为了证明一组多项式取值向量线性无关。

一句话的直觉: 意味着多项式 (次数 )在 处取值为零……更准确地说, 的行是 , 说的是 对 成立。 时这 个方程的系数阵是范德蒙德的转置,只有零解。

见 第10章 结构化行列式的计算。

1000 强化第 9 章 19

原题

已知 经正交变换 化为 ,且

其中 是 的伴随矩阵,则对任意 ,有( ).

(A)  (B)  (C)  (D)

解析

由第一个条件, 的特征值(按 的列序)是,伴随的谱:,特征值为 ,且与 共用同一组特征向量,所以在同一个 下

与题给的 逐位比对:,三式一致,都给出 (第三式 ✓)。

于是 的特征值为 ,全部为正, 正定:,选 (A)。

"同一个 "是本题的全部信息量

若题目只说” 相似于 “,那只能得到集合相等,需要讨论排列;但题目写的是 ,用的是与 完全相同的 ,所以可以逐位比对,三个方程都指向同一个 。

底层理由: 与 是 的有理式,特征向量完全继承——第14章”多项式与逆的特征值转移表”里的标准条目。见 第14章 特征值的基本性质与多项式变换。

三个方程要一起解,不能只用一个

只用 得 ,看似够了;但必须回代验另外两个——若题目给的对角阵是精心设计的矛盾条件,答案就会是”不存在这样的 “。本题三条自洽, 成立。

链接