化二次型为标准形的方法
内容摘要:高等代数作为我们数学专业的一门重要的基础课。它以线性空间为背景,以线
性变换为方法,以矩阵为工具,着重研究线性代数的问题。二次型式多元二次函数,其内容本属于函数的讨论范围,然而二次型用矩阵表示之后,用矩阵方法讨论函数问题,使得二次型的问题变得更加简洁明确,二次函数的内容也更加丰富多彩。而我们要讨论的是如何化二次型为标准形,也就是用矩阵方法把对称矩阵合同与对角矩阵。二次型是高等代数的重要内容之一,二次型的基本问题是要寻找一个线性替换把它变成平方项,即二次型的标准形。下面介绍了一些化二次型为标准形的方法:配方法,交变换法,初等变换法,雅可比方法,偏导数法
关键词:二次型 线性替换 矩阵 标准形
导言:二次型的理论来源于解析几何中二次曲线、二次曲面的化简问题。二次型是学中的
一个极其重要的问题,这个问题不仅在数学上,而且在物理学,工程学,经济学领域都有广泛的应用。在研究时为了研究的方便,我们经常要化二次型为标准形。我们知道,任一二次型和某一对称矩阵是相互唯一确定的,而任一实对称矩阵都可以化为一对角矩阵,相应的以实二次型都可以化为标准形,以下就是化二次型为标准形的几种方法,通过典型例题,体会二次型问题时的多样性和灵活性。
化二次型为标准形的方法
一. 配方法
配方法是解决这类问题时另一个常用方法,通过观察对各项进行配方,其实质就是运用非退化的线性替换。使用配方法化二次型为标准形时,最重要的是要消去像x i x j (i ≠j ) 这样的交叉项,其方法是利用两数的平方和公式和两数的平方差公式逐步的消去非平方项并构造新的平方项。
定理:数域P 上任意一个二次型都可以经过非退化的线性替换变成平方和
22
的形。 d 1x 12+d 2x 2+... +d n x n
1. 如果二次型含有x i 的平方项,那么先把含有x i 的乘积项集中,然后再配方,再对其
余的项同样进行,直到都配成平方项为止,写出前面过程所经过的所有非退化的线性替换,就将二次型化为标准形了。
2
例 1.上述所给出的方法化二次型f (x , x 2, x 3) =x 12+2x 1x 2+2x 2+4x 2x 3为标准形,写出所用的
变换矩阵。
解:原二次型中含有x i 的平方项,先将含有x 1的项集中,利用平方和公式消去x 1x 2, 然后对x 2配平方,消去x 2x 3项。此过程为
2222
f (x , x 2, x 3) =(x 12+2x 1x 2+x 2) +(x 2+4x 2x 3+4x 3) -4x 3
2
2
2
=(x 1+x 2)+(x 2+2x 3)-4x 3
于是作非退化的线性替换:
⎧x 1=y 1-y 2+2y 3
⎪
⇒⎨x 2=y 2-2y 3 ⎪x 3=y 3⎩
即
⎛x 1⎫⎛1-12⎫⎛y 1⎫ ⎪ ⎪ ⎪x 01-2= 2⎪ ⎪ y 2⎪ x ⎪ 001⎪ y ⎪⎝3⎭⎝⎭⎝3⎭
于是就得到
22
f (x , x 2, x 3) =y 12+y 2-4y 3
所用的变换矩阵为
⎛1-12⎫
⎪C = 01-2⎪
001⎪⎝⎭
且有
⎛100⎫⎛110⎫⎛1-12⎫⎛100⎫
⎪ ⎪ ⎪ ⎪
C ' AC = -110⎪ 122⎪ 01-2⎪= 010⎪
001⎪ 020⎪ 001⎪ 00-4⎪⎝⎭⎝⎭⎝⎭⎝⎭
2. 如果所给二次型中不含有x i 平方项,但是a ij ≠0(i ≠j ) , 我们就可以用前面所提到的方法构造出平方项,可以先做出可逆的线性变换
⎧x i =y i -y j
⎪x =y +y ⎪j i j
, (k =1,2, ⎨
........ ⎪⎪⎩x k =y k
, n 且k ≠i , j )
代入到原二次型中,这时二次型中就含有平方项了,然后再按照上述1中的方法进行配方。
例2. 将二次型f (x , x 2, x 3) =-4x 1x 2+2x 1x 3+2x 2x 3化为标准形,并写出所用的变换矩阵。 解:由于所给的二次型中无x i 平方项,就需要构造出平方项,令
⎧x 1=y 1+y 2⎪
⎨x 2=y 1-y 2 ⎪x =y
3⎩3
即
⎛x 1⎫⎛110⎫⎛y 1⎫
⎪ ⎪ ⎪x 1-10=2 ⎪ ⎪ y 2⎪ x ⎪ 001⎪ y ⎪⎝3⎭⎝⎭⎝3⎭
代入到原二次型中有
f (x , x 2, x 3) =-4(y 1+y 2)(y 1-y 2) +2(y 1+y 2) y 3+2(y 1-y 2) y 3
2
=-4y 12+4y 2+4y 1y 3
此时就可以按照情形1中的步骤进行,将含有y 1的项集中,消去y 1y 3项,再分别对 y 2, y 3配平方即可。 所以有
2
f (x , x 2, x 3) =-4y 12+4y 2+4y 1y 3
222
=-4y 12+4y 1y 3+y 3 -y 3+4y 2
22
+4y 2 =-(2y 1-y 3)+y 3
2
作非退化线性替换
11⎧
y =z +⎪1212z 2⎧z 1=2y 1-y 3
⎪⎪
z =y y 2=z 2 ⇒⎨⎨22⎪z =y ⎪y 3=z 333⎩⎪
⎩
即
⎛y 1⎫ ⎪ y 2⎪ y ⎪⎝3⎭
⎛1 20
= 01 00 ⎝1⎫2⎪⎪0⎪1⎪⎪⎭
⎛z 1⎫ ⎪ z 2⎪ z ⎪⎝3⎭
于是能够得到
22
f (x , x 2, x 3) =-z 12+4z 2+z 3
所用的变换矩阵为
⎛1
⎛110⎫ 2 ⎪
C = 1-10⎪ 01
001⎪ 00⎝⎭
⎝
⎛11⎫
22⎪ ⎪10⎪=
2⎪1 ⎪ 0⎭
⎝1⎫2⎪⎪1⎪ -1⎪2⎪01⎪
⎪⎭1
且有
⎛1 2 '
AC C = 1
1 ⎝2
⎛1
1⎫ 20⎪
⎛0-21⎫ 2
⎪ ⎪1-10⎪ -201⎪
2
⎪⎪110⎭ 1
01⎪⎝ 2⎭ ⎝1⎫
2⎪⎛-100⎫⎪1⎪ ⎪= 040⎪ -1
2⎪
⎪⎝001⎪⎭01⎪⎪⎭1
二. 正交变换法
由于实对称矩阵必定与对角矩阵合同,因此任何实二次型必定可以通过一个适当的正交线性变换将此实二次型化简成为不含混合项的形式。
定理:任意一个实二次型∑∑a ij x i x j ,a ij =a ji 都可以经过正交的线性替换变成平方和
i =1j =1
22
其中平方上的系数λ1, λ2... λn 就是矩阵A 的特征多项式的全部的根。 λ1y 12+λ2y 2+... +λn y n
n n
方法步骤:①将实二次型表示成矩阵形式f =X T AX 并写出矩阵A 。
②求出矩阵A 的所有特征值λ1, λ2... λn ,可能会出现多重特征值,分别记它们的重数为
k 1, k 2, k n (k 1+k 2++k n =n )
③求出每个特征值所对应的特征向量ξ1, ξ2应的特征向量。因为k 1+k 2+④将所求出的n 个特征向量ξ1, ξ2
, ξn ,列出方程(λ1E -A ) X =0,能解出与λ1对应
, λn 也是采用此方法求出与之对
的k 1个线性无关的特征向量。同理,对其他的特征值λ2,
+k n =n ,所以一共能出n 个特征向量。 , ξn 先后施行正交化,单位化得到η1, η2,
, ηn ,记为C
(η1, η2, ηn ) T ,这时C ′AC=D 是对角矩阵,它由A 的特征值构成,即D=diag(),。(写的时
候注意与特征向量写的顺序一致。)
⑤作正交变换X =CY , 则得二次型f 的标准形f =λ1y 1例3.
2
22
+λ2y 2+... +λn y n 。
22
f =17x 12+14x 2+14x 3-4x 1x 2-4x 1x 3-8x
⎛17-2-2⎫
⎪
对应的二次型矩阵A= -214-4⎪
-2-414⎪⎝⎭
-2-2⎫⎛17-λ
⎪
-4⎪=(λ-18) 2(λ-9) 由A 的特征多项式A -λE = -214-λ
-2-414-λ⎪⎝⎭
从而的到特征值9,18. (2)求特征向量
将9代入(A- λE )x=0,得基础解系α1=(, 1, 1) , 将18代入(A-λE )x=0,得基础解系α2(3)将特征向量正交化 取β1=α1, β2=α2, β3=α3-
1
2
=(-2, 1, 0) , α3=(-2, 0, 1)
(β2, α3)ββ2, β22
25
45
得正交向量组β1=(, 1, 1), β2=(-2, 1, 0), β3=(-, -, 1)
(4)将正交向量组单位化,得正交矩阵P
12
令ηi =
βi
, (i =1, 2, 3) βi
⎛-⎫⎛-⎫⎛⎫ ⎪ ⎪45 ⎪ ⎪ ⎪ ⎪, η3= -⎪, 得η1= ⎪, η2= ⎪45⎪ ⎪ ⎪ 0⎪ ⎪⎝⎭⎝⎭45⎝⎭
⎛--⎫
⎪
545 ⎪
-⎪ 所以P= 545⎪ 0⎪45⎝⎭
例4. 用上面所述的方法化下面的二次型
222
f (x 1, x 2, x 3, x 4) =x 12+x 2+x 3+x 4-2x 1x 2+6x 1x 3-4x 1x 4-4x 2x 3+6x 2x 4-2x 3x 4
为标准形。
⎛1-13-2⎫
⎪-11-23 ⎪
解:(1)首先写出原二次型的矩阵A =
3-21-1⎪ ⎪-23-11⎝⎭
由A 的特征多项式
1-32⎫⎛λ-1
⎪1λ-12-3⎪
λE -A = (λ+3)(λ-7)(λ-1)(λ+1) -32λ-11⎪=
⎪
-31λ-1⎭⎝2
从而得A 的特征值为λ1=-3,λ2=7,λ3=-1,λ4=1
(2)求特征向量,将λ1=-3带入(λ1E -A ) X =0中,得到方程
⎧-4x 1+x 2-3x 3+2x 4=0⎪x -4x +2x -3x =0⎪1234⎨ ⎪-3x 1+2x 2-4x 3+x 4=0⎪⎩2x 1-3x 2+x 3-4x 2=0
解此方程可得出基础解系α1=(1, -1, -1,1) ,同样地,分别把λ2=7,λ3=-1,λ4=1 带入(λE -A ) X =0中,解方程能够得出与λ2=7,λ3=-1,λ4=1对应的基础 解系依次为α2=(-1,1, -1,1) ,α3=(-1, -1,1,1) ,α4=(1,1,1,1) (3)将所求出的特征向量正交化,方法如下: 令
α1=β1=(1, -1, -1,1)
β2=α2-
(α2, β1)
β1=(-1,1, -1,1)
(β1, β1)
(α3, β1) (α, β)
β1-32β2=(-1, -1,1,1)
(β1, β1) (β2, β2)
(α, β) (α4, β1) (α, β)
β1-42β2-43β3=(1,1,1,1)
(β1, β1) (β2, β2) (β3, β3)
β3=α3-
β4=α4-
(4)将已正交的向量组单位化,如下: 令
ηi =
于是能够得到
βi
(i=1,2,3,4) βi
η1=(1, -1, -1,1) ,η2=(-1,1, -1,1) ,η3=(-1, -1,1,1) ,η4=(1,1,1,1)
所以
⎛1-1-1
1 -11-1C =
2 -1-11
⎝111
12121212
1⎫⎪1⎪
于是所求正交变换为 1⎪⎪1⎭
⎛x 1⎫ ⎪ x 2⎪=1 x 3⎪2 x ⎪⎪⎝4⎭
⎛1-1-1
-11-1 -1-11
⎝111
1⎫⎪1⎪1⎪⎪1⎭⎛y 1⎫ ⎪ y 2⎪ y 3⎪ y ⎪⎪⎝4⎭
原二次型化为
22
f =-3y 12+7y 2-y 3+y 12
三. 初等变换法
将一般二次型通过配方法化成标准形,实际上就是通过一系列的可逆线性替换将n 个元逐渐配方的过程。而初等变换就是将二次型矩阵通过一系列的合同变换(即进行矩阵的初等行、列变换),一步一步地化成与它是合同的且在形式上又比较简单的矩阵,最后化成对角矩阵的过程。即:(A|E)(D|C当子块A 化为对角矩阵D,子块E也相应的化为C 并有C ′A C=D
定理: 在数域P 上,任意一个对称矩阵都合同于一对角矩阵。 定理: 对每个实对称矩阵A ,存在初等矩阵PP 12
T
P s
T T
P 2P 1APP 12
P S 使得
d n )
P S =diag ( d 1, d 2,
方法步骤: ①写出二次型f (x 1, x 2
⎛A ⎫
2n ⨯n 矩阵 ⎪ x n )的矩阵A , 让A 与E 构造
⎝E ⎭
②对A 进行初等行变换和相同的初等列变换,化成与A 合同形式上简单的矩阵,直至将A 化成对角矩阵;但是对E 只进行其中的列变换。
2过程中所进行的一系列可逆线性变换X =CY 化原二次型为 ③写出○
f (x 1, x 2x n )=Y ' DY
⎛A ⎫对A 进行同样的初等行、列变换⎛D ⎫为理解方便,此过程可用图表示如下 ⎪−−−−−−−−−→ ⎪ 对E 只进行其中的列变换
⎝E ⎭⎝C ⎭
22
例4 用上述方法将二次型f (x , x 2, x 3) =x 12+2x 1x 2-2x 1x 3+2x 2 +4x 2x 3+3x 3
解:首先写出二次型f (x , x 2, x 3) 的矩阵
⎛11-1⎫
⎪A = 122⎪
-123⎪⎝⎭
然后构造出6⨯3矩阵
⎛A ⎫ ⎪⎝E ⎭
⎛1 1 -1= 1 0 0⎝1-1⎫⎛1
⎪ 22⎪ 0
023⎪⎪→ 00⎪ 1
010⎪⎪ 001⎪⎭⎝1-1⎫⎛10
⎪ 13⎪ 01
0332⎪⎪→ 00⎪ 1-1
0110⎪⎪ 0001⎪⎭⎝0⎫⎛100⎫
⎪ ⎪3⎪ 010⎪2⎪ 03-7⎪⎪→ ⎪→ 1⎪ 1-14⎪0⎪ 01-3⎪⎪ 001⎪⎪1⎪⎭⎝⎭
⎛100⎫
⎪010 ⎪ 00-7⎪
⎪
1-14 ⎪ 01-3⎪ 001⎪⎪⎝⎭
⎛1-14⎫
⎪
从上过程可以看出C = 0-13⎪, 最后作可逆线性替换X =CY ,则
001⎪⎝⎭
⎛100⎫
⎪
f (x , x 2, x 3) =Y ' 010⎪Y
00-7⎪⎝⎭
四.偏导数法
偏导数法与配方法的实质是相同的,但不需要凭观察去配方,而是按下列固定程序进行。
1. 如果二次型f (x 1, x 2
x n )中含有x i 的平方项,即a ii (i =1,2, , n )至少有一个不为
零时,不妨设a 11不等于零,首先求出f 对x 1的偏导数
∂f 1∂f
,则有f 1=,再根据∂x 12∂x 1
f (x 1, x 2的偏导数
x n )=
12
(f 1)+g ,通过计算对比可以得出g ,此时g 中已不含x 1,再求出g 对x 2 a 11
∂g 1∂g ,记g 1=,此时f (x 1, x 2∂x 22∂x 2
x n )=
1122
(f 1)+' (g 1)+u ,(a 11为a 11a 22
f (x 1, x 2' 2
为g 中x 2的系数),u 中已不含x 2,照这种程序继续运算,x n )中x 12的系数,a 22
最终可将二次型化为标准形。
2. 如果二次型f (x 1, x 2
x n )中不含x i 的平方项,即所有的含a ii (i =1,2, , n )全等于
∂f
,∂x 1
零,但是至少有一a 1j (j >1) 不等于零,不妨设a 12不等于零,首先求出f 对x 1的偏导数
f 对x 2的偏导数
∂f 1∂f 1∂f ,令f 1=,f 2=,此时∂x 22∂x 12∂x 2
f (x 1, x 2x n )=
1⎡22
f 1+f 2)-(f 1-f 2)⎤+ϕ,其中ϕ已不含x 1, x 2的项。观察ϕ的结构,如(⎦a 12⎣
果ϕ中含有x i 的平方项,则按照情形1中的方法进行计算,如果ϕ中仍然不含x i 的平方项,则按照上述的步骤继续计算,直至将二次型化为标准型。
22
例5.用偏导数法化二次型f (x , x 2, x 3) =x 12+2x 2-4x 3+2x 1x 2-2x 2x 3为标准形。
解:原二次型中含有x i 的平方项,符合情形1,首先求出f 对x 1的偏导数
∂f 1∂f
=2x 1+2x 2,f 1==x 1+x 2 ∂x 12∂x 1
f (x , x 2, x 3) =
12
(f 1)+g a 11
2
=(x 1+x 2)+g 整理并与原二次型对比可得到
22
g =x 2-4x 3-2x 2x 3
再求出g 对x 2 的偏导数
∂g 1∂g =2(x 2-x 3), g 1==x 2-x 3 ∂x 22∂x 2
f (x , x 2, x 3) =
1122
(f 1)+' (g 1)-5x 32 a 11a 22
2
2
2
=(x 1+x 2)+(x 2-x 3)-5x 3
令
⎧y 1=x 1+x 2⎧x 1=y 1-y 2-y 3
⎪⎪
⎨y 2=x 2-x 3⇒⎨x 2=y 2+y 3 ⎪y =x ⎪x 3=y 33⎩3⎩
于是
22
f (x , x 2, x 3) =y 12+y 2-5y 3
所用的变换矩阵为
⎛1-1-1⎫ ⎪C = 011⎪
001⎪⎝⎭
且有
⎛100⎫⎛110⎫⎛1-1-1⎫
⎪ ⎪ ⎪
C ' AC = -110⎪ 12-1⎪ 011⎪
-111⎪ 0-1-4⎪ 001⎪⎝⎭⎝⎭⎝⎭
⎛100⎫ ⎪
= 010⎪
00-5⎪⎝⎭
例6. 用偏导数法化二次型f (x , x 2, x 3) =-4x 1x 2+2x 1x 3+2x 2x 3为标准形。 解:由于所给的二次型中无x i 平方项,符合情形2,分别求出f 对x 1的偏导 数
∂f ∂f
,f 对x 2的偏导数 ∂x 1∂x 2
∂f ∂f
=-4x 2+2x 3,=-4x 1+2x 3 ∂x 1∂x 2
f 1=
1∂f 1∂f
=-2x 2+x 3,f 2==-2x 1+x 3 2∂x 12∂x 2
f (x , x 2, x 3) =
1⎡22
f 1+f 2)-(f 1-f 2)⎤+ϕ (⎦a 12⎣
2
整理上式并与原二次型作对比,可得ϕ=x 3
于是能得到
1222
f (x , x 2, x 3) =-⎡(2x 3-2x 1-2x 2)-(2x 1-2x 2)⎤+x 3
⎦4⎣
2
=-(x 3-x 1-x 2)+(x 1-x 2)+x 3
2
2
22 =-y 12+y 2 +y 3
令
111⎧x =-y +y +y 312⎪1
222⎧y 1=-x 1-x 2+x 3⎪
111⎪⎪
⎨y 2=x 1-x 2⇒⎨x 2=-y 1-y 2+y 3
222⎪⎪y =x 33⎩x 3=y 3⎪
⎪⎩
可以得到所用的可逆矩阵为
⎛11 -22 11C = --
22 00 ⎝
且有
⎛1 -2 1
C ' AC =
2 1 ⎝2
-
1⎫2⎪⎪1⎪ ⎪2⎪1⎪⎪⎭
1⎫⎛1
0⎪- 22⎪⎛0-21⎫ 1 ⎪1-0⎪ -201⎪ -
⎪ 22 ⎪⎪⎝110⎭ 10 1⎪⎪ 2⎭⎝
1
21-20
1⎫2⎪⎪1⎪ 2⎪⎪1⎪⎪⎭
⎛-100⎫ ⎪
= 010⎪
001⎪⎝⎭
五.雅可比方法
雅可比方法是利用二次型的矩阵的顺序主子式(也即雅可比行列式)来确定
标准形中各平方项的系数 。这种方法较为简便,但是有条件限制,它需要二 次型的矩阵所有的顺序主子式必须都不为零。
方法步骤:设二次型f =
i , j =1
∑a x x
ij i
n
j
,a ij =a ji ,首先将二次型写成f (x 1, x 2
, n ) ,即
x n )=X ' AX
的形式,写出矩阵A ,如果A 的顺序主子式A i ≠0(i =1,2,
A 1 =a 11, A 2=
a 11a 12
a 21a 22
,
A n -1=
a 11a 21a n -1,1
a 12a 22a n -1,2
a 1, n -1a 2, n -1a n -1, n -1
,
A
n =
a 11a 21a n 1
a 12a 22a n 2
a 1n a 2n a nn
都不等于零,那么二次型f (x 1, x 2x n )必可以化为如下的标准形: x n )=A 1y +
21
f (x 1, x 2
A 2A 1
y +
22
+
A n A n -1
2 y n
例7. 化二次型
2
f (x 1, x 2, x 3)=x 12-8x 2-2x 1x 2+2x 1x 3-8x 2x 3为标准形。
解 二次型的矩阵为
⎛1-11⎫ ⎪
A = -1-8-4⎪.
1-40⎪⎝⎭
A 1=1, A 2=
1
-1
=-9, A 3=A =0 故标准形为
A 2A 1
A 3A 2
-1-8
f (x 1, x 2, x 3)=A 1y +
2
1
y +
2222y 3=y 12-9y 2.
结语:
学习了这么久,现在才把二次型化为标准形的方法总结出来,当然方法不止这几种,在这么多方法中,还是要根据题目的特征,从而选择出简便和熟悉的合适方法来解决我们遇到的问题,灵活的运用。因为二次型不仅是数学领域的重要内容,它在物理,工程,经济等方面有重要作用,所以学好它对我们以后的学习、工作、生活有所帮助。
参考文献
王萼芳,石生明. 高等代数(第三版)[M]北京:高等教育出版社, 丘维声修订。高等代数(上册)课程创新教材。清华大出版社。 阳庆节修订。高等代数简明教程。中国人民大学出版社 李师正修订。高等代数解题方法与技巧。高等教育出版社
化二次型为标准形的方法
内容摘要:高等代数作为我们数学专业的一门重要的基础课。它以线性空间为背景,以线
性变换为方法,以矩阵为工具,着重研究线性代数的问题。二次型式多元二次函数,其内容本属于函数的讨论范围,然而二次型用矩阵表示之后,用矩阵方法讨论函数问题,使得二次型的问题变得更加简洁明确,二次函数的内容也更加丰富多彩。而我们要讨论的是如何化二次型为标准形,也就是用矩阵方法把对称矩阵合同与对角矩阵。二次型是高等代数的重要内容之一,二次型的基本问题是要寻找一个线性替换把它变成平方项,即二次型的标准形。下面介绍了一些化二次型为标准形的方法:配方法,交变换法,初等变换法,雅可比方法,偏导数法
关键词:二次型 线性替换 矩阵 标准形
导言:二次型的理论来源于解析几何中二次曲线、二次曲面的化简问题。二次型是学中的
一个极其重要的问题,这个问题不仅在数学上,而且在物理学,工程学,经济学领域都有广泛的应用。在研究时为了研究的方便,我们经常要化二次型为标准形。我们知道,任一二次型和某一对称矩阵是相互唯一确定的,而任一实对称矩阵都可以化为一对角矩阵,相应的以实二次型都可以化为标准形,以下就是化二次型为标准形的几种方法,通过典型例题,体会二次型问题时的多样性和灵活性。
化二次型为标准形的方法
一. 配方法
配方法是解决这类问题时另一个常用方法,通过观察对各项进行配方,其实质就是运用非退化的线性替换。使用配方法化二次型为标准形时,最重要的是要消去像x i x j (i ≠j ) 这样的交叉项,其方法是利用两数的平方和公式和两数的平方差公式逐步的消去非平方项并构造新的平方项。
定理:数域P 上任意一个二次型都可以经过非退化的线性替换变成平方和
22
的形。 d 1x 12+d 2x 2+... +d n x n
1. 如果二次型含有x i 的平方项,那么先把含有x i 的乘积项集中,然后再配方,再对其
余的项同样进行,直到都配成平方项为止,写出前面过程所经过的所有非退化的线性替换,就将二次型化为标准形了。
2
例 1.上述所给出的方法化二次型f (x , x 2, x 3) =x 12+2x 1x 2+2x 2+4x 2x 3为标准形,写出所用的
变换矩阵。
解:原二次型中含有x i 的平方项,先将含有x 1的项集中,利用平方和公式消去x 1x 2, 然后对x 2配平方,消去x 2x 3项。此过程为
2222
f (x , x 2, x 3) =(x 12+2x 1x 2+x 2) +(x 2+4x 2x 3+4x 3) -4x 3
2
2
2
=(x 1+x 2)+(x 2+2x 3)-4x 3
于是作非退化的线性替换:
⎧x 1=y 1-y 2+2y 3
⎪
⇒⎨x 2=y 2-2y 3 ⎪x 3=y 3⎩
即
⎛x 1⎫⎛1-12⎫⎛y 1⎫ ⎪ ⎪ ⎪x 01-2= 2⎪ ⎪ y 2⎪ x ⎪ 001⎪ y ⎪⎝3⎭⎝⎭⎝3⎭
于是就得到
22
f (x , x 2, x 3) =y 12+y 2-4y 3
所用的变换矩阵为
⎛1-12⎫
⎪C = 01-2⎪
001⎪⎝⎭
且有
⎛100⎫⎛110⎫⎛1-12⎫⎛100⎫
⎪ ⎪ ⎪ ⎪
C ' AC = -110⎪ 122⎪ 01-2⎪= 010⎪
001⎪ 020⎪ 001⎪ 00-4⎪⎝⎭⎝⎭⎝⎭⎝⎭
2. 如果所给二次型中不含有x i 平方项,但是a ij ≠0(i ≠j ) , 我们就可以用前面所提到的方法构造出平方项,可以先做出可逆的线性变换
⎧x i =y i -y j
⎪x =y +y ⎪j i j
, (k =1,2, ⎨
........ ⎪⎪⎩x k =y k
, n 且k ≠i , j )
代入到原二次型中,这时二次型中就含有平方项了,然后再按照上述1中的方法进行配方。
例2. 将二次型f (x , x 2, x 3) =-4x 1x 2+2x 1x 3+2x 2x 3化为标准形,并写出所用的变换矩阵。 解:由于所给的二次型中无x i 平方项,就需要构造出平方项,令
⎧x 1=y 1+y 2⎪
⎨x 2=y 1-y 2 ⎪x =y
3⎩3
即
⎛x 1⎫⎛110⎫⎛y 1⎫
⎪ ⎪ ⎪x 1-10=2 ⎪ ⎪ y 2⎪ x ⎪ 001⎪ y ⎪⎝3⎭⎝⎭⎝3⎭
代入到原二次型中有
f (x , x 2, x 3) =-4(y 1+y 2)(y 1-y 2) +2(y 1+y 2) y 3+2(y 1-y 2) y 3
2
=-4y 12+4y 2+4y 1y 3
此时就可以按照情形1中的步骤进行,将含有y 1的项集中,消去y 1y 3项,再分别对 y 2, y 3配平方即可。 所以有
2
f (x , x 2, x 3) =-4y 12+4y 2+4y 1y 3
222
=-4y 12+4y 1y 3+y 3 -y 3+4y 2
22
+4y 2 =-(2y 1-y 3)+y 3
2
作非退化线性替换
11⎧
y =z +⎪1212z 2⎧z 1=2y 1-y 3
⎪⎪
z =y y 2=z 2 ⇒⎨⎨22⎪z =y ⎪y 3=z 333⎩⎪
⎩
即
⎛y 1⎫ ⎪ y 2⎪ y ⎪⎝3⎭
⎛1 20
= 01 00 ⎝1⎫2⎪⎪0⎪1⎪⎪⎭
⎛z 1⎫ ⎪ z 2⎪ z ⎪⎝3⎭
于是能够得到
22
f (x , x 2, x 3) =-z 12+4z 2+z 3
所用的变换矩阵为
⎛1
⎛110⎫ 2 ⎪
C = 1-10⎪ 01
001⎪ 00⎝⎭
⎝
⎛11⎫
22⎪ ⎪10⎪=
2⎪1 ⎪ 0⎭
⎝1⎫2⎪⎪1⎪ -1⎪2⎪01⎪
⎪⎭1
且有
⎛1 2 '
AC C = 1
1 ⎝2
⎛1
1⎫ 20⎪
⎛0-21⎫ 2
⎪ ⎪1-10⎪ -201⎪
2
⎪⎪110⎭ 1
01⎪⎝ 2⎭ ⎝1⎫
2⎪⎛-100⎫⎪1⎪ ⎪= 040⎪ -1
2⎪
⎪⎝001⎪⎭01⎪⎪⎭1
二. 正交变换法
由于实对称矩阵必定与对角矩阵合同,因此任何实二次型必定可以通过一个适当的正交线性变换将此实二次型化简成为不含混合项的形式。
定理:任意一个实二次型∑∑a ij x i x j ,a ij =a ji 都可以经过正交的线性替换变成平方和
i =1j =1
22
其中平方上的系数λ1, λ2... λn 就是矩阵A 的特征多项式的全部的根。 λ1y 12+λ2y 2+... +λn y n
n n
方法步骤:①将实二次型表示成矩阵形式f =X T AX 并写出矩阵A 。
②求出矩阵A 的所有特征值λ1, λ2... λn ,可能会出现多重特征值,分别记它们的重数为
k 1, k 2, k n (k 1+k 2++k n =n )
③求出每个特征值所对应的特征向量ξ1, ξ2应的特征向量。因为k 1+k 2+④将所求出的n 个特征向量ξ1, ξ2
, ξn ,列出方程(λ1E -A ) X =0,能解出与λ1对应
, λn 也是采用此方法求出与之对
的k 1个线性无关的特征向量。同理,对其他的特征值λ2,
+k n =n ,所以一共能出n 个特征向量。 , ξn 先后施行正交化,单位化得到η1, η2,
, ηn ,记为C
(η1, η2, ηn ) T ,这时C ′AC=D 是对角矩阵,它由A 的特征值构成,即D=diag(),。(写的时
候注意与特征向量写的顺序一致。)
⑤作正交变换X =CY , 则得二次型f 的标准形f =λ1y 1例3.
2
22
+λ2y 2+... +λn y n 。
22
f =17x 12+14x 2+14x 3-4x 1x 2-4x 1x 3-8x
⎛17-2-2⎫
⎪
对应的二次型矩阵A= -214-4⎪
-2-414⎪⎝⎭
-2-2⎫⎛17-λ
⎪
-4⎪=(λ-18) 2(λ-9) 由A 的特征多项式A -λE = -214-λ
-2-414-λ⎪⎝⎭
从而的到特征值9,18. (2)求特征向量
将9代入(A- λE )x=0,得基础解系α1=(, 1, 1) , 将18代入(A-λE )x=0,得基础解系α2(3)将特征向量正交化 取β1=α1, β2=α2, β3=α3-
1
2
=(-2, 1, 0) , α3=(-2, 0, 1)
(β2, α3)ββ2, β22
25
45
得正交向量组β1=(, 1, 1), β2=(-2, 1, 0), β3=(-, -, 1)
(4)将正交向量组单位化,得正交矩阵P
12
令ηi =
βi
, (i =1, 2, 3) βi
⎛-⎫⎛-⎫⎛⎫ ⎪ ⎪45 ⎪ ⎪ ⎪ ⎪, η3= -⎪, 得η1= ⎪, η2= ⎪45⎪ ⎪ ⎪ 0⎪ ⎪⎝⎭⎝⎭45⎝⎭
⎛--⎫
⎪
545 ⎪
-⎪ 所以P= 545⎪ 0⎪45⎝⎭
例4. 用上面所述的方法化下面的二次型
222
f (x 1, x 2, x 3, x 4) =x 12+x 2+x 3+x 4-2x 1x 2+6x 1x 3-4x 1x 4-4x 2x 3+6x 2x 4-2x 3x 4
为标准形。
⎛1-13-2⎫
⎪-11-23 ⎪
解:(1)首先写出原二次型的矩阵A =
3-21-1⎪ ⎪-23-11⎝⎭
由A 的特征多项式
1-32⎫⎛λ-1
⎪1λ-12-3⎪
λE -A = (λ+3)(λ-7)(λ-1)(λ+1) -32λ-11⎪=
⎪
-31λ-1⎭⎝2
从而得A 的特征值为λ1=-3,λ2=7,λ3=-1,λ4=1
(2)求特征向量,将λ1=-3带入(λ1E -A ) X =0中,得到方程
⎧-4x 1+x 2-3x 3+2x 4=0⎪x -4x +2x -3x =0⎪1234⎨ ⎪-3x 1+2x 2-4x 3+x 4=0⎪⎩2x 1-3x 2+x 3-4x 2=0
解此方程可得出基础解系α1=(1, -1, -1,1) ,同样地,分别把λ2=7,λ3=-1,λ4=1 带入(λE -A ) X =0中,解方程能够得出与λ2=7,λ3=-1,λ4=1对应的基础 解系依次为α2=(-1,1, -1,1) ,α3=(-1, -1,1,1) ,α4=(1,1,1,1) (3)将所求出的特征向量正交化,方法如下: 令
α1=β1=(1, -1, -1,1)
β2=α2-
(α2, β1)
β1=(-1,1, -1,1)
(β1, β1)
(α3, β1) (α, β)
β1-32β2=(-1, -1,1,1)
(β1, β1) (β2, β2)
(α, β) (α4, β1) (α, β)
β1-42β2-43β3=(1,1,1,1)
(β1, β1) (β2, β2) (β3, β3)
β3=α3-
β4=α4-
(4)将已正交的向量组单位化,如下: 令
ηi =
于是能够得到
βi
(i=1,2,3,4) βi
η1=(1, -1, -1,1) ,η2=(-1,1, -1,1) ,η3=(-1, -1,1,1) ,η4=(1,1,1,1)
所以
⎛1-1-1
1 -11-1C =
2 -1-11
⎝111
12121212
1⎫⎪1⎪
于是所求正交变换为 1⎪⎪1⎭
⎛x 1⎫ ⎪ x 2⎪=1 x 3⎪2 x ⎪⎪⎝4⎭
⎛1-1-1
-11-1 -1-11
⎝111
1⎫⎪1⎪1⎪⎪1⎭⎛y 1⎫ ⎪ y 2⎪ y 3⎪ y ⎪⎪⎝4⎭
原二次型化为
22
f =-3y 12+7y 2-y 3+y 12
三. 初等变换法
将一般二次型通过配方法化成标准形,实际上就是通过一系列的可逆线性替换将n 个元逐渐配方的过程。而初等变换就是将二次型矩阵通过一系列的合同变换(即进行矩阵的初等行、列变换),一步一步地化成与它是合同的且在形式上又比较简单的矩阵,最后化成对角矩阵的过程。即:(A|E)(D|C当子块A 化为对角矩阵D,子块E也相应的化为C 并有C ′A C=D
定理: 在数域P 上,任意一个对称矩阵都合同于一对角矩阵。 定理: 对每个实对称矩阵A ,存在初等矩阵PP 12
T
P s
T T
P 2P 1APP 12
P S 使得
d n )
P S =diag ( d 1, d 2,
方法步骤: ①写出二次型f (x 1, x 2
⎛A ⎫
2n ⨯n 矩阵 ⎪ x n )的矩阵A , 让A 与E 构造
⎝E ⎭
②对A 进行初等行变换和相同的初等列变换,化成与A 合同形式上简单的矩阵,直至将A 化成对角矩阵;但是对E 只进行其中的列变换。
2过程中所进行的一系列可逆线性变换X =CY 化原二次型为 ③写出○
f (x 1, x 2x n )=Y ' DY
⎛A ⎫对A 进行同样的初等行、列变换⎛D ⎫为理解方便,此过程可用图表示如下 ⎪−−−−−−−−−→ ⎪ 对E 只进行其中的列变换
⎝E ⎭⎝C ⎭
22
例4 用上述方法将二次型f (x , x 2, x 3) =x 12+2x 1x 2-2x 1x 3+2x 2 +4x 2x 3+3x 3
解:首先写出二次型f (x , x 2, x 3) 的矩阵
⎛11-1⎫
⎪A = 122⎪
-123⎪⎝⎭
然后构造出6⨯3矩阵
⎛A ⎫ ⎪⎝E ⎭
⎛1 1 -1= 1 0 0⎝1-1⎫⎛1
⎪ 22⎪ 0
023⎪⎪→ 00⎪ 1
010⎪⎪ 001⎪⎭⎝1-1⎫⎛10
⎪ 13⎪ 01
0332⎪⎪→ 00⎪ 1-1
0110⎪⎪ 0001⎪⎭⎝0⎫⎛100⎫
⎪ ⎪3⎪ 010⎪2⎪ 03-7⎪⎪→ ⎪→ 1⎪ 1-14⎪0⎪ 01-3⎪⎪ 001⎪⎪1⎪⎭⎝⎭
⎛100⎫
⎪010 ⎪ 00-7⎪
⎪
1-14 ⎪ 01-3⎪ 001⎪⎪⎝⎭
⎛1-14⎫
⎪
从上过程可以看出C = 0-13⎪, 最后作可逆线性替换X =CY ,则
001⎪⎝⎭
⎛100⎫
⎪
f (x , x 2, x 3) =Y ' 010⎪Y
00-7⎪⎝⎭
四.偏导数法
偏导数法与配方法的实质是相同的,但不需要凭观察去配方,而是按下列固定程序进行。
1. 如果二次型f (x 1, x 2
x n )中含有x i 的平方项,即a ii (i =1,2, , n )至少有一个不为
零时,不妨设a 11不等于零,首先求出f 对x 1的偏导数
∂f 1∂f
,则有f 1=,再根据∂x 12∂x 1
f (x 1, x 2的偏导数
x n )=
12
(f 1)+g ,通过计算对比可以得出g ,此时g 中已不含x 1,再求出g 对x 2 a 11
∂g 1∂g ,记g 1=,此时f (x 1, x 2∂x 22∂x 2
x n )=
1122
(f 1)+' (g 1)+u ,(a 11为a 11a 22
f (x 1, x 2' 2
为g 中x 2的系数),u 中已不含x 2,照这种程序继续运算,x n )中x 12的系数,a 22
最终可将二次型化为标准形。
2. 如果二次型f (x 1, x 2
x n )中不含x i 的平方项,即所有的含a ii (i =1,2, , n )全等于
∂f
,∂x 1
零,但是至少有一a 1j (j >1) 不等于零,不妨设a 12不等于零,首先求出f 对x 1的偏导数
f 对x 2的偏导数
∂f 1∂f 1∂f ,令f 1=,f 2=,此时∂x 22∂x 12∂x 2
f (x 1, x 2x n )=
1⎡22
f 1+f 2)-(f 1-f 2)⎤+ϕ,其中ϕ已不含x 1, x 2的项。观察ϕ的结构,如(⎦a 12⎣
果ϕ中含有x i 的平方项,则按照情形1中的方法进行计算,如果ϕ中仍然不含x i 的平方项,则按照上述的步骤继续计算,直至将二次型化为标准型。
22
例5.用偏导数法化二次型f (x , x 2, x 3) =x 12+2x 2-4x 3+2x 1x 2-2x 2x 3为标准形。
解:原二次型中含有x i 的平方项,符合情形1,首先求出f 对x 1的偏导数
∂f 1∂f
=2x 1+2x 2,f 1==x 1+x 2 ∂x 12∂x 1
f (x , x 2, x 3) =
12
(f 1)+g a 11
2
=(x 1+x 2)+g 整理并与原二次型对比可得到
22
g =x 2-4x 3-2x 2x 3
再求出g 对x 2 的偏导数
∂g 1∂g =2(x 2-x 3), g 1==x 2-x 3 ∂x 22∂x 2
f (x , x 2, x 3) =
1122
(f 1)+' (g 1)-5x 32 a 11a 22
2
2
2
=(x 1+x 2)+(x 2-x 3)-5x 3
令
⎧y 1=x 1+x 2⎧x 1=y 1-y 2-y 3
⎪⎪
⎨y 2=x 2-x 3⇒⎨x 2=y 2+y 3 ⎪y =x ⎪x 3=y 33⎩3⎩
于是
22
f (x , x 2, x 3) =y 12+y 2-5y 3
所用的变换矩阵为
⎛1-1-1⎫ ⎪C = 011⎪
001⎪⎝⎭
且有
⎛100⎫⎛110⎫⎛1-1-1⎫
⎪ ⎪ ⎪
C ' AC = -110⎪ 12-1⎪ 011⎪
-111⎪ 0-1-4⎪ 001⎪⎝⎭⎝⎭⎝⎭
⎛100⎫ ⎪
= 010⎪
00-5⎪⎝⎭
例6. 用偏导数法化二次型f (x , x 2, x 3) =-4x 1x 2+2x 1x 3+2x 2x 3为标准形。 解:由于所给的二次型中无x i 平方项,符合情形2,分别求出f 对x 1的偏导 数
∂f ∂f
,f 对x 2的偏导数 ∂x 1∂x 2
∂f ∂f
=-4x 2+2x 3,=-4x 1+2x 3 ∂x 1∂x 2
f 1=
1∂f 1∂f
=-2x 2+x 3,f 2==-2x 1+x 3 2∂x 12∂x 2
f (x , x 2, x 3) =
1⎡22
f 1+f 2)-(f 1-f 2)⎤+ϕ (⎦a 12⎣
2
整理上式并与原二次型作对比,可得ϕ=x 3
于是能得到
1222
f (x , x 2, x 3) =-⎡(2x 3-2x 1-2x 2)-(2x 1-2x 2)⎤+x 3
⎦4⎣
2
=-(x 3-x 1-x 2)+(x 1-x 2)+x 3
2
2
22 =-y 12+y 2 +y 3
令
111⎧x =-y +y +y 312⎪1
222⎧y 1=-x 1-x 2+x 3⎪
111⎪⎪
⎨y 2=x 1-x 2⇒⎨x 2=-y 1-y 2+y 3
222⎪⎪y =x 33⎩x 3=y 3⎪
⎪⎩
可以得到所用的可逆矩阵为
⎛11 -22 11C = --
22 00 ⎝
且有
⎛1 -2 1
C ' AC =
2 1 ⎝2
-
1⎫2⎪⎪1⎪ ⎪2⎪1⎪⎪⎭
1⎫⎛1
0⎪- 22⎪⎛0-21⎫ 1 ⎪1-0⎪ -201⎪ -
⎪ 22 ⎪⎪⎝110⎭ 10 1⎪⎪ 2⎭⎝
1
21-20
1⎫2⎪⎪1⎪ 2⎪⎪1⎪⎪⎭
⎛-100⎫ ⎪
= 010⎪
001⎪⎝⎭
五.雅可比方法
雅可比方法是利用二次型的矩阵的顺序主子式(也即雅可比行列式)来确定
标准形中各平方项的系数 。这种方法较为简便,但是有条件限制,它需要二 次型的矩阵所有的顺序主子式必须都不为零。
方法步骤:设二次型f =
i , j =1
∑a x x
ij i
n
j
,a ij =a ji ,首先将二次型写成f (x 1, x 2
, n ) ,即
x n )=X ' AX
的形式,写出矩阵A ,如果A 的顺序主子式A i ≠0(i =1,2,
A 1 =a 11, A 2=
a 11a 12
a 21a 22
,
A n -1=
a 11a 21a n -1,1
a 12a 22a n -1,2
a 1, n -1a 2, n -1a n -1, n -1
,
A
n =
a 11a 21a n 1
a 12a 22a n 2
a 1n a 2n a nn
都不等于零,那么二次型f (x 1, x 2x n )必可以化为如下的标准形: x n )=A 1y +
21
f (x 1, x 2
A 2A 1
y +
22
+
A n A n -1
2 y n
例7. 化二次型
2
f (x 1, x 2, x 3)=x 12-8x 2-2x 1x 2+2x 1x 3-8x 2x 3为标准形。
解 二次型的矩阵为
⎛1-11⎫ ⎪
A = -1-8-4⎪.
1-40⎪⎝⎭
A 1=1, A 2=
1
-1
=-9, A 3=A =0 故标准形为
A 2A 1
A 3A 2
-1-8
f (x 1, x 2, x 3)=A 1y +
2
1
y +
2222y 3=y 12-9y 2.
结语:
学习了这么久,现在才把二次型化为标准形的方法总结出来,当然方法不止这几种,在这么多方法中,还是要根据题目的特征,从而选择出简便和熟悉的合适方法来解决我们遇到的问题,灵活的运用。因为二次型不仅是数学领域的重要内容,它在物理,工程,经济等方面有重要作用,所以学好它对我们以后的学习、工作、生活有所帮助。
参考文献
王萼芳,石生明. 高等代数(第三版)[M]北京:高等教育出版社, 丘维声修订。高等代数(上册)课程创新教材。清华大出版社。 阳庆节修订。高等代数简明教程。中国人民大学出版社 李师正修订。高等代数解题方法与技巧。高等教育出版社