对二次型配方法的改进：蒲和平偏导数法解析

一、前言

将二次型化为标准型和规范型有两种常用的方法，一种是正交变换法，另一种是配方法（其中最常用的是拉格朗日配方法）。

但是，使用配方的一个障碍是我们有时候比较难以凑出来平方项。

在蒲和平老师主编，由北京高等教育出版社于 2014 年 08 月出版的《线性代数疑难问题选讲》一书（ISBN 978-7-04-040392-3）中，提出了一个令人耳目一新的改进的配方法：偏导数法。

在本文中，荒原之梦（zhaokaifeng.com）将对蒲和平老师的这一偏导数配方法加以通俗的解析，希望能帮助大家更加顺畅的解答有关将二次型化为标准型或者规范型的问题。

二、正文

1. 对含有平方项的二次型使用偏导数法

1.1 方法说明

已知，有形如下面这样的二次型：

$$f(x_1,x_2,\dots x_n)=a_{11}{x}_1^2+a_{22}{x}_2^2+\cdots +A{x}_1{x}_2+\cdots$$

假设 $a_{11}\ne 0$, 则我们有（此方法适用于含有平方项的二次型，因此，若 $a_{11}=0$, 则也需要有 $a_{22}$ 或 $a_{33},a_{44}\cdots$ 中的至少一个不等于零），则令：

$$f_1=\frac{1}{2}\cdot \frac{\partial f}{\partial x_1}$$

进而，有：

$$f=\frac{1}{a_{11}}{\left(f_1\right)}^2+g$$

Tips:

在上面的式子中需要乘以 $\frac{1}{a_{11}}$ 是因为 $(f_1{)}^2$ 会产生 $a_{11}^2$——在 $(f_1{)}^2$ 外部乘以 $\frac{1}{a_{11}}$ 就可以保证和原来的二次型表达式 $f$ 中的 $a_{11}{x}_1^2$ 相等，也就是至少消去 $a_{11}{x}_1^2$ 对后续化简操作的影响。

其中，$g$ 是由 $f$ 中的项减去 $\frac{1}{a_{11}}{\left(f_1\right)}^2$ 展开后的项得出的，我们不妨设 $g$ 的表达式如下：

$$g=b_{22}{x}_2^2+b_{33}{x}_3^2+\cdots +B{x}_2{x}_3+\cdots$$

于是，继续令：

$$g_1=\frac{1}{2}\cdot \frac{\partial g}{\partial x_2}$$

进而可得：

$$g=\frac{1}{b_{22}}{\left(g_1\right)}^2+h$$

于是：

$$f=\frac{1}{a_{11}}{\left(f_1\right)}^2+\frac{1}{b_{22}}(g_1{)}^2+h+\cdots$$

之后，继续重复上面的过程，即可完成对二次型 $f$ 的配方。

1.2 例题

用偏导数法，将二次型 $f(x_1,x_2,x_3)$ $=$ $x_1^2+2x_2^2-4x_3^2+2x_1{x}_2-2x_2{x}_3$ 化为标准形。

1.3 解析

首先，令：

$$f_1=\frac{1}{2}\frac{\partial f}{\partial x_1}=\frac{1}{2}(2x_1+2x_2)=(x_1+x_2)$$

于是：

$$f=\frac{1}{1}{(x_1+x_2)}^2+g\Rightarrow$$

$$\begin{array}{}\text{(1)}& f=(x_1^2+x_2^2+2x_1{x}_2)+g\end{array}$$

对比可知：

$$g=x_2^2-4x_3^2-2x_2{x}_3$$

进而：

$$g=\frac{1}{2}\cdot \frac{\partial g}{\partial x_2}=\frac{1}{2}(2x_2-2x_3)=(x_2-x_3)$$

$$\begin{array}{}\text{(2)}& g=\frac{1}{1}{(x_2-x_3)}^2+h\Rightarrow \end{array}$$

$$g=(x_2^2+x_3^2-2x_2{x}_3)+h$$

对比可知：

$$h=-5x_3^2$$

结合 (1) 和 (2) 式，可知：

$$f={(x_1+x_2)}^2+{(x_2-x_3)}^2-5x_3^2$$

于是：

$$\{\begin{array}{l}{y}_1=x_1+x_2\\ y_2=x_2-x_3\\ y_3=x_3\end{array}\Rightarrow \{\begin{array}{l}{x}_1=y_1-y_2-y_3\\ x_2=y_2+y_3\\ x_3=y_3\end{array}\Rightarrow$$

$$\left[\begin{array}{l}{x}_1\\ x_2\\ x_3\end{array}\right]=\left[\begin{array}{ccc}1& -1& -1\\ 0& 1& 1\\ 0& 0& 1\end{array}\right]\left[\begin{array}{l}{y}_1\\ y_2\\ y_3\end{array}\right]\Rightarrow$$

又知下面的行列式不等于零（可逆）：

$$\left|\begin{array}{ccc}1& -1& -1\\ 0& 1& 1\\ 0& 0& 1\end{array}\right|=1\ne 0$$

因此，二次型 $f$ 的标准型为：

$$f=y_1^2+y_2^2-5y_3^2$$

2. 对含没有平方项的二次型使用偏导数法

2.1 方法说明

已知，对二次型 $f(x_1,x_2,\dots x_n)$ 来说，$a_{ii}$ 是平方项 $x_i^2$ 的系数，$a_{ij}$ 是一次方项 $x_i{x}_j$ 的对数。

在一个不含不平方项的二次型中，也一定至少有一个一次方项的系数是不等于零的。

则，假设 $a_{12}\ne 0$, 我们可令：

$$f_1=\frac{1}{2}\frac{\partial f}{\partial x_1},f_2=\frac{1}{2}\frac{\partial f}{\partial x_2}$$

于是：

$$f(x_1,\dots ,x_n)=\frac{1}{a_{12}}[{(f_1+f_2)}^2-{(f_1-f_2)}^2]+\phi$$

其中，让 ${(f_1+f_2)}^2$ 减去 ${(f_1-f_2)}^2$ 是为了消去各自产生的关于 $x_1$ 和 $x_2$ 的平方项。而且，${(f_1+f_2)}^2-{(f_1-f_2)}^2$ 中已经包含了原二次型 $f$ 中有关于 $x_1$ 和 $x_2$ 的所有一次方项。

于是，我们只需要和原二次型 $f$ 对比，找出 $\phi$ 中应该有的项（$\phi$ 中不会含有关于 $x_1$ 或 $x_2$ 的项），如果这些项中含有平方项，则用前面的含有平方项的解法计算，如果不含有平方项，则按照这里不含有平方项的方法继续计算即可。

2.2 例题

用偏导数法将二次型 $f(x_1,x_2,x_3)$ $=$ $-4x_1{x}_2+2x_1{x}_3+2x_2{x}_3$ 化为标准形。

2.3 解析

由于：

$$a_{12}=-4\ne 0$$

因此，令：

$$f_1=\frac{1}{2}\frac{\partial f}{\partial x_1}=\frac{1}{2}(-4x_2+2x_3)=-2x_2+x_3$$

$$f_2=\frac{1}{2}\frac{\partial f}{\partial x_2}=\frac{1}{2}(-4x_1+2x_3)=-2x_1+x_3$$

则：

$$f=\frac{1}{a_{12}}[{(f_1+f_2)}^2-{(f_1-f_2)}^2]+\phi =$$

$$\frac{-1}{4}[{(-2x_1-2x_2+2x_3)}^2-{(2x_1-2x_2)}^2]+\phi =$$

$$-[{(-x_1-x_2+x_3)}^2-{(x_1-x_2)}^2]+\phi \Rightarrow$$

$$f=-[{(x_1+x_2)}^2+x_3^2-2x_3(x_1+x_2)-{(x_1-x_2)}^2]+\phi \Rightarrow$$

$$f=-[x_1^2+x_2^2+2x_1{x}_2)+x_3^2-2x_1{x}_3-2x_2{x}_3$$

$$-x_1^2-x_2^2+2x_1{x}_2]+\phi \Rightarrow$$

$$f=-4x_1{x}_2+2x_1{x}_3+2x_2{x}_3-x_3^2\Rightarrow$$

$$\phi =x_3^2\Rightarrow$$

$$f=-{(x_1+x_2-x_3)}^2+{(x_1-x_2)}^2+x_3^2$$

于是，有：

$$\{\begin{array}{l}{y}_1=x_1+x_2-x_3\\ y_2=x_1-x_2\\ y_3=x_3\end{array}\Rightarrow \{\begin{array}{l}{y}_1=x_1+x_2-y_3\\ y_2=x_1-x_2\\ x_3=y_3\end{array}\Rightarrow$$

$$\{\begin{array}{l}{x}_1=\frac{1}{2}(y_1+y_2+y_3)\\ x_2=\frac{1}{2}(y_1-y_2+y_3)\\ x_3=y_3\end{array}$$

验证可知，行列式 $|C|\ne 0$:

$$|C|=\left|\begin{array}{ccc}\frac{1}{2}& \frac{1}{2}& \frac{1}{2}\\ \frac{1}{2}& \frac{-1}{2}& \frac{1}{2}\\ 0& 0& 1\end{array}\right|=\frac{-1}{4}-\frac{1}{4}=\frac{-1}{2}\ne 0$$

综上可知，二次型 $f$ 的标准型为：

$$f=-y_1^2+y_2^2+y_3^2$$

---