高等代数(五)-二次型02：标 准 形

$\S 2$ 标 准 形
现在来讨论用非退化的线性替换化简二次型的问题.
可以认为,二次型中最简单的一种是只包含平方项的二次型
$$d_1{x}_1^2+d_2{x}_2^2+\cdots +d_n{x}_n^2\text{. }$$
这一节的主要结果是
定理 1 数域 $P$ 上任意一个二次型都可以经过非退化的线性替换变成平方和
(1)的形式.
证明 下面的证明实际上是一个具体地把二次型化成平方和的方法,
这就是中学里学过的"配方法".
我们对变量的个数 $n$ 作归纳法.
对于 $n=1$, 二次型就是
$$f\left(x_1\right)=a_{11}{x}_1^2,$$
这已经是平方和了. 现假定对 $n-1$ 元的二次型,定理的结论成立. 再设
$$f\left(x_1,x_2,\cdots ,x_n\right)=\sum _{i=1}^n\sum _{j=1}^n{a}_{ij}{x}_i{x}_j,a_{ij}=a_j.$$
分三种情形来讨论:
1. $a_{ii}(i=1,2,\cdots ,n)$ 中至少有一个不为零, 例如
$a_{1\mid }\ne 0$. 这时
$$\begin{array}{rl}f\left(x_1,x_2,\cdots ,x_n\right)& =a_{11}{x}_i^2+\sum _{j=2}^n{a}_{1j}{x}_1{x}_j+\sum _{i=2}^n{a}_{i1}{x}_i{x}_i+\sum _{i=2}^n\sum _{j=2}^n{a}_{ij}{x}_i{x}_j\\ & =a_{11}{x}_i^2+2\sum _{j=2}^n{a}_{1j}{x}_1{x}_j+\sum _{i=2}^n\sum _{j=2}^n{a}_{ij}{x}_i{x}_j\\ & =a_{11}{\left(x_i+\sum _{j=2}^n{a}_{11}^{-1}{a}_{ij}{x}_j\right)}^2-a_{11}^{-1}{\left(\sum _{j=2}^n{a}_{1j}{x}_j\right)}^2+\sum _{i=2}^n\sum _{j=2}^n{a}_{ij}{x}_i{x}_j\\ & =a_{11}{\left(x_i+\sum _{j=2}^n{a}_{11}^{-1}{a}_{1j}{x}_j\right)}^2+\sum _{i=2}^n\sum _{j=2}^n{b}_{ij}{x}_i{x}_j,\end{array}$$
其中
$$\sum _{i=2}^n\sum _{j=2}^n{b}_{ij}{x}_i{x}_j=-a_{11}^{-1}{\left(\sum _{j=2}^n{a}_{ij}{x}_j\right)}^2+\sum _{i=2}^n\sum _{j=2}^n{a}_{ij}{x}_i{x}_j$$
是一个 $x_2,x_3,\cdots ,x_n$ 的二次型. 令
$$\{\begin{array}{rl}{y}_1& =x_1+\sum _{j=2}^n{a}_{11}^{-1}{a}_{1j}{x}_j,\\ y_2& =x_2,\\ & \dots \dots \dots .\\ y_n& =x_n,\end{array}$$
即
$$\{\begin{array}{rl}{x}_1& =y_1-\sum _{j=2}^n{a}_{11}^{-1}{a}_{1j}{y}_j,\\ x_2& =y_2,\\ & \dots \dots \dots \dots \\ x_n& =y_n,\end{array}$$
这是一个非退化线性替换, 它使
$$f\left(x_1,x_2,\cdots ,x_n\right)=a_{11}{y}_1^2+\sum _{i=2}^n\sum _{j=2}^n{b}_{ij}{y}_i{y}_j.$$
由归纳法假定,对 ${\sum }_{i=2}^n{\sum }_{j=2}^n{b}_{ij}{y}_i{y}_j$
有非退化线性替换
$$\{\begin{array}{c}{z}_2=c_{22}{y}_2+c_{23}{y}_3+\cdots +c_{2n}{y}_n,\\ z_3=c_{32}{y}_2+c_{33}{y}_3+\cdots +c_{3n}{y}_n,\\ \cdots \cdots \cdots \cdots \\ z_n=c_{n2}\end{array}$$