长治学院：《高等代数》课程教学资源（电子教案）05 二次型

第五章 二次型81二次型及其矩阵表示教学目的了解二次型理论的来源及讨论的主要问题，理解二次型和线性替换的概念，熟练掌握二次型的矩阵表示、矩阵合同的定义与性质。重点二次型的矩阵表示、矩阵合同难点矩阵的合同教学过程引入：二次型的理论起源于解析几何，我们知道，中心在原点的有心二次曲线的一般方程是：f(x,y)=ax2 +2bxy+cy?(1)我们可以选择一个适当的角度，经旋转变换x=xcoso-y'singy= x'sing+y'coso(2)就可以化为标准方程g(x,y)=ax2 +by2(1)在二次曲面中也有类似的情况（1），（1'）都是二次齐次多项式，本章就来介绍二次齐次多项式的最基本性质.一、二次型及其矩阵表示设P是一个数域，一个系数在数域P中的x，,x,的二次齐次多项式f(xj,x2,,xn)=ax+2a2xx2+..+2anxjx,+a2x? +...+2a2nx2x,+.+ammx(3)称为数域P上的一个n元二次型，简称二次型定义1设x,x,yi,y是两组文字，系数在数域P中的一组关系式

第五章 二次型 §1 二次型及其矩阵表示 教学目的 了解二次型理论的来源及讨论的主要问题，理解二次型和线性 替换的概念，熟练掌握二次型的矩阵表示、矩阵合同的定义与性质. 重 点 二次型的矩阵表示、矩阵合同. 难 点 矩阵的合同 教学过程 引入：二次型的理论起源于解析几何，我们知道，中心在原点的有心 二次曲线的一般方程是： . （1） 我们可以选择一个适当的角度 ，经旋转变换 （2） 就可以化为标准方程 （ 1 ） 在二次曲面中也有类似的情况. （1），（ 1 ）都是二次齐次多项式，本章就来介绍二次齐次多项式的最基 本性质. 一、二次型及其矩阵表示 设 P 是一个数域,一个系数在数域 P 中的 n x , , x 1  的二次齐次多项式 ( , , , ) 1 2 n f x x  x 2 2 2 (3) 2 2 2 2 1 2 1 2 1 1 2 2 2 2 1 1 1 n n n n n n n = a x + a x x ++ a x x + a x ++ a x x ++ a x 称为数域 P 上的一个 n 元二次型，简称二次型. 定义 1 设 n n x , , x ; y , , y 1  1  是两组文字，系数在数域 P 中的一组关系 式 2 2 f x y ax bxy cy ( , ) 2 = + +  cos sin , sin cos , x x y y x y      = −    = +    2 2 g x y a x b y ( , ) .       = +

X,=Cuyi+Ci2y2+..+Cinyn,X2 =C21yi+C22y2+...+C2nJn,(4)x,=Cnyi+Cny2+.+Cmyn称为由xi,x,到yy的一个线性替换，或简称线性替换.如果系数行列式c+0,那么线性替换(4)就称为非退化的线性替换把二次型变成二次型令a,=ai,i<j由于x,x=x,x，,所以二次型(3)可写成f(x1,X2,,x,)=aux+a2Xx +...+anxn+a21xf+a+.+an2xn+..+anx.x+anx,x,+...+anx?-22ax(5)i=l j=l把(5)的系数排成一个nxn矩阵(aa12.aina21a22.a2nA=(6)(anan2..am它称为二次型(5)的矩阵.因为a=ai,i,j=1,2,,n，所以A'=A把这样的矩阵称为对称矩阵，因此，二次型的矩阵都是对称的.令

       = + + + = + + + = + + + n n n nn n n n n n x c y c y c y x c y c y c y x c y c y c y     1 1 2 2 2 21 1 22 2 2 1 11 1 12 2 1 , , (4) 称为由 n x , , x 1  到 n y , , y 1  的一个线性替换，或简称线性替换.如果系数行列 式 cij  0 ,那么线性替换(4)就称为非退化的. 线性替换把二次型变成二次型. 令 a a ,i j . ij = ji  由于 , i j j i x x = x x 所以二次型(3)可写成 (5) ( , , , ) 1 1 2 1 1 2 2 2 2 2 2 1 2 1 2 2 2 1 2 1 2 1 1 2 1 2 1 1 1 = = = + + + + + + + + + = + + + n i n j i j i j n n n n n n n n n n n n a x x a x x a x x a x a x x a x a x x f x x x a x a x x a x x      把(5)的系数排成一个 nn 矩阵 , 1 2 21 22 2 11 12 1               = n n nn n n a a a a a a a a a A        (6) 它称为二次型(5)的矩阵.因为 a a ,i, j 1,2, ,n, ij = ji =  所以 A = A 把这样的矩阵称为对称矩阵，因此，二次型的矩阵都是对称的.令

aatsa21a22X'AX =(x..X..X..(anan2ax,+a2x,+...+anna21xf +a22X2 +..+a2nxn(x,x.,xanx,+an2x2+...+amxn11Zaxx,i=l j=l或f(x,X2,..,x,)= X'AX应该看到二次型(3)的矩阵A的元素,当i+j时a,=α正是它的x,x项的系数的一半,而α，是x项的系数，因此二次型和它的矩阵是相互唯一决定的.由此可得,若二次型f(x,X2,"".,x,)=XAX =X'BX且A'=A,B=B则A=B.令CnC12Ciny2C21C22C2rC=..(Cmlyn)Cn2C.于是线性替换（4）可以写成xiVCllC1x2C21y2C22C2r:..(xnCnlC.V或者X=CY经过一个非退化的线性替换，二次型还是变成二次型，替换后的二次型与原

( ) ( ) = = =               + + + + + + + + + =                              = n i n j i j i j n n n n n n n n n n n n n n n n n n a x x a x a x a x a x a x a x a x a x a x x x x x x x a a a a a a a a a X AX x x x 1 1 1 1 2 2 2 1 1 2 2 2 2 1 1 1 1 2 2 1 1 2 2 1 1 2 2 1 2 2 2 1 1 1 2 1 1 2 , , , , , ,               或 f (x1 , x2 ,  , xn ) = X AX 应该看到二次型(3)的矩阵 A 的元素,当 i  j 时 aij = a ji 正是它的 i j x x 项的系数的一半,而 ii a 是 2 i x 项的系数，因此二次型和它的矩阵是相互唯一决 定的.由此可得,若二次型 f (x1 , x2 ,  , xn ) = XAX = XBX 且 A = A, B = B ,则 A = B . 令               =               = n n nn n n n y y y Y c c c c c c c c c C         2 1 1 2 21 22 2 11 12 1 , , 于是线性替换（4）可以写成                             =               n n nn n n n n y y y c c c c c c c c c x x x          2 1 1 2 21 22 2 11 12 1 2 1 或者 X = CY . 经过一个非退化的线性替换，二次型还是变成二次型，替换后的二次型与原

来的二次型之间有什么关系？有必要继续探讨设(7)f(xi,X2,",x.)=X'AX,A=A"是一个二次型，作非退化线性替换(8)X=CY,得到一个，y，…,y的二次型Y'BY.二、矩阵的合同关系现在来看矩阵A与B的关系把（8）代入（7)，有F(X,X2,"",X,)=X'AX =(CY)'A(CY)=Y'C'ACY= Y'(C'AC)Y = Y'BY.易看出，矩阵C'AC也是对称的，并且还有B=CAC这是非退化线性变换前后两个二次型的矩阵的关系。定义2数域P上两个n阶矩阵A，B称为合同的，如果有数域P上可逆的nxn矩阵C,使得B=C'AC.合同是矩阵之间的一个关系，具有以下性质：1）自反性：任意矩阵A都与自身合同2）对称性：如果B与A合同,那么A与B合同3）传递性：如果B与A合同,C与B合同,那么C与A合同因此，经过非退化的线性替换，新二次型的矩阵与原来二次型的矩阵是合同的。这样把二次型的变换通过矩阵表示出来，为以下的讨论提供了有力的工具。最后指出，在变换二次型时，总是要求所作的线性替换是非退化的。从几何上看，这一点是自然的，因为坐标变换一定是非退化的。一般地，当线

来的二次型之间有什么关系？有必要继续探讨. 设 f (x , x , , xn ) = XAX, A = A 1 2  (7) 是一个二次型，作非退化线性替换 X = CY , (8) 得到一个 n y , y , , y 1 2  的二次型 Y BY . 二、矩阵的合同关系 现在来看矩阵 A 与 B 的关系. 把（8）代入（7），有 ( ) . ( , , , ) ( ) ( ) 1 2 Y C AC Y Y BY f x x xn X AX CY A CY Y C ACY =   =   =  =  =   易看出，矩阵 CAC 也是对称的，并且还有 B =CAC . 这是非退化线性变换前后两个二次型的矩阵的关系。 定义 2 数域 P 上两个 n 阶矩阵 A ， B 称为合同的，如果有数域 P 上可 逆的 nn 矩阵 C ,使得 B =CAC . 合同是矩阵之间的一个关系，具有以下性质: 1) 自反性:任意矩阵 A 都与自身合同. 2) 对称性:如果 B 与 A 合同,那么 A 与 B 合同. 3) 传递性:如果 B 与 A 合同,C 与 B 合同,那么 C 与 A 合同. 因此，经过非退化的线性替换，新二次型的矩阵与原来二次型的矩阵是合同 的。这样把二次型的变换通过矩阵表示出来，为以下的讨论提供了有力的工 具。 最后指出，在变换二次型时，总是要求所作的线性替换是非退化的。从 几何上看，这一点是自然的，因为坐标变换一定是非退化的。一般地，当线

性替换X=CY是非退化时，由上面的关系即得Y=C-IX.这也是一个线性替换，它把所得的二次型还原这样就使我们从所得二次型的性质可以推知原来二次型的一些性质

性替换 X = CY 是非退化时，由上面的关系即得 Y C X −1 = . 这也是一个线性替换，它把所得的二次型还原.这样就使我们从所得二次型 的性质可以推知原来二次型的一些性质