【考研数学】正交变换后如果不是标准型怎么办？| 关于二次型标准化的一些思考

---

引言

前阵子做了下 20 年真题，问题大大的，现在订正到矩阵的第一个大题，是关于二次型正交变换的。和常规不同的是，原来的二次型，经过一个正交变换，并没有得到一个标准型。我一下子就傻眼了，无从落笔。

看了下答案，说是利用正交变换也是相似变换这一点，可以得到变换前后的两个二次型矩阵相似，从而得出相关结论。

看到这里的瞬间感觉到深深的恐惧，似乎之前从来都没想到过这些联系，只知道标准化是有这么一个正交矩阵做变换。要是其他知识点也出一个这样的题，那今年可就不好受了。

于是动手敲下此文，以期整理好二次型标准化变换的内在原理。

---

一、回顾

二次型的定义是什么？

是含有 $n$ 个变量 $x_1,x_2,\cdots ,x_n$ 且每项都是二次的齐次多项式，如 $f(x_1,x_2,x_3)=x_1^2+x_2^2+x_3^2+2x_1{x}_2+4x_2{x}_3+2x_1{x}_3$ 。

任何一个二次型都可以写成 $X^{T}AX$ 的矩阵形式，我们也称它为二次型矩阵，如上面的例子，可以写成：$$f(x_1,x_2,x_3)={\left[\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right]}^T\left[\begin{array}{ccc}1& 1& 1\\ 1& 1& 2\\ 1& 2& 1\end{array}\right]\left[\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right]$$

如果 $A$ 不是实对称矩阵，也是可以写成矩阵形式的，只是没办法把矩阵形式和原二次型对应起来，所以我们一般不讨论。而如果 $A$ 是实对称矩阵，那就可以对应起来了。所以任何一个二次型都对应有一个实对称矩阵。

什么叫标准二次型？

是只含有平方项，而不含有交叉项的二次型，如 $f_2(x_1,x_2,x_3)=x_1^2+x_2^2+x_3^2$ 。为什么要定义一个二次型出来？因为此时如果写成矩阵形式，二次型矩阵 $A$ 是对角阵，有很多不错的性质。像 $f_2$ 就可以表示为如下矩阵形式：$$f_2(x_1,x_2,x_3)=X^T\left[\begin{array}{ccc}1& & \\ & 1& \\ & & 1\end{array}\right]X$$

怎么化为标准型？

引入定理 1：任何一个二次型总可以通过可逆的线性变换 $X=PY$ ，即 $P$ 是可逆矩阵，化为标准型。即 $$f(X)=X^{T}AX\to Y^T(P^{T}AP)Y=l_1{y}_1^2+l_2{y}_2^2+\cdots +l_m{y}_m^2$$ 不过这个标准型不唯一，也就是说不同 $P$ 可能化到的标准型系数不一。但是，系数的正、负、零的个数是相同的，我们也称之为正、负、零惯性指数。

引入定理 2：特别地，如果二次型矩阵 $A$ 是实对称矩阵，一定存在一个正交矩阵 $Q$ ，通过正交变换 $X=QY$ ，可将二次型化为标准型。即 $$f(X)=X^{T}AX\to Y^T(Q^{T}AQ)Y={\lambda }_1{y}_1^2+{\lambda }_2{y}_2^2+\cdots +{\lambda }_n{y}_n^2$$ 这个标准型就是唯一的了，系数为矩阵 $A$ 的特征值。

根据这两个定理，我们只要求出了 $P,Q$ 这两个可逆矩阵就可以求出标准型了。对于求 $P$ 这个一般的可逆阵，我们有配方法；对于求 $Q$ 这个特殊的正交矩阵，我们有正交变换法。

---

二、思考

如果经过正交变换没化成标准型怎么办？首先，这是可能存在的，因为根据定理 2 ，是存在一个正交矩阵 $Q$ ，使得经过正交变换后可以化为标准型，不一定每一个正交变换都可以化成标准型。

设变换前的二次型矩阵为 $A$ ，变换后为 $B$ ，由标准化定义，有 $Q^{T}AQ=B$ ，$Q$ 正交，有 $Q^{-1}AQ=B$ ，故 $A\sim B$。于是，矩阵 $A,B$ 的特征值相同，行列式和迹也相同。

而且，一定存在正交矩阵 $Q_1,Q_2$ ，使得 ${Q_1}^{T}AQ=\Lambda ={Q_2}^{T}B{Q}_2$ 。

---

写在最后

看来是自己对二次型过程和相似对角化过程的联系不太清楚，下次在碰见二次型变换的题目，先把定义写边上！

参考文献
AI_Younger_Man，二次型：实对称矩阵