合肥工业大学线性代数（二次型）期末报告.docxVIP

PAGE PAGE 1 《线性代数》期末报告 【题目：二次型汇总】 姓名： 学号： 专业： 教师： 【题目：二次型汇总】 第一部分 基本概念和方法 1.基本概念 二次型理论来源于解析几何中化二次曲线及二次曲面方程为标准方程问题，对二次型理论的研究始于18世纪中期。 1748年，瑞士数学家欧拉(Euler, 1707-1783)讨论了三元二次型的化简问题。1826年，数学家柯西开始研究化三元二次型为标准形问题。他利用特征根概念解决了n元二次型化简问题，并且证明了两个n元二次型 f(x1 ,x2,...xn)=XTAX,g(x1,x2,...,xn)=XTBX 可用非退化线性替换X=CY同时化成标准形。1801年，高斯(Guass)在他的 “算术研究”中引进了正定二次型等有关概念。1851，西尔维斯特在研究二次曲线和二次曲面的切触和相交时需要考虑这种二次曲线和二次曲面束的分类。在他的分类方法中他引进了初等因子和不变因子的概念，但他没有证明“不变因子组成两个二次型的不变量的完全集”这一结论。1852年，西尔维斯特提出了惯性定律，即任何n元实二次型经过非退化线性替换总可以化成规范形 y12+...+yp2-yp+12-...-yr2并且p,r是不变量，但是当时他没有给出证明。1857年，雅克比证明了这个结果。1858年,德国数学家维尔斯特拉斯(Weierstrass,1815-1897)对同时化两个二次型成平方和给出一般方法。他同时证明了如果二次型之一是正定的,即使某些特征根相等,这个结果也是可能的。维尔斯特拉斯比较系统的完成了二次型的理论并将其推广到双线性型。 1657年,费尔马指出方程 X2-Ay2=1(A为非平方正整数)有无穷多整数解,后来,布龙克尔等人给出了求解的试验性方法,但对费尔马的断言没有给出证明。1765年,欧拉通过把 表示成连分数,改进了求解方法,但仍没有给出证明。得到方程的所有整数解。更一般地,拉格朗日解出了方程 ax2+2bxy+cy2+2dx+2ey+f=0的解,他是通过建立二元二次型的一般理论达到这个目的的。 二次型化简的进一步研究涉及二次型或行列式的特征方程的概念。特征方程的概念隐含地出现在欧拉的著作中，拉格朗日在其关于线性微分方程组的著作中首先明确地给出了这个概念。而三个变数的二次型的特征值的实性则是由阿歇特（j-r.p.hachette）、蒙日和泊松（s.d.poisson,1781~1840）建立的。 1.1二次型的定义 二次型就是一个二次齐次多项式，其来源是平面解析几何中的有心二次曲线和空间解析几何中的二次曲面。一个系数取自数域F含有n个变量?的二次齐次多项式：? f(x1,x2,...,xn)=a11x12+2a12x1x2+2a13x1x3+...+2a1nx1xn +a22x22+2a23x2x3+2a24x2x4+...+2a2nx2xn+...+annxn2 称为数域F上的一个n元二次型，简称二次型。 当系数a是实数时，称为实二次型；当系数a是复数时，称为复二次型。 令aij=aji，则上述二次型可以写成对称的形式：f(x1,x2,...,xn)=ijxixj 上式的系数排成一个n阶方阵： 称这矩阵为二次型f(x1,x2,...,xn)的矩阵。由于aij=aji，所以矩阵A是对称矩阵，因此二次型的矩阵都是对称的。由此二次型可以写成矩阵的形式： f(x1,x2,...,xn)=XTAX 式中X=（x1,x2,...,xn)T。 对称矩阵A称为二次型f的矩阵，f也称为对称矩阵A的二次型。对称矩阵A的秩称为二次型f的秩。 定理： 若A、B为n阶对称方阵，且XTAX=XTBX,则A=B。 这定理说明二次型和它的矩阵是相互唯一确定的。 例1：设f(x1,x2,x3)=x12+2x1x2+2x22+4x2x3+4x32,则它的矩阵为： 例2：设二次型的矩阵 ，则对应的二次型为： ?(x1,x2,x3)=-4x1x2+2x1x3+2x2x3 1.2线性变换 设x1,x2,...,xn和y1,y2,...,yn是两组变量，它们之间有关系式： 称这关系式为由x1,x2,...,xn到y1,y2,...,yn的一个线性替换，简称线性替换。可以用矩阵的形式表示这线性替换。可以用矩阵的形式表示这线性替换： 如果系数行列式|C|≠0，则称线性替换为非退化的。经过