第五章 二次型
1.用非退化线性替换化下列二次型为标准形,并利用矩阵验算所得结果。 1)323121224x x x x x x ++-;
2)2
3322221214422x x x x x x x ++++; 3)3231212
2216223x x x x x x x x -+--;
4)423243418228x x x x x x x x +++; 5)434232413121x x x x x x x x x x x x +++++;
6)4342324131212
422212222442x x x x x x x x x x x x x x x ++++++++; 7)4332212
4232221222x x x x x x x x x x ++++++。
解 1)已知 ()323121321224,,x x x x x x x x x f ++-=, 先作非退化线性替换
???
??=-=+=33
212211y
x y y x y y x (1)
则
()312
221321444,,y y y y x x x f ++-=
2
223233121444y y y y y y ++-+-=
()2
2
233
3142y y y y ++--=, 再作非退化线性替换
???
?
???
==+=3
3223112121z
y z y z z y (2)
则原二次型的标准形为
()2
322213214,,z z z x x x f ++-=,
最后将(2)代入(1),可得非退化线性替换为
???
?
?
?
???=+-=++=333212321
121212
121z x z z z x z z z x (3)
于是相应的替换矩阵为
??
??????
?
?-=?
?????? ??????? ??-=1002112
1
210
2110001021021100011011T , 且有
???
?
? ??-='100040001AT T 。
2)已知()=321,,x x x f 2
3322221214422x x x x x x x ++++,
由配方法可得
()()()
2
33222222121321442,,x x x x x x x x x x x f +++++=
()()2
322
212x x x x +++=,
于是可令
???
??=+=+=33
3222112x
y x x y x x y ,
则原二次型的标准形为
()2
221321,,y y x x x f +=,
且非退化线性替换为
???
??=-=+-=33
322321122y
x y y x y y y x ,
相应的替换矩阵为
???
?
?
??--=100210211T ,
且有
???
?
? ??=????? ??--????? ??????? ??--='000010001100210211420221011122011001AT T 。
(3)已知()3231212
2213216223,,x x x x x x x x x x x f -+--=,
由配方法可得
()()()
2
3322223223231212132144222,,x x x x x x x x x x x x x x x x f ++-++-+-=
()()2
322
3212x x x x x +---=,
于是可令
???
??=+=+-=33
32232112x
y x x y x x x y ,
则原二次型的标准形为
()2
221321,,y y x x x f -=,
且非退化线性替换为
???
?
?
?
???
=-=-+=333223211
21212
321y x y y x y y y x ,
相应的替换矩阵为
???????
?
?
?--=10021
21
23211
T , 且有
?????
??-=??????
?
? ?
?--?
???? ??-----??????
??
??--='00001000110021210
232
110313*********
302121
001AT T 。 (4)已知()4232432143218228,,,x x x x x x x x x x x x f +++=,
先作非退化线性替换
???????===+=4
4332
2411y x y x y x y y x ,
则
()4232432
441432182288,,,y y y y y y y y y x x x x f ++++=
????
???
???? ??+++??? ??+++=2
32132142481212181212128y y y y y y y y
322
321281212
1
8y y y y y +??? ??++-
322
3212
432124128121218y y y y y y y y y +??? ?
?
++-??? ??+++=,
再作非退化线性替换
???????=-=+==4
43233
221
1z y z z y z z y z y ,
则
()2
321243214321434528385218,,,??? ?
?
++-??? ??+++=z z z z z z z x x x x f
2
32222z z -+,
再令
????
??
???
+++===++=4
3214332
23211
83
85214
345z z z z w z w z w x x z w ,
则原二次型的标准形为
()4321,,,x x x x f 2
42322218222w w w w +-+-=,
且非退化线性替换为
????
??
???+-=-=+=+--=414
3233
224321121434521w w x w w x w w x w w w w x ,
相应的替换矩阵为
?
???
???
?
??---
-
=100
2
101100110
1434521
T , 且有
??
?
?
?
?
?
?
?--='800002000020
00
2AT T 。
(5)已知()4321,,,x x x x f 434232413121x x x x x x x x x x x x +++++=, 先作非退化线性替换
???????===+=4
4332
22112y x y x y x y y x ,
则
()4321,,,x x x x f 43424132312
22122222y y y y y y y y y y y y y ++++++=
()21242
432
43214321y y y y y y y y --??? ?
?
+-+++=,
再作非退化线性替换
?????
????=+=+++==4
4433432121
121
y z y y z y y y y z y z , 即
???????
??=-=--+-==44
4
334321211212
1z
y z
z y z z z z y z y ,
则原二次型的标准形为
()4321,,,x x x x f 2
42
322214
3z z z z -
-+-=, 且非退化线性替换为
??
??????
???
=-=--+-=--+=4
443
343
21243211
21212
1z x z z x z z z z x z z z z x ,
相应的替换矩阵为
?
?
?
??
??
?
?
??------=1000
2110021
111
21111T , 且有
?
?
???
??
?
?---='430000100
0010
00
1AT T 。
(6)已知()4321,,,x x x x f 4131212
422212442x x x x x x x x x +++++=
434232222x x x x x x +++, 由配方法可得
()4321,,,x x x x f ()()[]
2
43243212122222x x x x x x x x ++++++=
()4342322
4222
432222222x x x x x x x x x x x +++++++-
()()2
432
4322
4321212123222x x x x x x x x x ++??? ?
?++-+++=,
于是可令
?????????=+=++=+++=4
44334
3224
32112
12322x y x x y x x x y x x x x y , 则原二次型的标准形为
2
32
22
12
12y y y f +-=, 且非退化线性替换为
?????????=-=+-=-+-=4
44334
322432112
32y x y y x y y y x y y y y x , 故替换矩阵为
???????
?
?--
--=1000110
01231011
21T , 且有
??????
?
?
?-='00
0002100002
0000
1AT T 。 (7)已知()4321,,,x x x x f 4332212
4232221222x x x x x x x x x x ++++++=,
由配方法可得
()4321,,,x x x x f ()()[]
2
4
43312
3131222222x x x x x x x x x x x ++-++++= ()()
23
244323312
32122x x x x x x x x x x -+++-++= ()()212123312
432
3212x x x x x x x x x x +---++++=
()()()2
312
432
32121x x x x x x x x +-+++++=,
于是可令
??????+=+=++=3
144333
212x x y x x y x x x y ,
则原二次型的标准形为
2
42
22
22
1y y y y f -++=, 且非退化线性替换为
???????-+=+-=-==4
3144134
221
1y y y x y y x y y x y x ,
相应的替换矩阵为
??
?
?
?
??
?
?---=110110011010
00
01T ,
且有
??
??
?
??
?
?-='100001000010
00
01AT T 。 (Ⅱ)把上述二次型进一步化为规范形,分实系数、复系数两种情形;并写出所作的非退化线性替换。
解 1)已求得二次型
()321,,x x x f 323121224x x x x x x ++-= 的标准形为
2
3222134y y y f ++-=,
且非退化线性替换为
???
?
?
?
???=+-=++=333212321
121212
121y x y y y x y y y x ,
(1) 在实数域上,若作非退化线性替换
????
??==1
3223121z y z y ,
可得二次型的规范形为
2
32221z z z f -+=。
(2) 在复数域上,若作非退化线性替换
????
???===1
3221121z y z y iz y ,
可得二次型的规范形为
2
32221z z z f ++=。
2)已求得二次型
()321,,x x x f 2
3322221214422x x x x x x x ++++=
的标准形为
2
22
1y y f +=, 且非退化线性替换为
???
??=-=+-=33
322321122y
x y y x y y y x ,
故该非退化线性替换已将原二次型化为实数域上的规范形和复数域上的规范形 2
221y y f +=。 3)已求得二次型
()321,,x x x f 3231212
2216223x x x x x x x x -+--=
的标准形为
2
22
1y y f -=, 且非退化线性替换为
???
?
?
?
???
=-=-+=33322321121212321y x y y x y y y x ,
(1) 在实数域上,上面所作非退化线性替换已将二次型化为规范形,即 2
22
1y y f -=。
(2) 在复数域上,若作非退化线性替换
???
??===33
2211z
y iz y z y 。
可得二次型的规范形为
2
221z z f +=。
(3) 已求得二次型
()4321,,,x x x x f 423243218228x x x x x x x x +++= 的标准形为
2
42322218222y y y y f +-+-=,
且非退化线性替换为
????
??
???+-=-=+=+--=4
143233
224321121
434521y y x y y x y y x y y y y x ,
(1) 在实数域上,若作非退化线性替换
??????
?
?????
?====1
4332
2412
21
21212
1z y z y z y z y ,
可得二次型的规范形为
2
2232221z z z z f --+=。
(2)在复数域上,若作非退化线性替换
??????
?
?????
?====4
4332
2112
21
2212
z y z i y z y z i y ,
可得二次型的规范形为
2
2232221z z z z f +++=。
(5)已求得二次型
()4321,,,x x x x f 434232413121x x x x x x x x x x x x +++++= 的标准形为
2
42
32
22
14
3y y y y f --+-=, 且非退化线性替换为
??
??????
???
=-=--+-=--+=4
443
343
21243211
21212
1y x y y x y y y y x y y y y x ,
(1) 在实数域上,若作非退化线性替换
???
?
?
????====4433122
132z y z y z y z y ,
可得二次型的规范形为
2
4232221z z z z f ---=。
(2) 在复数域上,若作非退化线性替换
???
?
?
????====4433221132iz y iz y z y iz y ,
可得二次型的规范形为
2
4232221z z z z f +++=。
6)已求得二次型
()4321,,,x x x x f 4131212
422212442x x x x x x x x x +++++=
434232222x x x x x x +++ 的标准形为
2
32
22
12
12y y y f +--=, 且非退化线性替换为
?????????=-=+-=-+-=4
4433432
2432112
32y x y y x y y y x y y y y x 。 (1)在实数域上,若作非退化线性替换
????????
?====4
41
332
21221z y z
y z y z y , 可得二次型的规范形为
2
32221z z z f --=。
(2)在复数域上,若作非退化线性替换
????????
?====4
43
322
1122z y z
y z i y iz y , 可得二次型的规范形为
2
32221z z z f ++=。
7)已求得二次型
()4321,,,x x x x f 4131212
422212442x x x x x x x x x +++++=
434232222x x x x x x +++ 的标准形为
2
4222221y y y y f -++=, 且非退化线性替换为
???????-+=+-=-==4
3144134
221
1y y y x y y x y y x y x 。
(1)在实数域上,上面所作非退化线性替换已将二次型化为规范形,即 2
42
22
22
1y y y y f -++=。
(2) 在复数域上,若作非退化线性替换
???????====4
4332
21
1iz y z y z y z y ,
可得二次型的规范形为
2
4232221z z z z f +++=。
2.证明:秩等于r 的对称矩阵可以表成r 个秩等于1的对称矩阵之和。 证 由题设知A A '=且r A rank =)(,于是存在可逆矩阵C 使 D AC C =', 且D 为对角阵,又因为()()
1
1
1
,,---'=''C C
C C 均为可逆矩阵,所以有
r D D D AC C +++='Λ21, 其中
??????????
?
?
?=???????
?
?
?=???????
?
?=0000,,000,002211O
O ΛO
O
r
r
d D d D d D 于是
()()1211
--+++'=C D D D C A r Λ
()()()
1112111
1------'
++'+'=C D C C D C C
D C
r Λ。
因
()11
1
=??
? ?
?'--C
D C rank i
()r i ,,2,1Λ=, 且
()()()
111111------'='='
??
????'C D C C D C C D C i i i 。 即()1
1
--'C
D C
i
都是对称矩阵,故A 可表成r 个秩为1的对称矩阵之和。
3.证明:
???
??
??
?
?n λλλO
2
1 与 ??????
?
?
?n i i
i λλλO
2
1 合同,其中n i i i Λ21是n ,,2,1Λ的一个排列。
证 题中两个矩阵分别设为B A ,,与它们相应的二次型分别为
2
222211n n A x x x f λλλ+++=Λ,
2
222121n i i i B y y y f n λλλ+++=Λ, 作非退化的线性替换
t i t x y = ()n t ,,2,1Λ=, 则B f 可化成A f 。故A 与B 合同。
4.设A 是一个n 阶矩阵,证明:
1)A 是反对称矩阵当且仅当对任一个n 维向量X ,有0='A X X 。 2)如果A 是对称矩阵,且对任一个n 维向量X 有0='A X X ,那么0=A 。 证 1)必要性。因为A A '-=,即()j i a a a ji ij ii ≠-==,0,所以 ()j i j
i ji ij j i j
i ij
x x a a x x a
AX X ∑∑≠+==',
由于0=+ji ij a a ,故
()0=+=
'∑≠j i j
i ji ij
x x a a
AX X 。
充分性。因为n
R X ∈?,有0='A X X ,即
()()22221112121122111x a x x a x x x a a x a n n n ++++++Λ
()02
222=+++++n nn n n n x a x x a a ΛΛ,
这说明原式是一个多元零多项式,故有
,02211====nn a a a Λ ()j i a a ji ij ≠-=, 即A A -='。
2)由于A 是对称的,且0='A X X ,即
2222112112211122x a x x a x x a x a n n ++++Λ 022
22=++++n nn n n x a x x a ΛΛ,
这说明AX X '为一个多元零多项式,故有 02211====nn a a a Λ, 002==?=ji ij ij a a a ,
即0=A 。
5.如果把实n 阶对称矩阵按合同分类,即两个实n 阶对称矩阵属于同一类当且仅当它们合同,问共有几类?
解 实对称矩阵A 与B 合同的充要条件为存在可逆矩阵T 与C 使
D d d d AC C BT T r
=??????
????
?
?
?='='002
1O
O
。 下面考虑对角矩阵D 的相应二次型的合同分类情况,在()r i d i ,,2,1Λ=中可分为
负
个正,个负个正,个负个正,个负个正,个负个正,个r
r r r r 0
11221
10---Λ
Λ
Λ
ΛΛΛ
共计1+r 个合同类。但秩r 又可分别取0,1,2,,1,Λ-n n ,故共有 ()()()2
211321++=
++++++n n n n Λ
个合同类。
6.证明:一个实二次型可以分解成两个实系数的一次齐次多项式的乘积的充分必要条
件是:它的秩等于2且符号差等于0,或者秩等于1。
证 必要性。设
()()()n n n n n x b x b x b x a x a x a x x x f ++++++=ΛΛΛ2211221121,,,, 其中()n i b a i i ,,2,1,Λ=均为实数。
1) 若上式右边的两个一次式系数成比例,即 i i ka b = ()n i ,,2,1Λ= 不失一般性,可设01≠a ,则可作非退化线性替换
()???==+++=n i x y x a x a x a y i i
n
n ,,222111ΛΛ
使二次型化为
()2
121,,,ky x x x f n =Λ,
故二次型()n x x x f ,,,21Λ的秩为1。
2) 若两个一次式系数不成比例,不妨设
2
2
11b a b a ≠,则可作非退化线性替换 ()???
??==+++=+++=n i x y x b x b x b y x a x a x a y i i
n n n n ,,32211222111ΛΛΛ,
使
()n x x x f ,,,21Λ21y y =。 再令
()???
??==-=+=n i z y z z y z z y i i
,,3212211Λ,
则二次型可化为
()n x x x f ,,,21Λ21y y =2
22
1z z -=,
故二次型()n x x x f ,,,21Λ的秩为2,且符号差为0。
充分性。1)若()n x x x f ,,,21Λ的秩为1,则可经非退化线性替换CY Z =使二次型化为
()n x x x f ,,,21Λ2
1ky =,
其中1y 为n x x x ,,,21Λ的一次齐次式,即
n n x a x a x a y +++=Λ22111, 且
()n x x x f ,,,21Λ()2
2211n n x a x a x a k +++=Λ
()()n n n n x a x a x a x ka x ka x ka ++++++=ΛΛ22112211。 2)若()n x x x f ,,,21Λ的秩为2,且符号差为0,则可经非退化线性替换CY Z =使二次型化为
()n x x x f ,,,21Λ()()21212
22
1y y y y y y -+=-=
()()n n n n x b x b x b x a x a x a ++++++=ΛΛ22112211, 故()n x x x f ,,,21Λ可表成两个一次齐次式的乘积。
7.判断下列二次型是否正定:
1)2
332223121217160130481299x x x x x x x x x +-++-; 2)2
3322231212128224810x x x x x x x x x +-+++;
3)
j
n
j i i
n
i i
x
x x
∑∑≤<≤=+
11
2;
4)
1
1
1
1
2+-==∑∑+i n i i
n i i
x
x x 。
解 1)二次型的矩阵为
???
?
? ??----=713024301306246
99A ,
因为
,0991>=? ,0130
66
992>--=? 03>=?A ,
故原二次型为正定二次型。
2) 二次型的矩阵为
???
?
? ??--=114121424
124
10A ,