§第五章第五节二次型及其标准形
在解析几何中,为了便于研究二次曲线ax 2 +bxy+cy 2 =1(1)的几何性质,我们可以选择适当的坐标变换:
{x=x ′ cosθ−y ′ sinθy=x ′ sinθ+y ′ cosθ
把方程化为标准形(法式方程)mx ′2 +ny ′2 =1
(1)的左边是一个二次齐次多项式
从代数学的观点看,化标准型的过程就是通过变量的线性变换化简一个二次齐次多项式,使它只有平方项.这样的问题,在许多理论问题或实际问题中常会遇到.把这类问题一般化,讨论n个变量的二次齐次多项式的化简问题.
一、二次型概念
定义8.含有n个变量x 1 ,x 2 ,⋯,x n 的二次齐次函数f(x 1 ,x 2 ,⋯,x n )=a 11 x 2 1 +2a 12 x 1 x 2 +⋯+2a 1n x 1 x n +a 22 x 2 2 +⋯+2a 2n x 2 x n +⋯+a nn x 2 n =∑ n i=1 ∑ n j=1 a ij x i x j 其中a ij =a ji ,2a ij x i x j =a ij x i x j +a ji x j x i
二次型的矩阵形式
f(x 1 ,x 2 ,⋯,x n )=∑ n i=1 ∑ n j=1 a ij x i x j =x 1 (a 11 x 1 +a 12 x 2 +⋯+a 1n x n )+x 2 (a 21 x 1 +a 22 x 2 +⋯+a 2n x n )+⋯⋯⋯⋯+x n (a n1 x 1 +a n2 x 2 +⋯+a nn x n )=(x 1 x 2 ⋯ x n )⎛ ⎝ ⎜ ⎜ ⎜ a 11 x 1 +a 12 x 2 +⋯+a 1n x n a 21 x 1 +a 22 x 2 +⋯+a 2n x n ⋯⋯⋯⋯a n1 x 1 +a n2 x 2 +⋯+a nn x n ⎞ ⎠ ⎟ ⎟ ⎟ =(x 1 x 2 ⋯ x n )⎛ ⎝ ⎜ ⎜ ⎜ a 11 a 21 ⋯a n1 a 12 a 22 ⋯a n2 ⋯⋯⋯⋯ a 1n a 2n ⋯a nn ⎞ ⎠ ⎟ ⎟ ⎟ ⎛ ⎝ ⎜ ⎜ ⎜ ⎜ x 1 x 2 ⋮x n ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ =x T Ax
其中A=⎛ ⎝ ⎜ ⎜ ⎜ a 11 a 21 ⋯a n1 a 12 a 22 ⋯a n2 ⋯⋯⋯⋯ a 1n a 2n ⋯a nn ⎞ ⎠ ⎟ ⎟ ⎟ ,x=⎛ ⎝ ⎜ ⎜ ⎜ ⎜ x 1 x 2 ⋮x n ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ 1)称A为二次型f的矩阵,显然A=A T ;2)A=(a ij ),若a ij 为复数,称f为复二次型;3)A=(a ij ),若a ij 为实数,称f为实二次型;4)称R(A)为二次型f的秩.
例1.把下面的二次型写成矩阵形式;(1)f(x 1 ,x 2 )=x 2 1 +4x 1 x 2 +3x 2 2 ;(2)f(x 1 ,x 2 ,x 3 )=x 2 1 +4x 1 x 2 +3x 2 2 ;
解:(1)f(x 1 ,x 2 )=(x 1 x 2 )(12 23 )(x 1 x 2 )(2)f(x 1 ,x 2 ,x 3 )=(x 1 x 2 x 3 )⎛ ⎝ ⎜ 120 230 000 ⎞ ⎠ ⎟ ⎛ ⎝ ⎜ x 1 x 2 x 3 ⎞ ⎠ ⎟
二、二次型的标准形
定义9.称只含有平方项的二次型f=λ 1 y 2 1 +λ 2 y 2 2 +⋯+λ n y 2 n =(y 1 y 2 ⋯ y n )⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ λ 1 λ 2 ⋱ λ n ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎛ ⎝ ⎜ ⎜ ⎜ ⎜ y 1 y 2 ⋮y n ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ =y T Λy为二次型的标准形(或法式).
所谓一般二次型的化简问题,就是寻找一个可逆的线性变换:
⎧ ⎩ ⎨ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ x 1 =c 11 y 1 +c 12 y 2 +⋯+c 1n y n x 2 =c 21 y 1 +c 22 y 2 +⋯+c 2n y n ⋯⋯⋯⋯x n =c n1 y 1 +c n2 y 2 +⋯+c nn y n
即x=cy,把f=x T Ax化成标准形.于是f=x T Ax=(cy) T A(cy)=y T (c T Ac)y.
定理9.任给可逆矩阵C,令B=C T AC,若A为对称矩阵,则B亦为对称矩阵,且R(B)=R(A).
证:A为对称矩阵,即有A T =A,于是,B T =(C T AC) T =C T A T (C T ) T =C T AC=B.故B为对称矩阵.再证R(B)=R(A).因B=C T AC,故R(B)≤R(AC)≤R(A).又因A=(C T ) −1 BC −1 ,故R(A)≤R(BC −1 )≤R(B)于是R(B)=R(A).
定理9说明:经可逆变换x=Cy,把f化成y T C T ACy,C T AC仍为对称矩阵,且二次型的秩不变.要使二次型f经过可逆变换x=Cy化成标准形,即使:f=x T Ax=(Cy) T ACy=y T C T ACy=λ 1 y 2 1 +λ 2 y 2 2 +⋯+λ n y 2 n =(y 1 y 2 ⋯ y n )⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ λ 1 λ 2 ⋱ λ n ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎛ ⎝ ⎜ ⎜ ⎜ ⎜ y 1 y 2 ⋮y n ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ =y T Λy
也就是说使C T AC成为对角矩阵,即C T AC=Λ,因此,我们主要的问题就是:对于对称矩阵A,寻求可逆矩阵C,使C T AC=Λ.由上节定理8知,任给实对称矩阵A,总有正交矩阵P,使P T AP=Λ.把此结论用于二次型,即有:
定理10.任意二次型f(x 1 ,x 2 ,⋯,x n )=∑ n i=1 ∑ n j=1 a ij x i x j (a ij =a ji ),总有正交变换x=Py,使f化为标准型f=λ 1 y 2 1 +λ 2 y 2 2 +⋯+λ n y 2 n 其中λ 1 ,λ 2 ,⋯,λ n 是f的矩阵A的n个特征值.
三、用正交变换化二次型为标准形
经过上面讨论,总结用正交变换二次型为标准形的一般步骤:1.将二次型f=∑ n i=1 ∑ n j=1 a ij x i x j 写成矩阵形式f=x T Ax;2.由|A−λE|=0.求出A的全部特征值;3.由(A−λE)x=0,求出A的特征向量;对于求出的不同的特征值所对应的特征向量,已正交,只需单位化;对于k重特征根λ k 所对应的k个线性无关的特征向量,用Schimidt标准正交化方法把它们化为k个两两正交的单位向量.4.把求出的n个两两正交的单位向量,拼成正交矩阵P,作正交变换x=Py;5.用x=Py,把f化成标准形.f=λ 1 y 2 1 +λ 2 y 2 2 +⋯+λ n y 2 n 其中λ 1 ,λ 2 ,⋯,λ n 使f的矩阵A的n个特征值.
例2.求一个正交变换x=Py,把二次型f=2x 1 x 2 +2x 1 x 3 −2x 1 x 4 −2x 2 x 3 +2x 2 x 4 +2x 3 x 4 化为标准形.
解:①二次型的矩阵为:A=⎛ ⎝ ⎜ ⎜ ⎜ 011−1 10−11 1−101 −1110 ⎞ ⎠ ⎟ ⎟ ⎟ ②由|A−λE|=0,求A的全部特征值:|A−λE|=∣ ∣ ∣ ∣ ∣ ∣ −λ11−1 1−λ−11 1−1−λ1 −111−λ ∣ ∣ ∣ ∣ ∣ ∣ =(1−λ)∣ ∣ ∣ ∣ ∣ ∣ 1111 1−λ−11 1−1−λ1 −111−λ ∣ ∣ ∣ ∣ ∣ ∣ =(1−λ)∣ ∣ ∣ ∣ ∣ ∣ 1000 1−1−λ−20 1−2−1−λ0 −1221−λ ∣ ∣ ∣ ∣ ∣ ∣ =(1−λ) 2 ∣ ∣ ∣ ∣ 100 1−1−λ−2 1−2−1−λ ∣ ∣ ∣ ∣ =(1−λ) 2 (λ 2 +2λ−3)=−(λ+3)(λ−1) 3 =0解得A的特征值为:λ 1 =−3,λ 2 =λ 3 =λ 4 =1.③由(A−λE)x=0,求A的特征向量.当λ 1 =−3时,解方程(A+3E)x=0,由A+3E=⎛ ⎝ ⎜ ⎜ ⎜ 311−1 13−11 1−131 −1113 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1113 −13−11 −1−131 −311−1 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 −1404 −1044 −3448 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 −1400 −1044 −3444 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 −1100 −1010 −3110 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 0100 0010 −1110 ⎞ ⎠ ⎟ ⎟ ⎟ 解得基础解系ξ 1 =⎛ ⎝ ⎜ ⎜ ⎜ 1−1−11 ⎞ ⎠ ⎟ ⎟ ⎟ ,单位化p 1 =12 ⎛ ⎝ ⎜ ⎜ ⎜ 1−1−11 ⎞ ⎠ ⎟ ⎟ ⎟ 当λ 2 =λ 3 =λ 4 =1时,解方程(A−E)x=0,由A−E=⎛ ⎝ ⎜ ⎜ ⎜ −111−1 1−1−11 1−1−11 −111−1 ⎞ ⎠ ⎟ ⎟ ⎟ ∼⎛ ⎝ ⎜ ⎜ ⎜ 1000 −1000 −1000 1000 ⎞ ⎠ ⎟ ⎟ ⎟ 解得⎛ ⎝ ⎜ ⎜ ⎜ x 1 x 2 x 3 x 4 ⎞ ⎠ ⎟ ⎟ ⎟ =k 1 ⎛ ⎝ ⎜ ⎜ ⎜ 1100 ⎞ ⎠ ⎟ ⎟ ⎟ +k 2 ⎛ ⎝ ⎜ ⎜ ⎜ 1010 ⎞ ⎠ ⎟ ⎟ ⎟ +k 3 ⎛ ⎝ ⎜ ⎜ ⎜ −1001 ⎞ ⎠ ⎟ ⎟ ⎟ ,k 1 ,k 2 ,k 3 不同时为零.通过调整k 1 ,k 2 ,k 3 得两两正交的基础解系为:ξ 2 =⎛ ⎝ ⎜ ⎜ ⎜ 1100 ⎞ ⎠ ⎟ ⎟ ⎟ ,单位化p 2 =12 √ ⎛ ⎝ ⎜ ⎜ ⎜ 1100 ⎞ ⎠ ⎟ ⎟ ⎟ ξ 3 =⎛ ⎝ ⎜ ⎜ ⎜ 0011 ⎞ ⎠ ⎟ ⎟ ⎟ ,单位化p 3 =12 √ ⎛ ⎝ ⎜ ⎜ ⎜ 0011 ⎞ ⎠ ⎟ ⎟ ⎟ ξ 4 =⎛ ⎝ ⎜ ⎜ ⎜ 1−11−1 ⎞ ⎠ ⎟ ⎟ ⎟ ,单位化p 4 =12 ⎛ ⎝ ⎜ ⎜ ⎜ 1−11−1 ⎞ ⎠ ⎟ ⎟ ⎟ ④于是正交变换为x=Py,即⎛ ⎝ ⎜ ⎜ ⎜ x 1 x 2 x 3 x 4 ⎞ ⎠ ⎟ ⎟ ⎟ =⎛ ⎝ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ 12 −12 −12 12 12 √ 12 √ 00 0012 √ 12 √ 12 −12 12 −12 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎛ ⎝ ⎜ ⎜ ⎜ ⎜ y 1 y 2 y 3 y 4 ⎞ ⎠ ⎟ ⎟ ⎟ ⎟ ⑤用正交变换将y化成标准形:f=−3y 2 1 +y 2 2 +y 2 3 +y 2 4