20正定二次型:给初学者的深度解析

3541 words
18 minutes
20正定二次型:给初学者的深度解析

正定二次型:给初学者的深度解析#

一、通俗定义:它到底是什么?#

想象你有一个”输入机器”——你扔进去一个向量(一组数字),它吐出来一个实数。

正定二次型就是这个机器的一个特殊品种:

只要你扔进去的不是零向量,它吐出来的数字永远是正数。

用数学语言说:
设 f(x)=xTAxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} 是一个二次型,如果对于所有 x≠0\mathbf{x} \neq \mathbf{0},都有 f(x)>0f(\mathbf{x}) > 0,那它就是正定的。


二、核心内涵:三个关键视角#

1. “保底为正”的担保#

正定不是”有时候正”,而是**“除了原点,处处为正”**。这是一种极强的全局性质。

2. 几何形状:一个”完美的碗”#

如果把二次型看成曲面,正定意味着它像一个开口向上的抛物面——只有一个最低点(原点),向四面八方都向上翘起。

3. 矩阵的”体检报告”#

二次型背后藏着一个对称矩阵 AA。“正定”等价于说:

  • AA 的所有特征值都 >0> 0
  • AA 的所有顺序主子式都 >0> 0
  • AA 的正惯性指数等于维数

三、与”亲戚们”的区别#

概念通俗理解数学特征几何形状
正定除了原点,永远为正x≠0\mathbf{x}\neq\mathbf{0} 时 f(x)>0f(\mathbf{x})>0完美的碗(开口向上)
半正定永远不为负,但有些地方”躺平”f(x)≥0f(\mathbf{x})\geq 0,且存在 x≠0\mathbf{x}\neq\mathbf{0} 使 f=0f=0碗底有一条平线(如槽形)
负定除了原点,永远为负x≠0\mathbf{x}\neq\mathbf{0} 时 f(x)<0f(\mathbf{x})<0倒扣的碗
不定有正有负,“喜怒无常”存在 x1\mathbf{x}_1 使 f>0f>0,存在 x2\mathbf{x}_2 使 f<0f<0马鞍形

一句话区分:正定是”严格正能量”,半正定是”不传播负能量但可能佛系”,不定是”墙头草两边倒”。


四、在学科体系中的位置#

线性代数知识体系
├── 矩阵与向量(基础)
├── 线性方程组(工具)
├── 特征值与特征向量(核心)
├── 二次型 ← 你在这里
│ └── 正定/负定/不定 ← 分类理论
└── 应用层
├── 多元函数极值判定(Hessian矩阵)
├── 统计学(协方差矩阵必须半正定)
├── 优化理论(凸函数、最小二乘)
└── 物理学(能量正定、稳定性分析)

关键定位:正定二次型是连接纯代数与应用的桥梁。你学了它,才能理解为什么:

  • 最小二乘法一定有唯一解
  • 为什么方差永远非负
  • 为什么一个平衡点是稳定还是不稳定

五、生活化类比#

类比 1:山谷里的小球 ⛰️#

想象一个完美的圆底山谷(没有坑,没有平台,只有一个最低点):

  • 你站在山谷里的任何位置(非零向量),你的海拔高度(二次型的值)一定是正的。
  • 只有站在正中心(原点),海拔才是 00。
  • 无论你从哪个方向滚小球,它最终都会回到谷底——这就是正定性带来的稳定性。

对比:半正定就像山谷底部有一条平坦的马路,小球停在路上任意位置都不会滚,但也算”稳定”;不定就像马鞍,你往前坐会下滑,往旁边坐却会上翘,毫无稳定性。

类比 2:餐厅的”保底好评”机制 🍜#

假设有一个评分系统,顾客输入一组评价指标(如口味、服务、环境),系统输出一个综合分数:

  • 正定 = 只要不是”零评价”(完全没来过),分数一定大于0。也就是说,这家餐厅有底线保证,只要你体验过,它绝不会让你打负分。
  • 如果某家餐厅半正定,意味着你可能打0分(完全无感),但不会打负分。
  • 如果不定,那就有意思了——有人打5星,有人打1星,完全看从哪个角度评价。

六、初学者记忆口诀#

“非零必正,矩阵特征全为正;
主子式正,正惯指数要满配;
几何像碗,代数保底,优化里它是宝贝。”


一句话总结:正定二次型是线性代数中一种”全局乐观”的数学结构——它保证了你只要有所输入(非零),结果一定积极向上(为正)。这种”保底”性质让它成为现代科学与工程中最受青睐的数学对象之一。

正定二次型:从零基础到考试水平#


一、核心概念速览#

正定二次型:f(x)=xTAxf(\boldsymbol{x}) = \boldsymbol{x}^\mathrm{T}A\boldsymbol{x},若对任意 x≠0\boldsymbol{x} \neq \boldsymbol{0} 都有 f(x)>0f(\boldsymbol{x}) > 0,则称 ff 为正定二次型,AA 为正定矩阵。

五大判定方法(考试核心):

方法内容适用场景
定义法∀x≠0,f>0\forall \boldsymbol{x}\neq\boldsymbol{0}, f>0理论证明、抽象矩阵
特征值法AA 的所有特征值 >0>0已知特征值或易求特征值
顺序主子式法所有顺序主子式 >0>0具体数值矩阵(最常用)
惯性指数法正惯性指数 =n=n配方法化标准型后判断
分解法∃\exists 可逆 C,A=CTCC, A=C^\mathrm{T}C证明题

二、例题详解#

【基础题 1】定义法入门#

判断二次型 f(x1,x2)=3x12+2x1x2+3x22f(x_1,x_2)=3x_1^2+2x_1x_2+3x_2^2 是否正定。

解析#

第一步:写出对应的对称矩阵 A=(3113)A = \begin{pmatrix} 3 & 1 \\ 1 & 3 \end{pmatrix} (二次型矩阵的写法:平方项系数放对角线,交叉项系数平分放两侧,这样保证矩阵对称,才能用后续判定定理)

第二步:尝试用定义直接验证 将 ff 配方: f=3x12+2x1x2+3x22=3(x1+13x2)2+83x22\begin{aligned} f &= 3x_1^2+2x_1x_2+3x_2^2 \\ &= 3\left(x_1+\frac{1}{3}x_2\right)^2 + \frac{8}{3}x_2^2 \end{aligned} (配方的目的是把交叉项消去,化为平方和形式,这样正负性一目了然;提取系数 3 后,括号内完成平方需要 13x2\frac{1}{3}x_2,所以减去 3⋅(13x2)2=13x223\cdot(\frac{1}{3}x_2)^2 = \frac{1}{3}x_2^2,原系数 3 减去 13\frac{1}{3} 得 83\frac{8}{3})

第三步:分析符号 f=3(x1+13x2)2+83x22≥0f = 3\left(x_1+\frac{1}{3}x_2\right)^2 + \frac{8}{3}x_2^2 \geq 0 (两个平方项系数都是正数,所以 ff 非负;要判断是否正定,还需看等号成立条件)

第四步:确定等号成立条件 f=0f=0 当且仅当: {x1+13x2=0x2=0⇒x1=x2=0\begin{cases} x_1+\frac{1}{3}x_2 = 0 \\ x_2 = 0 \end{cases} \Rightarrow x_1=x_2=0 (两个平方项同时为零,才能整体为零;解这个方程组发现只有零解,说明非零向量代入必为正)

结论:ff 是正定二次型。 □\square


【基础题 2】顺序主子式法(数值型)#

判断二次型 f(x1,x2,x3)=2x12+3x22+x32+2x1x2+2x2x3f(x_1,x_2,x_3)=2x_1^2+3x_2^2+x_3^2+2x_1x_2+2x_2x_3 是否正定。

解析#

第一步:写出矩阵 A=(210131011)A = \begin{pmatrix} 2 & 1 & 0 \\ 1 & 3 & 1 \\ 0 & 1 & 1 \end{pmatrix} (x12x_1^2 系数 2 放 a11a_{11},x22x_2^2 系数 3 放 a22a_{22},x32x_3^2 系数 1 放 a33a_{33};x1x2x_1x_2 系数 2 平分得 a12=a21=1a_{12}=a_{21}=1;x2x3x_2x_3 系数 2 平分得 a23=a32=1a_{23}=a_{32}=1;注意 x1x3x_1x_3 系数为 0,所以 a13=a31=0a_{13}=a_{31}=0)

第二步:计算顺序主子式

  • 一阶顺序主子式:Δ1=∣2∣=2>0\Delta_1 = |2| = 2 > 0 (顺序主子式就是从左上角开始取 1×1,2×2,3×31\times1, 2\times2, 3\times3 子矩阵的行列式;一阶就是第一个对角元)

  • 二阶顺序主子式: Δ2=∣2113∣=2×3−1×1=5>0\Delta_2 = \begin{vmatrix} 2 & 1 \\ 1 & 3 \end{vmatrix} = 2\times3 - 1\times1 = 5 > 0 (计算二阶行列式,交叉相乘再相减;结果为正,继续检验下一阶)

  • 三阶顺序主子式: Δ3=∣210131011∣=2∣3111∣−1∣1101∣+0=2(3−1)−1(1−0)=4−1=3>0\Delta_3 = \begin{vmatrix} 2 & 1 & 0 \\ 1 & 3 & 1 \\ 0 & 1 & 1 \end{vmatrix} = 2\begin{vmatrix}3&1\\1&1\end{vmatrix} - 1\begin{vmatrix}1&1\\0&1\end{vmatrix} + 0 = 2(3-1) - 1(1-0) = 4-1 = 3 > 0 (按第一行展开计算三阶行列式;也可以先化简再展开;结果为正,三个顺序主子式全正)

第三步:应用判定定理 因为 AA 的所有顺序主子式都大于 0,根据霍尔维茨定理(Sylvester 准则),AA 正定。 (顺序主子式法是判断具体数值矩阵最快捷的方法,不需要算特征值,不需要配方,只需算几个行列式)

结论:ff 是正定二次型。 □\square


【进阶题 3】含参数的正定条件(考试高频)#

确定参数 tt 的取值范围,使二次型 f(x1,x2,x3)=2x12+x22+3x32+2tx1x2+2x2x3f(x_1,x_2,x_3)=2x_1^2+x_2^2+3x_3^2+2tx_1x_2+2x_2x_3 为正定二次型。

解析#

第一步:写出对称矩阵 A=(2t0t11013)A = \begin{pmatrix} 2 & t & 0 \\ t & 1 & 1 \\ 0 & 1 & 3 \end{pmatrix} (x1x2x_1x_2 系数 2t2t 平分后 a12=a21=ta_{12}=a_{21}=t;x2x3x_2x_3 系数 2 平分后 a23=a32=1a_{23}=a_{32}=1;其余对角元为平方项系数)

第二步:列出顺序主子式正定的条件 正定要求所有顺序主子式 >0>0:

  • Δ1=2>0\Delta_1 = 2 > 0 (恒成立,对 tt 无约束)

  • Δ2=∣2tt1∣=2−t2>0\Delta_2 = \begin{vmatrix} 2 & t \\ t & 1 \end{vmatrix} = 2 - t^2 > 0 (解这个不等式:t2<2t^2 < 2,即 −2<t<2-\sqrt{2} < t < \sqrt{2};这是参数的第一个约束范围)

  • Δ3=∣2t0t11013∣\Delta_3 = \begin{vmatrix} 2 & t & 0 \\ t & 1 & 1 \\ 0 & 1 & 3 \end{vmatrix} 按第一行展开: =2∣1113∣−t∣t103∣+0=2(3−1)−t(3t−0)=4−3t2>0= 2\begin{vmatrix}1&1\\1&3\end{vmatrix} - t\begin{vmatrix}t&1\\0&3\end{vmatrix} + 0 = 2(3-1) - t(3t-0) = 4 - 3t^2 > 0 (三阶行列式展开;注意第二项的符号是 (−1)1+2=−1(-1)^{1+2}=-1,所以是 −t-t 乘以余子式;解得 t2<43t^2 < \frac{4}{3},即 −233<t<233-\frac{2\sqrt{3}}{3} < t < \frac{2\sqrt{3}}{3})

第三步:求交集 要同时满足: {−2<t<2−233<t<233\begin{cases} -\sqrt{2} < t < \sqrt{2} \\ -\frac{2\sqrt{3}}{3} < t < \frac{2\sqrt{3}}{3} \end{cases}

比较数值:2≈1.414\sqrt{2} \approx 1.414,233≈1.155\frac{2\sqrt{3}}{3} \approx 1.155。 (取交集的原则是”更严格的条件生效”;因为 1.155<1.4141.155 < 1.414,所以第二个区间更窄)

结论:当 −233<t<233-\dfrac{2\sqrt{3}}{3} < t < \dfrac{2\sqrt{3}}{3} 时,ff 为正定二次型。 □\square


【进阶题 4】特征值法(抽象/特殊结构)#

设 AA 是 nn 阶实对称矩阵,且满足 A3−3A2+5A−3E=OA^3 - 3A^2 + 5A - 3E = O,证明 AA 正定。

解析#

第一步:分析已知条件的结构 题目给出矩阵多项式方程:A3−3A2+5A−3E=OA^3 - 3A^2 + 5A - 3E = O。 (这种形式提示我们用特征值的性质:若 λ\lambda 是 AA 的特征值,则 λ3−3λ2+5λ−3\lambda^3 - 3\lambda^2 + 5\lambda - 3 是 A3−3A2+5A−3EA^3-3A^2+5A-3E 的特征值)

第二步:利用特征值性质 设 λ\lambda 是 AA 的任一特征值,则 λ\lambda 满足: λ3−3λ2+5λ−3=0\lambda^3 - 3\lambda^2 + 5\lambda - 3 = 0 (因为零矩阵的所有特征值都是 0,而矩阵多项式的特征值就是特征值的多项式)

第三步:求解特征值的可能取值 分解多项式: λ3−3λ2+5λ−3=(λ−1)(λ2−2λ+3)=0\lambda^3 - 3\lambda^2 + 5\lambda - 3 = (\lambda-1)(\lambda^2-2\lambda+3) = 0 (尝试有理根 λ=1\lambda=1 代入验证:1−3+5−3=01-3+5-3=0,成立;再用多项式除法分解出二次因式)

解 λ2−2λ+3=0\lambda^2-2\lambda+3=0: λ=2±4−122=1±2i\lambda = \frac{2\pm\sqrt{4-12}}{2} = 1\pm\sqrt{2}i (判别式为负,得到一对共轭复根;但 AA 是实对称矩阵,其特征值必须是实数)

第四步:确定实特征值 因为 AA 实对称,特征值只能是实数,所以复根 1±2i1\pm\sqrt{2}i 被排除。 (实对称矩阵的基本性质:特征值都是实数;这是关键约束,把复数解筛掉)

因此 AA 的所有特征值都是 λ=1\lambda = 1。 (唯一可能的实特征值是 1;注意这里不是说特征值只有一个是 1,而是说每个特征值都等于 1,即 AA 的所有特征值都是 1)

第五步:判定正定性 因为 AA 的所有特征值 λ=1>0\lambda = 1 > 0, (特征值法判定:实对称矩阵正定 ⇔\Leftrightarrow 所有特征值 >0>0)

结论:AA 是正定矩阵。 □\square


【考试水平题 5】综合证明(考研难度)#

设 AA 是 mm 阶正定矩阵,BB 是 m×nm\times n 实矩阵,证明:BTABB^\mathrm{T}AB 正定 ⇔\Leftrightarrow r(B)=nr(B)=n(即 BB 列满秩)。

解析#

先证 "⇒\Rightarrow":若 BTABB^\mathrm{T}AB 正定,则 r(B)=nr(B)=n

第一步:利用正定定义 BTABB^\mathrm{T}AB 正定 ⇒\Rightarrow 对任意 x≠0\boldsymbol{x}\neq\boldsymbol{0}(x∈Rn\boldsymbol{x}\in\mathbb{R}^n),有: xT(BTAB)x>0\boldsymbol{x}^\mathrm{T}(B^\mathrm{T}AB)\boldsymbol{x} > 0 (正定的定义:非零向量代入二次型值为正)

第二步:变形分析 xTBTABx=(Bx)TA(Bx)>0\boldsymbol{x}^\mathrm{T}B^\mathrm{T}AB\boldsymbol{x} = (B\boldsymbol{x})^\mathrm{T}A(B\boldsymbol{x}) > 0 (把 BxB\boldsymbol{x} 看作一个整体向量,设为 y=Bx\boldsymbol{y}=B\boldsymbol{x};则上式变为 yTAy>0\boldsymbol{y}^\mathrm{T}A\boldsymbol{y}>0)

第三步:分析 BxB\boldsymbol{x} 是否为零 若 Bx=0B\boldsymbol{x} = \boldsymbol{0},则 (Bx)TA(Bx)=0(B\boldsymbol{x})^\mathrm{T}A(B\boldsymbol{x}) = 0,与 >0>0 矛盾。 (因为 AA 正定,若 y=0\boldsymbol{y}=\boldsymbol{0} 则 yTAy=0\boldsymbol{y}^\mathrm{T}A\boldsymbol{y}=0;但正定要求对非零 x\boldsymbol{x} 结果 >0>0,所以 BxB\boldsymbol{x} 不能为 0\boldsymbol{0})

所以对任意 x≠0\boldsymbol{x}\neq\boldsymbol{0},必有 Bx≠0B\boldsymbol{x}\neq\boldsymbol{0}。 (这说明 BB 的零空间只有零向量,即齐次方程 Bx=0B\boldsymbol{x}=\boldsymbol{0} 只有零解)

第四步:得出秩的结论 Bx=0B\boldsymbol{x}=\boldsymbol{0} 只有零解 ⇔\Leftrightarrow BB 的列向量线性无关 ⇔\Leftrightarrow r(B)=nr(B)=n。 (齐次方程只有零解的等价条件;BB 是 m×nm\times n 矩阵,列满秩意味着 nn 个列向量都线性无关,秩等于列数)


再证 "⇐\Leftarrow":若 r(B)=nr(B)=n,则 BTABB^\mathrm{T}AB 正定

第一步:验证对称性 (BTAB)T=BTAT(BT)T=BTAB(B^\mathrm{T}AB)^\mathrm{T} = B^\mathrm{T}A^\mathrm{T}(B^\mathrm{T})^\mathrm{T} = B^\mathrm{T}AB (因为 AA 正定所以 AA 对称,即 AT=AA^\mathrm{T}=A;转置运算性质:(CD)T=DTCT(CD)^\mathrm{T}=D^\mathrm{T}C^\mathrm{T};验证对称性是使用正定判定定理的前提,只有对称矩阵才能谈正定)

所以 BTABB^\mathrm{T}AB 是实对称矩阵。

第二步:验证定义 对任意 x≠0\boldsymbol{x}\neq\boldsymbol{0}(x∈Rn\boldsymbol{x}\in\mathbb{R}^n),考虑: xT(BTAB)x=(Bx)TA(Bx)\boldsymbol{x}^\mathrm{T}(B^\mathrm{T}AB)\boldsymbol{x} = (B\boldsymbol{x})^\mathrm{T}A(B\boldsymbol{x}) (同样配方变形,把 BxB\boldsymbol{x} 看作整体)

第三步:利用 r(B)=nr(B)=n 的条件 因为 r(B)=nr(B)=n,所以 Bx=0B\boldsymbol{x}=\boldsymbol{0} 只有零解。 (列满秩矩阵的齐次方程只有零解,即 x≠0\boldsymbol{x}\neq\boldsymbol{0} 时 Bx≠0B\boldsymbol{x}\neq\boldsymbol{0})

因此当 x≠0\boldsymbol{x}\neq\boldsymbol{0} 时,Bx≠0B\boldsymbol{x}\neq\boldsymbol{0}。

第四步:利用 AA 的正定性 令 y=Bx\boldsymbol{y} = B\boldsymbol{x},则 y≠0\boldsymbol{y}\neq\boldsymbol{0},且: (Bx)TA(Bx)=yTAy>0(B\boldsymbol{x})^\mathrm{T}A(B\boldsymbol{x}) = \boldsymbol{y}^\mathrm{T}A\boldsymbol{y} > 0 (因为 AA 正定,对任意非零向量 y\boldsymbol{y} 都有 yTAy>0\boldsymbol{y}^\mathrm{T}A\boldsymbol{y}>0)

第五步:结论 对任意 x≠0\boldsymbol{x}\neq\boldsymbol{0},xT(BTAB)x>0\boldsymbol{x}^\mathrm{T}(B^\mathrm{T}AB)\boldsymbol{x} > 0,且 BTABB^\mathrm{T}AB 对称, (满足正定的两个条件:对称 + 对非零向量二次型值为正)

结论:BTABB^\mathrm{T}AB 正定。 □\square


三、方法选择速查表#

题目类型首选方法次选方法
具体数值二次型顺序主子式法特征值法
含参数求范围顺序主子式法(列不等式)配方法看系数
抽象矩阵证明定义法特征值法
已知特征值/多项式特征值法—
合同变换/标准型惯性指数法配方法

四、常见错误警示#

  1. 不写对称矩阵直接判断:二次型矩阵必须对称,交叉项要平分!
  2. 顺序主子式 vs 主子式:顺序主子式是”左上角依次取”,不是所有主子式。
  3. 忽略 x≠0\boldsymbol{x}\neq\boldsymbol{0} 的条件:正定要求对非零向量成立,证明时必须强调。
  4. 复特征值陷阱:实对称矩阵特征值必为实数,遇到复根要排除。

需要我继续讲解正定二次型的几何意义(如椭球面与正定性的关系),或者补充负定、半正定的判定例题吗?

Share Article

If this article helped you, please share it with others!

20正定二次型:给初学者的深度解析
https://boyuan.net.cn/en/posts/20正定二次型:给初学者的深度解析/
Author
Boyuan
Published at
2026-06-24
Related PostsSmart
1
18二次型及其标准型:给初学者的深度解析
线性代数二次型及其标准型:给初学者的深度解析 一、一句话定义 二次型就是"每个项都是二次的多元多项式"。比如 ,每一项的次数都是 2( 是二次, 也是 次)。 标准型就是把上面那个复杂的式子,通过"换一套坐标系",变成只有平方项、没有交叉项的简单形…
2
19二次型
线性代数一句话总结:配方法化二次型,就像用“代数整理术”把一个纠缠不清的表达式,拆解成若干个独立平方项的简单形式。 一、核心概念拆解 1. 什么是二次型? 想象你有一个公式,里面全是变量的“二次方”和“两两相乘”的项,比如: 这里的 、 是平方项,…
3
15方阵的特征值与特征向量:给初学者的深度解析
线性代数方阵的特征值与特征向量:给初学者的深度解析 一、一句话定义 对于 阶方阵 ,如果存在一个非零向量 和一个数 ,使得: 那么 称为 的特征值, 称为属于 的特征向量。 二、通俗拆解:到底在说什么? 想象矩阵 是一台"变形机器"。你把任意一个向…
4
13线性方程组的解的结构 —— 初学者深度解析
线性代数线性方程组的解的结构 —— 初学者深度解析 一、一句话定义 非齐次线性方程组的任意一个解 = 一个"特解" + 对应齐次方程组的所有解 用符号说:若 有一个已知解 (特解),则它的全部解可以写成: 其中 是齐次方程 的任意解。 二、核心内涵…
5
14相似矩阵
线性代数我来帮你把这个看似抽象的章节拆解清楚。放心,我会尽量不用繁琐的公式堆砌,而是抓住"它到底是什么、为什么要学"这个核心。 一、定义:它们各自是什么? 1. 相似矩阵 如果两个方阵 和 满足: (其中 是一个可逆矩阵),我们就说 与 相似。 通…
Random PostsRandom

Comments

Profile Image of the Author
Boyuan
石以砥焉,化钝为利。
欢迎来访
石以砥焉,化钝为利。这里是我的个人站点,主要记录学习笔记、项目实践和一些零散的想法。站内文章可用右上角搜索,也可以订阅 RSS。
Categories
Tags
Latest Moments
Site Statistics
Posts
139
Categories
17
Tags
49
Total Words
1,721,112
Running Days
0 days
Last Activity
0 days ago
Site Info
Build Platform
Local
Blog Version
v1.0.0
License
CC BY-NC-SA 4.0
Table of Contents