正定矩阵的判定方法及正定矩阵在三个不等式证明中的应用

正定矩阵的判定方法及正定矩阵在三个不等式证明中的应用作者：袁亮（西安财经大学）摘要: 本文从正定矩阵的的定义出发，给出了正定矩阵的若干判定定理及推论，并给出了正定矩阵在柯西、Holder、Minkowski三个不等式证明中的应用.关键词: 正定矩阵，判定，不等式，应用Abstract: In this paper, we mainly introduce some decision theorem and inference based on the definition of positive definite matrices and give the application of positive definite matrices in the proving on Cauchy、Holder、and Minkowski inequality.Keywords: positive definite matrix,determine,inequality,application目 录1 引言...........................................................................4 2 正定矩阵的判定方法......................................................4 2.1 定义判定 ..................................................................5 2.2 定理判定 ..................................................................6 2.3 正定矩阵的一些重要推论.............................................11 3 正定矩阵在三个不等式证明中的应用 ..............................15 3.1 证明柯西不等式 ......................................................15 3.2 证明H o l d e r 不等式...................................................16 3.3 证明M i n k ows k i 不等式................................................18 结束语...........................................................................21 参考文献 (22)1 引言代数学是数学中的一个重要的分支，而正定矩阵又是高等代数中的重要部分．特别是正定矩阵部分的应用很广泛， n 阶实对称正定矩阵在矩阵理论中，占有十分重要的地位．它在物理学、概率论以及优化控制理论[]2中都得到了重要的应用，而本文只提供解决正定矩阵判定问题的方法，并阐明它在数学分析中三个重要不等式证明中的应用.正定矩阵的一般形式是,设A 是n 阶实对称矩阵，若对任意n R x ∈，且0≠x ，都有0>Mx x T 成立[]2.本文从正定矩阵的定义，给出正定矩阵的判定定理，并给出正定矩阵的重要推论，这些重要推论对计算数学中的优化问题有着重要的作用，并在矩阵对策，经济均衡，障碍问题[]3的研究中具有很实用的价值.同时还介绍正定矩阵在三个不等式证明中的应用，其一是用正定矩阵证明著名的柯西不等式，其二是用正定矩阵的性质给出Holder 不等式的一个新的证明，其三是运用正定矩阵的两个引理证明Minkowski 不等式，这三个应用说明正定矩阵运用的广泛性和有效性.以上这些正定矩阵的研究只局限在正定矩阵的理论分析方面，它的一些实际方面的应用还有待笔者和一些学者去探索挖掘.2 正定矩阵的判定方法 2.1 定义判定设A =()ij a ,(其中ij a ∈C,i,j =1,2,…，n ), A 的共轭转置记为*A =()ji a定义1[]1 对于实对称矩阵A =()ij a ,（其中ij a ∈R,i,j =1,2,…，n ）若对于任意非零列向量X ，都有T X A X >0,则称A 是正定矩阵.定义2[]1 对于复对称矩阵A =()ij a ,（其中ij a ∈C,i,j =1,2,…，n ）若对于任意非零列向量X ，都有*X A X >0,则称A 是正定矩阵．例1 设A 为m 阶实对称矩阵且正定，B 为m ×n 实矩阵，T B 为B 的转置矩阵，试证 AB B T 为正定矩阵的充要条件是B 的秩r （B ）=n.证 [必要性] 设AB B T 为正定矩阵，则对任意的实n 维列向量0≠x ， 有()0>x AB B x T T ，即()()0>Bx A Bx T .于是0≠Bx ，因此，0=Bx 只有零解，从而()n B r =.[充分性] 因()AB B B A B ABBT T T TT==,即AB B T 为实对称矩阵.若秩()n B r =，则线性方程组0=Bx 只有零解，从而对任意实n 维向量0≠x 有0≠Bx .又A 为正定矩阵，所以对于0≠Bx ，有()0>ABx Bx T ,于是当0≠x 时，()0>x AB B x T T .故AB B T 为正定矩阵.例2[]3 设 A 是 n 阶正定矩阵，B 是 n ×m 实矩阵，B 的秩为 m ，证明 ：B 'AB 是正定矩阵.证 因为（B 'AB ）'=B 'A 'B=B 'AB,故 B 'AB 是实对称矩阵，其次，由于秩 B=m ，m ≤n.故 BX=0 只有零解 ，因此，若任取非零实列向量 X 必有 BX ≠0，因 A 是正定矩阵，故对任取的非零实列向量 X ，必有X '（B 'AB ）X=(BX)'A(BX)>0.因此 B 'AB 是正定矩阵.注意 以上两个例子，是运用正定矩阵的定义来证明的.还提供了利用实矩阵来构造正定矩阵的方法.具体是，若 A 不是方阵，也不对称时，A 'A ，AA '是正定矩阵，若 A 是方阵，但不对称，则 A+A '是正定矩阵，同时，在证明的过程中，我们也看到了齐次线性方程组解的理论在正定二次型的理论中的应用.2.2 定理判定定理1[]1 n 阶实对称矩阵A 正定，当且仅当实二次f (1x ,2x ,…,n x )=T X A X 的正惯性指数为n ．证 设实二次型f(1x ,2x ,…,n x )经过非退化线性变换得1a 21x +2a 22x +…+n a 2n x . （2.1）由于非退化实线性变换保持正定性不变，那么A 正定当且仅当（2.1）是正定的，由定义3知（3.1）正定当且仅当i a >0(n i ,,2,1 =)，因此，正惯性指数为n. .定理2[]1 实对角矩阵⎪⎪⎪⎪⎪⎭⎫⎝⎛n d d d21正定的充分必要条件是i d >0，(n i ,,2,1 =).证 由定理3.1得，实对称矩阵正定当且仅当二次型f(1x ,2x ,…，n x )=1d 21x +2d 22x +…+n d 2n x .的正惯性指数为n ，因此，i d >0（i =1,2,…,n,）．例3 设A 为n 阶实对称矩阵，证明：秩（A ）=n 的充分必要条件为存在一个n 阶实矩阵B ，使A B AB T +是正定矩阵.证 [充分性]（反证法）反设()n A r <，则0=A .于是0=λ是A 的特征值，假设相应的特征向量为x ， 即()00≠=x Ax ,所以0=T T A x .所以()0=+=+Ax B x ABx x x A B AB x T T T T T ，和A B AB T +是正定矩阵矛盾.[必要性] 因为()n A r =，所以A 的特征值n λλλ,,,21 全不为0.取B=A ，则22A AA AA A B AB T =+=+.它的特征值为222212,2,2n λλλ 全部为正，所以A B AB T +是正定矩阵.定义3 在实二次型()n x x x f ,,,21 的规范形中，正平方项的个数p 称为()n x x x f ,,,21 的正惯性指数，负平方项的个数p r -称为()n x x x f ,,21的负惯性指数，它们的差()r p p r p -=--2称为()n x x x f ,,,21 的符号差.定理3[]1 实对称矩阵A 是正定的充要条件矩阵A 的秩与符号差n ．定理4[]1 实对称矩阵A 是正定的充要条件是二次型f(1x ,2x ,… n x )=T X A X 的系数矩阵A 的所有特征值都是正数，即大于零.证 由文献[1]知，实对称矩阵A 可对角化为⎪⎪⎪⎪⎪⎭⎫ ⎝⎛n a a a21 其中1a ，,,2 a n a 恰好是A 的特征值，则二次型T X A X 的标准形为：1a 21x +2a 22x +…+n a 2n x ,而非退化实线性变换保持正定性不变，由f (1x ,2x ,…，n x )=1a 21x +2a 22x +…+n a 2n x .正定得i a >0(n i ,,2,1 =)．例4设A 为实对称矩阵，则当t 充分大时，A+tE 为正定矩阵.证 设A 的特征值为()为实数i n λλλλ,...,,21，取{}i ni t λ≤≤>1max ，则tE A +的特征值()n i t i ,...,2,1=+λ全部大于零，因此当{}i ni t λ≤≤>1max 时，tE A +是正定矩阵.例5 设A 为n 阶实对称矩阵，且035323=-+-E A A A .证明：A 正定. 证 设λ是A 的任一特征值，对应特征向量为0≠x ，即x Ax λ=，代入已知等式035323=-+-E A A A ,有()()0353*******=-+-=-+-x x E A A Aλλλ，因为0≠x ，故λ满足.035323=-+-λλλ得i 211±==λλ或，因A 为实对称矩阵，其特征值一定为实数，故只有1=λ，即A 的全部特征值就是01>=λ，这就证明A 是正定矩阵.定理5[]1 实对称矩阵正定当且仅当它与单位矩阵合同． 证 实正定二次型的规范形为21x + +22x +2n x . (2.2.1)而（2.2.1）的系数矩阵为单位矩阵，非退化实线性变换保持正定性不变，而且新二次型的系数矩阵与原二次型的系数矩阵是合同的，故实对称矩阵正定当且仅当它与单位矩阵合同．定理6[]2 实对称矩阵A 是正定的充要条件是存在可逆矩阵C 使得A =T C C ． 证 设A 为一正定矩阵，当切仅当A 与单位矩阵合同，因此，存在可逆矩阵C ， 使得 A =T C EC =T C C .定理7[]1 实对称矩阵A 正定的充分必要条件是矩阵A 的顺序主子式全大于零． 证 [必要性] 实对称矩阵A 正定，则二次型f (1x ,2x ,…,n x )=TX A X =∑∑==n i nj j i ij x x a 11是正定的，对于每一个k ,1≤k ≤n ,令k f （1x ,2x ,…，k x ）=∑∑==k i kj j i ij x x a 11，我们来证k f 是一个k 元正定二次型，对于一组不全为零的数1c ，2c ，…，k c ，有k f （1c ，2c ，…，k c ）=k f （1c ，2c ，…，k c ，0，…,0）>0,因此，k f 是一个k 元正定二次型.由充要条件2得k f 的矩阵行列式kkk ka a a a 1111>0,（k =1,2,…,n ）.[充分性] 对n 作数学归纳法 当n =1时，f(1x )=11a 21x ,由条件11a >0，显然f(1x )是正定的．假定此论断对n -1元二次型成立，下证n 元的情形. 令1A =⎪⎪⎪⎪⎪⎭⎫⎝⎛------1,12,11,11,222121,11211n n n n n n a a a a a a a a a， X =⎪⎪⎪⎪⎪⎭⎫⎝⎛-n n n n a a a ,121 ， 则 A =⎪⎪⎭⎫⎝⎛nn T a X X A 1. 由A 的顺序主子式全大于零可知1A 的顺序主子式全大于零，由假设1A 是正定矩阵， 有n-1阶可逆矩阵 G ，使得T G 1A G =1-n E , 令1C =⎪⎪⎭⎫⎝⎛100G ,则TC 1A 1C =⎪⎪⎭⎫ ⎝⎛100TG ⎪⎪⎭⎫ ⎝⎛nn T a X X A 1⎪⎪⎭⎫ ⎝⎛100G =⎪⎪⎭⎫⎝⎛-nn T T n a G X X G E 1. 令2C =⎪⎪⎭⎫⎝⎛--101X G E T n , 则T C 2TC 1A 1C 2C =⎪⎪⎭⎫ ⎝⎛--101G X E T n ⎪⎪⎭⎫ ⎝⎛-nn T T n a G X X G E 1⎪⎪⎭⎫⎝⎛--101X G E T n=⎪⎪⎭⎫⎝⎛--X GG X a E T T nn n 001. 令C =1C 2C ,a =nn a -T X G T G X ,则有T C AC =⎪⎪⎪⎪⎪⎭⎫⎝⎛a11. 两边取行列式得 2CA =a ,由条件 A >0 知 a >0. 由于⎪⎪⎪⎪⎪⎭⎫ ⎝⎛a 11=⎪⎪⎪⎪⎪⎭⎫ ⎝⎛a 111⎪⎪⎪⎪⎪⎭⎫ ⎝⎛1111⎪⎪⎪⎪⎪⎭⎫⎝⎛a 111. 因此，A 与单位矩阵合同. 由定理5得，A 是正定矩阵．定理8[]2 n 阶实对称阵A 为正定的充要条件是存在对称正定阵B ，使A=B 2. 证 [必要性] 存在正交阵Q ，使A=Q<Q T =Q <<Q T =Q <Q T Q <Q T []6 =B 2,其中记B=Q <Q T ,以及),...2,1,).(,...,,(21n i diag i n ==<λλλλ,为A 的特征值.[充分性] 对任给0,02>=≠X B X AX X X T T ，因为B 正定，所以A 正定.定理9[]3 A 是正定矩阵的充要条件是：存在非退化的上(下)三角矩阵 Q ，使 A=Q T Q. 证 不妨以下三角矩阵为例来证明，上三角矩阵的情况同理可证.[必要性] 若 A=(a ij ) 是 n 阶正定矩阵，则A 的任意 k 阶主子式大于零．特别的有 a nn >O ．将 A 的第 n 列乘适当的倍数，分别加到第 1,2……n—l 列上，再施同样的行变化，可使 A 变成为⎥⎦⎤⎢⎣⎡nn a A 001,的形式．即存在非退化的下三角矩阵T 1，使⎥⎦⎤⎢⎣⎡=nn Ta A AT T 00111,再令.100),1,1,...,1,1(121122⎥⎦⎤⎢⎣⎡==A T AT T T a diag T T T nn故因为A 正定 ，故A 1作为A 的n-1阶顺序主子式，也是正定的. 对A 1做同样处理，最终可得到n T T TT E R R T AT T T R R =21211212.............令 Q R T T T Q ∴=,......2121是非退化的下三角矩阵，且使A=O T Q[充分性] 是显然的．定理10[]2 A 是正定矩阵的充要条件是存在正交向量组 n a a a ,......,,21使A=Tn n T T a a a a a a +++...2211.2.3 正定矩阵的一些重要推论对于实对称正定矩阵除了上面的一些充要条件用于判定一个矩阵是否为正定矩阵外，还有很多重要推论，下面给出.推论1[]3 正定矩阵的和仍是正定矩阵．证 若A 与B 为同阶正定矩阵，则对于非零列向量C =(,1c ,,,2 c n c )≠0,必有T C A C >0，T C B C >0,从而T C （A +B ）C =T C A C +T C B C >0.所以A +B 也是正定的.推论2[]1 实正定矩阵的行列式大于零． 证 对A =T C C 两边取行列式有|A |=|T C | |C |=2||C >0，因此，|A|>0．推论3 与正定矩阵合同的对称矩阵一定是正定矩阵．(事实上由合同的传递性及正定矩阵都与单位矩阵合同可知结论成立)推论4 正定矩阵A 的逆矩阵1-A 一定是正定矩阵．证 由命题1.3得正定矩阵A 的逆矩阵1-A 一定是对称矩阵，又因为正定矩阵与单位矩阵合同，所以存在可逆矩阵P 使得A =T P EP =T P P ,取逆矩阵得1-A =()1-P E ()T P 1-,令Q =()TP 1-,则1-A =T Q E Q .因此，1-A 与单位矩阵合同，所以1-A 是正定矩阵．推论5 正定矩阵的任何顺序主子式阵必为正定矩阵． 推论6[]4 设A ，B 均为 n 阶正定矩阵，且AB=BA ，则AB 正定.证 因为AB=BA ，故(AB)'=B 'A '=BA=AB ， 所以AB 为实对称矩阵，又因为A 正定，所以实可逆矩阵P ，使P 'AP=E.[方法一] P 'ABP=P 'APP 1-BP=P 1-BP ，而 B 正定，故 B 的特征值都大于零，所以 P 'ABP 的特征值大于零，正定，AB 是正定的.[方法二][]5 P 'AB(P ')1-=P 'APP 1-B(P ')1-=P 1-B(P 1-)'，因为B 正定，故 P 1-B(P 1-)'正定， P 1-B(P 1-)'的特征值大于零，AB 的特征值大于零，又因为AB 实对称，所以AB 是正定的.推论7 若A 是正定矩阵，则A * 也是正定的(其中A *表示A 的伴随矩阵). 证 因为A 正定 ，故 A 1-正定；A *=A A 1-(A >0)，所以 A *也正定.推论8[]2 若A ，B 都是n 阶实对称矩阵，且B 是正定矩阵，则存在一n 阶实可逆矩阵P 使P T AP 与P T BP 同时为对角形.证 因为B 是正定的，所以合同于E ，即存在可逆阵U 使U T BU=E ；且A 是n 阶实对称矩阵，则(U T AU)T =U T A T U.存在正交矩阵C 使C T (U T AU)C=diag( 1λ， 2λ，⋯，n λ),则E C C EC C C BU U C T T T T ===)(.取P=UC ，则P 为所求．推论9 若 A 是实对称的正定矩阵，则存在 a>0，b>O ，c>0，使 aE+A ，E+bA.cE —A 均是正定矩阵.证 若A 的特征值为i λ，1≤i ≤n ，则 aE+A 的特征值为 a+i λ ，1≤i ≤n ，所以存在 a 使 aE+A 的特征值大于零，其余同理可证.推论10 已知 A 是 n 阶正定矩阵，则A k (k 是正整数)也是正定矩阵.证 A k 与 A 的特征值有熟知的关系，故从特征值角度人手考虑．根据A 正定，即知其特征值1λ，⋯， n λ 全正，由于 A k 的全部特征值就是 k n kλλ,...,1 也都为正．这就知A k 是正定矩阵.例6 若 A 是 n 阶正定矩阵，则 E A 2+>2n .证 [法一] A 与2E 都是n 阶实对称正定矩阵，因此存在一n 阶实可逆矩阵 P 使)2,...2,2()2(21+++=+n Tdiag P E A P λλλ.由推论9可知其中入i (i=l ，2，⋯，n)为 A 的特征值且大于零．所以 i λ+2(i=l ，2，⋯，n) 为 A+2E 的特征值，也是大于零的.所以E A 2+=( 1λ+2)( 2λ+2)⋯( n λ+2) ≥2n .[法二] 因为 A 与 2E 都是 n 阶实对称正定矩阵，由推论10，有E A 2+≥ A +E 2>2n .推论11[]6 A 为n 阶正定矩阵，B 为2n 阶非零半正定矩阵，则B A +>A +B . 证 由题意可知，存在实可逆阵P ，使P 'AP=E ，且P 'BP=⎪⎪⎪⎪⎪⎪⎭⎫⎝⎛n d d d ..21，（d i ≥0） 所以)()(.....1)1)...(1)(1(1..11)(2'''2112121''2B A P P B A P BP P AP P d d d E d d d d d d d d d P B A P P B A P nn n n n+=+=+=+=+>+++=+++=+=+所以B A +>A +B .推论12 若 A 是 n 阶实对称正定矩阵，则必有 a 11>0，a 22>0,…,a nn >0. 证 根据定义，对一切 X ≠O 皆有 X T AX>0，故依次令X=e 1，…e n ，就有(e 1)T Ae 1>O,即 a 11>0(e n )T Ae n >0,即 a nn >0.3 正定矩阵在三个不等式证明中的应用 3.1 证明柯西不等式如果有一个正定的矩阵，我们通常可以设计出一个柯西不等式．进而我们就有必要知道如何用正定矩阵证明柯西不等式(1)柯西不等式在中学里，我们就熟悉了如下的一个不等式22221222212211.........nnn n yy y xx x y x y x y x +++++≤+++这就是著名的柯西不等式．如果我们将上述不等式用内积的形式来表示，则可将它 写成βαβα⋅≤),(.(2)那如何用正定矩阵证明柯西不等式呢？如果有一个正定的矩阵，我们通常可以设计出一个柯西不等式．进而我们就有必要知道正定矩阵与柯西不等式的关系．并应用正定矩阵证明柯西不等式.设A=(a ij )是一个n 阶正定矩阵，则对任何向量α=(x 1，x 2，⋯，x n )与β=(Y 1，Y 2，⋯，y n )，定义∑==1,),(j i j i ijy x aβα.则可以证明由上式定义的一定是n 维向量间的内积．反之，对于n 维向量问的任意一种内积，一定存在一个n 阶正定矩阵A=(a ij )，使得对任何向量α和β，(βα,)可由(2)式来定义．因此，给定了一个n 阶正定矩阵，在n 维向量间就可由该矩阵定义一个内积，从而可得到相应的柯西不等式∑∑∑===≤nj i j i ijnj i ji ijnj i j i ijy y ax x ay x a1,1,1,.例7 证明不等式32213222213221232221231332213322112)(2y y y y y y y x x x x x x x y x y x y x y x y x y x y x ---+--++≤----++对所有实数x 1，x 2，x 3和y 1，y 2，y 3均成立．证 从不等式来看，可知它相当于βαβα⋅≤),( 其中(βα,)是由矩阵A= ⎪⎪⎪⎭⎫ ⎝⎛----210121012.所定义的，但要证明),(βα是内积还需证明A 是个正定矩阵．经验证该矩阵为正定矩阵．从而可看出该不等式就是由A 所确定的内积所产生的柯西不等式，因此不等式成立.3.2 证明Holder 不等式设A 为n 阶正定矩阵，x ∈R n ，易知x A Axx x x x 1''2')(-≤[]7，本节将其推广为更一般的形式，并以此为工具给出Holder 不等式的一个新证明.定理[]7 设A 为n 阶正定阵，x n R ∈，r ，s 为任意正整数，则r s s r s r x A x x A x x x )()()('''-+≤.证 对任一0,≠∈x R x n ，令a=sr r x A rx x A sx +-⎪⎪⎭⎫⎝⎛1'1',则有a>0， 令()s s r r t a t a t f --+=,易见()t f 在()+∞,0上有最小值sr s sr r s r r s m ++⎪⎭⎫ ⎝⎛+⎪⎭⎫ ⎝⎛=,由于A 正定，故存在正交阵P 使P P A Λ='，其中{}()n i diag i n ,...,10,,...,,21=>=Λλλλλ,为A 的特征值， 于是()()()(){}P f f f diag P A a A a A f n s s r r λλλ,...,,21'=+=--,由于()()n i m f i ...2,1=≥λ,故()()(){}n n mI f f f diag ≥λλλ,...,,21,从而()n s s r r mI A a A a A f ≥+=--,于是x mx x A x a x A x a s s r r '''≥+--,将a 的表达式代入上式左端并整理得()()sr r ss r s rss r r x A x xA x m x A x a x A x a +-+--=+'''',由此即得()()x x x A x x A x sr r ss r s r'''≥+-+,即()()()sr rssrx x x A x x A x +-≥'''.证毕下面我们 利用以上结果证明Holder 不等式. Holder 不等式 设1,1,0,0>>≥≥q p b a i i ，并且111=+qp ，则 qni q i pn i p i n i i i b a b a 11111⎪⎭⎫ ⎝⎛⎪⎭⎫ ⎝⎛≤∑∑∑===.证 由常规的极限过渡法，不妨设()n i b a i i ...2,10,0=>> 且p ，q 为有理数；由111=+qp 知必存在正整数r ，s ，使得 sr r q s r s p +=+=1,1. 令()nnn R b a b a b a x ∈='2211,...,, , ⎪⎭⎪⎬⎫⎪⎩⎪⎨⎧=---r n s n r s r s b a b a b a diag A 1112121111,...,,经简单运算得∑==ni i i b a x x 1',∑∑==+==ni p i ni s s r ira ax A x 11',∑∑==+-==ni ni q i r s r isb bx A x 11',于是由r s s r s r x A x x A x x x )()()('''-+≤ 得rn i q i s n i p i sr n i i i b a b a ⎪⎭⎫⎝⎛⎪⎭⎫ ⎝⎛≤⎪⎭⎫ ⎝⎛∑∑∑==+=111, 即qni q i pni p i n i i i b a b a 11111⎪⎭⎫ ⎝⎛⎪⎭⎫ ⎝⎛≤∑∑∑===.3.3 证明Minkowski 不等式引理1[]8 设i A ，i B ()m j ,2,1 =都是n n ⨯阶正定实对称矩阵，p<1且0≠p ，则有pmj np j pmj np j pmj np j j B A B A 111111⎪⎪⎭⎫ ⎝⎛+⎪⎪⎭⎫ ⎝⎛≥⎪⎪⎭⎫ ⎝⎛+∑∑∑===. 引理2[]8 设i A ，i B （i=1，2,…,m ）是n ×n 阶实对称正定矩阵，0<p<1，则对n r ≥，有prp m i i prp mi ipm i rp i i rnr B A B A 1111112⎪⎪⎪⎭⎫ ⎝⎛+⎪⎪⎪⎭⎫ ⎝⎛≥⎪⎪⎭⎫ ⎝⎛+∑∑∑===-. r>n 时，等式成立当且仅当i i B A =；当r=n 时，即为引理1，等式成立当且仅当()().,...,2,10m i k kB A i i =>=证 令10,111<<=+p qp ，则p=q （p —1）.由Holder 不等式（下文中由推论进行了证明）及引理1，得到∑∑=-=+•+=+mi rp ii rii rp mi iiB A B A BA 1111≥∑=---≥+•⎪⎪⎭⎫⎝⎛+mi rp i i riri rn r B A B A 11112()()⎪⎭⎪⎬⎫⎪⎩⎪⎨⎧⎥⎦⎤⎢⎣⎡+⎪⎭⎫ ⎝⎛+⎥⎦⎤⎢⎣⎡+⎪⎭⎫ ⎝⎛∑∑∑∑=-==-=--qmi rq p i i pmi rp i qmi rq p i i pm i rp i rn r B A B B A A 11111111112= pmi rpi i pmi rp i m i pi rn r B A B A 1111112⎪⎭⎫ ⎝⎛+⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡⎪⎭⎫ ⎝⎛+⎪⎭⎫ ⎝⎛∑∑∑===-, 两边同乘pmi rp i i rn r B A 112⎪⎭⎫ ⎝⎛+∑=-, 便得到pmi rpi pmi rpi pmi rp i i rn r B A B A 1111112⎪⎭⎫ ⎝⎛+⎪⎭⎫ ⎝⎛≥⎪⎭⎫ ⎝⎛+∑∑∑===-. 若令()()()0,,,>==i i i i i i b a b B a A 为一阶矩阵时，在引理2中，取r=1，0<p<1， 得到qni q i pni p i pni p i i b a b a 111111⎪⎭⎫ ⎝⎛+⎪⎭⎫ ⎝⎛≥⎪⎭⎫⎝⎛+∑∑∑===. 此为Minkowski 不等式.结 束 语本文重点介绍了正定矩阵的判定方法，归纳总结了判定正定矩阵的一系列定理及推论，并给出相应的证明和适当的例题. 与此同时利用正定矩阵的性质以及得出的一些重要推论给出了柯西不等式，Holder不等式，Minkowski不等式的证明方法.参考文献[1] 王萼芳,石生明.高等代数（第二版）[M].北京：高等教育出版社,2003:205-226.[2] 金义明,丁嘉华,王海敏.线性代数[M].北京：中国物资出版社，2002:198-224.[3] 张文丽.正定矩阵的简单应用.晋东南师专学报[L],2004,21（2）：67-69.[4] 岳贵鑫.正定矩阵的一些应用探讨.辽宁省交通高等专科学校学报[L],2008,10（5）：31-33,59-59.[5] 王海东.正定二次型的刻划定理及其程序.长春大学学报[L],2006,16（3）：28-30.精品文档[6] 曹璞.正定矩阵的判定与性质[J].南都学坛,1994(3)：1-3.[7] 冯天祥,刘学飞.Hermite正定矩阵迹的几个重要不等式[J].数学杂志,2009,29（3）.[8] 王长文,张有正.正定矩阵和的行列式不等式.浙江工业大学学报[L],2006,34（3）:352-354. .。