正定矩阵的性质及应用崔华梅(河南大学数学与信息科学学院开封475004)摘要本文给出了实对称矩阵为正定矩阵的充分必要条件和一个充分条件，从不同角度介绍正定矩阵的一些初步应用。关键字正定矩阵;行列式;不等式;极值;最值1引言二次型理论起源于解析几何中化二次曲线和二次曲面方程为标准型的问题，正定二次型在二次型理论中占有很重要的地位，在计算数学，数学物理以及优化控制理论中都得到了广泛的应用。在实数域上文字的正定二次型与阶正定矩阵是一一对应的。本文分别在第二部分总结了正定矩阵的性质，第三部分从不同角度介绍了正定矩阵一些应用，最后在第四部分指出正定矩阵概念的推广。2正定矩阵的性质2.1概念定义1实二次型称为正定的，如果对于任意一组不全为零的实数，都有.定义2实对称矩阵A称为正定的，如果二次型正定.注：(1)正定二次型和正定矩阵是一一对应的关系.(2)经非退化的线性替换，新二次型的矩阵和原二次型的矩阵合同.2.2正定矩阵的充分必要条件(1)n元实二次型正定它的正惯性指数为n;(2)一个实对称矩阵A正定A与E合同，即可逆矩阵C，使得A=;(3)实二次型=是正定的A的顺序主子式全大于零;(4)一个实对称矩阵A正定A的特征值全大于零;(5)一个实对称矩阵A正定A的主子式全大于零;(6)A，B是实对称矩阵，则正定A，B均正定;(7)A实对称矩阵，A正定正定矩阵B，使得A=，（k为任意正整数）.证明：(6)）必要性：正定C的各阶顺序主子式全大于零A，B均为对称矩阵，且A的各阶顺序主子式全大于零A是正定矩阵，且B的各阶顺序主子式全大于零B是正定矩阵)充分性：设A，B的全部特征值分别为：；A，B均正定，正交可逆矩阵P，Q使得；，其中（）===令T=，则，T是可逆阵C=，其中C的特征值全大于零C是正定矩阵(7))充分性：证明：B正定正交可逆矩阵P，使得；其中，是正定的）必要性：A正定正交可逆矩阵Q，使得，其中，令=B，则B是正定的，且A=.2.3判定实对称矩阵为正定矩阵的一个充分条件引理设是阶复数矩阵的秩则引理2是复数矩阵，若则为可逆矩阵.证明：由引理1，知且故可逆引理3若在上连续，异号，则至少存在一点，使得定理1：设是主对角元全大于零的实对称矩阵则必为正定矩阵证明：由引理2及条件，则知是可逆矩阵，构造函数则若则由引理3，使得即又由引理2知是可逆矩阵矛盾即即的所有顺序主子式全大于零故正定3正定矩阵的应用对于具体的实对称矩阵，常用矩阵的各阶顺序主子式是否大于零来判断其正定性；对于抽象的矩阵，由给定矩阵的正定性，利用标准型，特征值及充分必要条件来证相关矩阵的正定性。3.1用正定矩阵的定义证明一些结论例1.设为实矩阵，且的秩，证明：正定证明：，只有零解正定例2.为阶正定矩阵，为阶实矩阵，且，则是正定矩阵.证明:为实对称矩阵，只有零解A正定是正定矩阵总结：以上两例，利用实矩阵构造正定矩阵的方法：若A不是方阵，也不对称，则是正定矩阵，而且上述两例显示了齐次线性方程组理论在正定二次型理论中的应用。3.2用充分必要条件：A正定可逆矩阵C，使得A=证明一些结论例3.若A是正定矩阵，则A的伴随矩阵和也是正定矩阵证明：A正定可逆矩阵C，使得A=即与A合同是正定矩阵也是正定矩阵例4.A,B均为n阶实对称矩阵，A为正定矩阵证明：实可逆矩阵C，使得.证明：是正定矩阵实可逆矩阵，使得且为实对称矩阵正交矩阵，使得令，则，注：看到实对称矩阵，应联系到正交合同于对角阵。例5.为阶正定矩阵，B为阶半正定矩阵，则证明:是正定矩阵实可逆矩阵，使得,且，,例6.均为阶正定矩阵。且，则是正定矩阵.证明：是对称矩阵是正定矩阵实可逆矩阵，使得是正定矩阵的特征值全为正数的特征值全为正数是正定矩阵是正定矩阵例7.是实对称矩阵，且正定，则的特征值全为实数.证明：是正定矩阵实可逆矩阵使得实对称矩阵的特征值全为实数的特征值全为实数的特征值全为实数例8.（1）若，是正定二次型，则为负定二次型；（2）是正定矩阵，则；（3）是阶实可逆矩阵，则.证明：见文献[2].3.3正定矩阵在行列式中的应用3.3.1判断某一方阵的行列式是否为零（即是否可逆），或是否大于零（或小于零），转化为正定矩阵例9.是实可逆对称阵，实反对称矩阵，且则可逆.证明：实可逆对称矩阵正定矩阵为实...