§1 二次型的矩阵表示
一、二次型的定义
1.问题的引入
在解析几何中，我们看到，当坐标原点与中心重合时，一个有心二次曲线的一般方程是
ax 2+2bxy+cy 2=f （1）
为了便于研究这个二次曲线的几何性质，我们可以选择适当的角度θ，作转轴（反时针方向转轴）
⎭
⎬⎫⎩⎨⎧+=-=θθθθcos sin sin cos '
'''y x y y x x （2） 把方程（1）化成标准方程。
在二次曲面的研究中也有类似的情况。
(1)的左端是一个二次齐次多项式。
从代数的观点看，所谓化标准方程就是用变量的线性替换（2）化简一个二次齐次多项式，使它只含有平方项。
二次齐次多项式不但在几何中出现，而且在数学的其它分支以及物理、力学中也常常会碰到。
这一章就是来介绍它的一些最基本的性质。
2．n 元二次型
设P 是一数域，一个系数在数域P 中的x 1,x 2,…,x n 的二次齐次多项式
f (x 1,x 2,…,x n ) = a 1121x +2a 12x 1x 2+…+2a 1n x 1x n +a 222
2x +…
+2a 2n x 2x n +…+a nn x 2n （3）
称为数域P 上的一个n 元二次型，简称二次型。
例如
x 21+x 1x 2+3x 1x 2+2x +4x 2x 3+3x 2
3
就是有理数域上的一个三元二次型。
为了以后讨论上的方便，在（3）中，x i x j （i<j ）的系数写成2a ij ，而不简单地写成a ij 。
二、二次型的矩阵表示
在讨论二次型时，矩阵是一个有力的工具，因此我们先把二次型与线性替换用矩阵来表示。
令 a ji =a ij , i<j . 由于 x i x j =x j x i , 所以二次型可以写成 f (x 1,x 2,…,x n )=a 11x
2
1
+a 12x 1x 2+…+a 1n x 1x n +a 21x 2x 1+a 22x
22
+…
+a 2n x 2x n …………+a n 1x n x 1+a n2x n x 2+…+a nn x 2n
=∑∑==n
i n
j j i ij x x a 11
(4)
把（4）的系数排成一个n ×n 矩阵
A =⎥
⎥
⎥⎥⎦
⎤⎢⎢⎢⎢⎣⎡nn n n n n a a a a a a a a a 2
1
22221
11211 (5) 称为二次型(4)矩阵。
因为 a ij =a ji i,j=1,…,n , 所以 A =A '
此时称A 为对阵矩阵，因此，二次型的矩阵都是对称的。
令
X =⎥⎥⎥⎥
⎦
⎤⎢⎢⎢⎢⎣⎡n x x x 21 .
于是，二次型就可以用矩阵的乘积表示出来：
f (x 1,x 2,…,x n )=='A X X (x 1,x 2,…,x n )⎥
⎥
⎥⎥⎦
⎤
⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡n nn n n n n x x x a a a a a a
a a a 212
1
22221
11211
=(x 1,x 2,…,x n ) ⎥⎥⎥⎦
⎤⎢⎢⎢⎣⎡+++++++++n nn n n n n n n x a x a x a x a x a x a x a x a x a 221122221
121212111=∑∑==n i n
j j i ij x x a 11
故
f (x 1,x 2,…,x n )= AX X '
注：
（1）二次型的矩阵总是对称的。
（2）二次型和它的矩阵是相互唯一决定的。
即若二次型 f (x 1,x 2,…,x n )=AX X '=BX X ' 且 'A =A ,'B =B ,则A =B . 三、线性替换
1．线性替换的定义
设x 1,x 2,…,x n ; y 1,y 2,…,y n 是两组文字，系数在数域P 中的一组关系式
⎪⎪⎭
⎪⎪⎬⎫⎪⎪⎩⎪⎪⎨⎧+++=+++=+++=n nn n n n n n n n y c y c y c x y c y c y c x y c y c y c x 22112222121212121111 (6) 称为由x 1, … x n 到y 1,…,y n 的一个线性替换，或简称线性替换。
如果系数行列式
| c ij |≠0 , 那么线性替换（6）就称为非退化的。
2．线性替换的矩阵表示 令
X =⎥
⎥
⎥⎥
⎦
⎤
⎢⎢⎢⎢⎣⎡n x x x 2
1 C =⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡nn n n n n c c c c c c c c c 2122221
112
11 ,Y =⎥
⎥⎥⎥⎦⎤
⎢⎢⎢⎢⎣⎡n y y y 21 . 于是线性替换（6）可以写成
⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡n x x x 21=⎥
⎥
⎥⎥⎦⎤
⎢⎢⎢⎢⎣⎡⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎣⎡n nn n n
n n y y y c c c c c c c c c 212122221112
11
,
或者
X =CY 。
3．二次型经过非退化的线性替换仍为二次型 设
f (x 1,x 2,…,x n )= AX X ', A =A ' (7) 是一个二次型，作非退化线性替换
X=CY ， (8) 我们得到一个y 1,y 2…,y n 的二次型 BY Y '
现在来看矩阵B 与A 的关系。
把（8）代入（7），有
f (x 1,x 2,…,x n )= AX X '=(C 'Y )A (CY )=C Y ''CY ='Y ('
CAC )='
Y BY
容易看出，矩阵AC C '也是对称的。
事实上，
)(''C CA =C A C ''''='
CAC
由此，即得
B =A
C C ' 四、矩阵的合同
定义 数域P 上n ×n 矩阵A ，B 称为合同的，如果有数域P 上可逆的n ×n 矩阵C ，使
B =A
C C '
合同是矩阵之间的一个关系。
合同关系具有 1） 反身性：A =AE E ';
2） 对称性：由B =AC C ' 即得A =)(1'-C B 1
-C ;
3） 传递性：由A 1=11
AC C '和A 2=22AC C ' 即得 A 2=)(21'C C A (C 1C 2)
因之，经过非退化的线性替换，新二次型的矩阵与原二次型的矩阵是合同的。
这样，我们就把二次型的变换通过矩阵表示出来，为以下的讨论提供了有力的工具。
最后指出，在变换二次型时，我们总是要求所作的线性变换是非退化的。
从几何上看，这一点是自然的，因为坐标变换一定是非退化的，一般地，当线性替换
X =CY 是非退化时，由上面的关系即得
Y =X C 1
-
这也是一个线性替换，它把所得的二次型还原。
这样就使我们从所得二次型的性质可以推知原来的二次型的一些性质。