高等代数学年（论文）.doc

陕西理工学院学年论文 第 第 PAGE \* MERGEFORMAT 1 页 共 NUMPAGES \* MERGEFORMAT 9 页 二次型及其应用 郑青青 (陕理工数计学院数学与应用数学数教102班，陕西 汉中 ) 指导教师：刘莉君 【摘要】二次型是线性代数的重要内容之一,本文在对二次型性质研究的基础上, 对二次型的理论进行了推广, 讨论了二次型的应用. 【关键词】二次型;二次型的应用;四元二次型;正交变换 1.引言 在数学中, 二次型的理论起源于解析几何中化二次曲线和二次曲面方程为标准形的问题. 现在二次型的理论不仅在几何而且在数学的其他分支及物理、力学、工程技术中也常常用到. 二次型应用的领域很广, 在以前的学习中求一元或多元函数的最值的方法通常有利用图象法或微分理论, 而下面将利用二次型的性质来求函数的最值，以及利用二次型的正交变换求某些曲线或曲面积分.关于二次型的一般理论, 可参看文献[1-3], 一些专题研究可参看文献[4-6]. 2.二次型一般理论 设是一个数域,,个文字 的二次齐次多项式 称为数域上的一个元二次型,简称二次型.当为实数时,称为实二次型;当为复数时,称为复二次型. 设阶对称矩阵 则元二次型可表示为下列矩阵形式: . 其中.对称矩阵称为二次型的系数矩阵,简称为二次型的矩阵. 二次型与非零对称矩阵一一对应.即,给定一个二次型,则确定了一个非零的对称矩阵作为其系数矩阵;反之,给定一个非零的对称矩阵,则确定了一个二次型以给定的对称矩阵为其系数矩阵. 如果二次型中只含有文字的平方项.即 称为标准型.在《高等代数》的教材中, 还有以下关于二次型理论的结果. 3. 一般二次型的应用 3.1一般的元二次式的最值的判定与求法 一般的元二次多项式的形式为 (3.1) 而（3.1）式存在最值的充要条件为 (3.2) 存在最值(上式中),故只需要对(3.2)进行讨论. 定理1[4] 实元多项式(3.2),它的矩阵为,秩为,对(3.2)式作非退化的线性替换,,其中 那么,（i）当半正定时: 1 若,则(3.2)式存在最小值; 2 若,一次项所含新变数均在平方项中出现,则(3.2)式有最小值; 3 若,一次项所含新变数至少一个不在平方项中出现,则(3.2)式不存在最值. （ii）当半负定时: 1 若,则(3.2)式存在最大值; 2 若,一次项所含新变数均在平方项中出现, 则(3.2)式有最大值; 3 若,一次项所含新变数至少一个不在平方项中出现,则(3.2)式不存在最值. （iii）不定,则(3.2)式不存在最值. 证明 （i）令,, 则(3.2)式改写为: (3.3) 因半正定,故存在可逆矩阵,使,对(3.3)式作非退化线性替换,变为 (3.4) 其中,而 ,其中 (1) 若,,这时(3.4)式变成 等号成立当且仅当 时取得,此时将代入得唯一一组的解,此即取最值的点. (2) 若,因正定,故的秩等于它的正惯性指数,即存在可逆矩阵,使,在非退化线性替换下,(3.4)式变为: (3.5) 若一次项所含新字母均在平方项中出现,即至少有 (3.5)式可变为个数的完全平方加一个常数,故存在最小值. (3)一次项所含新字母至少一个不在平方项中出现,即 中至少一个不为零 不妨设,此时(3.5)式变为 . 令 取绝对值很大的负值,则上式的值会很小,故不存在最小值;又若取绝对值很大的正值,则上式的值将会很大,故不存在最大值.因此不存在最值. (ii)半负定,则半正定,利用(i)可得(ii)的结论成立. (iii)不定,则存在可逆矩阵,使 其中,均不为零 否则,则半正定;则半负定,都与不定矛盾.这时(3.5)式变为 令,而取任意的数,可以知道上式的值大于任何给的正数,故不存在最大值. 令,而取任意大的数,则上式的值小于任何预先给定的负数,故不存在最小值. 例1[4] 讨论 是否有最值. 解 将上式的矩阵写出,对作合同变换得到 它使主对角线上有一零 故知,而对角线上其余的非零数全是正的, 故知半正定矩阵,是否存在极值还应看替换后的情形才能定. 作线性替换,原多项式的