这个带有平方项的二次型却没办法按照拉格朗日配方法配成完全平方，该怎么办？

一、题目

二次型 $f(x_1,x_2,x_3)$ $=$ $x_2^2+2x_1{x}_3$ 的正惯性指数 $p=?$

难度评级：

二、解析

方法一：正交变换法

$$f=x_2^2+2x_1{x}_3\Rightarrow$$

$$A=\left[\begin{array}{lll}0& 0& 1\\ 0& 1& 0\\ 1& 0& 0\end{array}\right]\Rightarrow$$

$$|\lambda z-A|=0\Rightarrow$$

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

$${\lambda }^2(\lambda -1)-(\lambda -1)=0\Rightarrow$$

$$(\lambda -1)(\lambda +1)(\lambda -1)=0\Rightarrow$$

$${\lambda }_1=1,{\lambda }_2=1,{\lambda }_3=-1$$

因此，$p=2$.

方法二：拉格朗日配方法

Tips:

关于拉格朗日配方法的完整讲解，可以参阅《将二次型化为标准型（规范型）的方法之：拉格朗日配方法》这篇文章。

$$f=x_2^2+2x_1{x}_3\Rightarrow$$

Tips:

该二次型原式中含有平方项，但不足以直接完成完全平方的配置，因此，还是需要借助平方差公式，按照处理不含有平方项的二次型的方法进行计算。

令：

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

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

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

Tips:

上面的变换矩阵对应的行列式不等于零代表这个变换是有效的。事实上，用拉格朗日配方法得到的变换矩阵对应的行列式都是不等于零的。

将 $(1)$ 式代入原二次型得标准型为：

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

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

当然，上面的 $(1)$ 式也可以设成如下形式：

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

---