最后更新: 2025-04-26 09:25 查看: 456 次反馈刷题

正定二次型与图像判定

## 正定二次型定义
设有二次型 $f(\boldsymbol{x})=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}$ 。
- 若对任何 $\boldsymbol{x} \neq \mathbf{0}$, 都有 $f(\boldsymbol{x})>0$, 则称 $f(\boldsymbol{x})$ 为正定二次型, 并称对称矩阵 $\boldsymbol{A}$ 是正定矩阵, 记为 $\boldsymbol{A}>\mathbf{0}$ 。
- 若对任何 $\boldsymbol{x} \neq \mathbf{0}$, 都有 $f(\boldsymbol{x})<0$, 则称 $f(\boldsymbol{x})$ 为负定二次型, 并称对称矩阵 $\boldsymbol{A}$ 是负定矩阵, 记为 $\boldsymbol{A}<\mathbf{0}$ 。
- 若对任何 $\boldsymbol{x} \neq \boldsymbol{0}$, 都有 $f(\boldsymbol{x}) \geqslant 0$, 则称 $f(\boldsymbol{x})$ 为半正定的; 若- $f(\boldsymbol{x})$ 为半正定的, 则称 $f(x)$ 为半负定 (负半定) 的; 若 $f(\boldsymbol{x})$ 既不是半正定又不是半负定的, 则称 $f(x)$ 为不定的。

显然 $f\left(x_1, x_2, \cdots, x_n\right)=x_1^2+x_2^2+\cdots+x_n^2$是正定型，而$f\left(x_1, x_2, \cdots, x_n\right)=-x_1^2-x_2^2-\cdots-x_n^2$是负定型

**定理：**  二次型的线性变换不改变二次型的有定性。

比如$y=x^2$ 他的值是大于零，使用 $x=ct$ 带入 得 $y=c^2t^2$ 不论怎么改变，他的值仍然大于零。 从矩阵看前者是1，后者是$c^2$

## 正定二次型是干什么用的

在欧氏空间 $\mathbf{R}^n$, 实二次型 $f\left(x_1, x_2, \cdots, x_n\right)$ 作为定义在 $\mathbf{R}^n$ 的一个二次实函数 $z=f\left(x_1, x_2, \cdots, x_n\right)$,则当 $f\left(x_1, x_2, \cdots, x_n\right)$ 为正定时就是只要取 $x_1, x_2, \cdots, x_n$ 为一组不全为 0 的实数, 均有 $z>0$ (只有当 $x_1=x_2=\cdots=x_n=0$ 时, $z=0$ ); 也就是说, 这个函数的值域是 $z \geqslant 0$, 但只有在 $\mathbf{R}^n$ 的原点取得 $z=0$,而在其他点上均有 $z>0$ 。这个地方好多人都忽略了。

半正定呢, 就是在此二次型在整个定义域 $\mathbf{R}^n$ 上也有值域 $z \geqslant 0$, 但除了原点使 $z=0$ 外, 尚有其他一些点也使 $z=0$, 此外便是 $z>0$ (负定和半负定相应地有类似的结果, 只是 $z \leqslant 0$ )。

当二次型为不定时, 则函数值域既有正实数也有负实数和 0 。

**例1** $z=f(x, y)=\frac{1}{4} x^2+y^2$ 是一个正定二次型, 它的图像如图  (a) 所示, 是一个开口向上的椭圆抛物面, 整个曲面除一点 (顶点) 在坐标平面 $x o y$ 的原点上, 其余均在 $x o y$ 平面的上方。
  ![图片](/uploads/2025-04/3cb403.jpg)

正定二次型有着明显的几何意义, 当 $f(x, y)$ 为二维的正定二次型时, 它可由可逆线性替换 (坐标变换) 化为系数全为正的标准形, 于是 $f(x, y)=c(c>0)$ 的图形是以原点为中心的椭圆,当把 $c$ 看做任意正常数时, 则是一族椭圆线, 这族椭圆随着 $c$ (沿着抛物线) 减小且趋于零而收缩到原点 (见图 7-11 (a)); 当 $f$ 为三维正定二次型时, $f(x, y, z)=c(c>0)$ 的图形则是一族椭球面, 这族椭球面随着 $c$ (沿着抛物面) 减小且趋于零而收缩到原点。

**例2** $z=f(x, y)=2 x^2$ 是半正定二次型, 它的图形如上图 (b) 所示, 是一个开口向上, 以 $x o y$ 面上的抛物线 $z=2 x^2$ 为准线, 以平行于 $y$ 轴的直线为母线的抛物柱面。整个曲面有一条母线在 $x o y$ 面上 (即 $y$ 轴, 轴上二次型等于零), 其余均在 $x o y$ 平面上方。

**例3** $z=f(x, y)=x y$ 是一个不定二次型, 其图形如上图  (c) 所示, 是一个过原点的马鞍面。显然, 马鞍面上正值、负值和零都有。

## 判断旋转曲面形状

1.定义
以一条曲线绕一条定直线旋转一周所成的曲面叫做旋转曲面, 旋转曲线和定直线依次叫做旋转曲面的母线和轴.
下面列出了高等数学期间，常见的几个图形。

![图片](/uploads/2025-04/219042.jpg)

2. 常见二次曲面及其图形
(1) 椭圆锥面 $\frac{x^2}{a^2}+\frac{y^2}{b^2}=z^2$ ，如图 (a)。
(2) 椭球面 $\frac{x^2}{a^2}+\frac{y^2}{b^2}+\frac{z^2}{c^2}=1$, 如图 (b).
(3) 单叶双曲面 $\frac{x^2}{a^2}+\frac{y^2}{b^2}-\frac{z^2}{c^2}=1$, 如图 (c).
(4) 双叶双曲面 $\frac{x^2}{a^2}-\frac{y^2}{b^2}-\frac{z^2}{c^2}=1$, 如图 (d).
(5) 椭圆抛物面 $\frac{x^2}{a^2}+\frac{y^2}{b^2}=z$, 如图 (e).
(6) 双曲抛物面 (马鞍面) $\frac{x^2}{a^2}-\frac{y^2}{b^2}=z$, 如图 $(f)$.
(7) 椭圆柱面 $\frac{x^2}{a^2}+\frac{y^2}{b^2}=1$, 如图 (g).
(8) 双曲柱面 $\frac{x^2}{a^2}-\frac{y^2}{b^2}=1$, 如图(h).
(9) 抛物柱面 $y^2=a x$, 如图 (i).

下表列出了对应的惯性指数。

![图片](/uploads/2025-04/7592c0.jpg)

`例` 设二次型

$$
f\left(x_1, x_2, x_3\right)=x_2^2+2 x_1 x_3,
$$

则 $f\left(x_1, x_2, x_3\right)=-1$ 在空间直角坐标系下表示的二次曲面为（ ）．
（A）单叶双曲面
（B）双叶双曲面
（C）椭球面
（D）柱面
【解】应选（B）．
二次型矩阵 $A =\left[\begin{array}{lll}0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0\end{array}\right]$ ，由

$$
|\lambda E - A |=\left|\begin{array}{ccc}
\lambda & 0 & -1 \\
0 & \lambda-1 & 0 \\
-1 & 0 & \lambda
\end{array}\right|=(\lambda-1)^2(\lambda+1)=0,
$$

得 $A$ 的特征值为 $\lambda_1=\lambda_2=1, \lambda_3=-1$ ．

在正交变换下 $f$ 的标准形为 $y_1^2+y_2^2-y_3^2$ ，则 $f\left(x_1, x_2, x_3\right)=-1$ 写成 $-y_1^2-y_2^2+y_3^2=1$ ，表示双叶双曲面，故选（B）．

`例`判别二次型 $f=-3 x^2-5 y^2-7 z^2+4 x y+4 x z$ 的正定性。
解 $f$ 的矩阵为

$$
A=\left[\begin{array}{ccc}
-3 & 2 & 2 \\
2 & -5 & 0 \\
2 & 0 & -7
\end{array}\right]
$$

因为

$$
a_{11}=-3<0,\left|\begin{array}{ll}
a_{11} & a_{12} \\
a_{21} & a_{22}
\end{array}\right|=\left|\begin{array}{cc}
-3 & 2 \\
2 & -5
\end{array}\right|=11>0,|\boldsymbol{A}|=-57<0
$$

故由上述顺序主子式法定理知 $f$ 为负定的。

## 正定二次型推论

**定理2** $  n$ 元二次型 $f(x)=\boldsymbol{x}^{\mathrm{T}} \boldsymbol{A} \boldsymbol{x}$ 为正定的充分必要条件是它的正惯性指数等于 $n$ ，即它的规范形的 $n$ 个系数全为 1 .

证明 设可逆变换 $x=C y$ 使

$$
f(\boldsymbol{x})=f(\boldsymbol{C} \boldsymbol{y})=\sum_{i=1}^n k_i {y_i}^2
$$
$$
\begin{aligned}
&\text { 先证充分性. 设 } k_i>0(i=1,2, \cdots, n) \text {. 任给 } \boldsymbol{x} \neq \boldsymbol{0} \text {, 则 } \boldsymbol{y}=\boldsymbol{C}^{-1} \boldsymbol{x} \neq \boldsymbol{0} \text {, 故 }\\
&f(x)=\sum_{i=1}^n k_i y_i^2>0 .
\end{aligned}
$$

再证必要性. 用反证法. 假设有 $k_i \leq 0$, 则当 $y=e_s$ (单位坐标向量) 时， $f\left(\boldsymbol{C e}_s\right)=k_s \leq 0$. 显然 $\boldsymbol{C e}_s=\mathbf{0}$,这与 $f$ 为正定相矛盾.
这就证明了 $k_i>0(i=1,2, \cdots, n)$.

### 推论

**推论1** 对称阵 $A$ 为正定的充分必要条件是: $A$ 与单位矩阵 $E$ 合同.
**推论2** 对称阵 $A$ 为正定的充分必要条件是: $A$ 的特征值全为正.
**定理3** 对称阵 $A$ 为正定的充分必要条件是: $A$ 的各阶主子式都为正，即

$$
a_{11}>0,\left|\begin{array}{ll}
a_{11} & a_{12} \\
a_{21} & a_{22}
\end{array}\right|>0, \cdots,\left|\begin{array}{ccc}
a_{11} & \cdots & a_{1 n} \\
\vdots & & \vdots \\
a_{n 1} & \cdots & a_{n n}
\end{array}\right|>0,
$$

对称阵为负定的充分必要条件是: 奇数阶主子式为负，偶数阶主子式为正,即

$$
(-1)^r\left|\begin{array}{ccc}
a_{11} & \cdots & a_{1 r} \\
\vdots & & \vdots \\
a_{n 1} & \cdots & a_{n r}
\end{array}\right|>0(r=1,2, \cdots, n) .
$$
定理3 称为**赫尔维茨定理**.

`例` 判别二次型 $f\left(x_1, x_2, x_3\right)=-2 x_1^2-6 x_2^2-4 x_3^2+2 x_1 x_2+2 x_1 x_3$ 的正定性.

解 此二次型的矩阵为

$$
\boldsymbol{A}=\left(\begin{array}{ccc}
-2 & 1 & 1 \\
1 & -6 & 0 \\
1 & 0 & -4
\end{array}\right)
$$

它的各阶顺序主子式为:

$$
a_{11}=-2<0,\left|\begin{array}{cc}
-2 & 1 \\
1 & -6
\end{array}\right|=11>0,\left|\begin{array}{ccc}
-2 & 1 & 1 \\
1 & -6 & 0 \\
1 & 0 & -4
\end{array}\right|=-38<0
$$

所以，该二次型是负定的.

`例`设 $\boldsymbol{A}$ 为正定矩阵，证明 $\boldsymbol{A}^{-1}$ 也是正定矩阵.
证明 因为 $\boldsymbol{A}$ 正定，所以 $\boldsymbol{A}^{\mathrm{T}}=\boldsymbol{A}$ ，从而

$$
\left(\boldsymbol{A}^{-1}\right)^{\mathrm{T}}=\left(\boldsymbol{A}^{\mathrm{T}}\right)^{-1}=\boldsymbol{A}^{-1},
$$

即 $\boldsymbol{A}^{-1}$ 为实对称矩阵。
又由于 $\boldsymbol{A}$ 正定，存在可逆阵 $\boldsymbol{P}$ ，使得 $P^{\mathrm{T}} \boldsymbol{A P}=\boldsymbol{E}$. 等式两端求逆，得到

$$
\boldsymbol{P}^{-1} \boldsymbol{A}^{-1}\left(\boldsymbol{P}^{\mathrm{T}}\right)^{-1}=\boldsymbol{E} .
$$

令 $\left(\boldsymbol{P}^{\mathrm{T}}\right)^{-1}=\boldsymbol{Q}$ ，则 $\boldsymbol{Q}$ 为可逆矩阵，且满足

$$
\boldsymbol{Q}^{\mathrm{T}} \boldsymbol{A}^{-1} \boldsymbol{Q}=\boldsymbol{E},
$$

所以 $A^{-1}$ 也是正定矩阵.

开VIP会员

非会员每天6篇，会员每天16篇，VIP会员无限制访问

题库训练自我测评投稿

上一篇：二次型的规范形与惯性定理

下一篇：二次型合同对角化的几何意义

本文对您是否有用？有用 (0) 无用 (0)