化二次型为标准型的方法.doc

化二次型为标准型的方法 一、绪论 高等代数是数学专业的一门重要基础课。该课程以线性空间为背景，以线性变换为方法，以矩阵为工具，着重研究线性代数的问题。二次型式多元二次函数，其内容本应属于函数讨论的范围，然而二次型用矩阵表示之后，用矩阵方法讨论函数问题使得二次型的问题变得更加简洁明确，二次型的内容也更加丰富多彩。本文的中心问题是如何化二次型为标准形，也就是用矩阵方法把对称矩阵合同与对角矩阵。 二次型是高等代数的重要内容之一，二次型的基本问题是要寻找一个线性替换把它变成平方项，即二次型的标准型。二次型的理论来源于解析几何中二次曲线、二次曲面的化简问题，其理论也在网络、分析、热力学等问题中有广泛的应用。将二次型化为标准型往往是困惑学生的一大难点问题，而且它在物理学、工程学、经济学等领域有非常重要的应用，因此探索将实二次型化为标准型的简单方法有重要的理论与应用价值。 我们知道，任一二次型和某一对称矩阵是相互唯一确定，而任一实对称矩阵都可以化成一对角矩阵，相应的任一实二次型都可以化为标准型。在高等代数课本中介绍了将实二次型化为标准型的两种方法：配方法和正交变换法；此外，由于任意矩阵可以利用初等变换化为对角矩阵，因此也可用初等变换法将二次型化为标准型。 通过典型例题，更能体会在处理二次型问题时的多样性和灵活性，我们应熟练掌握各种方法。 以下就是几种方法的简单介绍，并且又提出了一种新的方法：雅可比方法。我们在解决二次型问题时可对它们灵活应用。 二次型及其矩阵表示 在解析几何中，我们看到，当坐标原点与中心重合时，一个有心二次曲线的一般方程是 . （1） 为了便于研究这个二次曲线的几何性质，我们可以选择适当的角度，作转轴（反时针方向转轴） （2） 把方程（1）化成标准方程。在二次曲面的研究中也有类似的情况。 （1）的左端是一个二次齐次多项式。从代数的观点看，所谓化标准方程就是用变量的线性替换（2）化简一个二次齐次多项式，使它只含平方项。二次齐次多项式不但在几何中出现，而且数学的其他分支以及物理、力学中也常会碰到。现在就来介绍它的一些最基本的性质。 设P是一数域，一个系数在数域P上的的二次齐次多项式 称为数域P上的一个n元二次型，或者在不致引起混淆时简称二次型。 设；是两组文字，系数在数域P中的一组关系式 （4） 称为由到的一个线性替换，。如果，那么线性替换（4）就称为非退化的。 在讨论二次型时，矩阵是一个有力的工具，因此把二次型与线性替换用矩阵来表示。另，i<j. 由于，所以 = 它的系数排成一个n*n矩阵 它就称为二次型的矩阵。显然它是对称矩阵。 令 于是二次型可写成= 非退化线性替换可以表示成X=CY 三、化二次型为标准形的方法之一：配方法 定理：数域P上任意二次型都可以经过非退化的线性替换变成平方和的形式，即标准形。 证明：下面的证明实际就是一个具体的把二次型化成平方和的方法，也就是“配方法”。 我们对变量的个数做数学归纳法。 对于n=1，而二次型就是 已经是平方和的形式了。现假定对n-1元二次型，定理的结论成立。再假设 （=） 分三种情况来讨论： 1）（i=1，2，…，n）中是少有一个不为零，例如0。这时 =+++ =+2+ =-+ =+， 这里 =-+ 是一个的二次型。令 即 这是一个非退化线性替换，它使=+。 有归纳法假定，对有非退化线性替换 能使它变成平方和。 于是非退化的线性替换 就使变成 = 由归纳法，即证。 2）所有都等于0，但至少一（j>1），不是一般性，设。令 它是非退化线性替换，且使= = = 这时上式右端是的二次型，且的系数不为0，属于第一种情况，定理成立。 3） 由于对称性，有 这时是n-1元二次型。根据归纳假设，它能用非退化线性替换变成平方和。 这样就完成了定理得证明。 说明：虽然配方法是基础方法，但在应用化简二次型时比较麻烦。配方法需要通过观察来配方，对初学者来讲，具有一定的盲目性。 四、化二次型为标准形方法之二：合同变换法（初等变换法） 由上述配方法即得： 定理 在数域P上，任意一个对称矩阵都合同于以对角矩阵。 即对于任意一个对称矩阵A，都可以找到一个可逆矩阵C使成对角形。 也即任意对称矩阵都可用同样类型的初等行变换和初等列变换化成与之合同的对角矩阵。