复习 ,x)=4+22+.+41nx da 0j 十02X2X1+022X2+.+42mX2式m X= tanxx+anxaux X =XAX d 标准形： d, f=(y1y2"n) =Y'DY
2 1 11 1 12 1 2 1 1 2 21 2 1 22 2 2 2 ( , , ) n n n n n f x x a x a x x a x x a x x a x a x x = + + + + + + + 1 n x X x = + 2 n n n n nn n 1 1 2 2 + + + + a x x a x x a x T = X AX ij ji a a = 复习 标准形: 1 1 2 2 1 2 ( , , ) n n n d y d y f y y y d y = T = Y DY
线性替换：X=CY.可逆线性替换；正交替换 acan.c.oc.co 2)C1、C2为正交阵→CC2为正交阵 原二次型 X=C卫，新二次型 B与A关系？ f(X)=XTAX C0 (Y)=YTBY B=CTAC一A与B合同（反身、对称、传递性，秩相等） 化二次型为标准形给定对称矩阵4，求可逆矩 阵C,使CAC=D(对角阵) 1.正交替换法（定理1） 2.配方法 3.初等变换法
线性替换: X＝CY. 可逆线性替换； 正交替换 1 2 C C 0, 0 X＝C1U，U＝C2Y 1 2 C C 0 C1、C2为正交阵 (1) (2) C1C2为正交阵 X＝(C1C2 )Y 原二次型 f ( X )＝X TA X X＝CY C 0 新二次型 f ( Y )＝Y TB Y B与A关系? B＝C TAC—A与B合同(反身、对称、传递性，秩相等) 化二次型为标准形 给定对称矩阵A，求可逆矩 阵C, 使CTAC＝D (对角阵) 1.正交替换法 2.配方法 (定理1) 3.初等变换法
二、配方法 定理2数域F上的任意一个二次型均可经过可逆线 性替换化为标准形， 证明略。后面以例说明。 先给出定理的等价命题 用“矩阵合同”概念 表述定理： 定理3数域F上任一对称矩阵都与一个对角阵合同. A￥DK D 定理2 个 二次型XAX 标准形YDY =CY,C≠0 5.1定理D=CAC
二、配方法 定理2 数域F上的任意一个二次型均可经过可逆线 性替换化为标准形. 证明略。后面以例说明. 定理3 数域F上任一对称矩阵都与一个对角阵合同. A 二次型XTAX X CY , C = 0 定理2 标准形YTDY D 5.1定理D=CTAC ⎯⎯→ A D ⎯⎯ 先给出定理的等价命题——用“矩阵合同”概念 表述定理:
例2.用配方法化二次型 f=x2+2x号+3x了-4xx2-4x2x 为标准形，并求出所用的非退化线性替换， f=(c1-2x2)'-2x2+3x-4x& =(x1-2x2)}-2(x2+x3)+5x写 =-2号+5 y1=x1-22 y2=x2十X3 x1=y+2y2-2y y3三X3 即x2=y2 2 x3=y3 X=0 1 -1 0 0 1
例2. 用配方法化二次型 为标准形，并求出所用的非退化线性替换. 2 1 2 f x x = − ( 2 ) 222 1 2 3 = − + yyy 2 5 1 1 2 3 2 2 3 3 3 x y y y 2 2 x y y x y = − = − = ＋ 即： 1 2 2 0 1 1 0 0 1 X Y − = − 222 1 2 3 1 2 2 3 f x x x x x x x = + + − − 2 3 4 4 2 2 1 2 2 3 = − − + ( 2 ) 2( ) x x x x y1 ＝x1－2x2 y2 ＝x2＋x3 y3 ＝x3 2 2 − + − 2 3 4 x x x x 2 3 2 3 2 +5x3
注：用正交替换法化该二次型为标准形 -2 0￥ 1=1-1=(2,2,10 A= -22 -2 22=2一2=(2,1，-2)1 0 -2 3 九3=5=a%=(1,-2,2)月 2-3 -1 3 3 QAQ=Q'AQ=Λ= 2 ,= 2-3 1 2 3 3 5 1 2 2 正交替换X=QY,原二次型化为： 3 3 f=-y+2吃+5y3 与配方法结果不同，二次型的标准形不唯一
注：用正交替换法化该二次型为标准形 与配方法结果不同，二次型的标准形不唯一. 1 2 0 2 2 2 0 2 3 A − = − − − 1 1 (2,2,1)T = − = — 1 2 2 (2, 1, 2)T = = − − — 2 3 5 (1, 2,2)T = = − — 3 1 2 2 1 3 3 3 1 2 1 2 2 , 333 5 1 2 2 3 3 3 T Q AQ Q AQ Q − − = = = = − − − 正交替换X＝QY，原二次型化为： 2 2 2 f y y y = − + + 1 2 3 2 5