西北工业大学：《线性代数》课程教学资源（讲稿）第六章 二次型

第六章二次型 变量x1,x2,…,xn的二次齐次多项式 f∫(x1,x2,…,xn)=a1x1+2a121x1x2+2a13x1x3+…+2a1nx1x +a2x2+2a23x2x3+…+2a2nx2x 称为n元二次型,简称为二次型 an∈R:称∫(x1,x2,…,xn)为实二次型(本章只讨论实二次型) an∈C:称f(x1,x2,…,xn)为复二次型 §6.1二次型的矩阵表示 1.矩阵表示:令an=an(>),则有 ∫=a1x1x1+a12x1x2+a13x1x3+…+a1nx1xn a21x211+a2X2x2+a23x23+…+a2nx2Cn tantxnx+amxnx2tan3Enx3t.+a,nxnxn dixit x1(a11+a12x2+a13x3+…+a1nxn) +x2(a211+a2)2+a23x3+…+a2nxn) +x(anx,+an,x2+an3x3+-+amxn

1 第六章 二次型 变量 x x xn , , , 1 2  的二次齐次多项式 x x xn a x a x x a x x a n x xn f 1 2 1 2 1 3 1 3 1 1 2 ( 1 , 2 ,  , ) = 1 1 1 + 2 + 2 ++ 2 a x a23 x2 x3 a2n x2 xn 2 + 22 2 + 2 ++ 2 + 2 + ann xn 称为 n 元二次型, 简称为二次型． aij  R ：称 ( , , , ) x1 x2 xn f  为实二次型（本章只讨论实二次型） aij  C ：称 ( , , , ) x1 x2 xn f  为复二次型 §6.1 二次型的矩阵表示 1．矩阵表示：令 a a ( j i) ji = ij  , 则有 a x x a x x a x x a n x xn f = 11 1 1 + 12 1 2 + 13 1 3 ++ 1 1 + a21 x2 x1 + a22 x2 x2 + a23 x2 x3 ++ a2n x2 xn + + an1 xn x1 + an2 xn x2 + an3 xn x3 ++ ann xn xn         = = = i j n i n j aij x x 1 1 ( ) = x1 a11 x1 + a12 x2 + a13 x3 ++ a1n xn ( ) + x2 a21 x1 + a22 x2 + a23 x3 ++ a2n xn + ( ) + xn an1 x1 + an2 x2 + an3 x3 ++ ann xn             + + + + + + + + + = n n nn n n n n n n a x a x a x a x a x a x a x a x a x x x x      1 1 2 2 21 1 22 2 2 11 1 12 2 1 1 2 ( , , , )

=(x1,x2…,x)"a r Ax 其中A= (1)f(x1,x2,…,x)与A是一一对应关系,且A=A (2)称A为∫的矩阵,称∫为A对应的二次型. (3)称A的秩为∫的秩即 rank f(x1,x2,…,xn)=rank4 2.标准形:找可逆线性变换x=Cy,即 C J2 使得 f(x1,x2…,xn)=d1y2+d2y2+…+dny2 将二次型∫(x1,x2,…,xn)的标准形写为矩阵形式 f=y Dy, D f=x Ax=(Cy) A(Cy)=y(C AC)y 矩阵描述:对实对称矩阵A,找可逆矩阵C,使得CAC=D 3.合同矩阵:对于A,Bnmn,若有可逆矩阵C使得CIAC=B, 称A合同于 (1)A合同于A:EIAE=A

2                         = n n nn n n n n x x x a a a a a a a a a x x x         2 1 1 2 21 22 2 11 12 1 1 2 ( , , , ) x Ax T = 其中             = n n nn n n a a a a a a a a a A       1 2 21 22 2 11 12 1 ,             = n x x x x  2 1 (1) ( , , , ) x1 x2 xn f  与 A 是一一对应关系, 且 A = A T ． (2) 称 A 为 f 的矩阵, 称 f 为 A 对应的二次型． (3) 称 A 的秩为 f 的秩, 即 rank f (x1 , x2 ,  , xn ) = rankA ． 2．标准形：找可逆线性变换 x = C y , 即                         =             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 (detC  0) 使得 2 2 2 2 2 1 2 1 1 ( , , , ) n n n f x x  x = d y + d y ++ d y 将二次型 ( , , , ) x1 x2 xn f  的标准形写为矩阵形式 f y D y T = ,           = d n d D  1 f x Ax (C y) A(C y) y (C AC) y T T T T = = = 矩阵描述：对实对称矩阵 A , 找可逆矩阵 C , 使得 C AC = D T ． 3．合同矩阵：对于 Ann Bnn , , 若有可逆矩阵 Cnn 使得 C AC = B T , 称 A 合同于 B ． (1) A 合同于 A ： E AE = A T

(2)A合同于B→B合同于A:(C-)B(C-)=A (3)A合同于B,B合同于S→A合同于S 定理3A合同于B→mnkA= rankB 证CAC=B→ rankB=mank(CAC)≤ ranka (C-)B(C-)=A→ ranka=rank(C+)B(C-≤ rankB 故 rankA= rankB §62化二次型为标准形 1.正交变换法 设A实对称特征值为λ1,42,…,凡n,则存在正交矩阵Q,使得 作正交变换x=Qy,可得 f=x Ax=(0y)'A(0y)=y(2 A0)y=y 4y λy2+λ2y2+…+λny2 例1f(x1,x2,x3)=2x2+5x2+5x32+4x1x2-4x1x3-8x2x3 用正交变换化∫(x1,x2,x3)为标准形 解∫的矩阵 2-4 A的特征多项式g()=-(元-1)2(2-10)

3 (2) A 合同于 B  B 合同于 A ： C B C = A − − ( ) ( ) 1 T 1 (3) A 合同于 B , B 合同于 S  A 合同于 S 定理 3 A 合同于 B  rankA = rankB． 证 C AC = B T rankB rank (C AC) rankA T  =  C B C = A − − ( ) ( ) 1 T 1 rankA rank[(C ) B(C )] rankB 1 T 1  =  − − 故 rankA = rankB． §6.2 化二次型为标准形 1．正交变换法 设 Ann 实对称, 特征值为    n , , , 1 2  , 则存在正交矩阵 Q , 使得           = = n Q AQ     1 T 作正交变换 x = Q y , 可得 f x Ax Q y A Q y y Q AQ y y  y T T T T T = = ( ) ( ) = ( ) = 2 2 2 2 2 1 1 n n =  y +  y ++  y 例 1 1 2 1 3 2 3 2 3 2 2 2 f (x1 , x2 , x3 ) = 2x1 + 5x + 5x + 4x x − 4x x − 8x x 用正交变换化 ( , , ) x1 x2 x3 f 为标准形． 解 f 的矩阵           − − − − = 2 4 5 2 5 4 2 2 2 A A 的特征多项式 ( ) ( 1) ( 10) 2   = −  −  −

1=2=1的两个正交的特征向量P1=1,P2=-1 A3=10的特征向量p3=2 04/3√21/3 正交矩阵Q=V√2-1322/3 1/1/32-2/3 正交变换x=Qy:标准形∫=y2+y2+10y2 例2f(x1,…,x:)=2x1x2+2x1x3-2x1x4-2x2x3+2x2x4+2x3x4 用正交变换化f(x1,x2,x3,x)为标准形. 解∫的矩阵A 1-101 A的特征多项式q(4)=(A-1)3(+3) 求正交矩阵Q和对角矩阵A,使得QAQ=A: 1/√201 Q 2222 1/20-1/ l/2 A l/2 01 1/2 正交变换x=Qy:标准形∫=y2+y2+y2-3y2 例3f(x1,x2,x3)=5x2+5x2+cx2-2x1x2+6x1x3-6x2x3,秩(厂)=2 (1)求c;(2)用正交变换化f(x1,x2,x3)为标准形; (3)f(x1,x2,x3)=1表示那类二次曲面?

4 1 = 2 = 1 的两个正交的特征向量           = 1 1 0 1 p ,           = − 1 1 4 p2  3 = 10 的特征向量           − = 2 2 1 p3 正交矩阵           − = − 1 2 1 3 2 2 3 1 2 1 3 2 2 3 0 4 3 2 1 3 Q 正交变换 x = Q y ：标准形 2 3 2 2 2 f = y1 + y + 10 y 例 2 1 4 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 + x x 用正交变换化 ( , , , ) x1 x2 x3 x4 f 为标准形． 解 f 的矩阵             − − − − = 1 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 A A 的特征多项式 ( ) ( 1) ( 3) 3   =  −  + 求正交矩阵 Q 和对角矩阵  , 使得 Q AQ =  T ：               − − − − = 0 1 2 1 2 1 2 0 1 2 1 2 1 2 1 2 0 1 2 1 2 1 2 0 1 2 1 2 Q ,             − = 3 1 1 1  正交变换 x = Q y ：标准形 2 4 2 3 2 2 2 f = y1 + y + y − 3 y 例 3 1 2 1 3 2 3 2 3 2 2 2 f (x1 , x2 , x3 ) = 5x1 + 5x + c x − 2x x + 6x x − 6x x ,秩 ( f ) = 2． (1) 求 c ； (2) 用正交变换化 ( , , ) x1 x2 x3 f 为标准形； (3) f (x1 , x2 , x3 ) = 1 表示那类二次曲面？

解(1)∫的矩阵A=-15-3(显见mnA≥2) rank4=2→det4=0→c=3 5-λ 4-λ4-0 (2)p()=-15-x-3=-15-λ-3 33- 33-A 4-元 16--3|=-(-4)4-9) λ1=0,2=4,3=9的特征向量依次为 P1=1P2=1,p=-1(两两正交) 正交矩阵Q=1/√61/2-1 正交变换x=Qy:标准形∫=0y2+4y2+9y2 (3)∫(x1,x2,x3)=1台4y2+9y3=1:表示椭圆柱面 例4设∫(x,x2,x)=x2Ax,A=-1c-3|,秩()=2,求c 解det4=9(c-1)2(c+2) rankA=2→det=0→c=1或者c=-2 c=1:A=-11-3→000,mnk4=1(舍去)

5 解 (1) f 的矩阵           − − − − = c A 3 3 1 5 3 5 1 3 （显见 rankA 2 ） rankA = 2 detA = 0 c = 3 (2)          − − − − − − − = − − − − − − − = + 3 3 3 1 5 3 4 4 0 3 3 3 1 5 3 5 1 3 ( ) 1 2 r r ( 4)( 9) 3 6 3 1 6 3 4 0 0 2 1 = − − − − − − − − − = −       c c 1 = 0, 2 = 4, 3 = 9 的特征向量依次为          − = 2 1 1 p1 ,           = 0 1 1 p2 ,           = − 1 1 1 p3 （两两正交） 正交矩阵           − − = 2 6 0 1 3 1 6 1 2 1 3 1 6 1 2 1 3 Q 正交变换 x = Q y ：标准形 2 3 2 2 2 f = 0 y1 + 4 y + 9 y (3) ( , , ) 1 4 9 1 2 3 2 f x1 x2 x3 =  y2 + y = ：表示椭圆柱面 例 4 设 f x x x x Ax T 1 2 3 ( , , ) = ,           − − − − = c c c A 3 3 9 1 3 1 3 , 秩 ( f ) = 2 , 求 c ． 解 det 9( 1) ( 2) 2 A = c − c + rankA= 2detA= 0 c = 1 或者 c = −2 c = 1 ：           − →           − − − − = 0 0 0 0 0 0 1 1 3 3 3 9 1 1 3 1 1 3 行 A , rankA = 1 （舍去）