第八章二次型.pptVIP

证（反证法）设(2)和(3)分别通过变量的非奇异线性变换(4)(5)化为所给的二次型如果不妨设构造个方程的齐次线性方程组(6)í?n??=?=jjijxt10??ì=nj1=?jijxs0本定理证明的关键第29页，共56页，星期日，2025年，2月5日因为所以因此,方程组(6)在R内有非零解.令是(6)的一个非零解.把这一组值代入和的表示式(4)和(5).记有然而所以第30页，共56页，星期日，2025年，2月5日因为和都是非负实数,所以必须又所以是齐次线性方程组的一个非零解.这与矩阵的非奇异性矛盾.这就证明了同理可证所以在(1)中,称正平方项的个数p叫做所给二次型的惯性指标.正项的个数p与负项的个数r-p的差s=p-(r-p)=2p-r叫做所给的二次型的符号差。由定理8.2.3和8.2.4容易得到第31页，共56页，星期日，2025年，2月5日定理8.2.5（重点2）实数域上两个n元二次型等价的充分且必要的条件是它们有相同的秩和符号差.证设和是实数域上两个n元二次型.令和分别是它们的矩阵.那么由定理9.2.2,存在实可逆矩阵P,使得如果与等价,那么与合同.于是存在实可逆矩阵Q使得.取.那么第32页，共56页，星期日，2025年，2月5日因此与都与同一个典范形式等价,所以它们有相同的秩和符号差.反过来,如果,有相同的秩r和符号差,那么它们也有相同的惯性指标.因此,都与矩阵合同.由此推出与合同,从而与等价.第33页，共56页，星期日，2025年，2月5日推论8.2.6证给定.令由定理9.2.4,R上每一n元二次型恰与一个以为矩阵的典范形式等价.当r取定后,p可以取;而又可以取中任何一个数.因此这样的共有个实数域R上一切n元二次型可以分成类,。（二次型的等价类）第34页，共56页，星期日，2025年，2月5日对于每一个,就有一个典范形式与它相当.把与同一个典范形式等价的二次型放在一类,于是R上一切n元二次型恰可分成类,属于同一类的二次型彼此等价,属于不同类的二次型互不等价.第35页，共56页，星期日，2025年，2月5日习题第36页，共56页，星期日，2025年，2月5日8.3正定二次型(等价类中最重要的一类)一、教学目标：了解正定二次型和正定矩阵的概念，二次型的主子式的概念,掌握二次型和正定矩阵正定的充分必要条件二、重点：，正定二次型和正定矩阵的判定三、难点：正定二次型和正定矩阵的判定四、教学过程：(利用函数概念研究正定二次型)第37页，共56页，星期日，2025年，2月5日定义:可以看成定义在实数域上n个变量的实函数。如果对于变量的每一组不全为零的值，函数值都是正数，那么就称是一个正定二次型。定理8.3.1实数域上二次型是正定的充分且必要条件是它的秩和符号差都等于n。第38页，共56页，星期日，2025年，2月5日证设A是二次型的矩阵。如果A的秩和符号差都等于n，那么存在实可逆矩阵P，使得令(1)