《线性代数》课程教学资源（教案讲义，A）第五章 相似矩阵与二次型 5-5二次型及其标准形

S5.5二次型及其标准形二次型的理论起源于化二次曲线、二次曲面的方程为标准形的问题.我们知道在平面解析几何中，当坐标原点与曲线中心重合时，有心二次曲线的一般方程是ax? + 2bx +cy? = d(5-9)为了便于研究这个二次曲线的几何性质，可选择适当的角度θ，做旋转变换x=xcose-y'singy=xsing+ycosg把方程(5-9)化成标准方程(5-10)ax+cy?=d.(5-9)式左边是一个二元二次齐次多项式.而（5-10)左端它只含有平方项.我们把该问题推广到一般情况，从而建立起二次型理论.该理论在数学和物理学中都有着广泛的应用，它是线性代数的重要内容之一.其中心间题是讨论如何把一般二次齐次多项式经可逆线性变换转化成只含平方项的形式，一、二次型的概念定义1含有n个变量x,x2.x,的二次齐次多项式f(xi,x2...,xn)=ax+2ai2xx2+...+2anxixm(5-11)+a22x2+...+2a2nxx,+...+amx.称为二次型当a为复数时，称为复二次型；当a,为实数时，称为实二次型，例如X+Xx2+3xg+2x+4xxg+3x为实二次型；而ixx2 +5x +(3+i)x,xg + /2xx4为复二次型，我们下面讨论的二次型均为实二次型我们前面把（5-11)式中混合项x,x,(i<j)的系数写成2aj，而不是简单的写成α,是为了以后讨论方便

§5.5 二次型及其标准形 二次型的理论起源于化二次曲线、二次曲面的方程为标准形的问题.我们知 道在平面解析几何中，当坐标原点与曲线中心重合时，有心二次曲线的一般方程 是 ax  bx  cy  d 2 2 2 (5-9) 为了便于研究这个二次曲线的几何性质，可选择适当的角度  ，做旋转变换        sin cos , cos sin , ' ' ' '     y x y x x y 把方程(5-9)化成标准方程 a x  c y  d ' '2 ' '2 . (5-10) (5-9)式左边是一个二元二次齐次多项式.而(5-10)左端它只含有平方项.我 们把该问题推广到一般情况，从而建立起二次型理论.该理论在数学和物理学中 都有着广泛的应用，它是线性代数的重要内容之一.其中心问题是讨论如何把一 般二次齐次多项式经可逆线性变换转化成只含平方项的形式. 一、 二次型的概念 定义 1 含有 n 个变量 n x , x , , x 1 2  的二次齐次多项式 ( , , , ) 1 2 n f x x  x n n a x a x x a x x 12 1 2 1 1 2  11 1  2  2 2 2 2 2 22 2 2 n n n n n  a x  a x x  a x (5-11) 称为二次型. 当 ij a 为复数时，称 f 为复二次型；当 ij a 为实数时，称 f 为实二次型. 例如 2 2 3 3 2 1 2 1 3 2 2 x1  x x  3x x  2x  4x x  3x 为实二次型；而 2 3 1 4 2 ix1 x2  5x2  (3 i)x x  2x x 为复二次型.我们下面讨论的二次型均为实二次型. 我们前面把(5-11)式中混合项 x x (i j) i j  的系数写成 2aij ，而不是简单的写 成 ij a 是为了以后讨论方便

二、二次型的矩阵表示取a,=aj，则2a,xx, =agx,x, +anx,x,(i<j),所以二次型(5-11)式可以写成f(xX2...,xn)=aix?+..tanxx.+a2ix,x,+...+anxxn+...+anx.x,+...+amx?=x(aux,+..+anx,)+x(a2i,+...+a2mx,)+..+x,(amx,+..+ax.)[aai2..anxa2a22.a2nX-[x x2 .. ,]= X'AX.......Lanan2..amIxn其中X"=[x2x,]，A=(a,）m称为二次型(5-11)的矩阵.显然A=A,由于2a,=a,+a,(a,=a,）写法唯一，因此二次型与它的矩阵相互唯一确定.进而易知，二次型与对称矩阵一一对应，二次型（5-11)的矩阵A的元素满足，当i+j时，α,=α,是二次型x,x项系数的一半；当i=j时，a是x项的系数.例如，二次型f=x-3xz-4xx，+x的矩阵为[1 00A=0 -3 -2[0 -21]设由变量yi,y2y到变量xx2x的线性变换为X,=Cuyi+Ci2J2+...+Cinyn.X2=C21yi+C22y2+...+C2nJn(5-12)Xn=Cnyi+Cn2y2+...+Cmnyn或写成为矩阵形式X =CY

二、 二次型的矩阵表示 取 a ji  aij ，则 2a x x a x x a x x (i j) ij i j  ij i j  ji j i  , 所以二次型(5-11)式可以写成 ( , , , ) 1 2 n f x x  x n n a x a x x 1 1 2  11 1   a21x2 x1  a2n x2 xn  2 n1 n 1 nn n  a x x  a x ( ) 1 11 1 1n n  x a x  a x  x2 (a21x1  a2n xn )  + ( ) n n1 1 nn n x a x  a x                                     n n n n n n n n x x x a a a a a a a a a x x x 2 1 1 2 2 1 2 2 2 1 1 1 2 1 1 2 X AX '  . 其中   n X  x x  x 1 2 ' ， A  aij nn ( ) 称为二次型(5-11)的矩阵.显然 A  A ' ， 由于 2 ( ) aij  aij  a ji aij  a ji 写法唯一，因此二次型与它的矩阵相互唯一确定.进 而易知，二次型与对称矩阵一一对应. 二次型(5-11)的矩阵 A 的元素满足，当 i  j 时， aij  a ji 是二次型 i j x x 项系 数的一半；当 i  j 时， aii 是 2 i x 项的系数. 例如，二次型 2 2 3 3 2 2 2 f  x1  3x  4x x  x 的矩阵为               0 2 1 0 3 2 1 0 0 A . 设由变量 n y , y , , y 1 2  到变量 n x , x , , x 1 2  的线性变换为                  . , , 1 1 2 2 2 2 1 1 2 2 2 2 1 1 1 1 1 2 2 1 n n n n n 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 (5-12) 或写成为矩阵形式 X  CY

其中x[]y2A,Y=C=(cg)mn， X =1[Xn]Lyn.不难看出，若将(5-12)式代入(5-11)式，那么得到的关于yi,J2,J，的多项式仍为二次齐次式，即对二次型f=XAX，作可逆线性变换X=CY，则f = X AX = (CY) A(CY)= Y'(C AC)Y =Y'BY .其中B=CAC，因为B=(CAC)=CA(C）=B,所以B是对称矩阵，因而上式也是二次型.由此可知，线性变换把二次型变为二次型下面讨论经可逆线性变换后二次型的矩阵与原二次型的矩阵之间的关系，定义2设A,B是两个n阶方阵，如果存在一个可逆矩阵C，使得B=C'AC,则称A与B是合同的由此可知，可逆线性变换后的二次型的矩与原二次型的矩阵是合同的；由于矩阵合同一定等价，因而他们有相同的秩；矩阵间的合同也是等价关系，三、二次型的标准形二次型中最简单的一种是只包含平方项的二次型：(5-13)f=Myi+ny+...+nny如果一个二次型f=XAX经可逆变换X=CY能化为（5-13)的形式，则称（5-13）为该二次型的标准形.那么，任给一个实二次型能否化为标准型呢？答案是肯定的，下面给出化二次型为标准型的三种方法1．用正交变换化二次型为标准形定义3如果线性变换X=CY的系数矩阵C=(c,）m是正交矩阵，则称它为正线性变换，简称正交变换，显然正交变换是可逆的由于实二次型与实对称矩阵有着一一对应关系，而由第四节定理2知，任给实对称阵A，总有正交阵P，使P-AP=PAP=Λ为对角形，把此结论应用于二

其中 ij m n C c   ( ) ，               n x x x X 2 1 ，               n y y y Y 2 1 . 不难看出，若将(5-12)式代入(5-11)式，那么得到的关于 n y , y , , y 1 2  的多项 式仍为二次齐次式，即对二次型 f X AX '  ，作可逆线性变换 X  CY ,则 f X AX CY A CY Y C AC Y Y BY ' ' ' ' '   ( ) ( )  ( )  . 其中 B C AC'  ，因为 B  C AC  C A C  B ' ' ' ' ' ' ( ) ( ) ,所以 B 是对称矩阵，因而上式 也是二次型.由此可知，线性变换把二次型变为二次型. 下面讨论经可逆线性变换后二次型的矩阵与原二次型的矩阵之间的关系. 定义 2 设 A,B 是两个 n 阶方阵，如果存在一个可逆矩阵 C ，使得 B C AC'  ， 则称 A 与 B 是合同的. 由此可知，可逆线性变换后的二次型的矩与原二次型的矩阵是合同的；由于 矩阵合同一定等价，因而他们有相同的秩;矩阵间的合同也是等价关系. 三、 二次型的标准形 二次型中最简单的一种是只包含平方项的二次型： 2 2 2 2 2 1 1 n n f   y   y   y . (5-13) 如果一个二次型 f X AX '  经可逆变换 X  CY 能化为(5-13)的形式，则称 (5-13)为该二次型的标准形.那么，任给一个实二次型能否化为标准型呢？ 答案是肯定的，下面给出化二次型为标准型的三种方法. 1. 用正交变换化二次型为标准形 定义 3 如果线性变换 X  CY 的系数矩阵 ij n n C c   ( ) 是正交矩阵，则称它为 正线性变换，简称正交变换.显然正交变换是可逆的. 由于实二次型与实对称矩阵有着一一对应关系，而由第四节定理 2 知，任给 实对称阵 A ，总有正交阵 P ，使     P AP P AP 1 ' 为对角形，把此结论应用于二

次型，即有下面定理定理1任给实二次型f=X"AX(A=A)，总有正交变换X=PY，将化为标准形f=My +y? +...+any?其中,..,是矩阵A的特征值由第四节例2知，用正交变换化二次型为标准型的步骤为(1)写出二次型的矩阵A；(2)求出A的全部互不相同的特征值，，",：(3)对每个，求方程组(A-2,E)x=0的一个基础解系αi,αiz2,,αm，将它们正交单位化后，得到标准正交向量组PiPi2,Pum (i=1,2,..S,n +n, +.+n,=n);（4）以（3）中标准正交向量组为列向量作矩阵P，则P为正交阵；(5)作正交变换X=PY，则此正交变换X=PY就将二次型化为标准形例1求正交变换X=PY，把二次型f=2xX2+2xx3-2x,x4-2x2xg+2x2x4+2xgx4化为标准形.解（1）二次型的矩阵为[011-10-11-A=-1 011[-1 11（2）求A的全部互不相同的特征值A-E=(-1)(+3)故A的特征值为=1（3重根），=-3（3）对每个入,，求方程组(A-入,E)X=0的一个基础解系，对于Λ,=1，方程组(A-E)X=0的一个基础解系为

次型，即有下面定理. 定理 1 任给实二次型 ( ) ' ' f  X AX A  A ，总有正交变换 X  PY ，将 f 化 为标准形 '2 2 2 2 2 1 1 n n f   y   y   y . 其中   n , , , 1 2  是矩阵 A 的特征值. 由第四节例 2 知，用正交变换化二次型为标准型的步骤为: (1)写出二次型的矩阵 A ； (2)求出 A 的全部互不相同的特征值   s , , , 1 2  ； (3)对每个 i ，求方程组 (A iE)x  0 的一个基础解系 i i i in , , , 1 2  ，将它 们正交单位化后，得到标准正交向量组 , , , ( 1,2, , ) pi1 pi2 pin i s n1 n2 ns n i       ； (4)以(3)中标准正交向量组为列向量作矩阵 P ,则 P 为正交阵; (5)作正交变换 X  PY ,则此正交变换 X  PY 就将二次型化为标准形. 例 1 求正交变换 X  PY ，把二次型 2 1 2 2 1 3 2 1 4 2 2 3 2 2 4 2 3 4 f  x x  x x  x x  x x  x x  x x 化为标准形. 解 （1） 二次型的矩阵为                  1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 A ， （2）求 A 的全部互不相同的特征值. ( 1) ( 3) 3 A E      . 故 A 的特征值为 1  1 （3 重根）， 2  3. （3）对每个 i ，求方程组 (A iE)X  0 的一个基础解系. 对于 1 =1，方程组 (A E)X  0 的一个基础解系为

11100α,=αa00110[o]1先将它们正交化，再单位化得[1]11-11.-Pi =P2 =P3=V2V620/12-[o][o][3对于,=-3，方程组(A+3E)X=0的一个基础解系为[1-1α =-11单位化得[1]-11P4 =2-1[]（4）以Pi,P2,P3,P4为列向量作矩阵，得正交矩阵1Y11-2T6721111-22V6V12P=121012V6V123100PV12且[11P-AP =1-2(5)作正交变换X=PY，则二次型化为标准型

             0 0 1 1 1 ，              0 1 0 1  2 ，              1 0 0 1  3 . 先将它们正交化，再单位化得              0 0 1 1 2 1 1 p ，               0 2 1 1 6 1 2 p ，              3 1 1 1 12 1 3 p . 对于 2  3 ，方程组 (A 3E)X  0 的一个基础解系为                1 1 1 1  4 单位化得                1 1 1 1 2 1 4 p （4）以 1 2 3 4 p , p , p , p 为列向量作矩阵，得正交矩阵                             2 1 12 3 0 0 2 1 12 1 6 2 0 2 1 12 1 6 1 2 1 2 1 2 1 6 1 2 1 P 且                2 1 1 1 1 P AP . (5)作正交变换 X  PY ，则二次型化为标准型