二次型理论起源于解析几何中的化二次曲线和二次曲面方

合集下载

毕业论文二次型的几个应用

二次型的几个应用Some applications of quadratic form专业: 数学与应用数学作者:指导老师:学校二○摘要本文在对二次型性质研究的基础上, 介绍了半正定矩阵的性质, 并对二次型的理论进行了推广, 讨论了二次型的应用.关键词: 二次型; 正定二次型; 正交矩阵; 不等式; 特征方程; 极值; 因式分解AbstractIn this paper, on the basis of the nature of the quadratic form, we describe the property of positive semi-definite matrix quadratic and promote the theory of quadratic and then discuss the application of it.Keywords: quadratic form；positive semi-definite quadratic；orthogonal matrix；inequality；characteristic equation；principal minor；factorization.目录摘要 (I)ABSTRACT (II)0 引言 (1)1 二次型及其有关定义 (1)1.1 定义 (1)1.2 定理及其证明 (2)2.二次型的应用 (3)2.1 一般的n元二次式的最值的判定与求法 (3)2.2 n元二次型的特征方程的求法 (7)2.3 应用举例 (8)2.4 利用半正定二次型的性质证明不等式 (9)2.5 二次型在因式分解中的应用 (13)参考文献 (16)0 引言在数学中, 二次型的理论起源于解析几何中化二次曲线和二次曲面方程为标准形的问题. 现在二次型的理论不仅在几何而且在数学的其他分支及物理, 力学, 工程技术中也常常用到. 二次型应用的领域很广, 在以前的学习中求一元或多元函数的最值的方法通常有利用图象法或微分理论, 而下面将利用二次型的性质来求函数的最值. 并给出了半正定矩阵的性质及其证明, 最后用半正定矩阵的有关知识解决了一类初等数学中的问题—不等式的证明.关于二次型的一般理论, 可参看文献[1-3，5-6], 一些专题研究可参看文献[7-9].1 二次型及其有关定义在这一节, 我们首先回顾《高等代数》中关于二次型的一般理论. 设P 是一个数域, ij a P ∈, n 个文字12,,,n x x x 的二次齐次多项式2121111212131311(,,,)222n n n f x x x a x a x x a x x a x x =++++222223232222n n a x a x x a x x +++++2nn n a x +11n nij i j i j a x x ===∑∑ (,,1,2,,)ij ji a a i j n ==称为数域P 上的一个n 元二次型, 简称二次型. 当ij a 为实数时, 称f 为实二次型. 当ij a 为复数时, 称f 为复二次型. 如果二次型中只含有文字的平方项, 即222121122(,,,)n n n f x x x d x d x d x =++++称f 为标准型. 在《高等代数》的教材中, 还有以下关于二次型理论的结果,1.1 定义定义1.1 二次型12(,,,)n f x x x =可唯一的表示成 12(,,,)n f x x x x Ax '=其中, 12(,,,)n x x x x '=, ()ij n n A a ⨯=为对称矩阵, 称上式二次型的矩阵形式, 称A 为二次型的矩阵(都是对称矩阵), 称A 的秩为二次型f 的秩.定义1.2 设P 是一个数域, ij c P ∈, 两组文字12,,,n x x x ;12,,,n y y y 的关系式11111221221122221122,,.n n n nn n n nn n x c y c y c y x c y c y c y x c y c y c y =+++⎧⎪=+++⎪⎨⎪⎪=+++⎩ 称为由12,,,n x x x 到12,,,n y y y 的一个线性替换. 用矩阵形式可写为x Cy =,其中12(,,,)n x x x x '=, 12(),(,,,)ij n n n C c y y y y ⨯'==当0C ≠时称线性替换是非退化的(或可逆的, 或满秩的).定义1.3 设是,A B 是数域P 上的n n ⨯矩阵, 如果存在数域P 上的可逆n n ⨯矩阵C . 使B C AC '=, 则称A 与B 合同.定义1.4 设()Q X 是n 元实二次型. 如果对n R 中所有的0X ≠都有()0Q X >, 就称Q 是正定的, 如果n R 中所有的0X ≠都有()0Q X <, 就称Q 是负定的, 如果对n R 中所有的0X ≠都有()0Q X ≥, 就称Q 是半正定的, 如果对n R 中所有的0X ≠都有()0Q X ≤就称Q 是半负定的.1.2 定理及其证明定理1.1[1,1] n 元实二次型A TX X f ('=是实对称矩阵, )),,,(21'=n x x x X 可以经过变量的正交变换Q QY X (=为正交阵), 化为2211n n y y f λλ++= , 这里),,2,1(n i i =λ是矩阵A 的全部特征值.定理1.2[1,2]设n 元实二次型TX X f '=, 则f 在条件211ni i x ==∑下的最大（小）值恰为矩阵A 的最大（小）特征值.定理 1.3 设A 为n 阶正定矩阵, 12(,,,)n X x x x '=与12(,,)n c c c α'=是实向量, β为实数, 则实函数()2f X X AX X αβ''=++当1X A α-=-时, 取得最小值1A βαα-'-.证明 []()11A X f X X ααβ⎡⎤⎡⎤'=⎢⎥⎢⎥'⎣⎦⎣⎦, 因A 正定, 所以1A -存在(对称); 而 111000110n n E A E A A A A αααβαβαα---⎡⎤⎡⎤⎡⎤⎡⎤=⎢⎥⎢⎥⎢⎥⎢⎥''''---⎣⎦⎣⎦⎣⎦⎣⎦, 1110011nn E E A A αα---⎡⎤⎡⎤=⎢⎥⎢⎥''-⎣⎦⎣⎦, 因此[]11100()110101n nE A X E A f X X A A ααβαα---⎡⎤⎡⎤⎡⎤⎡⎤'=⎢⎥⎢⎥⎢⎥⎢⎥''-⎣⎦⎣⎦⎣⎦⎣⎦ =1110101A X A X AA ααβαα---⎡⎤+⎡⎤''⎡⎤+⎢⎥⎢⎥⎣⎦'-⎣⎦⎣⎦= 111()()X A A X A A ααβαα---''+++- =1()Y AY A βαα-''+-其中1Y X A α-=+, 因A 正定, 故当且仅当0Y =时, Y AY '取最小值0, 从而当且仅当1X A α-=-, ()f x 取得最小值1A βαα-'-.2.二次型的应用2.1 一般的n 元二次式的最值的判定与求法一般的n 元二次多项式的形式为1112nnnij i j i i i j i a x y b x c ===++∑∑∑ (2.1.1)而（2.1.1）存在最值的充要条件为1112nnnij i j i i i j i a x y b x ===+∑∑∑ (2.1.2)存在最值(上式中ij ji a a =), 故只需要对(2.1.2)进行讨论.定理2.1 实n 元多项式(2.1.2), 它的矩阵为A , 秩为r , 对(2.1.2)作非退化的线性替换, X PY =, 其中000000sr s E P AP E -⎡⎤⎢⎥'=-⎢⎥⎢⎥⎣⎦, 那么, (i) 当A 半正定时;1 若r n =, 则(2.1.2)存在最小值;2 若r n <, 一次项所含新变数均在平方项中出现, 则(2.1.2)有最小值;3 若r n >, 一次项所含新变数至少一个不在平方项中出现, 则(2.1.2)不存在最值.(ii) 当A 半负定时:1 若r n =, 则(2.1.2)存在最大值;2 若r n <, 一次项所含新变数均在平方项中出现, 则(2.1.2)有最大值;3 若r n >, 一次项所含新变数至少一个不在平方项中出现, 则(2.1.2)不存在最值.(iii)A 不定, 则(2.1.2)不存在最值. 证明 (i) 令12(,,),()n ij n n X x x x A a ⨯'== , 12(,,,)n B b b b =则(2.1.2)改写为:2X AX BX '+ (2.1.3)因A 半正定, 故存在可逆矩阵P , 使000rEP AP ⎡⎤'=⎢⎥⎣⎦, 对(3)作非退化线性替换X PY =, 变为2Y P APY BPY ''+ (2.1.4) 其中1,2(,,)n Y y y y =, 而11222222n n BPY c y c y c y =+++, 其中1ni j ji j c b p ==∑.(1) 若r n =, n P AP E '=, 这时(2.1.4)变成,222121122222n n n y y y c y c y c y +++++++22222112211()()()nnn n i i i i y c y c y c c c ===++++++-≥-∑∑.等号成立当且仅当(1,2,3,,)i i y c i n =-=时取得, 此时将i i y c =-代入X PY =得唯一一组X 的解, 此即取最值的点.(2) 若r n <, 因A 正定, 故A 的秩等于它的正惯性指数, 即存在可逆矩阵P , 使000rEP AP ⎡⎤'=⎢⎥⎣⎦, 在非退化线性替换X PY =下, (2.1.4)式变为, 2221211220222200rn n n EY Y BY y y y c y c y c y ⎡⎤'+=+++++++⎢⎥⎣⎦. (2.1.5)若一次项所含新字母均在平方项中出现, 即至少有120r r n c c c ++====,(2.1.5)可变为r 个数的完全平方加一个常数, 故存在最小值.(3)一次项所含新字母至少一个不在平方项中出现, 即12,,,r r n c c c ++中至少一个不为零, 不妨设10r c +>, 此时(2.1.5)变为,22211221122()()()222n n n n y c y c y c c y c y c y ++++++++++.令120r r n y y y y +======, 1r y +取绝对值很大的负值, 则上式的值会很小, 故不存在最小值; 又若1r y +取绝对值很大的正值, 则上式的值将会很大, 故不存在最大值. 因此不存在最值.(ii)A 半负定, 则()ij n A a -=-半正定, 利用(i)可得(ii)的结论成立.(iii)A 不定, 则存在可逆矩阵P , 使000000rs E P AP E ⎡⎤⎢⎥'=-⎢⎥⎢⎥⎣⎦, 其中,r s 均不为零. 否则0s =, 则A 半正定; 0r =则A 半负定, 则都与A 不定矛盾. 这时(2.1.5)式变为22221112nr r r si i i y y yyc y ++=++---+∑,令20n y y ===, 而1y 取任意的数, 可以知道上式的值大于任何给的正数, 故不存在最大值. 令120r r n y y y y +======, 而1r y +取任意大的数, 则上式的值小于任何预先给定的负数, 故不存在最小值.例 1 讨论2222123412131424341234323222222223x x x x x x x x x x x x x x x x x x ++++++++++--+是否有最值.解将上式的矩阵A 写出, 对A 作合同变换得到311221011200120001P ⎡⎤--⎢⎥⎢⎥⎢⎥--=⎢⎥⎢⎥-⎢⎥⎢⎥⎣⎦, 它使12120P AP ⎡⎤⎢⎥⎢⎥'=⎢⎥⎢⎥⎢⎥⎢⎥⎣⎦ 主对角线上有一零, 故知3r n =<, 而对角线上其余的非零数全是正的, 故知A 半正定矩阵, 是否存在极值还应看替换后的情形才能定. 作线性替换X PY =, 原多项式的二次齐次项部分变为, 22231222y y y ++, 一次项部分为312342434412332(2)4()(2)222222y y y y y y y y y y y y y --+++----=+-. 所含字母123,,y y y 均在平方中出现, 属于定理(2.1.1)中的情况, 存在最小值. 对变换后的多项式配方, 得222222331212312(2)1122223(1)2()2222y y y y y y y y y -++++-+=++++-故当12311,,22y y y ==-=时, 上式有最小值12-.将123,,y y y 代入X PY =中, 当14243444712,,2,22x y x y x y x y =-+=-=-=(4y 为任意常数)时, 原式有最小值12-.例2 已知实数x y ，满足221x y +=, 求22(,)22f x y x y xy =+-的最大值和最小值. 解 (,)f x y 的矩阵为1112A -⎛⎫= ⎪-⎝⎭.2113112E A λλλλλ--==-+-,因此,特征值1211(3(322λλ==，. 于是,由定理可知, (,)f x y 在221x y +=下的最大值为1(32+,最小值为1(32-.2.2 n 元二次型的特征方程的求法定义2.11) 矩阵A 的k 阶子式: 在一个s n ⨯矩阵A 中任意选定k 行k 列, 位于这些选定的行和列的交点上的2k 个元素按原来的次序所组成的k 阶行列式, 称为A 的一个k 阶子式;2) 矩阵的k 阶主子式: 就是指行指标和列指标相同的k 阶子式. 定理2.2 设n 元二次型为 222121112*********,1(,,,)222n nn n n n n n n n F x x x a x a x a x a x x a x x a x x --=+++++++（2.2.1) 则n 元二次型的特征方程是11121321112312112112(1)(1)0n n n n n n n n n nna a a a a a I I I I a a a λλλλλλλ----------=-+++-+-=---,其中(1,2,,)i I i n =是n 元二次型的矩阵A 的一切i 阶主子式之和.证明根据行列式的性质, 将行列式111212111212n nn n nna a a a a a a aa λλλ---------拆成21n -个行列式之和,将其中的一个行列式0000λλλ设为B, 其余21n -个行列式可依次有行列式A 的第i 列(1)i n ≤≤乘以-1代换B 的第i 列,行列式A 的第i 列和第j 列(1)i j n ≤<≤分别乘以(1)-代换B 的第i 列和第j 列, 行列式A 的第i 、j 、k 列(1)i k j n ≤<<≤分别乘以(1)-代换B 的i 、j 、k 列, 依次类推. 即11121321222312n n nna a a a a a a a a λλλ------=---0000λλλ+1210000i i i nnia a a λλλ≤≤---∑+1122100000i j i j i j nninja a a a a a λλλ≤≤≤------∑++11121321222312n n nna a a a a a a a a ---------=121121(1)(1)0n n n n n n n I I I I λλλλ-----+++-+-=,其中(1,2,,)i I i n =是n 元二次型(2.2.1)的矩阵A 的一切i 阶主子式之和. 定理证毕.2.3 应用举例例3 求三元二次型222(,,)33222F x y z x y z xy xz yz =++---的特征方程. 解三元二次型的矩阵为311111113A --⎡⎤⎢⎥=--⎢⎥⎢⎥--⎣⎦, 根据上述定理可知,323111117120113λλλλλλ--=-+=-.例4 求四元二次型2221234124121314232434(,,,)2442222F x x x x x x x x x x x x x x x x x x x =++++++++的特征方程.解四元二次型的矩阵为1221221121011111A ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦,根据上述定理可知 112014I =+++=,21212112121017222011101111I =+++++=-,31221211212112212212011014210111111111I =+++=-,412212211021011111I ==.所以, 四元二次型的特征方程为41221221121011111λλλλ--------=-------324740λλλ--+=.2.4 利用半正定二次型的性质证明不等式定理2.3 二次型半正定的充分必要条件是它的标准型的所有系数都是非负的. 证明充分性设222121122(,,,)n n n f x x x a x a x a x =+++. 若12,,,0n a a a ≥,则12(,,,)0n f x x x ≥, 即二次型是半正定的.必要性若二次型是半正定的, 而对于某个i 有0i a <, 则令10,η=20,,η=1i η=,0n η=这时可以找到变量12,,,n x x x 的一组适当值12,,,n x x x ''',使得12(,,,)0n i f x x x a '''=<则与此假设矛盾,所以0,1,2,,i a i n ≥=.定理2.4 设实二次型12(,,,)T n f x x x X AX =, 若P 为实可逆方阵 12(,,,)()T T n g y y y Y P AP Y =则12(,,,)T n f x x x X AX =半正定等价于12(,,,)()T T n g y y y Y P AP Y =半正定; 换句话说,经过非退化线性变换后, 半正定的二次型仍然是半正定的.证明由X PY =有1Y P X -=, 并且易知00X Y ≠≠等价于, 于是, 对任意的0Y ≠, 则0X ≠, 因此11()()()()0T T T T T Y P AP Y P X P AP P X X AX --==≥则12(,,,)n g y y y 半正定.反之, 10,0X Y P X -∀≠=≠, 因此, ()()()0T T T T X AX RY A RY Y P AP Y ==≥. 则12(,,,)n g x x x 半正定.定义2.2 形如子式111212122212kk k k k ki i i i i i i i i i i i k i i i i i i a a a a a a P a a a =的K 级子式称为矩阵()ij n n A a ⨯=的K 级主子式, 其中121k i i i n ≤≤≤≤≤.定理2.5 实二次型12(,,,)n f x x x =11nnT ij i j i j a x x X AX ===∑∑半正定的充要条件是矩阵A的一切K 级主子式非负.证明必要性设二次型12(,,,)n f x x x 11n nij i j i j a x x ===∑∑是半正定的, 则存在对角矩阵T D C AC =. 其中C 是变二次型的标准型的变量变换矩阵, 12(,,,)n D diag a a a =. 再由定理1知, 0i a ≥. 因此, 212det det det det (,,,)(det )0T n A B D B a a a B ==≥. 又已知其中1B C -=, 同时, 若二次型12(,,,)n f x x x 是半正定的, 则所有二次型11,(,,)(0,0,,0,0,0)k k k i i i i f x x f x x =都是半正定的, 因此所有k 级主子式非负.充分性已知A 的一切k 级主子式非负, 设1A 为A 的I 级顺序主子式, 则对于任意正实数ε, 有1112121222112l l l l ll a a a a a a A E a a a εεεε+++=+ (2.4.1)=11n n l a a εε-+++ (1l n ≤≤)其中(1)k a k l ≤≤.由(2.4.1)式知, 0l A E ε+>, 又1k n ≤≤, 所以矩阵A E ε+的一切顺序主子式全都大于零, 所以矩阵A E ε+是正定矩阵.设λ为A 的特征值, 则0A E λ-=, 所以()0A E E ελε+-+=,所以, λε+是矩阵A E ε+的特征值, 因为矩阵A E ε+是正定矩阵, 所以, 0λε+>, 取δ为任意小的正数, 则0λ≥, 再根据定理: 矩阵A 是半正定的充要条件是A 的特征值非负. 所以,A 为半正定矩阵.2.4.1 利用二次型半正定性证明不等式.其证明思路是: 首先构造二次型, 然后利用二次型半正定性的定义或等价条件, 判断该二次型（矩阵）为半正定, 从而得到不等式.例 5（Cauchy 不等式）设,(1,2,,)i i a b i n =为任意实数, 则222111()()()nnni i ii i i i a b a b ===≤⨯∑∑∑.证明记22222121211221111(,)()()2()()nn n ni i ii i i i i i i f x x a x b x a x a b x x b x =====+=++∑∑∑∑因为对于任意12,x x , 都有12(,)0f x x ≥, 故关于12,x x 的二次型12(,)f x x 是半正定的.因而定理1知, 该二次型矩阵的行列式大于或等于0, 即2112110nnii ii i n ni ii i i aa ba b b====≥∑∑∑∑.故得222111()()()n n ni i ii i i i a b a b ===≤⨯∑∑∑.例6 证明 2211()n ni i i i n x x ==≥∑∑证明记221211(,,,)()nnn i i i i f x x x n x x X AX =='=-=∑∑, 其中12111111(,,,),111n n n X x x x A n ---⎛⎫⎪---⎪'== ⎪⎪---⎝⎭将矩阵A 的第2,3,…,n 列分别加到第一列,再将第2,3,…, n 行减去第1行,得A ～0110000n n --⎛⎫⎪ ⎪ ⎪⎪⎝⎭, 于是A 的特征值为0, ,,,n n 由定理可知, A 为半正定矩阵, 即二次型是半正定的,从而得12(,,,)0n f x x x ≥, 即2211()n ni i i i n x x ==≥∑∑结论得证.例7 设,,αβγ是一个三角形的三个内角, 证明对任意实数,,x y z ,都有2222cos 2cos 2cos x y z xy xz yz αβγ++≥++.证明记222()2cos 2cos 2cos f X X AX x y z xy xz yz αβγ'==++---，其中1cos cos (,,),cos 1cos ,,cos cos()cos cos 1X x y z A αβαγαβγπγαββγ--⎡⎤⎢⎥'==--++==-+⎢⎥⎢⎥--⎣⎦ 对A 做初等行变换得: A ～1cos cos 0sin sin 000αβαβ--⎡⎤⎢⎥-⎢⎥⎢⎥⎣⎦, 于是A 的特征值为0, 1, sin α, 从而得二次型()f X 是半正定的, 即对于任意实数,,x y z ,()f X 0≥, 得证.例8 设A 为n 阶半正定矩阵, 且A 0≠, 证明1A E +>. 证明设A 的全部特征值为(1,2,,)i i n λ=, 则A E +的全部特征值为1i λ+(1,2,,)i n =. 因为A E +为实对称矩阵, 所以存在正交矩阵T , 使得121111n A E T T λλλ-+⎡⎤⎢⎥+⎢⎥+=⎢⎥⎢⎥+⎣⎦由于A 为半正定矩阵, 且0A ≠, 则A E +是半正定的, 且其中至少有一个00i λ>, 同时至少有一个等于零. 故01(1)11ni i i A E λλ=+=+≥+>∏, 结论得证.以上是根据不等式的要求证明该二次型为半正定二次型, 从而证明不等式. 使用这种方法简单, 方便.2.5 二次型在因式分解中的应用定理 2.6 一个实二次型可以分解成两个实系数的一次齐次多项式乘积的充分必要条件是: 它的秩为2和符号差为0, 或秩等于1.证明必要性设1211221122(,,,)()()n n n n n f x x x a x a x a x b x b x b x =++++++1) 若两个一次多项式的系数成比例, 即(1,2,,).i i b ka i n == 不妨设10a ≠, 令1112222,,.n n n n y a x a x a x y x y x =+++⎧⎪=⎪⎨⎪⎪=⎩则2121(,,,)n f x x x ky =, 即二次型12(,,,)n f x x x 的秩为1.2)若两个一次多项式的系数不成比例, 不妨设1212a ab b ≠, 令 111222112233,,,.n n n n n n y a x a x a x y b x b x b x y x y x =+++⎧⎪=+++⎪⎪=⎨⎪⎪=⎪⎩则1212(,,,)n f x x x y y =. 再令11221233,,,.n n y z z y z z y z y z =+⎧⎪=-⎪⎪=⎨⎪⎪=⎪⎩ 则2212121212(,,,)(,,,)n n f x x x x x x y y z z ==-, 故二次型12(,,,)n f x x x 的秩为2, 符号差为0.充分性1) 若12(,,,)n f x x x 的秩为1, 则经非退化线性替换使2121(,,,)n f x x x ky =，其中11122n n y a x a x a x =+++. 故2121122(,,,)()n n n f x x x k a x a x a x =+++2) 若12(,,,)n f x x x 的秩为2, 符号差为零, 则可经非退化线性替换使2212121212(,,,)()()n f x x x y y y y y y =-=+-其中1y , 2y 均为12,,,n x x x 的一次齐次多项式, 即11122n n y a x a x a x =+++ 21122n n y b x b x b x =+++故12(,,,)n f x x x 可表示成两个一次齐次多项式的乘积.例9 多因式2212121212(,)3226f x x x x x x x x =--+-在R 上能否分解, 若能, 将其分解.解考虑二次型2212312121323(,,)3226g x x x x x x x x x x x =--+-, 则 123(,,)g x x x 的矩阵为111133130A -⎛⎫ ⎪=--- ⎪ ⎪-⎝⎭,对A 施行合同变换, 求得可逆矩阵31121012001P ⎛⎫- ⎪ ⎪⎪=- ⎪ ⎪ ⎪ ⎪⎝⎭, 且'140P AP ⎛⎫ ⎪=- ⎪ ⎪⎝⎭. 显然, A 的秩为2且符号差为0, 由定理2.6知, 123(,,)g x x x 可以分解. 经非退化线性替换11223331121012001x y x y x y ⎛⎫- ⎪⎛⎫⎛⎫⎪ ⎪ ⎪⎪=- ⎪ ⎪ ⎪ ⎪ ⎪⎪⎝⎭⎝⎭⎪ ⎪⎝⎭, 化为22123121212(,,)4(2)(2)g x x x y y y y y y =-=+-. 由1Y P X -=, 得1123y x x x =-+, 22312y x x =+, 33y x =. 于是12312312(,,)(2)(3)g x x x x x x x x =++-. 故12121212(,)(,,1)(2)(3)f x x g x x x x x x ==++-.例10多项式2212121212(,)269f x x x x x x =+-+-+在R 上能否分解? 如果能,将其分解．解考虑二次型222123123121323(,,)296g x x x x x x x x x x =++-+-, 其矩阵为13132********A ⎛⎫⎛⎫ ⎪=-→ ⎪ ⎪ ⎪-⎝⎭⎝⎭则秩1rankA =, 由定理2.6知, 123(,,)g x x x 能在R 上分解, 则1212(,)(,,1)f x x g x x =也能在R 上分解. 易得2121212(,)(,,1)(3)f x x g x x x ==+.致谢本文是在的指导和帮助下完成的, 在此对周教授表示衷心的感谢!参考文献[1] 北京大学数学系. 高等代数[M]. 北京: 高等教育出版社, 1988.[2] 蒋尔雄等.线性代数[M]. 人民教育出版社, 1989.[3] 屠伯埙, 徐诚浩, 王芬. 高等代数[M]. 上海: 上海科技出版社, 1987. 351 ～ 352.[4] 刘诗雄. 高中数学竞赛辅导[M]. 西安: 陕西师范大学出版社, 2006.[5] 徐仲，陆全，张凯院. 高等代数[M]. 西安: 西北工业大学出版社, 2004. 3.[6] 张禾瑞、郝鈵新．高等代数(第四版)[M]. 北京: 高等教育出版社，1999．[7] 吕风等编.高等数学在中学数学中的应用1000例[M]. 东北大学出版社.[8] 孙学波.基于正定二次型的一个不等式及其证明[J]. 鞍山科技大学学报. 2004. (4): 27.[9] 杨家骐, 王卿文. 高等代数在初等数学中的应用[M]. 济南:山东教育出版社, 1992. 12.[10]Grafakos L, Lin L, Yang D Vector-valued singular integrals and maximal functions on spaces ofhomogeneous type.Math Scand.in press.[11] Mayer Y.Coifmanr.wavelets: Calderon-zygmunal and Multilinear operators.Cambridge :Cambridge University Press.1997.。

浅谈正定二次型的判定方法

浅谈正定二次型的判定方法摘要二次型与其矩阵具有一一对应关系,可以通过研究矩阵的正定性来研究二次型的正定性及其应用.本文主要通过正定二次型的定义，实矩阵的正定性的定义，特征值法，矩阵合同以及相应的推导性质来判定二次型的正定性。

关键词二次型矩阵正定性应用1 引言在数学中，二次型的理论起源于解析几何中化二次曲线和二次曲面方程为标准形的问题.现在二次型常常出现在许多实际应用和理论研究中，有很大的实际使用价值。

它不仅在数学的许多分支中用到，而且在物理学中也会经常用到，其中实二次型中的正定二次型占用特殊的位置. 二次型的有定性与其矩阵的有定性之间具有一一对应关系.因此,二次型的正定性判别可转化为对称矩阵的正定性判别，下面将用二次型的性质来求函数的最值和证明不等式因此，对正定矩阵的讨论有重要的意义.2 二次型的相关概念 2.1 二次型的定义设p 是一个数域，ij a ∈p ，n 个文字1x ,2x ,…，n x 的二次齐次多项式22121111212131311(,,,)22nnn nn nij i j i j f x x x a x a x x a x x a x a x x ===++++=∑∑),...,2,1,,(n j i a a ji ij ==称为数域上p 的一个n 元二次型，简称二次型.当ij a 为实数时，f 称为实二次型.当ij a 为复数时,称 f 为复二次型.如果二次型中只含有文字的平方项，即12(,,...,)n f x x x =2221112...n n d x d x d x +++称f 为标准型.定义1 在实数域上，任意一个二次型经过适当的非退化线性替换可以变成规范性22222121z z z z z p p r ++++---…………,其中正平方项的个数p 称为f 的正惯性指数，负平方项的个数称为的f 负惯性指数.2.2 二次型的矩阵形式二次型12(,,...,)n f x x x 可唯一表示成12(,,...,)n f x x x =T x Ax ，其中12(,,...,)T n x x x x =，()ij n n A a ⨯=为对称矩阵，称上式为二次型的矩阵形式，称A 为二次型的矩阵（必是对称矩阵），称A 的秩为二次型f 的秩.2.3 正定二次型与正定矩阵的概念定义2.3.1 设12(,,...,)n f x x x =T x Ax 是n 元实二次型（A 为实对称矩阵），如果对任意不全为零的实数12,,...,n c c c 都有12(,,...)0n f c c c >，则称f 为正定二次型,称A 为正定矩阵；如果12(,,...)0n f c c c ≥，则称f 为半正定二次型，称A 为半正定矩阵;如果12(,,...)0n f c c c <，则称f 为负定二次型，称A 为负定矩阵;如果12(,,...)0n f c c c ≤，称f 为半负定二次型，称A 为半负定矩阵；既不是正定又不是负定的实二次型称为不定的二次型，称A 为不定矩阵.定义2 另一种定义具有对称矩阵A 的二次型,AX X f T =(1) 如果对任何非零向量X , 都有0>AX X T （或0<AX X T ）成立，则称AX X f T =为正定（负定）二次型，矩阵A 称为正定矩阵（负定矩阵）. (2) 如果对任何非零向量X , 都有0≥AX X T （或0≤AX X T ）成立，且有非零向量0X ，使000=AX X T ，则称AX X f T =为半正定（半负定）二次型，矩阵A 称为半正定矩阵（半负定矩阵）.注:二次型的正定(负定)、半正定(半负定)统称为二次型及其矩阵的有定性.不具备有定性的二次型及其矩阵称为不定的.二次型的有定性与其矩阵的有定性之间具有一一对应关系.因此,二次型的正定性判别可转化为对称矩阵的正定性判别.定义3 n 阶矩阵)(ij a A =的k 个行标和列标相同的子式)1(21212221212111n i i i a a a a a a a a a k i i i i i i i i i i i i i i i i i i kk k k k k ≤<<<≤称为A 的一个k 阶主子式.而子式),,2,1(||212222111211n k a a a a a a a a a A kkk k k k k==称为A 的k 阶顺序主子式.3 实二次型正定的判别方法及其性质定理1 实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型的充要条件是它的正惯性指数等于n证明设实二次型AX X x x x f n '=),,,(21 经线形替换PY X =化为标准形2222211n n y d y d y d f +++= )1(其中.,,2,1,n i R d i =∈由于p 为可逆矩阵,所以n x x x ,,,21 不全为零时ny y y ,,,21 也不全为零,反之亦然.)(⇒如果f 是正定二次型,那么当n x x x ,,,21 不全为零,即n y y y ,,,21 不全为零时,有02222211>+++=n n y d y d y d f )2(若有某个),1(n i d i ≤≤比方说.0≤n d 则对1,0121=====-n n y y y y 这组不全为零的数,代入)1(式后得.0≤=n d f 这与f 是正定二次型矛盾.因此,必有),,2,1.(0n i d i =>即f 的正惯性指数等于n)(⇐如果f 的正惯性指数等于,n 则),,2,1(,0n i d i =>于是当n x x x ,,,21 不全为零,即当n y y y ,,,21 不全为零时)2(式成立,从而f 是正定型定理2 实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型的充要条件是对任何n 维实的非零列向量X 必有0>'A X X证明 )(⇒由假设f 是正定二次型,故存在实的非退化的线形替换,QY X =使22221n y y y AX X +++=' )1(对,0≠X 因Q 非奇异,故,0≠Y 于是由)1(可知0>'A X X)(⇐设AX X '的秩与正惯性指数分别为r 与,p 先证,p r =如,r p <则由惯性定理,存在非退化的线形替换,QY X =使得221221'r p p y y y y AX X ---++=+ )2(由假设,对任何,0,0>'≠AX X X 但对列向量 0)0,,0,1,0,,0(≠'= Q X （因Q 是非奇异阵,1是X 的第1+p 个分量）却有 01<-='A X X这与假设矛盾.故p r =.再证n r =.如果,n r <则)2(式应化为n r y y y AX X r <+++=,22221')3( 于是取0)1,0,,0(≠'= Q X由)3(即得,0='A X X 又与假设矛盾,故,p n r ==即f 是正定二次型定理3 实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型的充要条件是f 的规范形为2222121),,,(n n y y y x x x f +++=证明 )(⇒实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型,则由定理1可知f 的正惯性指数为n ，则二次型AX X x x x f n '=),,,(21 可经过非退化实线形替换成2222121),,,(n n y y y x x x f +++=)(⇐f 的规范形为2222121),,,(n n y y y x x x f +++= ,则f 的正惯性指数为,n 由定理1可知f 为正定二次型定理4 实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型的充要条件是矩阵A 与单位矩阵合同证明 )(⇒实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型,则由定理3,可知f 的规范形为2222121),,,(n n y y y x x x f +++=此即存在非退化线形替换(CY X =其中C 可逆),使得2222121)()(),,,(n n y y y ACY C Y CY A CY AX X x x x f +++=''='='=所以,E AC C ='因此矩阵A 单位矩阵合同)(⇐矩阵A 单位矩阵合同,则存在可逆矩阵,C 使得E AC C ='，令CY X =则2222121)()(),,,(n n y y y ACY C Y CY A CY AX X x x x f +++=''='='=因此,由证明4,可知f 是正定二次型定理5 实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型的充要条件是矩阵A 的主子式全大于零证明 )(⇒实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型,以k A 表示A 的左上角k 阶矩阵,下证),,,2,1(,0n k A k =>考虑以k A 为矩阵的二次型j k i kj i ijk x x ax x x g ∑∑===1121),,,(由于)0,,0,,,,(),,,(2121 k k x x x f x x x g =所以当k x x x ,,,21 不全为零时,由f 正定二次型可知,0>g 从而g 为正定二次型,故.0>k A)(⇐对二次型的元数n 作数学归纳法当1=n 时,,)(21111x a x f =因为,011>a 所以f 正定,假设,1>n 且对1-n 元实二次型结论成立由于,01111>=a a 用111a a i -乘A 的第1列到第i 列,再用111a ai -乘第A 的第1行到第i 行),,,3,2(n i =经此合同变换后A ,可变为以下的一个矩阵⎪⎪⎪⎪⎪⎭⎫ ⎝⎛0000111A a B = 因为矩阵A 与B 合同,所以B 是一个n 阶对称矩阵.从而1A也是对称矩阵.上述的变换不改变A 的主子式的值,因此B ,的主子式也全大于零,而B 的)2(n k k ≤≤阶主子式等于1A 的1-k 阶主子式乘以,11a 并且011>a 于是1A 的主子式全大于零,由归纳假设,1A 与1-n I 合同,所以A 与单位矩阵合同,此即f 是正定二次型定理6 实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型的充要条件是矩阵A 的顺序主子式全都大于零证明 )(⇒实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型,则由定理5可知A 的主子式全大于零,所以A 的顺序主子式也全大于零.)(⇐对二次型的元数n 作数学归纳法当1=n 时,,)(21111x a x f =由条件知,011>a 所以)(1x f 是正定的.假设充分性的判断对于1-n 元的二次型已经成立,现在来证n 元的情形.令1A =⎪⎪⎪⎭⎫⎝⎛----1,11,11,111n n n n a a a a⎪⎪⎪⎭⎫ ⎝⎛=-n n n a a ,11 α于是矩阵A 可以分块写成：A =⎪⎪⎭⎫⎝⎛'nn a A αα1 则1A 的顺序主子式也全大于零,由归纳法假定,1A 是正定矩阵则存在可逆的1-n 阶矩阵,G 使得1-='n E AG G 令1C =⎪⎪⎭⎫⎝⎛100G于是⎪⎪⎭⎫⎝⎛''=⎪⎪⎭⎫ ⎝⎛⎪⎪⎭⎫ ⎝⎛'⎪⎪⎭⎫ ⎝⎛'='-nn n nn a G G E Ga A G AC C αααα111110010再令2C =⎪⎪⎭⎫⎝⎛--10'1a G E n 则有⎪⎪⎭⎫⎝⎛''-=''-ααG G a E C AC C C nn n 0012112令 21C C C = d G G a nn =''-αα就有⎪⎪⎪⎪⎪⎭⎫⎝⎛='d AC C11两边取行列式,d A C=2,则由条件,0>A 因此0>d .⎪⎪⎪⎪⎪⎭⎫⎝⎛⎪⎪⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎪⎪⎭⎫⎝⎛=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛d d d 111111111 所以矩阵A 与单位矩阵合同,因此A 是正定矩阵即f 是正定二次型定理7 实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型的充要条件是矩阵T T T A ('=是实可逆矩阵)证明 )(⇒实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型,则由定理4可知存在可逆矩阵,C 使得E AC C =' 则 1111)()(----'='=C C C C A令1-=CT ,则T T A '=)(⇐若,T T A '=则 )()(),,,(21TX TX TX T X AX X AX X x x x f n '=''='='= 令TX Y =则 2222121),,,(n n y y y Y Y x x x f +++='=所以f 为正定二次型.定理8 实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型的充要条件是ATT '正定矩阵(其中T 是实可逆矩阵)证明 )(⇒实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型,则A 是正定阵,令(1Y X T=-其中T 可逆)则 ATY T Y TY A TY x x x f n ''='=)()(),,,(21 又因非退化线性替换不改变正定性,则ATY T Y x x x f n ''=),,,(21是正定二次型,所以AT T '是正定阵)(⇐AT T '是正定阵,令ATY T Y y y y g n ''=),,,(21 ,则),,,(21n y y y g 是正定二次型令TY X =则),,,(21n y y y g AX X x x x f n '==),,,(21 是正定二次型定理9 实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型的充要条件是矩阵A 的全部特征值都是正的证明 )(⇒实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型,则A 是正定阵,又对于任意一个n 阶实对称矩阵,A 都存在一个n 阶正交矩阵,T 使得AT T AT T 1'-=成为对角形令AT T AT T 1'-==⎪⎪⎪⎭⎫⎝⎛n λλ1则),,2,1(,0n i i =>λ否则与f 为正定二次型相矛盾，则AT T1-特征值为n λλλ,,,21 均大于零,即为正的.又相似矩阵有相同特征值，则A 的特征值也均为正)(⇐ A 的全部特征值均为正的,则存在一个n 阶正交矩阵,T 使得AT T AT T 1'-==⎪⎪⎪⎭⎫⎝⎛n λλ1其中),,2,1(n i i =λ为A 的特征值,此由相似矩阵有相同的特征值得到.令,TY X =则 222221121),,,(n n n y y y ATY T Y AX X x x x f λλλ+++=''='=所以f 为正定二次型定理10 实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型的充要条件是矩阵A 是正定阵证明 )(⇒实二次型)(),,,(21A A AX X x x x f n =''= 是正定二次型, 则由正定阵的定义可知A 是正定阵.)(⇐ A 是正定阵,则A 的顺序主子式全都大于零.由定理6可知f 是正定二次型.性质：若A 为n 阶实正定阵，显然TA ，1A -也是正定阵注 (1) 若A 是负定矩阵，则A -为正定矩阵.(2) A 是负定矩阵的充要条件是：).,,2,1(,0||)1(n k A k k =>-其中k A 是A 的k 阶顺序主子式.(3) 对半正定（半负定）矩阵可证明以下三个结论等价:a.对称矩阵A 是半正定（半负定）的;b.A 的所有主子式大于（小于）或等于零；c.A 的全部特征值大于（小于）或等于零.例 1 考虑二次型22212312132344224f x x x x x x x x x λ=+++-+,问λ为何值时，f为正定二次型.解利用顺序主子式来判别,二次型f 的矩阵为1142124A λλ-⎛⎫⎪= ⎪ ⎪-⎝⎭，A 的顺序主子式为 110∆=>；22144λλλ∆==-；23114214484(1)(2)124λλλλλλ-∆=-=--+=--+-.于是，二次型f 正定的充要条件是：230,0∆>∆>，有2240λ∆=->，可知，22λ-<<；由34(1)(2)0λλ∆=--+>, 可得12<<-λ,所以，当12<<-λ时, f 正定.例 2 已知A E -是n 阶正定矩阵，证明1E A --为正定矩阵.分析：只要证明1E A --的特征值全大于零即可证明由A E -正定知A 是实对称矩阵，从而111()()TT T E A E A E A ----=-=-即1E A --也是实对称矩阵.设A 的特征值为k λ(1,2,)k n =,则A E -的特征值为1k λ-(1,2,)k n =,而1E A --的特征值为11kλ-(1,2,)k n =,因为A E -是正定矩阵，所以,10k λ->(,从而11kλ<，故，110kλ->(1,2,)k n =即，1E A --的特征值全大于零，故，1E A --为正定矩阵.例 3 设有n 元二次型222121122231(,,)()()()n n n f x x x x a x x a x x a x =++++++其中(1,2,,)i a i n =为实数，试问：当12,,,n a a a 满足何种条件时，二次型1(,,)n f x x 为正定二次型.解令1121221100001000010000000101n n n na y a x y x a x y a -⎛⎫ ⎪⎛⎫⎛⎫⎪ ⎪ ⎪ ⎪ ⎪ ⎪= ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭ ⎪ ⎪⎝⎭第 11 页共 13 页当121100001000010000001001n na a a a-=1121(1)0n n a a a ++-≠，即当12(1)n n a a a ≠-时，原二次型为正定二次型.例 4 设A ,B 分别是,m n 阶正定阵，试判定分块矩阵00A C B ⎛⎫= ⎪⎝⎭是否为正定矩阵解因为,A B 都是实对称阵，从而C 也是实对称阵.且,0,m nX RX +∀∈≠令12X X X ⎛⎫= ⎪⎝⎭ 则12,m n X R X R ∈∈，且至少一个不为零向量.于是()11211222000T TT T TX A X CX X X X AX X BX X B ⎛⎫⎛⎫==+> ⎪ ⎪⎝⎭⎝⎭故C 为正定阵.例 5 若A 是n 阶实对称阵，证明：A 半正定的充要条件是对任何μ>0，B E A μ=+正定.证 A 是实对称阵，从而存在正交阵T ，使1'n A T T λλ⎛⎫⎪=⎪ ⎪⎝⎭,其中1,,n λλ为A 的全部实特征值.先证必要性若A 半正定，则0,(1,2,,).i i n λ≥=又因为1'B E A T T n μλμμλ+⎛⎫⎪=+=⎪⎪+⎝⎭所以B 的全部特征值为0(1,2,,)i i n μλ+>=又'm nB B R+=∈，∴B 为正定阵.第 12 页共 13 页再证充分性若A 不是正定阵，则存在0k λ<，此时可令2kλμ=-，则0μ>，但1'2kn B E A T T μλλμμλ+⎛⎫ ⎪ ⎪ ⎪=+= ⎪ ⎪⎪ ⎪+⎝⎭即B 中有一个特征值为02k λ<，这与B 为正定阵的假设矛盾，从而得证A 是半正定的.例 6 设()ij A a =是阶正定阵，证明：（1）对任意i j ≠，都有12();ij ii jj a a a < （2）A 的绝对值最大元素必在主对角线上. 证（1）A 正定，从而A 的一切2阶主子式均大于0，当i j ≠时20iiijii jj ij ijjja a a a a a a =-> 移项后，开方即证12()(,,1,2,,)ij ii jj a a a i j i j n <≠=.（2）设的主对角线上最大元素为kk a （由于A 正定，0kk a >).再由第一问结论可知12()()ij ii jj kk a a a a i j <≤=≠由此即证(,1,2,,)ij kk a a i j n ≤=即A 中绝对值最大元素必在主对角线上.结束语二次型的研究起源于解析几何中二次曲线和二次曲面的理论，二次型的理论在数学和物理的许多分支都有着广泛的应用.用二次型来解决初等数学、微积分中的一些问题，有时会起到意想不到的效果.本文通过研究二次型的性质，借助例子说明二次型在求多元函数的的极值、最值、证明不等式、及判断二次曲线的形状等方面的应用.将多元元函数求极值问题化为一个二次型问题.在三元及三元以上多元函数求极值时，这个方法比一般工科高等数学教材中介绍的求极值方法好用，而且能够确定是极大值还是极小值.参考文献[1] 王萼方，石生明高等代数（第三版）[M].北京:高等教育出版社，2008.[2] 白蒙蒙，朱小琨实矩阵正定性的简单判别方法[M] 高等函授学报[3] Liu Maosheng The Extension of positive matrix,Journal of ChongQING vocational&technical institute[4]. He ChunLing The Discussion in positive Definite Property of Product Matrix,HeiBei Like JiaoXue YanJiu[5] Zhan ShiLin Zhan XuZhou,some criterions on real positive definite matrix,Journal ofAnHui University[6] 张淑娜，郭艳君正定二次型的几个等价条件以及正定阵的若干性质[M].2005.[7] 陈大新矩阵理论[M]. 上海交通大学出版社 2003.[8] 郭忠矩阵正定性的判定[J]. 科学通报 2007.[9] 钱志祥，林文生.浅谈正定二次型的实际应用[J].科学创新导报，2009.第13页共13 页。

1二次型理论起源于解析几何中二次曲线

第九章二次型综述1．二次型理论起源于解析几何中二次曲线、二次曲面的简化问题.一般的n 元二次型化为标准型问题在很多工程问题中有广泛的应用,而n 维欧氏空间中二次型正交化为标准型问题,在相近学科如分析、统计学中有直接的应用,但内容本身作为高等代数（线性代数）的一部分,不太需要完整的论述而又必要作一讨论.2．n元二次型理论（一般数域F上）从体系结构上来讲,可作为一独立的内容,但其可建立与F上n 阶对称矩阵的一一对应,所以可安排在矩阵一节之后（北大教材即如此）,而其又可与F上的向量空间v 上的对称内积（亦可为对称双线性函数（型））的集合一一对应,因而可放在欧氏空间后.（先推广欧氏空间即定义一般数域上的（对称）内积（或更一般的酉内积）,具体见下补）.特别是对欧氏空间中实二次型的讨论（主轴问题、正定等）因而可放在欧氏空间后（因有些结论是对称变换的推论）.3．就本章内容而言,主要是二次型的概念及标准形问题,实二次型分类及实二次型的正定及主轴问题.如刚才所讲,实际上：一般数域F上的n元二次型的集合,F上n维向量空间的对称双线型（函数）的集合（亦是对称内积的集合）,F上n 阶对称矩阵的集合是一一对应的,即是同一事物的三种表现形式,可通过一方研究（表示）另一方,且大多是通过对称矩阵来研究二次型的（如标准形（化简）、复、实二次型的规范型、实二次型的正定及主轴问题皆是如此）,这是方法问题,而理论上为认识二次型是先介绍了双线性型（对称双线性函数）,所以在具体内容上直接给出二次型定义,用上述方法讨论前述问题.4．本节重点难点是二次型的标准形,复、实二次型的规范形及正定二次型的判定,所以二次型的初等变换法化简、惯性定理是难点.5．简要介绍一下欧氏空间的推广——内积空间与西空间.（略）6．本教材是先定义双线性型（函数）,对称双线性型（函数）,引入与对称双线性型（函数）的关联函数得出二次型定义,好在理论上可进一步了解二次型,但不利于实质上（用对称矩阵）讨论二次型本章要解决的问题,以及9.2以后的内容；重要的是引导学生建立F上n元二次型与F上n阶对称矩阵的一一对应,通过对称矩阵研究本章所有问题.9.1 二次型一教学思考1．二次型的理论起源于解析几何中二次曲线、二次曲面的化简问题,但其理论在网络问题中、分析、热力学等中有广泛应用.仅从数学内容上言,其与F上n维向量空间v上所有对称双线性型（对称内积）,F 上所有n 阶对称方阵是同一事物的三种表现形式,即存在一一对应.这样不管从理论上还是从方法上提供了讨论问题的方法.本节重要的是给出二次型的定义及二次型的表示,特别是其矩阵表示,从而建立n 元二次型与n 阶对称矩阵的对应,用对称矩阵来讨论二次型的标准形问题,为下面具体讨论C上R上的二次型的规范形（分类）（正定、主轴问题）打下基础.2．本节不从书中介绍,直接给出二次型的定义、表示、标准形等概念,及标准形的化法.二内容要求1．内容：二次型、二次型的矩阵、可逆性替换,矩阵的合同、二次型的等价、二次型的标准型2．要求：掌握上述概念及二次型的标准形的化法.三教学过程1．二次型及表示（1）定义数域F上n个文字x1,x2, (x)n的一个二次齐次多项式叫做F上n个文字的二次型或n元二次型（简称二次型）.一个n 元二次型总可以写成：q(x 1,x 2,…x n )=a 11x 21+a 22x 22+…+a nn x 2n+2a 12x 1x 2+…+2a 1n x 1x n+2a 23x 2x 3+…+2a 2n x 2x n (Ⅰ) +……+2a 1n n -x 1n -x n (Ⅰ)式称为二次型的一般形式.q(x 1,x 2,…x n )ij jia a ==11nnij iji j a x x==∑∑ (Ⅱ)（2）二次型的矩阵定义令A=()ij a 是由（Ⅱ）的系数所构成的矩阵.称为二次型（Ⅱ）的矩阵. 二次型（Ⅰ）（Ⅱ）又可表示为（矩阵）形式：q(x 1,x 2,…x n )= (x 1,x 2,…x n )A 12.n x x x ⎛⎫⎪ ⎪ ⎪ ⎪ ⎪⎝⎭=x TAX. (Ⅲ)定义：一个二次型的矩阵叫做二次型的秩.(3)可逆（非退化、满秩）线形替换有矩阵的合同.定义 x 1,x 2,…x n 和12,,...,n y y y 是两组文字,系数在数域F 中的一组关系式111112211122.........n n nn n nn n x c y c y c y x c y c y c y=+++⎧⎪⎨⎪=+++⎩ （＊）称为由x 1,x 2,…x n 到12,,...,n y y y 的一个线性替换.定理1 n 元二次型q(x 1,x 2,…x n )= x TAX 经（可逆）线性替换（＊）X=CY 变为二次型Y TBY.其中B=C TAC.定义设A,B ∈M n (F),若存在一可逆矩阵P ∈M n (F),使得B=TP AP ,则称A 与B 合同. 合同关系的性质：① 自反性：∀ A ∈M n (F),A 与A 合同.(∵A=TI AI ). ② 对称性：若A 与B 合同,则B 与A 亦合同.事实上: ∵A 与B 合同,即存在可逆矩阵P 使B=TP AP ∴A=1111()()T T P BPP BP ----=∵1P -可逆.故也.③ 传递性：若A 与B 合同,B 与C 合同,则A 与C 合同.事实上：存在可逆矩阵P ﹑Q 使B=TP AP ,T C Q BQ =∴()()T T T C Q P APQ PQ A PQ == 而PQ 可逆.故也.合同矩阵的简单性质：①若A 与B 合同,A 为对称矩阵,则B 亦是.事实上：∵存在可逆矩阵P 使B=TP AP ,∴()T T T T T TT T B P AP P A P P AP B ====,故也. ②合同矩阵有相同的秩.由195 5.2.8.P Th 显（反之不真）. (4)二次型的等价：定义设q(x 1,x 2,…x n )与'q (x 1,x 2,…x n )是数域F 上两个n 元二次型,若可以通过可逆现线性替换将前者化为后者（此时可互化）则称这两个二次型等价.定理2：数域F 两个n 元二次型等价⇔它们的矩阵合同. 2．二次型的标准形引言对二次型,当形式简单时便于讨论,比如解析几何中有？二次曲线,当仅有平方项时,其几何图形便一目了然；对于二次型成为二次型形式最简单那的一种是只含有平方项的二次型称之为：定义只含有平方项的二次型称为二次型的标准形.问题：任给F 上一个二次型能否象解析几何中讨论有心（中心与原点重合、或否）二次曲线那样,通过（坐标旋转（加平移））可逆线形替代：若能,怎样做（即怎样找可逆线形替换）补例化二次型222123112132233(,,)22285f x x x x x x x x x x x x =+++++为标准形. 22222123112323232123222123223322222123223333222123233(,,)2()()()285()64()2(3)(3)(3)4()(3)5f x x x x x x x x x x x x x x x x x x x x x x x x x x x x x x xx x x x x x =++++-++++=+++++=+++++-+=++++-作线性替换,即令：1123223333y x x x y x x y x =++⎧⎪=+⎨⎪=⎩⇒11232233323x y y y x y y x y=-+⎧⎪=-⎨⎪=⎩ 则原二次型化为：2221235y y y +-.注：上述方法称为“配方法”,告知任一二次型可化为标准形（当定理3 设)(ij a A =是数域F 上一个n 阶对称矩阵,则总存在F 上一个n 阶可逆矩阵P 使证⎪⎪⎪⎪⎪⎭⎫ ⎝⎛⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯='n c c c AP P (02)1,即A 与对角阵合同.例：将00030360061243040A ⎛⎫ ⎪-⎪= ⎪-- ⎪ ⎪-⎝⎭化为对角型（注：此提法不同于ch8对称矩阵正交化为对角型）. 解：（略）P=21013310223001420103⎛⎫- ⎪⎪⎪-⎪⎪⎪- ⎪ ⎪ ⎪⎝⎭30000600800030000TP AP ⎛⎫⎪⎪= ⎪- ⎪⎪ ⎪⎝⎭. 将Th3应用于二次型得：定理4 设q(x 1,x 2,…x n )=11n nij i j i j a x x ==∑∑= x TAX 是数域F 上一个n 元二次型,则总可以通过变量替换12n x x x ⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭=12n y y P y ⎛⎫⎪ ⎪ ⎪⎪ ⎪⎝⎭. 把它化为2211...n n c y c y ++,其中P 为可逆矩阵. 9.2 复数域、实数域上的二次型一教学思考本节是将一般数域上的二次型的标准形问题具体到复数域、实数域上作深入的讨论,最终得到此二数域上二次型的典型（规范）型,进而得这两类二次型的分类,结果是：C 上二次型典范型由秩唯一决定,所以C 上n 元二次型可按秩分类为n+1类；R 上二次型典范性由秩与符号差决定,所以R 上二次型分类由此二者分为1(1)(2)2n n ++类.本节讨论问题的方法在上节（基础上）——行列同型初变（含同变换）化对称矩阵为对角形的基础上,仍利用讨论矩阵的思想,按上述方法很易讨论而得.但对实二次型典范形式的唯一性（惯性定理）的证明较繁,本教材用双线性函数反证之,有直接用二次型证之（反证法）.习题中反应求实二次型的秩、符号差（惯性指标等）,用本节方法来讲化为典范型（实为标准型）便知,当然一般方法为初等变换法,特殊形式的可用特殊方法（9.4还有用求特征根法）；求实（复）对称矩阵合同问题亦用初变化为标准[spI I O ⎛⎫⎪-⎪ ⎪⎝⎭、r I O ⎛⎫⎪⎝⎭]型. 二内容及要求1．内容：复数域、实数域上二次型的典范形式与分类.2．要求：掌握C 、R 上二次型的典范形式及求法,及内容体现的通过对称矩阵讨论问题的思想,实二次型的秩、惯性指标、符号差的求法（本节为化为典范形、实际标准形即可）；下节还将介绍用特征根法.复、实二次型的等价分类. 三教学过程引言上节我们知道：数域F 上任一n 元二次型1(,,)n q x x =AX X ',都可以通过可逆线性替换X=PY 化为标准形：2211r r y c y c +⋯⋯+.其中r 为二次型的秩.用矩阵语言叙述（等价为）：对()F M A n ∈∀,A A =',则A 合同于一个对角形矩阵D . 1 C 上的二次型：复二次型——复数域上的二次型称为复二次型. 先介绍一个重要定理,由此反映下述结论.定理9.2.1复数域上两个n 阶对称矩阵合同的充要条件是它们有相同的秩.()(),,,,A B Mn C A A B B AB A B ''∈==⇔=则秩秩2．R 上的二次型：实二次型——实数域上的二次型.（1）实二次型等价的充要条件（⇔实对称矩阵合同的充要条件）.为此：定理9.2.2 设()r A A A R Mn A =='∈秩,,则A 合同于pr pI I O -⎛⎫⎪-⎪ ⎪⎝⎭. 平行地定理9.2.3 秩为r 的n 元实二次型都与如下形式的一个二次型等价：(Ⅰ)r p p x x x x 21221-⋯⋯--⋯⋯++定理9.2.4 （惯性定理）,设R 上一个n 元二次型等价于两个典范形式： ①r p p x x x x 21221-⋯⋯--⋯⋯++（r 为二次型的秩） ②222211P P r y y y y ''++⋯⋯+--⋯⋯-（r 为二次型的秩）则P P '=.（反证略）定义一个实二次型的典范形式中,正平方项的个数P 叫做这个二次型的（正）惯性指标（数）,正项的个数P 与负项个数（负惯性指标）p r -的差：()2sp r p p r --=-,叫做这个二次型的符号差.定理9.2.5 两个n 元实二次型等价的充分条件是它们有相同的秩和符号差. 平行地：设B B A A R Mn B A ='='∈,),(，. 则A 与B 合同⇔它们有相同的秩与符号差. （2）n 元实二次型的分类：n 元实二次型按等价分类：由于n 元实二次型的典范形式由秩与惯性指标唯一确定,所以：推论9.2.6：n 元实二次型按等价分类,可分成：()()211++n n 类. 9.3 正定二次型一教学思考本节研究一类特殊的实二次型——正定二次型.从定义上来讲,正定二次型是将n 元实二次型视为n 元实函数（即nR 上的实函数）,由其函数值分类中的一种；因而由定义判定一个实二次型是否正定相当不易,那么本节在于寻求正定二次型的判定,得到两个判定定理；一个是由秩与符号差（或惯性指标）判定,一个用二次型自身的信息——矩阵的顺序主子式判定,结论方法明确具体,下节还给出一个用特征根判定.所以本节内容易讨论、接受,注意其中反映的一些结论,如可逆线性替换不改变二次型的正定性等. 二内容和要求1．内容：正定二次型及其判定. 2．要求：掌握有关概念和判定方法. 三教学过程1．定义（由于二次型是n 个文字的二次齐次多项式,所以n 元实二次型可象一元多项式那样定义其在某一点的值,即将n 元实二次型看成定义在nR 上的n 元实函数,那么可按它的值的符号分类）. 设()n x x x q ，⋯⋯,,21是一个n 元实二次型,若对任意一组不全为0的实数n c c ⋯⋯1；（1）如果()01>⋯⋯n c c q ,则称()n x x x q ，⋯⋯,,21为正定二次型；（2）如果()01<⋯⋯n c c q ,则称()n x x x q ，⋯⋯,,21为负定二次型；（3）如果()10n q c c ⋯⋯≥,则称()n x x x q ，⋯⋯,,21为半正定二次型；（4）如果()10n q c c ⋯⋯≤,则称()n x x x q ，⋯⋯,,21为半负定二次型；（5）若()n c c q ⋯⋯1有正、有负,则称()n x x x q ，⋯⋯,,21为不定二次型. 2．正定二次型的判定定理9.3.1 实数域上n 元二次型()n x x x q ，⋯⋯,,21是正定的⇔它的秩与符号差都等于n （惯性指标为n ）.有时须从二次型的矩阵直接判定,不希望通过典范形式,为此下讨之. 定义设()()R Mn a A ij ∈=,位于A 的前k 行、前k 列的子式1111kr kka a a a 叫做A 的k 阶顺序主子式.二次型()AX X x x x q n '=⋯⋯，,,21的矩阵的k 阶主子式叫做二次型()n x x x q ，⋯⋯,,21的k 阶主子式.定理9.3.2 n 元实二次型()AX X x x x q n '=⋯⋯，,,21是正定的⇔它的一切主子式全大于0.9.4主轴问题一教学思考本节内容是在欧氏空间中将有心二次曲线、二次曲面,用正交变换化为标准形问题的推广——将实二次型用正交变换化为标准形.思想方法仍是将实二次型问题转化为实对称矩阵处理.由第八章第4节的结论,则此问题解决的具体完满.须注意的是：①此将实二次型化为标准形是用正交变换因而方法过程与前不同,从而结论中标准形的平方项系数为二次型的矩阵的全部特征根.②顺便得到了判定实二次型是否正定的又一方法（用特征根）. 二内容、要求1．内容：主轴问题；实二次型用正交变换化标准形 2．要求：掌握上述概念与方法. 三教学过程：1．主轴问题：实数域上一个n 元二次型通过坐标的正交变换（正交线性替换）化为标准形的问题. 2．问题的提出及含义的由来我们知道（9.1）任何一个二次型都可经过线性替换化为标准形.用一般的线性替换把二次型化为标准形,可能会改变向量的度量性质（见霍元极379P ）,在许多问题中都要求简化实二次型时,所作的线性替换不改变向量的度量性质,如在解析几何中一样,用坐标变换（旋转、平移）化二次曲面（线）为标准形,其特点是用正交变换；因而,一般地讨论把一个n 元实二次型通过正交线性替换化为标准形的问题,正是解析几何中的问题的推广,叫做主轴问题（因由此可知有关曲面、线的性态）.3．问题的变通因为二次型通过可逆线性替换化为标准形问题等价于对称矩阵与对角形矩阵合同问题,所以主轴问题：n 元实二次型1(,,)n q x x X AX '=N 能否通过正交线性替换化为标准形的问题(),n A M R A A '⇔∈=是否存在正交矩阵U ,使得U AU '为对角形.4．问题的解决（由定理8.4.6）定理9.4.1设1(,,)n q x x X AX '=是一个n 元实二次型,则可通过正交线性替换X UY =化为2211n n y y λλ++.其中U 为正交矩阵,1,,n λλ为A 的全部特征根.推论：设1(,,)n q x x X AX '=是一个n 元实二次型,则1）二次型的秩等于其矩阵A 的不为0的特征根的个数；而符号差为A 的正特征根的个数与负特征根的个数的差.2）1(,,)n q x x X AX '=是正定的充要条件是A 的所有正特征根为正实数.。

第九章二次型

对,,则合同于一个对角形矩阵. 1 C上的二次型：复二次型——复数域上的二次型称为复二次型. 先介绍一个重要定理,由此反映下述结论. 定理9.2.1复数域上两个n 阶对称矩阵合同的充要条件是它们有相同的秩.
2．R上的二次型：实二次型——实数域上的二次型.
（1）实二次型等价的充要条件（实对称矩阵合同的充要条件）.为此：
定理3 设是数域F上一个n 阶对称矩阵,则总存在F上一个n阶可逆矩阵P使证,即A与对角阵合同.
例：将化为对角型（注：此提法不同于ch8对称矩阵正交化为对角型）. 解：（略）P= . 将Th3应用于二次型得：
定理4 设q(x,x,…x)== xAX是数域F上一个n元二次型,则总可以通过变量替换=. 把它化为,其中P为可逆矩阵.
的等价标准形的化法.
三教学过程
1．二次型及表示
（1）定义数域F上n个文字x,x,…x的一个二次齐次多项式叫做F上n个文
字的二次型或n元二次型（简称二次型）.一个n 元二次型总可以
写成：
q(x,x,…x)=ax+ax+…+ax
+2axx+…+2axx
9.1 二次型
一教学思考 1．二次型的理论起源于解析几何中二次曲线、二次曲面的化简问题,
但其理论在网络问题中、分析、热力学等中有广泛应用.仅从数学内容上言,其与F上n维向量空间v上所有对称双线性型（对称内积）,F上所有n 阶对称方阵是同一事物的三种表现形式,即存在一一对应.这样不管从理论上还是从方法上提供了讨论问题的方法.本节重要的是给出二次型的
同.
合同关系的性质：
1 自反性： A∈M(F),A与A合同.(∵A=).
2 对称性：若A与B合同,则B与A亦合同.事实上:

Ch5-5线性代数二次型及其标准型

2 01
0
0 0 1
可得
f
的规范形：f
=
－z
2 1
+
z
2 2
+
z
2 3
.
用正交阵将二次型化为标准形的步骤:
正交变换法
(i) 写出 f 的矩阵 A,并求出 A所有相异特征值 1, , m;
它们的重数依次为 r1, r2 , rm ( r1 r2 rm n )
(ii) 对每个重特征值i , 求出对应的 ri 个线性无关的特征向量
二次曲线
旋转变换
ax2 bxy cy2 1
令
x y

x cos x sin

y sin y cos
, ,
二次齐次多项式
m x2 n y2 1
不改变长度、夹角
可逆线性变换正交变换
对于n 元的二次齐次多项式，能否存在一个可逆的线性变换将其变为只含平方项的二次齐次多项式
求可逆矩阵 C 使得 C TAC B , 称为将 A 合同(变换)为 B .
简单性质:
10 矩阵的合同关系是等价关系;
20 合同矩阵CT必A等C 秩 B; , 而 C 可逆，
30 与对称矩阵合同的矩阵也是对称阵.
A AT , C TAC B BT CT ATC CT AC B
从合同的角度看二次型的变换问题:
二次型 f xTAx 经可逆变换 x C y化成二次型 f yTB y
存在可逆阵 C 将矩阵 A合同为B, 即 A, B 满足CTAC =B, 且 B仍为对称阵,二次型 f 的秩不变.
能将二次型 f = xTA x 经过可逆线性变换化成标准形

二次型讲义

二次型讲义公司内部档案编码：[OPPTR-OPPT28-OPPTL98-OPPNN08]二次型是线性代数的重要内容之一,二次型的理论起源于解析几何学中二次曲线方程和二次曲面方程化为标准形问题的研究.二次型理论与域的特征有关,现在二次型的理论不仅在几何而且在数学的其他分支物理、力学、工程技术中也常常用到. 二次型应用的领域很广, 在以前的学习中求一元或多元函数的最值的方法通常有利用图象法或微分理论,通过矩阵乘法将二次型与对称矩阵联系起来,从而一方面使得二次型的问题可以用矩阵的理论和方法来研究,另一方面也可将对称矩阵的问题转化为用二次型的方法来解决.所以正确写出二次型的矩阵是研究二次型的基础.本文在对二次型性质研究的基础上, 介绍了正定矩阵的性质, 简单的举了一些实例来阐述实矩阵正定性的应用,并对二次型的理论进行了推广, 讨论了二次型的应用.如二次型f =−2x x 2+2x 1x 3+2x 2x 3,经过正交变换后可以化为标准型f =−2y 12+y 22+y 32,所以f 的图形是一个旋转单页双曲面。

由此可知，任意一个n 元二次型代表n 维空间上的图形。

1、二次型的定义含有n 个变量n x x x ,,,21 的二次齐次多项式（即每次都是二次的多项式：∑==n j i j i ij n x x a x x f 1,1),,( ，ji ij a a =称为n 元二次型，令T n x x x X ),,,(21 =，A=（ij a ），则二次型可用矩阵表示为：AX X x x x a a a a a a a a a x x x x x x f T n nn n n n n n =⎪⎪⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎪⎪⎭⎫ ⎝⎛= 212122221112112121),,,(),,,( 其中A 是n 阶实对称矩阵（A T =A ），称A 为二次型),,(1n x x f 的矩阵，矩阵A 的秩即为二次型f 的秩。

二次型历史

穷人思维总是找借口富人的思维是来解决问题的二次型历史
二次型的系统研究是从18世纪开始的，它起源于对二次曲线和二次曲面的分类问题的讨论，将二次曲线和二次曲面的方程变形，选有主轴方向的轴作为坐标轴以简化方程的形状，这个问题是在18世纪引进的。

柯西在其著作中给出结论：当方程式标准型时，二次曲面用二次型的符号来进行分类。

然而，那是并不太清楚，在化简成标准型时，为何总是得到同样数目的正项和负项。

西尔维斯特回答了这个问题，他给出了n个变数的二次型的惯性定律，但没有证明。

这个定律后被雅克比重新发现和证明。

1801年，高斯在《算术研究》中引进了二次型的正定、负定、半正定和半负定等术语。

二次型化简的进一步研究涉及二次型或行列式的特征方程的概念。

特征方程的概念隐含地出现在欧拉的著作中，拉格朗日在其关于线性微分方程组的著作中首先明确地给出了这个概念。

而三个变数的二次型的特征值的实性则是由阿歇特（j-r.p.hachette）、蒙日和泊松（s.d.poisson，1781~1840）建立的。

柯西在别人著作的基础上，着手研究化简变数的二次型问题，并证明了特征方程在直角坐标系的任何变换下不变性。

后来，他又证明了n个变数的两个二次型能用同一个线性变换同时化成平方和。

穷人思维总是找借口富人的思维是来解决问题的。

二次型的应用与思想方法

第一章绪论二次型是高等代数的重要内容之一,二次型的理论起源于解析几何学中二次曲线方程和二次曲面方程化为标准形问题的研究.二次型理论与域的特征有关,现在二次型的理论不仅在几何而且在数学的其他分支物理、力学、工程技术中常常用到,二次型应用的领域十分广泛.例如在解决极值问题方面的应用,在解决多项式根的有关问题的应用,在解决二次曲线方程和二次曲面方程中的应用等等.基于二次型的重要性和广泛性,本文开头总结了二次型的定义及相关知识,将二次型的定义方法、二次型的矩阵表示作了系统介绍,其中在实二次型中占有特殊的地位的正定二次型是学习的重点,理解定义并熟练掌握常用的判别条件,为应用正定二次型做好知识的储备,也为下文研究其数学思想奠定了知识储备.本文在第三章重点研究了二次型中的一些重要的数学思想与方法,数学思想和数学方法是从数学知识提炼出的数学学科的精髓,是将数学知识转化为数学能力的桥梁.从知识中总结思想方法,又将思想方法应用到实践中,这是学习数学的本质.本文重点分析总结了二次型在二次曲面和二次曲线中的应用、二次型中的可逆线性变换、将二次型化为标准型等方面与数形结合思想方法、转化的思想方法、分类讨论的思想方法、分解的思想方法的相互渗透.下面将通过具体定义与例题相结合的方式阐述出二次型所渗透的数学思想与方法.第二章二次型的基本知识2.1 二次型的定义在解析几何中,我们看到,当坐标原点与中心重合时,一个有心二次曲线的一般方程式222ax bxy cy f ++=. （1）为了便于研究这个二次曲线的几何性质,我们可以选择适当的角度θ,作转轴（反时针方向转轴）cos sin sin cos .x x θy θ,y x θy θ''=-⎧⎨''=+⎩ (2)把方程(1)化成标准方程.在二次曲面的研究中也有类似的情况.(1)的左端是一个二次齐次多项式.从代数的观点看,所谓化标准方程就是用变量的线性替换(2)化简一个二次齐次多项式,使它只含有平方项.二次齐次多项式不但在几何上出现,而且在数学的其他分支及物理、力学也常常会碰到.设P 是一数域,一个系数在数域P 中的n y y y ,,,21 的二次齐次多项式2121111212112222222()222n n n n n nn nf x ,x ,,x a x a x x a x x a x a x x a x .=++++++++ （3）称为数域P 上的一个n 元二次型,或者,在不致引起混淆时简称二次型.例如:2221121322333243x x x x x x x x x +++++.就是有理数域上的一个三元二次型.2.2 二次型的矩阵表示首先我们引入定义：定义2.1 设1212;n n x ,x ,,x y ,y ,,y 是两组文字,系数在数域P 中的一组关系1111122122112222112.n n n n n n n n nn n x c y c y c y ,x c y c y c y ,x c y c y c y =+++⎧⎪=+++⎪⎨⎪⎪=+++⎩ (4)称为由12,,,n x x x 到12,,,n y y y 的一个线性替换,如果系数行列式0ij c ≠,那么线性替换(4)就称为非退化的.不难看出,如果把(4)代入(5),那么得到12,,,n y y y 的多项式仍是二次齐次的.换句话说,线性替换把二次型换成二次型.在讨论二次型时,矩阵就是一个有力的工具,因此我们先把二次型与线性替换用矩阵来表示.令ij ji a a =, i j <.由于i j j i x x x x =,所以二次型(3)可以写成212111121211222222211()222.n n n n n nn nnnij i j i j f x ,x ,,x a x a x x a x x a x a x x a x a x x ===++++++++=∑∑ (5)把(5)的系数排成一个n n ⨯矩阵111212122212n n n n nn a a a a a a A a a a ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦它就称为二次型(5)的矩阵.因为ij ji a a =,,1,,i j n =,所以A A '=.我们把这样的矩阵称为对称矩阵,因此,而此二次型的矩阵都是对称的.2.3 二次型的标准形定义2.2 如果二次型只含有平方项,即2121(,,,)nn i i i f x x x d x ==∑,那么它称为标准二次型,简称为标准形.显然,标准二次型与对角阵对应,对每个实对称矩阵A ,存在正交阵T 使1T T AT T AT -=是对角阵.因此对于实二次型()T f X T AT =,通过正交的变量替换21()()()nTTTTi i I X TY,f X X AX TY A TY Y T ATY y λ======∑,其中12n λ,λ,,λ是实对称矩阵A 的全部特征值 ,T 是正交阵使121T n λλT AT T AT λ-⎡⎤⎢⎥⎢⎥==⎢⎥⎢⎥⎣⎦,这就证明了. 定理2.1 对任意的实二次型()T f X X AX =,其中()ij A a =是n 阶实对称矩阵,一定可以经过正交的变量替换TY X =变成标准形2221122(),n n g Y λy λy λy =+++ 其中,系数12n λ,λ,,λ是实对称矩阵A 的全部特征值.2.4 正定二次型2.4.1正定二次型定义若对任何非零向量x 实二次型,如果对任何0≠x 都有()0>x f (显然0)0(=f ),则称f 为正定二次型,并称矩阵A 是正定的,记之0>A .2.4.2判别方法正定二次型的判别方法:1）二次型标准形中n 个系数都大于零,则其为正定； 2）二次型的对称矩阵A 的n 个特征值大于零,则其为正定；3）对称矩阵A 的各阶顺序主子式全大于零,则其为正定. 注：设A 为n 阶方阵,则位于A 的左上角的1阶,2阶,...,n 阶子式, 即：称为A 的各阶顺序主子式.例2.4.1 判别正定二次型考虑二次型22212312132344224f x x x x x x x x x λ=+++-+,问λ为何值时,f 为正定二次型.解：利用顺序主子式来判别,二次型f 的矩阵为1142124A λλ-⎡⎤⎢⎥=⎢⎥⎢⎥-⎣⎦,A 的顺序主子式为第三章二次型的应用二次型的研究起源于解析几何中二次曲线和二次曲面的理论,二次型的理论在数学和物理的许多分支都有着广泛的应用.用二次型来解决初等数学、微积分中的一些问题,有时候会起到意想不到的效果.二次型在求多元函数的极值、最值、证明不等式、多项式因式分解及判断二次曲线的形状等方面的应用.3.1求多元函数的极值二次型在多元函数的极值问题中有重要应用,下面利用二次型的矩阵性质(正定、负定、不定)推断出多元函数在稳定点处有无极值,把多元函数求极值问题化为一个二次型问题.在三元及三元以上多元函数求极值时,这个方法比一般工科高等代数教材中介绍的求极值方法还好,而且能够确定是极大值还是极小值.定义3.1 设()()12,,,n F X F x x x =⋅⋅⋅有3阶连续偏导数,()12,,,n ∂=∂∂⋅⋅⋅∂.如果()F X 在∂处的一阶偏导数全为零,则称∂是()F X 的一个稳定点.定义3.2 设α是()F X 的一个稳定点,构造一个n 级矩阵H 如下:()()x xi jH H F α=,称H 是函数()F X 在α处的何塞（Hesse ）矩阵. 引理设α是()F X 的一个稳定点,H 是函数()F X 在α处的何塞（Hesse ）矩阵,有1）如果H 是正定的,则()F X 在α处达到极小值; 2) 如果H 是负定的,则()F X 在α处达到极大值;3）如果H 是不定的,则()F X 在α处既不是极大值,也不是极小值.注：如果H 是不定的（半正定、半负定）,则()F X 在α处可能有极值,也可能无极值.例3.1.1 函数()2221231231223123,,333228483f x x x x x x x x x x x x x =+++++-+-,求该函数的极值.解:令12121323236280622406280fx x x f x x x x fx x x ⎧∂=++=⎪∂⎪⎪∂=++-=⎨∂⎪⎪∂=++=⎪∂⎩,解此方程组得驻点()2,2,2--.在点()2,2,2--处,2216f x ∂=∂, 2122f x x ∂=∂∂,2130f x x ∂=∂∂,2212f x x ∂=∂∂,2226fx ∂=∂,2232f x x ∂=∂∂,2310f x x ∂=∂∂,2322f x x ∂=∂∂,2236fx ∂=∂,f 在()2,2,2--处Hesse 矩阵是 620262026H ⎡⎤⎢⎥=⎢⎥⎢⎥⎣⎦其各阶顺序主子式依次为;660=>;6232026=>; 6202621680026=>. H 正定,故由引理,()123,,f x x x 在点()2,2,2--处取得极小值,极小值为()2,2,223f --=-.3.2证明不等式实对称矩阵A 称为正定矩阵,是指如果实二次型XAX '正定(其中X =(12,,?,n x x x ⋯)).而二次型'XAX 正定是指对任意0X =(00012,,?,n x x x ⋯)（其中00012,,?,n x x x ⋯不全为零）恒有'00X AX >0,所以可用实对称矩阵中正定矩阵来证明不等式.例3.2.1 求证：22293242x y z yz xy xz ++>--（其中,,x y z 是不全为零的实3.3求多元函数的最值下面利用二次型的矩阵的特征值求多元函数的最值,这个方法很简洁.引理设n 元二次型()'f X XAX =（其中（12,,?,n X x x x =⋯））,则f 在条件211ni i x ==∑下的最大（小）值恰为矩阵A 的最大（小）特征值.例 3.3.1 设()222,,2222f x y z x y z xz yz =++++,且满足2221x y z ++=,求f 的最值.解:二次型f 的矩阵是201021111A ⎡⎤⎢⎥=⎢⎥⎢⎥⎣⎦则特征多项式为()()201021230111I A λλλλλλλ---=--=--=---.特征值为1230,2,3λλλ===.由引理,f 在条件2221x y z ++=下的最大值为3,最小值为0.3.4多项式因式分解引理一个实二次型可以分解为两个实系数的一次齐次多项式乘积的充要条件是它的秩等于2和符号差为0,或秩等于1.该引理为利用二次型进行二次多项式因式分解提供了理论依据,同时给出了判断能否分解的方法,并且可以很快得到分解式.例3.4.1 试判断下列多项式在R 上能否分解.若能,分解之.1)21222112(,)22421f x x x x x x x =-+++; 2) 221212212(,)3241f x x x x x x x =--+-+ 解:1)令()2212322313123,,2242g x x x x x x x x x x x =-+++,则()1212,(,,1)f x x g x x =.下面考虑()123,,g x x x 的秩和符号差,对()123,,g x x x 作非退化线性替换：12311232333272x x x y x x x y y x ++⎧=⎪⎪-++⎪=⎨⎪=⎪⎪⎩ 即1231123233310242y y y x y y y x x y -+⎧=⎪⎪+-⎪=⎨⎪=⎪⎪⎩有()222123123,,13g x x x y y y =-+.可见()123,,g x x x 的秩为3.由引理知()123,,g x x x 不能分解,从而()1212,(,,1)f x x g x x =也不能分解.2)令()2221231223123,,324g x x x x x x x x x x =--+-+,则()1212,(,,1)f x x g x x =.下面考虑()123,,g x x x 的秩和符号差,对()123,,g x x x 作非退化线性替换：112223332y x x y x x y x =+⎧⎪=+⎨⎪=⎩ 即11232233322x y y y x y y x y=-+⎧⎪=-⎨⎪=⎩ 有()2212321,,g x x x y y =-,从而()22121221,(,,1)f x x g x x y y ==-.可见()12,f x x 的秩为2符号差为0.由引理知, 可以分解,且()()()()()2212122121211212,(,,1)131f x x g x x y y y y y y x x x x ==-=-+=--++3.5 判断二次曲线的形状事实上,化简二次曲线并判断曲线类型所用的坐标变换就是二次型中的非退化线性替换,因此可以利用二次型来判断二次曲线的形状.例3.5.1 判断二次曲线2242220x y xy x +--+=的形状.解:()22,4222f x y x y xy x =+--+,令()222,,4222g x y z x y z xy xz =+--+,则()(),,,1f x y g x y =.对(),,g x y z 实施非退化线性替换：1113x x y z z y y z z=-+⎧⎪⎪=+⎨⎪=⎪⎩ 即111111433x x y z z y y z z ⎧=+-⎪⎪⎪=-⎨⎪=⎪⎪⎩则()22211110,,33g x y z x y z =+-,从而()()221110,,,1303f x yg x y x y ==+-=.即22113911010x y +=,故曲线2242220x y xy x +--+=表示椭圆. 上述求多元函数极值、最值的方法,是线性代数中“二次型”的知识在微积分学中的应用,而证明不等式、因式分解和判断曲线的形状则是二次型在中学数学中的应用,展现了数学各分支的联系和发展.第四章二次型中的数学思想方法数学思想方法是数学的灵魂,纵观数学发展史,我们不难发现,每一项重大成果的取得,往往与思想方法的创新有着密切的关系,如果只是掌握数学知识,则难以发挥数学的真正作用,研究数学思想对于掌握数学的知识规律,促进数学学科的发展,开展数学教育,培养数学能力,都有积极的作用.二次型是高等代数中重要组成部分,也是主要研究对象,其中包含着丰富的数学思想方法.在了解了二次型的有关定义及应用后,总结并灵魂运用二次型中的数学思想方法显得极为重要.以下是二次型中几种常见的数学思想方法.4.1 二次型中转化的思想方法二次型中包含着丰富的转化思想方法,根据二次型与对称矩阵之间的一一对应关系:1112121222121112(),n n nn n ij i j i j n n nn a a a a a a A f x ,x ,x a x x a a a ==⎡⎤⎢⎥⎢⎥=↔=⎢⎥⎢⎥⎣⎦∑∑在化简二次型时,可以转化成矩阵,利用矩阵的初等变换化简成为合同对角形,最好化成规范形,再利用反演的思想对应回到二次型即可.于是二次型问题都可以转化成相应的对阵矩阵问题,如果相应的对称矩阵问题可以解决,则原二次型问题就顺利解决.特别地,正定二次型可以转化成正定矩阵,可以利用矩阵的正定性来讨论二次型的正定性.正定性的若干等价条件如下：A 是正定矩阵.A 的顺序主子式全部大于零. A 的所有主子式全部大于零. A 的特征值全部大于零. A 合同于单位矩阵. A 的正惯性指数等于阶数. 存在非退化矩阵P ,使得A P P '=.存在非退化上、下三角矩阵Q ,使得A Q Q '=.A 的所有i 阶主子式之和全部大于零.例4.1 将下列二次型化为规范形,并求出所用的可逆线性变换:122331142434x x x x x x x x x x x x +++++.解：⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎣⎡----------→⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎣⎡→⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎣⎡=⎥⎦⎤⎢⎣⎡1000010011211112111210021100004100001100001000010000102121121021121210211121110000100001000010212121210212121210212121210/////////////////////////I A ，//////////-/⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎣⎡---------→⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎢⎣⎡---------→320003110031111311111000010000100001100021100211211211211430000100004100001令，////P ⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎣⎡------=32000311003111131111再令PY X =,则得规范型为： 22221234y y y y ---. 这里的P 就是所求的可逆线性变换.4.2 二次型中分类讨论的思想方法分类讨论的思想,又称逻辑划分的思想,是数学中的一种常用的重要思想.利用分类讨论的思想处理数学问题可以使复杂的问题理出一条清晰、完整、严密的思路,起到化整为零,化繁为简、化难为易,各个击破、分为治之的作用.因此分类讨论的思想是一种有特殊到一般的思想方法,既是一种逻辑方法,也是一种数学思想.分类讨论的思想的核心和关键是分类,因此利用分类讨论的思想解决数学问题时,分类标准必须要科学、统一,保证分类时不重复、不遗漏.分类讨论思想的主要步骤是：① 分析题目条件,明确讨论的对象,确定对象的群体. ② 确定分类标准,正确分类（有时也会遇到二级分类）. ③ 逐类讨论、求解. ④ 归纳小结得出结论.分类讨论思想不但在解题中应用比较广泛,而且在理论层面上讨论中也有广泛的应用.需要运用分类讨论的思想解决的数学问题,就其引起分类的原因,可归结为： ① 涉及数学概念是分类定义的.②运用的的数学定理、公式、或运算性质、法则是分类给出的. ③求解的数学问题的结论有多种情况或多种可能.④数学问题中含有参变量,这些参变量的取值会导致不同结果的.二次型中包含着丰富的分类讨论的思想方法.具体来讲,二次型按合同分类,合同关系是一种等价（满足反身性、对称性、传递性）.任何二次型都可以经过非退化线性替换化为标准形,进而化成规范形.规范形唯一,故可以按照规范形分类,两二次型能够相互转化的充要条件是它们的秩相同；实二次型合同的充要条件是它们的秩、正惯性指数相同.而标准形不唯一,故不可以按照标准型分类.复二次型的合同分类：1+n 类.实二次型的合同分类：正定矩阵、负定矩阵,半正定矩阵,半负定矩阵、不定矩阵.总共(1)(2)2n n ++类.本文主要研究实二次型中分类的思想.例4.2.1 若A 是实对称矩阵半正定,则*A 也半正定. 证明:由A 对称可得*A 也对称.由A 半正定知秩n A ≤. 当秩n A =时,即A 正定,*A 也正定.当秩n A <时,即A 奇异,则*1A ≤,*A 的特征多项式是：()*1111121112n n n nn nn |λE A |λ(A A A )λλA A A λ---=-+++=-+++⎡⎤⎣⎦.若1112()0nn A A A +++=,则*A 的特征值有零.若11121()0n A A A +++≠,则*A 的特征值只有一个是11121()n A A A +++,其余都是零.因此*A 半正定. 例4.2.2 设()1210n ααα,,α,c αα''=+>,求证：B E c αα'=+为正定矩阵.证明:二次型()()2X BX X E C ααX X X c αX '''''=+=+. 当0c ≥时,0X ∀≠都有0X BX '>,所以B 正定. 当0c <时, 0X ∀≠都有：()()()()()10X BX X X c αX X X c X X ααX X c αα''''''''=+≥+=+> 此时B 也正定.4.3 二次型中的分解的思想方法二次型中还包含着丰富的分解思想方法,以正定矩阵为例,便可看到二次型中包含的分解思想.设A 是正定矩阵,则：1) 存在非退化矩阵P ,使得:A P P '=. 2) 存在非退化上、下矩阵Q ,使得：A Q Q '=. 3) 存在正交向量组12n α,α,,α使得:1122n n A αααααα'''=+++.4）k Z +∀∈,使得K A 为正定矩阵.例4.3.1 一个秩为r 的二次型可以分解成r 个秩为1的二次型的和. 证明:设秩r A =,则存在非奇异矩阵Q ,使得：1122000rrr EA Q Q Q E Q Q E Q Q E Q ⎡⎤''''==+++⎢⎥⎣⎦,令12i ii A Q E Q,i ,,,n,'==使得：12r A A A A =+++,秩112i A ,i ,,,r ==.结论成立.例4.3.2 证明：秩为r 的二次型可以分解成为一个秩为t 的二次型与一个秩为k 的二次型之和,其中r t k =+,t ,k Z +∈.证明:设秩r A =,则存在非奇异矩阵Q ,使得：00000000000000rtk E E A Q Q Q Q Q E Q ⎡⎤⎡⎤⎡⎤⎢⎥'''==+⎢⎥⎢⎥⎢⎥⎣⎦⎣⎦⎢⎥⎣⎦, 令000tE T Q Q ⎡⎤'=⎢⎥⎣⎦,00000000k K Q E Q ⎡⎤⎢⎥'=⎢⎥⎢⎥⎣⎦,使得：K T A +=, rank(T)t =,ta ()s S nk =,且有Z AZ Z TZ Z KZ '''=+.结论成立.例 4.3.3 证明：满秩实矩阵A 可以表示成为一个正定矩阵与一个正交矩阵之积,且表示法唯一.证明:由于A 满秩,则AA '正定,故存在正定矩阵B ,使得2AA B '=. 令1Q B A -=,有A BQ =,且()11121()QQ B AA B B B B E ----''''===,即Q 为正交矩阵.同理,由AA '正定,∃正定矩阵1B ,使得21A A B '=令,有11A Q B =111Q AB -=且1Q 为正定矩阵,即有11A BQ Q B ==故结论成立.下证唯一性,设若有CT BQ A ==,C 正定,T 正交,()()()()BQ BQ CT CT ''=于是有22B C =下证：C B =.由C B ,正定知存在正交矩阵T S ,有：121n λB S S λλ-⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦,121n μμC T T μ-⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦. 不失一般性：10n λλ≥≥>,10n μμ≥≥>,于是：2122122n λλB Sλ-⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎢⎥⎣⎦2122122n μμS C T T μ-⎡⎤⎢⎥⎢⎥==⎢⎥⎢⎥⎢⎥⎣⎦. 它的特征值相同,即22i i λμ=,进而i i λμ=,12i ,,,n =.221122112222n n λμλμTS TS λμ--⎡⎤⎡⎤⎢⎥⎢⎥⎢⎥⎢⎥==⎢⎥⎢⎥⎢⎥⎢⎥⎢⎥⎢⎥⎣⎦⎣⎦. 令()1ij D TS d -==,有22ij j ij i d λd μ=,i ,12j ,,,n =,得()0ij d i j =≠由S ,T 为正交矩阵,得()112ij d i ,,,n =≠,即1TS E -=所以S T =,故C B =,进而T Q =.唯一性得证.4.4 二次型中构造的思想构造的思想方法在二次理论中有着广泛的应用,主要是借助已知条件,利用二次型与对称矩阵的性质,构造出符合条件的二次型或对称矩阵,从而最终得到解.例4.4.1 设A 正定,S 反对称,则0A S +>.证明:由A 正定知必有P ∃:0P ≠,使得P AP E '=,而P SP '为反对称矩阵,则∃正交矩阵Q ,使得:1100()00t ta a a Q P SP Q F a ⎡⎤⎢⎥-⎢⎥⎢⎥⎢⎥⎢⎥''==⎢⎥⎢⎥⎢⎥⎢⎥⎢⎥⎢⎥⎣⎦,其特征根为:l ia ±和0,1,2,,l t =,(())Q P A S P Q E F ''+=+,两边取行列式得：22PQ A S P A S E F +=+=+ 22212(1)(1)(1)0n a a a =+++>.所以0A S +>.例4.4.2 如果A ,B 都是n 级正定矩阵,证明:A B +也是正定矩阵. 证明：因为A ,B 为正定矩阵,故X AX ',X BX '为正定二次型,于是()X A B X X AX X BX '''+=+也必为正定二次型,故A B +为正定矩阵.第五章总结本文主要是针对高等代数中二次型的基本定义及相关基础知识的详细讲解,而且总结分析了蕴含在二次型中的几种主要思想方法如二次型中的数形结合的思想方法、转化的思想方法、分解的思想方法、分类讨论的思想方法,并且通过精选例题的讲解会使读者理解的更加容易和深刻,以便大家更能很好的掌握这些思想方法.对于二次型中涉及的一些定义和定理也是非常重要的,灵活的理解定义和学会对相关定理推理对二次型的应用有着极其重要的作用.本文在二次型中的有些知识没有涉及,但是其重要性也是不容小觑的.相信未来人们不仅会在几何而且在数学的其他分支物理、力学、工程技术中也常常用到二次型.参考文献[1] 北京大学数学系. 高等代数(第三版)[M].北京:高等教育出版社,2003.[2] 张禾瑞、郝鈵新.高等代数[M].北京:高等教育出版社,1993.[3] 同济大学数学系.线性代数(第五版)[M].北京:高等教育出版社,2007.[4] 卢刚,冯翠莲.线性代数[M].北京：北京大学出版社,2006.[5] 王萼芳.高等代数教程[M].北京:清华大学出版社,1997.[6] 蒋尔雄等.线性代数[M]. 人民教育出版社, 1989.[7] 姚慕生.高等代数[M].上海：复旦大学出版社,2002.[8] 吕风等编.高等数学在中学数学中的应用1000例[M].东北大学出版社.[9] 徐仲等编.《高等代数考研教案》[M].西安：西北工业大学出版社,2009.[10] 徐仲,陆全,张凯院.高等代数[M].西安：西北工业大学出版社,2004.3.[11] 陈凯等著.《线性代数及应用》.北京：水利电力出版社,1985.[12] 刘诗雄.高中数学竞赛辅导[M].西安:陕西师范大学出版社, 2006.[13] 陈志杰.高等代数与解析几何[M].高等教育出版社,施普林格出版,2000.[14] 高哲敏等.高等代数分析与研究[M].云南科技出版社,1998.[15] 熊廷煌.高等代数简明教程[M].湖北教育出版社,1987.[16] 蔡永裕等.高等代数学习指导[M].湘潭师院印刷厂,2000.[17] 廖军.分块矩阵求n阶行列式的值[J].文山师范高等专科学校校报,2004.6.[18] 杨家骐等编.《高等代数在初等数学中的应用》[J].济南:山东教育出版社,1986.[19] 孙学波.《基于正定二次型的一个不等式及其证明》[J],鞍山科技大学学报,2004,27（4）：256-259[20] 屠伯埙,徐诚浩,王芬,高等代数[M].上海：上海科技出版社,1987.351～352.致谢在本次论文设计过程中,感谢我的学校,给了我学习的机会,在学习中,张艳伟老师从选题指导、论文框架到细节修改,都给予了细致的指导,提出了很多宝贵的意见与建议,老师以其严谨求实的治学态度、高度的敬业精神、兢兢业业、孜孜以求的工作作风和大胆创新的进取精神对我产生重要影响.他渊博的知识、开阔的视野和敏锐的思维给了我深深的启迪.这篇论文是在老师的精心指导和大力支持下才完成的感谢所有授我以业的老师,没有这些年知识的积淀,我没有这么大的动力和信心完成这篇论文.感恩之余,诚恳地请各位老师对我的论文多加批评指正,使我及时完善论文的不足之处.谨以此致谢最后,我要向百忙之中抽时间对本文进行审阅的各位老师表示衷心的感谢.。

正定二次型的判别方法

正定二次型的判别方法作者：苏妍来源：《现代盐化工》2019年第02期摘; ;要：二次型是高等代数中的主要内容之一，其理论的应用非常广泛，而正定二次型又是实二次型中一类特殊的二次型。

因此，研究正定二次型的判别具有非常重要的意义。

基于正定二次型的定義，总结给出了正定二次型的几种基本判别方法，其中包括定义法、正惯性指数法、顺序主子式法等并结合例题分析判定的具体应用。

关键词：正定二次型;正定矩阵;顺序主子式;特征值二次型理论来源于解析几何中的化二次曲线以及二次曲面方程为标准方程的问题。

二次型是线性代数的主要内容之一，而正定二次型是实二次型中一类特殊的二次型，它具有特殊的地位。

并且正定二次型在数学与物理的理论研究中也具有很大的实用价值。

因此，研究正定二次型的判别对我们研究二次型有着重要意义。

本文基于正定二次型的定义，研究了正定二次型的几种判别方法，如定义法、正惯性指数法、顺序主子式法及相关的证明，并结合例题给出了每种方法的具体运用。

3; ; 结语二次型作为线性代数中的主要内容之一，其理论的应用非常广泛，而正定二次型又是实二次型中一类特殊的二次型，所以，对正定二次型的研究在今后的学习中具有非常重要的意义。

基于正定二次型的定义及性质，总结出正定二次型的几种判别方法，并结合实例给出具体应用，从而更好地解决问题。

[参考文献][1]张禾瑞，郝鉼新.高等代数[M].北京：高等教育出版社，2007.[2]陈丽，杜海霞.二次型性质的简单应用[J].廊坊师范学院学报：自然科学版，2013，13（1）：8-10.[3]徐仲.高等代数考研教案[M].西安：西北工业大学出版社，2006.[4]费伟劲.线性代数[M].上海：复旦大学出版社，2017.[5]张丹，刘庆平.正定矩阵的性质及相关问题[J].数学理论与应用，2011，31（4）：124-128.[6]张二喜，杨浩，刘高杰.基于正定矩阵等价性的判定方法[J].成都大学学报：自然科学版，2015，34（1）：32-33.。

二次型理论发展史简介

二次型理论发展史简介二次型理论来源于解析几何中化二次曲线及二次曲面方程为标准方程问题，对二次型理论的研究始于18世纪中期。

1748年，瑞士数学家欧拉（Euler，1707-1783)讨论了三元二次型的化简问题。

1826年，数学家柯西开始研究化三元二次型为标准形问题。

他利用特征根概念解决了n元二次型化简问题，并且证明了两个n元二次型f(x1,x2,…,xn)=X T AX,g(x1,x2,…,xn)=X T BX可用非退化线性替换X=CY同时化成标准形。

1801年。

高斯 (Guass)在他的“算术研究”中引进了正定二次型等有关概念。

1852年，西尔维斯特提出了惯性定律，即任何n元实二次型经过非退化线性替换总可以化成规范形y 12+…+yp2-yp+12-…-yr2并且p，r是不变量，但是当时他没有给出证明。

1857年，雅可比证明了这个结果。

1858年，德国数学家维尔斯特拉斯 (Weierstrass，1815一1897)对同时化两个二次型成平方和给出一般方法。

他同时证明了如果二次型之一是正定的，即使某些特征根相等，这个结果也是对的。

1657年，费尔马指出方程x2-Ay2=1(A为非平方正整数)有无穷多整数解，后来，布龙克尔等人给出了求解的试验性方法，但对费尔马的断言没有给出证明。

17651766-1769年，拉格朗日证明了费尔马的结论，并给出一个求解方法，据此方法可得到方程的所有整数解。

更一般地，拉格朗日解出了方程ax2十2bxy十cy2十2dx+2ey+f=0的解，他是通过建立二元二次型的一般理论达到这个目的的。

线性代数二次型

2 2 (1) f 1 ( x1 , x 2 , x3 ) 3 x12 2 x 2 x3 2 x1 x 2 4 x 2 x3 ;
(2) f2 ( x1, x2 , x3 ) 2x1x2 2x2 x32x1x3;
(3) f 3 ( x1 , x 2 , x3 ) x 3 x 5 x .
第六章二次型 1、二次型的理论起源于解析几何中对二次曲线和二次曲面的研究，它在线性系统理论和工程技术的许多领域中都有应用。
2、下面讨论关于n个未知量的二次型的一般形式及其化简问题。
2 2 3. 将f ( x1 , x2 , x3 ) x12 2 x1 x2 6 x1 x3 x2 4 x2 x3 x3
（1）自反性： A~A （2）对称性：， A~B 则 B~A ；（3）传递性： A~B， B~C 则，。 A~C 2)合同矩阵有相同的秩 3)矩阵之间的合同关系与相似关系是两种不同的关系。
例2 设
1 0 1 0 A , B 0 4 , 0 1
则存在可逆矩阵
4）对于二次型我们有定理6.7（主轴定理）实二次型 X T AX X CY化为标准形，即必可由正交变换
f（x1 , x 2 , , x n） X T AX X CY
其中
1 , 2 ,, n 为A的特征值。
2 11 2 2 n 2 2 n
用矩阵表示。
§6.1 二次型及其矩阵表示 1)定义6.1 设F是一个数域，以F中的数作为系数 x1 , x2 ,, xn 的二次齐次多项式
f（x1 , x 2 , x n） a x a1 2 x1 x 2 a1n x1 x
2 11 1
2 a 2 1x 2 x1 a 2 2 x 2 a 2 n x 2 x

第六章-二次型

第六章-二次型第六章二次型二次型就是二次齐次多项式,它的研究起源于解析几何中化二次曲线与二次曲面方程为标准形式的问题。

不仅在几何中,而且在数学的其它分支及物理、力学和网络计算中也常会碰到二次型问题。

在本章中,我们将利用矩阵工具讨论二次型的化简、惯性定理及正定二次型等基本理论。

§1 二次型定义1 n 个变量nx x x ,,,21的二次齐次多项式nn n x x a x x a x x a x a x x x f 1131132112211121222),,,(++++=+nn x x a x x a x a223223222222++++…+)1.1(2nnn x a称为一个n 元二次型, 简称二次型。

当所有系数ija 为复数时,f 称为复二次型；当ija 都为实数时, f 称为实二次型。

本章中只讨论实二次型。

取jia =ija (nj i j i ,,2,1,,=<)则有 ij jijiijj i ij x x a x x a x x a +=2从而(1.1)式可写成∑==nj i ji ijn x x ax x x f 1,21),,,(=n n x x a x x a x a1121122111+++ nn x x a x a x x a 2222221221+++++ (2)2211nnn n n n n x a x x a x x a ++++=)(12121111n n x a x a x ax +++ )(22221212n n x a x a x a x +++++…)(2211n nn n n nx a x a x ax ++++=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛+++++++++n nn n n n n n n n x a x a x a x a x a x a x a x a x a x x x22112222121121211121),,,(=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎪⎪⎭⎫ ⎝⎛n nn n n n n n x x x a a a a a a a a a x x x 2121222211121121),,,(令⎪⎪⎪⎪⎪⎭⎫⎝⎛=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛=n nn n n n n x x x X a a a a a a a a a A21212222111211则用矩阵将二次型(1.1)可写成AX X x x x f n'=),,,(21（1.2）其中nn ijaA ⨯=)(为实对称矩阵,它的主对角线元素iia成立。

化二次型为标准形的方法

化二次型为标准形的方法内容摘要:高等代数作为我们数学专业的一门重要的基础课。

它以线性空间为背景，以线性变换为方法，以矩阵为工具，着重研究线性代数的问题。

二次型式多元二次函数，其内容本属于函数的讨论范围，然而二次型用矩阵表示之后，用矩阵方法讨论函数问题，使得二次型的问题变得更加简洁明确，二次函数的内容也更加丰富多彩。

而我们要讨论的是如何化二次型为标准形，也就是用矩阵方法把对称矩阵合同与对角矩阵。

二次型是高等代数的重要内容之一，二次型的基本问题是要寻找一个线性替换把它变成平方项，即二次型的标准形。

下面介绍了一些化二次型为标准形的方法：配方法，交变换法，初等变换法，雅可比方法，偏导数法关键词：二次型线性替换矩阵标准形导言：二次型的理论来源于解析几何中二次曲线、二次曲面的化简问题。

二次型是学中的一个极其重要的问题，这个问题不仅在数学上，而且在物理学，工程学，经济学领域都有广泛的应用。

在研究时为了研究的方便，我们经常要化二次型为标准形。

我们知道，任一二次型和某一对称矩阵是相互唯一确定的，而任一实对称矩阵都可以化为一对角矩阵，相应的以实二次型都可以化为标准形，以下就是化二次型为标准形的几种方法，通过典型例题，体会二次型问题时的多样性和灵活性。

化二次型为标准形的方法一．配方法配方法是解决这类问题时另一个常用方法，通过观察对各项进行配方，其实质就是运用非退化的线性替换。

使用配方法化二次型为标准形时，最重要的是要消去像()i j x x i j ≠这样的交叉项，其方法是利用两数的平方和公式和两数的平方差公式逐步的消去非平方项并构造新的平方项。

定理:数域P 上任意一个二次型都可以经过非退化的线性替换变成平方和2221122...n n d x d x d x +++的形。

1.如果二次型含有i x 的平方项，那么先把含有i x 的乘积项集中，然后再配方，再对其余的项同样进行，直到都配成平方项为止，写出前面过程所经过的所有非退化的线性替换，就将二次型化为标准形了。

二次型论文

绥化学院本科毕业设计（论文）二次型及应用学生姓名：学号：年级：指导教师：Suihua University Graduation PaperQuadratic Form and Its ApplicationsStudent numberMajorSupervising teacherSuihua University摘要二次型是线性代数的重要内容之一，二次型的理论起源于解析几何学中二次曲线方程和二次曲面方程化为标准形问题．首先，介绍了二次型的基本理论，然后研究了二次型的应用，包括在多元函数极值、线性最小二乘法、证明不等式以及二次曲线中的应用．一些矩阵的问题可以转化为二次型，用二次型的方式去解决，方便而快速．关键词：二次型；标准型；矩阵；应用AbstractQuadratic form is one of the import contents in linear algebra, which originated from problem of put quadratic curve equation and quadric equation into standard form in analytic geometry. Firstly, the paper introduces basic theories. Secondly, the paper studies applications of quadratic form, including extremum problems of multi-variable functions, linear least square method, proving inequality and quadratic curve. Some problem can be converted into quadratic form to solve, which is convenient and fast.Key words: quadratic form; standard form; matrix; applications目录摘要 (II)Abstract ................................................................................................................................. I II 第1章二次型的基本理论 . (1)第1节二次型的概念及相关定义 (2)第2节替换后的二次型与原二次型的关系 (3)第3节写出二次型的方法 (3)第4节二次型的标准型 (4)第5节二次型在复数域下的规范型 (8)第6节二次型的一般定理 (10)第2章二次型的应用 (12)第1节多元函数极值 (12)第2节线性最小二乘法 (15)第3节证明不等式 (17)第4节二次曲线 (19)结论 (21)参考文献 (22)致谢 ...................................................................................................... 错误!未定义书签。

1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。

第八章二次型二次型理论起源于解析几何中的化二次曲线和二次曲面方程为标准形的问题，这一理论在数理统计、物理、力学及现代控制理论等诸多领域都有很重要的应用. 本章主要介绍二次型的基本概念,讨论化二次型为标准形及正定二次型的判定等问题.§8.1 二次型及其矩阵表示在解析几何中,我们曾经学过二次曲线及二次曲面的分类,以平面二次曲线为例,一条二次曲线可以由一个二元二次方程给出：220ax bxy cy dx ey f +++++= (1.1) 要区分(1.1)式是哪一种曲线(椭圆、双曲线、抛物线或其退化形式),我们通常分两步来做:首先将坐标轴旋转一个角度以消去xy 项, 再作坐标的平移以消去一次项. 这里的关键是消去xy 项,通常的坐标变换公式为:cos sin sin cos x x y y x y θθθθ''=-⎧⎨''=+⎩(1.2)从线性空间与线性变换的角度看,(1.2)式表示平面上的一个线性变换.因此二次曲线分类的关键是给出一个线性变换,使(1.1)式中的二次项只含有平方项.这种情形也在空间二次曲面的分类时出现,类似的问题在数学的其它分支、物理、力学中也会遇到. 为了讨论问题的方便,只考虑二次齐次多项式.定义8.1.1 设f 是数域P 上的n 元二次齐次多项式:2121111212112222232322221,111,1(,,,)22222n n nn nn n n n n n n nn nf x x x a x a x x a x x a x a x x a x x a x a x x a x -----=+++++++++++ (1.3)称为数域P 上的n 元二次型,简称二次型. 如果数域P 为实数域R ,则称f 为实二次型; 如果数域P 为复数域C ,则称f 为复二次型; 如果二次型中只含有平方项,即222121122(,,,)n n n f x x x d x d x d x =+++称为标准形式的二次型,简称为标准形.说明: 在这个定义中,非平方项系数用2ij a 主要是为了以后矩阵表示的方便. 例8.1.2 下列多项式都是二次型:22222(,)33(,,)22343f x y x xy y f x y z x xy xz y yz z=++=+-++-下列多项式都不是二次型:2232(,)3321(,,)22431f x y x xy y x f x y z x xy yz z =++-+=+---定义8.1.3 设1212,,,;,,,n n x x x y y y 是两组文字,系数在数域P 中的一组关系式11111221221122221122n n n nn n n nn nx c y c y c y x c y c y c y x c y c y c y =+++⎧⎪=+++⎪⎨⎪⎪=+++⎩ (1.4)称为由12,,,n x x x 到12,,,n y y y 的一个线性替换,或简称线性替换. 如果系数行列式0ij c ≠,那么线性替换(1.4)就称为非退化的.在研究二次型时,矩阵是一个有力工具,因此我们先把二次型用矩阵来表示. 令 ij ji a a =, 则有 2ij i j ij i j ji j i a x x a x x a x x =+, 于是(1.3)式可以改写为21211112121122121222222112211111221221122221122(,,,)()()()n n nn nn n n n nn n n n n n n n n nn n f x x x a x a x x a x x a x x a x a x x a x x a x x a x x a x a x a x x a x a x a x x a x a x a x =++++++++++++=++++++++++++111122121122221211221112112122221212(,,,)(,,,)n n n n n n n nn n n n n n n nn n a x a x a x a x a x a x x x x a x a x a x a a a x a a a x x x x a a a x +++⎛⎫⎪+++ ⎪= ⎪ ⎪+++⎝⎭⎛⎫⎛⎫ ⎪⎪ ⎪⎪= ⎪⎪ ⎪⎪⎝⎭⎝⎭记 11121121222212,n n n n nn n a a a x a a a xA x a a a x ⎛⎫⎛⎫ ⎪ ⎪⎪ ⎪== ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭则二次型可记为 Tf x x =A , (1.5) 其中A 是对称矩阵. 称(1.5)式为二次型的矩阵形式.例8.1.4 二次型 222(,,)22343f x y z x xy xz y yz z =+-++-的矩阵形式为323221(,,)(,,)11223x f x y z x y z y z ⎛⎫-⎛⎫⎪ ⎪= ⎪ ⎪ ⎪⎪--⎝⎭⎝⎭说明: 任给一个二次型就唯一地确定一个对称矩阵. 反之,任给一个对称矩阵可唯一地确定一个二次型. 因此, 二次型与对称矩阵之间有着一一对应的关系. 把对称矩阵A 称为二次型f 的矩阵,也把f 称为对称矩阵A 的二次型. 称对称矩阵A 的秩为二次型的秩.例8.1.5 给定对称矩阵1213223113303104--⎛⎫ ⎪-⎪= ⎪- ⎪--⎝⎭A 则其对应的二次型为:2222123411213142232434(,,,)42626234f x x x x x x x x x x x x x x x x x x =+--++-++对于二次型T f x x =A ,作线性替换x y =C ,其中11121121222212,n n n n nn n c c c y c c c y y c c c y ⎛⎫⎛⎫⎪ ⎪ ⎪ ⎪== ⎪ ⎪⎪ ⎪⎝⎭⎝⎭C 则 ()()()T T T T T T f x x y y y y y y ====A C A C C AC C AC令 T=B C AC , 则有()()T T T T T T T T ====B C AC C A C C AC B ,即B 是对称矩阵.这样, 对称矩阵B 同样定义了一个二次型. 于是, 线性替换将二次型化为二次型. 定义8.1.6 设A,B 是数域P 上的n 阶方阵,如果有数域P 上的n 阶可逆矩阵C ,使得T =C AC B则称矩阵A 与B 合同, 记作AB .合同是矩阵之间的一个关系.易知,合同关系具有: (1) 反身性: 即A 与A 合同，因为T=A E AE ;(2) 对称性: 即若A 与B 合同，则B 与A 合同，因为由T=B C AC ,即得11()T --=A C BC ;(3) 传递性: 即若A 与B 合同，B 与C 合同，则A 与C 合同，由11T =B C AC 和22T =C C BC ,即得221212()()T T ==C C BC C C A C C .说明: 经过非退化的线性替换,新二次型的矩阵与原二次型的矩阵是合同的. 这样, 我们就把二次型的变换通过矩阵表示出来,为以后的讨论提供了有力的工具.另外，在二次型变换时,我们总是要求所作的线性替换是非退化的, 因为这样我们可以把所得的二次型还原. 定理8.1.7 若A 与B 合同,则rank rank =A B .证明: 因为A 与B 合同,所以存在n 阶可逆矩阵C ,使得T =C AC B由于可逆矩阵乘以矩阵两边不改变矩阵的秩,故rankA rankB =.说明: 这个定理给我们化二次型为标准形提供了保证. 这样,若B 是对角矩阵,则非退化的线性替换x y =C 就把二次型化为了标准形. 因此, 把二次型化为标准形的问题其实质是: 对于对称矩阵A ,寻找可逆矩阵C ,使得T=C AC B 为对角矩阵.§8.2 化二次型为标准形现在来讨论用非退化的线性替换化简二次型的问题. 1 配方法定理8.2.1 数域P 上任意一个二次型都可以经过非退化的线性替换化为标准形,即只含有平方项.证明: 对变量的个数n 作数学归纳法.对于1n =,二次型就是21111()f x a x =, 显然已经是平方项了. 现假定对1n -元的二次型,定理的结论成立.再设 1211(,,,)()n nn ij i j ij ji i j f x x x a x x a a ====∑∑分三种情形来讨论: (1) (1,2,,)ii a i n =中至少有一个不为零,例如110a ≠,这时2121111111222221111122212121111111112222121111112(,,,)2()()()nnnnn j j i i ij i jj i i j nnnj j ij i jj i j nnnnj j j j ij i jj j i j njj ij i jj j f x x x a x a x x a x x a x x a x a x x a x x a x a a x a a x a x x a x a a x b x x =======--====-===+++=++=+-+=++∑∑∑∑∑∑∑∑∑∑∑∑22n ni =∑∑这里1211122222()n nn n nij ijj j ij i j i j j i j b x xa a x a x x -======-+∑∑∑∑∑是一个关于23,,,n x x x 的二次型.令111111222nj j j n ny x a a x y x y x -=⎧=+⎪⎪⎪=⎨⎪⎪=⎪⎩∑ 即111111222n j jj n nx y a a y x y x y -=⎧=-⎪⎪⎪=⎨⎪⎪=⎪⎩∑ 这是一个非退化线性替换,它使21211122(,,,)n nn ij i j i j f x x x a y b y y ===+∑∑由归纳法假定,对22n nijiji j b y y==∑∑有非退化的线性替换22222332332233332233n n n n n n n nn nz c y c y c y z c y c y c y z c y c y c y =+++⎧⎪=+++⎪⎨⎪⎪=+++⎩能使它变成平方和2222233n n d z d z d z +++于是非退化线性替换11222223322233n n n n n nn nz y z c y c y c y z c y c y c y =⎧⎪=+++⎪⎨⎪⎪=+++⎩就使12(,,,)n f x x x 变成2222121112233(,,,)n n n f x x x a z d z d z d z =++++即变成平方和了.根据归纳法原理,定理得证.(2) 所有(1,2,,)ii a i n =都等于零,但是至少有一个10(2,3,,)j a j n ≠=,不失普遍性, 设120a ≠.令11221233n nx z z x z z x z x z =+⎧⎪=-⎪⎪=⎨⎪⎪=⎪⎩ 它是非退化线性变换,且使12121212121222121122(,,,)22()()22n f x x x a x x a z z z z a z a z =+=+-+=-+这时,上式右端是12,,,n z z z 的二次型,且21z 的系数不为零,属于第一种情况,定理成立.(3) 111210n a a a ====,由对称性知213110n a a a ====这时1222(,,,)nnn ij i j i j f x x x a x x ===∑∑是1n -元的二次型, 根据归纳法假定,它能用非退化线性替换变成平方和. 证毕. 例8.2.2 用配方法化二次型222123123121323(,,)25226f x x x x x x x x x x x x =+++++为标准形,并写出所用的非退化线性替换. 解: 由定理的证明过程,令11232233y x x x y x y x=++⎧⎪=⎨⎪=⎩, 即 11232233x y y y x y x y=--⎧⎪=⎨⎪=⎩ 得: 22212312233(,,)44f x x x y y y y y =+++ 上式右端除第一项外已不再含1y , 继续配方,令11223332z y z y y z y=⎧⎪=+⎨⎪=⎩, 即 11223332y z y z z y z=⎧⎪=-⎨⎪=⎩ 得: 2212312(,,)f x x x z z =+ 所有的非退化线性替换为1123223332x z z z x z z x z=-+⎧⎪=-⎨⎪=⎩ 例8.2.3 用配方法化二次型1234121314232434(,,,)22f x x x x x x x x x x x x x x x x =-+-+-为标准形,并写出所用的非退化性替换. 解: 由定理的证明过程, 令1122123344x y y x y y x y x y =+⎧⎪=-⎪⎨=⎪⎪=⎩ 代入原二次型得:22123412131434(,,,)22222f x x x x y y y y y y y y =--+-这时21y 项不为零,于是2212341131423422221343434234222213423344222134234(,,,)(222)22111112[()]222244211112()222221112()2()222f x x x x y y y y y y y y y y y y y y y y y y y y y y y y y y y y y y y y =-+--=-+--+--=-+----=-+--+ 令113422334441122z y y y z yz y y z y ⎧=-+⎪⎪⎪=⎨⎪=+⎪=⎪⎩ 于是, 22212341231(,,,)222f x x x x z z z =-- 其中24z 的系数为零,故没有写出.为求非退化线性替换, 我们可将第二个替换代入第一个替换中, 得1123421234334441212x z z z z x z z z zx z z x z ⎧=++-⎪⎪⎪=-+-⎨⎪=-⎪⎪=⎩ 说明: 在用配方法化二次型为标准形时,必须保证线性替换是非退化的. 有时,我们在配方过程中会遇到看似简单的方法,但得到的结果未必正确.如222123123121323222121323(,,)222222()()()f x x x x x x x x x x x x x x x x x x =++-++=-++++若令112213323y x x y x x y x x=-⎧⎪=+⎨⎪=+⎩ 则222123123(,,)f x x x y y y =++.然而, 1101010011-= 所以, 此处所作的线性替换是退化的,于是最后的结果并不是所求的. 2 初等变换法由于二次型与对称矩阵一一对应, 所以能用非退化线性替换化标准形的过程也可以用矩阵的方法做到, 由§8.1我们知道,矩阵合同可以将矩阵化为对角阵.于是,定理8.2.1可以用矩阵的语言描述出来.定理8.2.4 数域P 上任意一个对称矩阵A 都合同于一对角矩阵D . 即存在可逆矩阵C , 使得12Tn d d d ⎛⎫⎪⎪== ⎪ ⎪⎝⎭C ACD (2.1) 现在我们就根据定理8.2.4, 讨论用矩阵的初等变换来求定理8.2.4中的可逆矩阵C 及对角矩阵D . 由前面的知识,我们知道,可逆矩阵C 可以表示为有限个初等矩阵12,,,mP P P 的乘积,即 1212m m ==C P P P EP P P (2.2)将(2.2)式代入(2.1)式, 得 2112TT Tm m =P P P AP P P D (2.3)(2.3)式表明,对对称矩阵A 施行m 次初等行变换及相同的m 次初等列变换, A 就变为了对角矩阵D . 而(2.2)式表明对单位矩阵E 施行上述的初等列变换, E 就变为可逆矩阵C . 这种利用矩阵的初等变换求可逆矩阵C 及对角矩阵D ,使得A 与D 合同的方法称为初等变换法. 具体做法: 对以n 阶对称矩阵A 和n 阶单位矩阵E 做成的2n n ⨯矩阵进行初等变换2A n n ⨯⎛⎫⎛⎫−−−−−−−−−−→ ⎪ ⎪⎝⎭⎝⎭对施行初等行变换对矩阵施行相同的初等列变换A D E C 则T=C AC D . 例8.2.5 已知对称矩阵111123135⎛⎫⎪= ⎪ ⎪⎝⎭A用初等变换法求可逆矩阵C 及对角矩阵D ,使得A 与D 合同.解: 31212131(1)(1)(1)(1)111101100123012012135125024100110111010010010001001001r r r r c c c c +-+-+-+-⎛⎫⎛⎫⎛⎫⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎛⎫=−−−−→−−−−→⎪ ⎪ ⎪ ⎪---⎝⎭ ⎪ ⎪ ⎪ ⎪⎪⎪⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭A E3232(2)(2)100010000111012001r r c c +-+-⎛⎫ ⎪ ⎪ ⎪−−−−→ ⎪- ⎪ ⎪- ⎪ ⎪⎝⎭所求可逆矩阵C 及对角矩阵D 为:111100012,010001000-⎛⎫⎛⎫⎪ ⎪=-= ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭C D且T=C AC D . 例8.2.6 已知二次型123121323(,,)226f x x x x x x x x x =+-用初等变换法将其化为标准形,并求非退化的线性替换.. 解: 二次型对应的矩阵为:011103130⎛⎫ ⎪=- ⎪ ⎪-⎝⎭A于是有,21121221121()211()2212011212202103103021302302201001001001011010001001001r r r r c cc c +-+++---⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪---- ⎪ ⎪ ⎪⎪ ⎪ ⎪-----⎛⎫=−−−→−−−−→ ⎪ ⎪ ⎪ ⎪-⎝⎭ ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭A E 313231321122(4)11(4)221122200200020002200611131*********r r r r c c c c ++-++-⎛⎫⎛⎫⎪ ⎪---⎪⎪ ⎪ ⎪--−−−→−−−−→ ⎪ ⎪-- ⎪ ⎪ ⎪ ⎪- ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭故非退化线性替换为11121222331311001x y x y x y -⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪=-⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭这样,二次型化为2221231262f y y y =-+ §8.3 惯性定理我们知道, 二次型与对称矩阵一一对应,并且对称矩阵可以合同化为对角矩阵. 又因为合同不改变矩阵的秩, 这样一来, 任意一个对称矩阵合同的对角矩阵对角线上不为零的元素的个数是不变的,就是矩阵的秩. 因此, 在一个二次型的标准形中,系数不为零的项的个数是唯一确定的, 与所作的非退化的线性替换无关. 至于标准形中的系数, 就不是唯一确定的.比如在例8.2.6中, 我们还可以进一步,令11223322,,62z y z y z y ==-=则二次型化为 222123f z z z =-+.这说明, 在一般的数域内, 二次型的标准形不是唯一的, 而与所作的非退化的线性替换有关. 下面只就实数域和复数域的情形来进一步讨论唯一性的问题.设对称矩阵A 的秩为r ,则由定理8.2.4知, 存在可逆矩阵C ,使得矩阵A 合同于对角矩阵D , 即1,0,1,2,,00rTi d d d i r ⎛⎫ ⎪ ⎪ ⎪==≠=⎪ ⎪ ⎪ ⎪ ⎪⎝⎭C AC D即此时原二次型化为 222212112233(,,,)n r r f x x x d x d x d x d x =++++ (3.1)在这些不为零的i d 中,假设12120,0,,0;0,0,,0p p p r d d d d d d ++>>><<<,这样(1) 在实数域内, 我们令111222111222,,,,,,,p p p p p p p p p r r ry d x y d x y d x y d x y d x y d x ++++++====-=-=-则(3.1)式变为: 222222121212(,,,)n p p p r f x x x y y y y y y ++=+++---这就是说对称矩阵A 合同于下列对角矩阵:111,10⎛⎫⎪⎪ ⎪ ⎪- ⎪⎪ ⎪- ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭其中有p 个1, r p -个1-,n r -个0. (2) 在复数域内, 我们令111222,,,r r r y d x y d x y d x ===则(3.1)式变为: 2221212(,,,)n r f x x x y y y =+++这就是说对称矩阵A 合同于下列对角矩阵:11,00⎛⎫ ⎪ ⎪ ⎪⎪ ⎪ ⎪ ⎪ ⎪⎝⎭其中有r 个1. 定义8.3.1 在实数域内, 称222222121212(,,,)n p p p r f x x x y y y y y y ++=+++---为实二次型的规范形; 在复数域内, 称2221212(,,,)n r f x x x y y y =+++为复二次型的规范形.定理8.3.2 (惯性定理) 设12(,,,)n f x x x 是一个n 元实二次型,且f 可化为两个规范形:2222221212p p p r y y y y y y +++++---, 2222221212q q q r z z z z z z +++++---则必有 p q =.证明: 用反证法. 设p q >, 由前面知识知,22222212122222221212p p p r q q q ry y y y y y z z z zzz +++++++---=+++--- (3.2)又设 ,x y x z ==B C其中 111222,,n n n x y z x y z x y z x y z ⎛⎫⎛⎫⎛⎫ ⎪ ⎪ ⎪ ⎪ ⎪ ⎪=== ⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭于是, 1z y -=C B .令1112121222112n n n n nn c c c c c c c c c -⎛⎫⎪ ⎪=⎪⎪⎝⎭C B 则 11111221221122221122n n n nn n n nn nz c y c y c y z c y c y c y z c y c y c y =+++⎧⎪=+++⎪⎨⎪⎪=+++⎩因为p q >,齐次线性方程组111122121122221122100000n n n n q q qn n p n c y c y c y c y c y c y c y c y c y y y +⎧+++=⎪+++=⎪⎪⎪⎪+++=⎨⎪=⎪⎪⎪=⎪⎩ 必有非零解(n 个未知数,()n p q --个方程式). 令其中一个非零解为:11221,,,,0,,0p p p n y a y a y a y y +=====把这组解代入(3.2)式中的上式, 得到:22222222121120p p r p y y y y y a a a ++++---=+++> 但这时120q z z z ====,故(3.2)式中的下式为222222212110q q r q r z z z z z z z +++++---=---≤这样就得出了矛盾. 同理可证 p q <也不可能. 于是 p q =.证毕.说明: 这个定理表明了实二次型的规范形是唯一的. 定义8.3.3 在实二次型的规范形222222121212(,,,)n p p p r f x x x y y y y y y ++=+++---中, 则称r 是该二次型的秩,p 是它的正惯性指数,q r p =-是负惯性指数, s p q =-称为f 的符号差.推论8.3.4 两个实二次型合同当且仅当它们有相同的秩和正惯性指数. 定理8.3.5 设12(,,,)n f x x x 是一个n 元复二次型,则f 经过适当的非退化线性替换可以化为规范形,且规范形是唯一的.推论8.3.6两个复二次型合同当且仅当它们有相同的秩.§8.4 正定二次型在实二次型中,正定二次型占有特殊的地位. 所以本节主要介绍实二次型,并讨论它们的正定性.定义8.4.1 设12(,,,)T n f x x x x x =A 是一个n 元实二次型, 如果对任意n 维列向量0x ≠都有:(1) 0f >,则称f 为正定二次型,并称实对称矩阵A 为正定矩阵; (2) 0f <,则称f 为负定二次型,并称实对称矩阵A 为负定矩阵; (3) 0f ≥,则称f 为半正定二次型,并称实对称矩阵A 为半正定矩阵;(4) 0f ≤,则称f 为半负定二次型,并称实对称矩阵A 为半负定矩阵;(5) f 既不满足(3) ,又不满足(4) ,则称f 为不定二次型,并称实对称矩阵A 为不定矩阵. 例8.4.2 已知A 和B 都是n 阶正定矩阵,证明+A B 也是正定矩阵. 证明: 因为A 和B 都是n 阶正定矩阵,所以,T T ==A A B B ,于是()T T T +=+=+A B A B A B即+A B 也是对称矩阵.又任意0x ≠,有0,0,T T x x x x >>A B 从而()0T T T x x x x x x +=+>A B A B即()T x x +A B 是正定二次型,故+A B 是正定矩阵. 定理8.4.3 n 元实二次型12(,,,)T n f x x x x x =A 正定的充分必要条件是它的正惯性指数等于n .证明: 设n 元实二次型12(,,,)T n f x x x x x =A 经过非退化线性替换x y =C 化为标准形21ni i i f d y ==∑充分性. 已知0(1,2,,)i d i n >=,对于任意0x ≠有10y x -=≠C ,故210ni i i f d y ==>∑必要性. 用反证法.假设有某个0t d ≤,当取(0,,1,,0)T t y ε==时,有0t x ε=≠C ,此时0T T T t t t f x x d εε===≤A C AC这与已知f 为正定二次型矛盾.故0(1,2,,)i d i n >=. 证毕.推论8.4.4 实对称矩阵A 为正定矩阵的充分必要条件是A 的特征值全为正数. 推论8.4.5 实对称矩阵A 为正定矩阵的充分必要条件是A 合同于单位矩阵E . 推论8.4.6 实对称矩阵A 为正定矩阵的必要条件是det 0>A .证明: 因为A 为正定矩阵,由推论8.4.5, A 合同于单位矩阵E ,所以有可逆矩阵C 使T T ==A C EC C C两边取行列式,有2det det()det det (det )0T T ===>A C C C C C说明: 从定义可以看出,如果我们根据定义来判断二次型的正定性是比较麻烦的.所以我们下面给出一个方便判断的结论. 定义8.4.7 子式111212122212,(1,2,,)i i i i i iia a a a a a i n a a a ∆==称为矩阵()ij n n a ⨯=A 的顺序主子式. 定理8.4.8 n 元实二次型12(,,,)T n f x x x x x =A 正定的充分必要条件是矩阵的顺序主子式全大于零. 证明: 1211(,,,)n nTn ij i j i j f x x x x x a x x ====∑∑A必要性. 已知二次型f 是正定的.令1211(,,,)(1,2,,)k kk k ij i j i j f x x x a x x k n ====∑∑则对任意的列向量12(,,,)0T k x x x ≠,有 1212(,,,)(,,,,0,,0)0(1,2,,)k k k f x x x f x x x k n =>=从而12(,,,)k k f x x x 是k 元正定二次型.由上面的推论8.4.6知,1112121222120,(1,2,,)k k k k k kka a a a a a k n a a a ∆=>=充分性. 已知0(1,2,,)k k n ∆>=.对阶数n 作数学归纳法. 当1n =时,2111f a x =,由1110a ∆=>知f 是正定的. 假设论断对1n -元二次型成立. 以下来证n 元二次型的情形.注意到1110a ∆=>,将f 关于1x 配方,得2111122122111()n nn n ij i j i j f a x a x a x b x x a ===++++∑∑其中 1111(,2,3,,)i j ij ij a a b a i j n a =-=由ij ji a a =知ij ji b b =.如果能证明1n -元实二次型22k kij iji j b x x==∑∑是正定的, 则由定义知f 也是正定的. 根据行列式性质,得11121111212222122222211111122,3,,1220(2,3,,)0k k nk k i k i k kki nk k kkk kka a a a a ab b a a a b b a r r a k n a b b a a a b b =∆=-==从而22220(2,3,,)nk kkb b k n b b >=由归纳假设知1n -元实二次型22kkij iji j b x x==∑∑是正定的. 证毕.例8.4.9 判断下列二次型的正定性.22212312132355484f x x x x x x x x x =+++--解: 二次型f 的矩阵为524212425-⎛⎫ ⎪- ⎪ ⎪--⎝⎭因为 1235245250,10,2121021425-∆=>∆==>∆=-=>--.所以f 是正定的.例8.4.10 试求t 的取值范围,使下列二次型为正定二次型.22221234121323443224f x x x x tx x x x x x =++++-+;解: 二次型对应的矩阵为11042012400003t t -⎛⎫ ⎪ ⎪= ⎪- ⎪⎝⎭A 矩阵A 的顺序主子式为2123411110,4,424(1)(2),112411042012(1)(2)12400003t tt t t t t t t t t -∆=>∆==-∆==--+--∆==--+-为了使A 正定,必须有: 0(1,2,3,4)i i ∆>= 即有 240,(1)(2)0t t t ->-+< 解得 21t -<<.最后,我们注意到正、负定二次型的关系,于是有下面的结论. 定理8.4.11 n 元实二次型12(,,,)T n f x x x x x =A 负定的充分必要条件是下列条件之一成立.(1) f 的负惯性指数为n ; (2) A 的特征值全为负数; (3) A 合同于E -;(4) A 的各阶顺序主子式负正相间,即奇数阶顺序主子式为负数,偶数阶顺序主子式为正数. 定理8.4.12 n 元实二次型12(,,,)T n f x x x x x =A 半正定的充分必要条件是下列条件之一成立.(1) f 的正惯性指数与秩相等; (2) A 的特征值全为非负数; (3) A 合同于r ⎛⎫⎪⎝⎭000E ,其中r 为矩阵A 的秩; (4) 存在实矩阵C 使得T=A C C ;(5) A 的各阶主子式都非负,其中主子式就是指行指标与列指标相同的子式. 说明: 仅有顺序主子式非负是不能保证半正定性的. 如1212212200(,)(,)01x f x x x x x x ⎛⎫⎛⎫=-= ⎪ ⎪-⎝⎭⎝⎭就是一个反例.习题八(A)1. 证明：秩等于r 的对称矩阵等于r 个秩为1的对称矩阵之和.2. 设12,,,i i in λλλ是12,,,n λλλ的一个排列，则下面两个对角阵12n λλλ⎛⎫⎪ ⎪ ⎪ ⎪⎝⎭与 12i i in λλλ⎛⎫⎪⎪ ⎪ ⎪⎝⎭合同。