最后更新: 2025-04-24 21:40 查看: 784 次反馈能力测评会员8.2元/月赞助

二次型的意义

## 为什么研究二次项？

二次型是变量的二次乘积项的和, 类似于 $a x^2+b x y+c y^2$ 的多项式子, 一般包括两个变量乘积项和一个变量平方两种形式。二次型是个函数, 如上式可以写成 $f(x, y)=a x^2+b x y+c y^2$ 的等式形式。
有人疑惑: 这个多项式不是线性函数啊, 这二次型和线性代数有什么关系?
我们知道, 一个一元 $n$ 次多项式可以用一个向量来表示, 次数不超过 $n$ 的多项式全体可以构成一个向量空间。那么一个二次型是一个二元二次多项式, 是不是也可以用向量表示出来?基本答对了! 这个二元二次型可以用几个向量的联合一一矩阵来表示!

如果我们把函数 $f(x, y)=a x^2+b x y+c y^2$ 的自变量换一下, 把单变量 $x 、 y$ 合成一个变向量 $\boldsymbol{x}$,即 $\boldsymbol{x}=(x, y)$, 那么再引入矩阵, 原二元二次函数就可以改写成一元二次向量函数:

$$
f(x)=\left(\begin{array}{ll}
x & y
\end{array}\right)\left[\begin{array}{ll}
a & \frac{b}{2} \\
\frac{b}{2} & c
\end{array}\right]\left(\begin{array}{l}
x \\
y
\end{array}\right)
$$

这个样子的向量函数就是传说中的二次型 (其中的矩阵要写成对称矩阵)。这个对称矩阵:

$$
\left[\begin{array}{cc}
a & \frac{b}{2} \\
\frac{b}{2} & c
\end{array}\right]
$$

就可以表示二次型 $f(x, y)=a x^2+b x y+c y^2$ 。

嘿, 改写成这个样子后, 又有向量又有矩阵, 果然是线性代数的内容。一旦改写成这个样子就可以利用矩阵的强大功能了。其实, 前面讲的矩阵的各种变换还真不能直接利用, 因此人们又发明了矩阵的合同变换应用到二次型的研究上。

其实，二次型的内容就是研究线性空间里的一个几何图形如何在不同的坐标基下的不同的矩阵表示，合同的矩阵表示的是同一个二次函数的几何图形 (这可能是“合同”吩称的由来)。

二次型的应用广泛, 比如信号处理里面的噪声功率、物理学里面的势能和动能、力学里面的惯性张量矩阵、微分几何中曲面的法曲率和统计学里的置信椭圆体等, 这些函数都是二次的,都可以转化为二次型对称矩阵的研究。

我们不应觉得奇怪, 比如功率$P=UI$是电压电流的乘积二次项, 动能的公式 $m v^2 / 2$ 中有平方项出现。据说二次型起源于解析几何中三维坐标系下二次曲线、二次曲面方程的研究。然而一般的 $n$ 元二次型的一些概念和理论, 比起解析几何中二次曲线及曲面的概念和理论, 已变得有点抽象。但由于它们之间的内在联系, 使得我们可以将二次曲线及曲面的几何图形用于理解二次型的几何意义。比如, 二次型的一个典型的应用就是对诸如椭圆曲面、双曲抛物面之类的二次曲面进行清晰地分类。因此, 在正式引入二次型的定义前, 我们想从二次曲面图形的绘制开始讨论。

## 二次函数的哪些系数对图形是重要的

在中学的解析几何中, 对于一元二次函数 $f(x)=a x^2$ 在二维平面上看 (把函数值看做 $y$ 轴: $y=a x^2$ ) 我们有非常清晰的几何图形, 就是过原点的抛物线: $a>0$ 开口向上, 整个曲线在横坐标之上; $a<0$ 开口向下, 整个曲线在横坐标之下; $a=0$, 抛物线蜕化成直线 $x$ 轴。

那么对于函数 $f(x)=a x^2+c$ 图形呢? 我们依然清晰地知道, 这是一条在纵轴方向平移后的图形, 仍是一条抛物线或直线, 偏离原点了, 但图形仍然相同。

那么对于函数 $f(x)=a x^2+b x+c$ 图形呢? 虽然不是那么清晰了, 但我们依然知道这也是一条偏离原点的抛物线或直线, 只不过在横轴和纵轴方向上同时进行了平移, 但图形仍然相同。因为可以把它经过配方得到上面的形式:

$$
f(x)=a x^2+b x+c=a\left(x+\frac{b}{2 a}\right)^2+\left(c-\frac{b^2}{4 a}\right)
$$

到这里我们有一个小小的结论, 就是三个函数的几何图形是合同的, 合同的意思是它们经过平移后图形会完全重合。

既然是这样, 如果是要考察几何图形的话, 对于 $f(x)=a x^2+b x+c$ 类的函数我们只要考察 $f(x)=a x^2$ 的形式就可以了。换句话说, 我们只需研究这个二次函数的二次项的性质就能大致推导出通用二次项的性质。

对于二元二次函数, 同样有类似的情况。二元函数 $f(x, y)=a x^2+c y^2$ 的图形在三维空间中观看 (即 $z=a x^2+c y^2$ ), 其典型的图形是椭圆抛物面或双曲抛物面 (见图 7-1, 至于其退化图形如抛物柱面等我们不再提及), 其中的双曲拋物面俗称马鞍面, 如图 7-1 (b) 所示。
![图片](/uploads/2023-11/image_20231106e25c4e8.png)

在上图中, 添加了一个平行于 $x o y$ 平面的平面。平面与曲面的相交线让我们清晰地看出, 椭圆抛物面的交线是椭圆, 双曲抛物面的交线是双曲线 (之所以称之为抛物面, 是因为曲面与 $x o z$ 、 $y o z$ 平行平面的交线是抛物线)。

对于添加了交叉项的二元函数 $f(x, y)=a x^2+b x y+c y^2$ 的图形, 在三维空间中观看（即令 $z=a x^2+b x y+c y^2$ ), 其典型的图形同样是椭圆抛物面或双曲拋物面, 只是它们的图形在坐标上进行了移动。

比如上面的双曲抛物面图形, 如果我们改变系数 $b$ 的值, 通过与平面的截线的变化看出曲面在旋转, 图 7-2(a)到(c)的图形变化是改变交叉项 $b x y$ 的系数 $b$ 由 $-5 \rightarrow 0 \rightarrow 5$ 变化得到的。可以看出, 双曲抛物面向右进行了旋转, 同时曲面的形状发生了一些不明显的伸缩变化 (再伸缩也是双曲抛物面)。另外可以看出, 当 $b=0$ 即 $f(x, y)=a x^2+c y^2$ 时, 曲面的图形相对于 $x$ 和 $y$ 轴是对称的 (见图 7-2(b)), 旋转后图形明显与坐标轴不再对称了 (见图 7-2(c))。
![图片](/uploads/2023-11/image_2023110666fb3d3.png)

> 现在你明白，为什么我们研究二次函数不带常数项了吧，因为常数项（比如 $+5，-10$）可以通过普通的二次函数上下平移得到。 再来，为什么二次型里不研究一次项比，因为一次项(比如$3x+4y$)类似坐标轴可以左右移动得到。稍后可以看到，对于交叉项，是我们研究的重点，我们的目的首先是**消灭交叉项**，对于 $xy$ 这样的交叉项，如果令 $x=m+n$,$y=m-n$， 那么 $xy$ 就变成了 $m^2-n^2$ 这样就可以把交叉项去掉，这种变量替换就是后面二次型化标准型的方法之一。

我们再来看看一般的二元二次函数 $f(x, y)=a x^2+b x y+c y^2+d x+e y+f$ 的图形, 函数式与前者比较看来, 式中增添了一次项和常数项。根据一元二次函数的经验, 增添了一次项和常数项的函数图形只是把原来的图形在各个坐标轴 $(x, y, z)$ 方向上分别平移了一个距离。对于二元函数来说同样如此。

比如双曲抛物面图形, 如果我们改变函数系数 $d$ 的值, 通过与平面的截线的变化看出曲面在沿着 $x$ 轴的方向 (图 7-3 中左右方向为 $x$ 轴方向) 上移动, 图 7-3(a)到(c)的图形变化是改变一次项 $d x$ 的系数 $d$ 由 $-30 \rightarrow 0 \rightarrow 30$ 变化得到的。另外, 也可以看出, 当 $d=0$ 时, 曲面的图形相对于 $y$ 轴是对称的 (见图 7-3(b)), 平移后图形明显与坐标轴不再对称了 (见图 7-3(c))。
![图片](/uploads/2023-11/image_20231106e59ff45.png)

通过以上的图形可以看出, 由二次函数的二次项的系数就可以完全看出图形的类型。一次项和常数项并不能影响图形类型的本身。至此我们可以有个总结就是, 如果考察几何图形, 对于 $f(x, y)=a x^2+b x y+c y^2+d x+e y+f$ 类的函数, 只需考察 $f(x, y)=a x^2+b x y+c y^2$ 的形式就可以了。换句话说, 我们只研究这个二次函数的二次项就可以了。

#### 结论
通过上面的解释，对于通用的二次函数
$f(x, y)=a x^2+b x y+c y^2+d x+e y+f$
我们可以忽略一次性和常数项，只研究二次项就可以了，即
$f(x, y)=a x^2+b x y+c y^2$

> **小结**：$f_1(x, y)=a x^2+b x y+c y^2+d x+e y+f$ 可以由 $f_2(x, y)=a x^2+b x y+c y^2$  通过一系列旋转、平移得到。 由于$f_1$可以由$f_2$得到，因此，我们说$f_1$和$f_2$是“合同”的。 这里的合同不是日常生活中说的法律合同，这里的合同可以理解为通过坐标变换后图形“重合后相同”

## 通过坐标简化方程
二维平面空间中的几何图形比如圆、椭圆、抛物线及双曲线等也属于二次曲线图形, 这些曲线又称为圆锥曲线，因为它们可以看成是由平面和双圆锥面相交而得到的截线，见图7-7。

双圆锥面和平面相截交的方程组是

$$
\left\{\begin{array}{l}
f(x, y)=a x^2+2 b x y+c y^2+d x+e y+f \\
f(x, y)=g
\end{array}\right.
$$

其中, $f(x, y)=g$ 就是那个截平面方程。由此, 平面上的二次曲线的一般形式为

$$
 x^2+2 b x y+c y^2+d x+e y+f=0 ...(7.2)
$$

那么此方程的向量及矩阵的形式可以表示为

$$
(x, y)\left[\begin{array}{ll}
a & b \\
b & c
\end{array}\right]\binom{x}{y}+(d, e)\binom{x}{y}+(f)=(0)
$$

(注: $x y$ 的系数写为 $2 b$ 是为了得到矩阵方程的一般形式。)
 ![图片](/uploads/2024-09/ac281e.jpg){width=500px}
 
 根据我们中学的经验, 如果把方程 (7-2) 化简为 $a^{\prime} x^{\prime 2}+c^{\prime} y^{\prime 2}=f^{\prime}$ 的形式, 我们

其他版本
【高等代数】二次型

免费注册查看余下70%

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

高等数学测评 函数与极限一元函数微分学一元函数积分学微分方程空间向量与代数多元微分学多元积分学无穷级数

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

线性代数测评 行列式矩阵向量空间

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

概率统计测评 事件与概率一维随机变量与事件多维随机变量与事件随机变量的数字特征大数定律与中心极限定理统计量与抽样分布参数估计假设检验

上一篇：本章公式汇总

下一篇：二次型的定义

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