高等代数(五)-二次型01：二次型及其矩阵表示

$\S 1$ 二次型及其矩阵表示
在解析几何中, 我们看到,
当坐标原点与中心重合时,一个有心二次曲线的一般方程是
$$a{x}^2+2bxy+c{y}^2=f.$$
为了便于研究这个二次曲线的几何性质, 我们可以选择适当的角度 $\theta$,
作转轴 (反时针方向转轴)
$$\{\begin{array}{l}x=x^{\prime }\cos \theta -y^{\prime }\sin \theta ,\\ y=x^{\prime }\sin \theta +y^{\prime }\cos \theta ,\end{array}$$
把方程 (1) 化成标准方程. 在二次曲面的研究中也有类似的情况.
(1) 的左端是一个二次齐次多项式.
从代数的观点看,所谓化标准方程就是用变量的线性替换 (2)
化简一个二次齐次多项式,使它只含有平方项.二次齐次多项式不但在几何中出现,
而且在数学的其他分支以及物理、力学中也常常会碰到.
这一章就是来介绍它的一些最基本的性质.
设 $P$ 是一数域,一个系数在数域 $P$ 中的 $x_1,x_2,\cdots ,x_n$
的二次齐次多项式
$$f\left(x_1,x_2,\cdots ,x_n\right)=a_{11}{x}_1^2+2a_{12}{x}_1{x}_2+\cdots +2a_{1n}{x}_1{x}_n+a_{22}{x}_2^2+\cdots +2a_{2n}{x}_2{x}_n+\cdots +a_{nn}{x}_n^2$$
称为数域 $P$ 上的一个 $n$ 元二次型,或者,在不致引起混淆时简称二次型.例如
$$x_1^2+x_1{x}_2+3x_1{x}_3+2x_2^2+4x_2{x}_3+3x_3^2$$
就是有理数域上的一个三元二次型. 为了以后讨论上的方便, 在 (3) 中,
$x_i{x}_j(i<j)$ 的系数写成 $2a_{ij}$, 而不简单地写成 $a_{ij}$.
和在几何中一样,
在处理许多其他问题时也常常希望通过变量的线性替换来简化有关的二次型.为此,我们引人
定义 1 设 $x_1,\cdots ,x_n;y_1,\cdots ,y_n$ 是两组文字,
系数在数域 $P$ 中的一组关系式
$$\{\begin{array}{c}{x}_1=c_{11}{y}_1+c_{12}{y}_2+\cdots +c_{1n}{y}_n,\\ x_2=c_{21}{y}_1+c_{22}{y}_2+\cdots +c_{2n}{y}_n,\\ \cdots \cdots \cdots \cdots \\ x_n=c_{n1}{y}_1+c_{n2}{y}_2+\cdots +c_{nn}{y}_n\end{array}$$