引理 9.2.1.
对一个对称矩阵\(A\) 实施下述三种变换都是合同变换，每一个合同变换也都是这三种变换的合成。
- 对换\(A\)的第\(i\)行与第\(j\)行,再对换第\(i\)列与第\(j\)列；
- 将\(A\)的第\(i\)行乘以非零常数\(k\) ,再将第\(i\)列乘以相同的常数\(k\)；
- 将\(A\)的第\(i\)行乘以\(k\)加到第\(j\)行上,再将\(k\)乘以第\(i\)列加到第\(j\)列上。
节 9.2 合同变换和惯性定理
本节讨论合同变换的不变量，即在合同变换下矩阵的哪些性质是保持不变的。
子节 9.2.1 合同与初等变换
我们先从初等变换的角度来理解合同变换。
证明.
对\(A\)实施上述三种变换也称为对\(A\)实施相应的同步行列初等变换。下面我们来举例说明如何使用同步行列初等变换的方法化简二次型。
例 9.2.2.
对角元不全为0的矩阵
解答.
上述例子中，我们使用不为0的对角元将所有的非对角元消为0。注意到同步行列置换前后，矩阵的对角元只是位置发生了改变。若原矩阵中没有非0对角元，则只用行列同步对换和行列同步倍法变换不会产生非0对角元。下面的例子说明如何处理这种情形。
例 9.2.3.
对角元都为0的矩阵。
解答.
总结例子里的规律，我们给出一般结论。
定理 9.2.4.
设\(A\)是实对称矩阵，则存在可逆矩阵\(P\)使得\(PAP^T\)是对角矩阵。
证明.
用二次型语言来叙述上面的结论：秩为\(r\)的\(n\)元二次型\(f (x_1,\dots,x_n)= X^TAX\)，总可以经过可逆线性替换 \(X=CY\)化为
\begin{equation}
f(x_1,\dots,x_n)=d_1 y_1^2+d_2y_2^2+\cdots+d_ry_r^2\tag{9.2.1}
\end{equation}
称等式(9.2.1)右端二次型为标准二次型。
子节 9.2.2 惯性定理与合同规范型
定理 9.2.4中把\(A\)经合同变换变成对角矩阵的\(P\)并不唯一，相应变成的对角矩阵也不唯一。由于合同是特殊的相抵，所以合同的矩阵具有相同的秩，即变成的对角矩阵有一样多的非0对角元。但秩相同并不能保证矩阵一定合同。为了更进一步讨论问题，我们先继续用合同变换化简矩阵。
定理 9.2.5.
\(A\)是\(\mathbb{R}\)上对称矩阵，则存在\(\mathbb{R}\)上可逆矩阵\(P\)，使得
\begin{equation*}
P^TAP= \begin{pmatrix}
E_p & & \\
& -E_q & \\
& & 0
\end{pmatrix},
\end{equation*}
其中\(p+q=r\)。
证明.
接下来说明上面定理里的\(p\)是由\(A\)唯一确定的，进而\(q\)也是唯一确定的。
定理 9.2.6. 惯性定理.
设\(f(x_1,\ldots,x_n)\)是\(\mathbb{R}\)上\(n\)元二次型，若在非退化线性替换 \(X = PY\) 与 \(X=QZ\)，分别将\(f(x_1,\ldots,x_n)\) 化为两个规范形:
\begin{equation*}
y_1^2+\cdots+y_p^2-y_{p+1}^2-\cdots-y_r^2
\end{equation*}
\begin{equation*}
z_1^2+\cdots+z_k^2-z_{k+1}^2-\cdots-z_r^2
\end{equation*}
则必有\(p = k\)。
证明.
称定理 9.2.5中的\(p\)为矩阵\(A\)的正惯性指数；\(q\)为负惯性指数； \(s = p - q\)为 符号差。进一步，称矩阵\(\begin{pmatrix}
E_p & & \\
& -E_q & \\
& & 0
\end{pmatrix}\)为\(A\)的合同规范型。
两个实对称矩阵合同当且仅当他们有相同的合同规范型。
注意到实对称矩阵都正交相似于对角元为其特征值的对角矩阵，所以我们有下面的推论。
推论 9.2.7.
实对称矩阵的正惯性指数等于其正特征值个数，负惯性指数等于其负特征值个数。
练习 9.2.3 练习
基础题.
1.
用矩阵初等变换的方法求二次型
\begin{equation*}
f(x_1,x_2,x_3)=x_1^2+x_2^2+x_3^2-2x_1x_2+2x_1x_3+6x_2x_3
\end{equation*}
的标准形，并写出所作的非退化线性替换。
2.
用正交线性替换的方法将二次型
\begin{equation*}
f(x_1,x_2,x_3)=x_1^2+4x_2^2+x_3^2-4x_1x_2-8x_1x_3-4x_2x_3
\end{equation*}
化为标准形，并写出所作的正交线性替换。
3.
设\(f(x_1,x_2,x_3)=x_1^2+x_2^2+x_3^2-2x_1x_2+2x_1x_3+6x_2x_3\)，把它化为规范形，并写出所作的非退化线性替换。
4.
确定二次型\(f(x_1,x_2,x_3)=ax_1x_2+bx_1x_3+cx_2x_3\)的秩和符号差。
5.
设\(f(x_1,x_2,\ldots,x_n)=X^TAX\)是\(n\)元实二次型。若\(\mathbb{R}^n\)中存在列向量\(\alpha_1,\alpha_2\)，使得\(\alpha_1^TA \alpha_1>0,\ \alpha_2^TA \alpha_2<0\)，证明：存在\(0\neq \alpha_3\in\mathbb{R}^n\)，使得\(\alpha_3^TA \alpha_3=0\)。
6.
下列实二次型对应的矩阵中哪些是合同的？写出理由。
\begin{equation*}
\begin{array}{c}
f_1(x_1,x_2,x_3)=x_1^2+4x_2^2+x_3^2+4x_1x_2-2x_1x_3,\\
f_2(y_1,y_2,y_3)=y_1^2+2y_2^2-y_3^2+4y_1y_2-2y_1y_3-4y_2y_3,\\
f_3(z_1,z_2,z_3)=-4z_1^2-z_2^2-z_3^2-4z_1z_2+4z_1z_3+18z_2z_3.
\end{array}
\end{equation*}
提高题.
7.
设\(A\)是\(n\)阶实对称矩阵，且\(A\)可逆，证明：在\(\mathbb{R}\)上，
- \(A\)合同于\(A^{-1}\)；
- 当\(\det A>0\)时，\(A\)合同于\({\rm adj}A\)。
8.
证明：一个\(n\)元实二次型可以分解成两个实系数的一次齐次多项式之积的充分必要条件是：它的秩等于1，或者它的秩等于2且符号差为0。
9.
设\(A\)是\(n\)阶实可逆矩阵，求
\begin{equation*}
B=\begin{pmatrix}
0&A\\A^T&0
\end{pmatrix}
\end{equation*}
的正负惯性指数。
挑战题.
10.
设实二次型
\begin{equation*}
f(x_1,\ldots,x_n)=z_1^2+\cdots+z_k^2-z_{k+1}^2-\cdots-z_{k+s}^2,
\end{equation*}
其中\(z_i=\sum_{j=1}^{n}a_{ij}x_j(1\le i\le k+s) \)。 证明\(f\) 的正惯性指数\(p\le k\)，负惯性指数\(q\le s\)。
