代数学发展简史及线性代数简史课件.ppt

《代数学发展简史及线性代数简史课件.ppt》由会员分享，可在线阅读，更多相关《代数学发展简史及线性代数简史课件.ppt（31页珍藏版）》请在得力文库 - 分享文档赚钱的网站上搜索。

1、关于代数学发展简史及线性代数简史现在学习的是第1页，共31页 代数学(algebra)是数学中最重要的分支之一。代数学的历史悠久，它随着人类生活的提高，生产技术的进步，科学和数学本身的需要而产生和发展。在这个过程中，代数学的研究对象和研究方法发生了重大的变化。代数学可分为初等代数学初等代数学和抽象代数学抽象代数学两部分。初等代数学是更古老的算术的推广和发展，而抽象代数学则是在初等代数学的基础上产生和发展起来的。现在学习的是第2页，共31页 代数学的西文名称algebra来源于9世纪阿拉伯数学家花拉子米的重要著作的名称。该著作名为”ilm al-jabr waI muqabalah”，原意是“还

2、原与对消的科学”。这本书传到欧洲后，简译为algebra。清初曾传入中国两卷无作者的代数书，被译为阿尔热巴拉新法后改译为代数学(李善兰译，1853)。现在学习的是第3页，共31页 初等代数学是指19世纪上半叶以前的方程理论，主要研究某一方程（组）是否可解，怎样求出方程所有的根（包括近似根）以及方程的根所具有的各种性质等。 代数与算术的区别是什么？代数与算术的区别是什么？现在学习的是第4页，共31页 四大文明古国中，除古代希腊外，都曾对算术和代数的发展做出非常杰出的贡献。从中世纪的欧洲一直到19世纪上半期，代数学在欧洲得到了长足的发展。19世纪，代数学发生了革命性的变革。现在学习的是第5页，共3

3、1页 一系列新的代数领域被建立起来，大大地扩充了代数学的研究范围，形成了所谓的近世代数学。包括抽象代数和线性代数。 抽象代数学是以研究数字、文字和更一般元素的代数运算的规律和由这些运算适合的公理而定义的各种代数结构各种代数结构的性质为其中心问题的。现在学习的是第6页，共31页 由于代数结构及其中元素的一般性，近世代数学的研究在数学中是最具有基本性的，它的方法和结果渗透到那些与它相接近的各个不同的数学分支中，成为一些有着新面貌和新内容的数学领域代数数论、代数几何、拓扑代数、李氏代数、代数拓扑、泛函分析等，这样，近世代数学就对于全部现代数学发展有着显著的影响，并且对于其它一些科学领域如理论物理、计

4、算机原理等也有较直接的应用。现在学习的是第7页，共31页 代数学发展简史代数学发展简史-线性代数现在学习的是第8页，共31页 线性代数是讨论矩阵理论、与矩阵结合线性代数是讨论矩阵理论、与矩阵结合的有限维向量空间及其线性变换理论的一门的有限维向量空间及其线性变换理论的一门学科。主要研究对象有行列式、线性方程组、学科。主要研究对象有行列式、线性方程组、矩阵、线性空间等。矩阵、线性空间等。 主要理论成熟于十九世纪，而第一块基石主要理论成熟于十九世纪，而第一块基石（二、三元线性方程组的解法）则早在两千年前（二、三元线性方程组的解法）则早在两千年前出现（见于我国古代数学名著出现（见于我国古代数学名著九章

5、算术九章算术）。）。 1、学科概述现在学习的是第9页，共31页 九章算术的“方程术” 九章算术九章算术中的中的“方程章方程章”，是世界上最早的系统研究代数方程，是世界上最早的系统研究代数方程的专门论著。它在世界数学历史上，最早创立了多元一次方程组的筹的专门论著。它在世界数学历史上，最早创立了多元一次方程组的筹式表示方法，以及它的多种求解方法。式表示方法，以及它的多种求解方法。 九章算术九章算术把这些线性方程组的解法称为把这些线性方程组的解法称为“方程术方程术”，其，其实质相当于现今的矩阵变形方法。方程术是通过对方程的系数矩实质相当于现今的矩阵变形方法。方程术是通过对方程的系数矩阵实施遍乘、直除

6、的变换（即连续相减）实现减元、获取方程解阵实施遍乘、直除的变换（即连续相减）实现减元、获取方程解的过程。的过程。 1、学科概述现在学习的是第10页，共31页 在在“方程章方程章”问题的解法中还可以发现下述方程变形的性质：问题的解法中还可以发现下述方程变形的性质： 如果方程的两边都加上（或减去）同一数，那么所得的方程和如果方程的两边都加上（或减去）同一数，那么所得的方程和原方程是同解方程。如果方程两边同乘以（或除以）一个不等于原方程是同解方程。如果方程两边同乘以（或除以）一个不等于零的数，那么所得的方程和原方程是同解方程。零的数，那么所得的方程和原方程是同解方程。 刘徽：刘徽：“程，课程也。群物

7、总杂，各列有数，总言其程，课程也。群物总杂，各列有数，总言其实。令每行为率，二物者再程，三物者三程，皆如物数程实。令每行为率，二物者再程，三物者三程，皆如物数程之，并列为行，故谓之方程。之，并列为行，故谓之方程。”。 其中其中“课课”为比较的意思，而为比较的意思，而“程程”则为表达的意思。则为表达的意思。可见，按照可见，按照“方程方程”的原义可以把它理解为的原义可以把它理解为“方形表达方形表达式式”，与现在的，与现在的“增广矩阵增广矩阵”类似。类似。1、学科概述现在学习的是第11页，共31页 线性代数在数学、力学、物理学和技术学科中有各种重线性代数在数学、力学、物理学和技术学科中有各种重要应用

8、，因而它在各种代数分支中占据首要地位；要应用，因而它在各种代数分支中占据首要地位； 在计算机广泛应用的今天，计算机图形学、计算机辅助设计、在计算机广泛应用的今天，计算机图形学、计算机辅助设计、密码学、虚拟现实等技术无不以线性代数为其理论和算法基础的密码学、虚拟现实等技术无不以线性代数为其理论和算法基础的一部分；一部分； 随着科学的发展，我们不仅要研究单个变量之间的关系，随着科学的发展，我们不仅要研究单个变量之间的关系，还要进一步研究多个变量之间的关系，各种实际问题在大多数还要进一步研究多个变量之间的关系，各种实际问题在大多数情况下可以线性化，而由于计算机的发展，线性化了的问题又情况下可以线性化

9、，而由于计算机的发展，线性化了的问题又可以计算出来，线性代数正是解决这些问题的有力工具。可以计算出来，线性代数正是解决这些问题的有力工具。1、学科概述现在学习的是第12页，共31页 历史上线性代数的第一个问题是关于解线性方程组的问题，而历史上线性代数的第一个问题是关于解线性方程组的问题，而线性方程组理论的发展又促成了作为工具的矩阵论和行列式理论的线性方程组理论的发展又促成了作为工具的矩阵论和行列式理论的创立与发展，这些内容已成为我们线性代数教材的主要部分。创立与发展，这些内容已成为我们线性代数教材的主要部分。 最初的线性方程组问题大都是来源于生活实践，正是实际最初的线性方程组问题大都是来源于生

10、活实践，正是实际问题刺激了线性代数这一学科的诞生与发展。另外，近现代数问题刺激了线性代数这一学科的诞生与发展。另外，近现代数学分析与几何学等数学分支的要求也促使了线性代数的进一步学分析与几何学等数学分支的要求也促使了线性代数的进一步发展。发展。1、学科概述现在学习的是第13页，共31页 行列式出现于线性方程组的求解，它最早是一行列式出现于线性方程组的求解，它最早是一种速记的表达式，现在已经是数学中一种非常有种速记的表达式，现在已经是数学中一种非常有用的工具。用的工具。 行列式是由莱布尼茨和日本数学家关孝和发明行列式是由莱布尼茨和日本数学家关孝和发明的。的。1693 年年 4 月，莱布尼茨在写给

11、洛必达的一封月，莱布尼茨在写给洛必达的一封信中使用并给出了行列式，并给出信中使用并给出了行列式，并给出方程组的系数行方程组的系数行列式为零的条件列式为零的条件。同时代的日本数学家关孝和在其。同时代的日本数学家关孝和在其著作著作解伏题元法解伏题元法中也提出了行列式的概念与算法。中也提出了行列式的概念与算法。2、矩阵和行列式现在学习的是第14页，共31页 1750 年，瑞士数学家克莱姆年，瑞士数学家克莱姆 (G.Cramer,1704-1752) 在其著作在其著作线性代数分析导引线性代数分析导引中，对行列中，对行列式的定义和展开法则给出了比较完整、明确的阐式的定义和展开法则给出了比较完整、明确的阐

12、述，并给出了现在我们所称的解线性方程组的克述，并给出了现在我们所称的解线性方程组的克莱姆法则。莱姆法则。 稍后，数学家贝祖稍后，数学家贝祖 (E.Bezout,1730-1783) 将确定将确定行列式每一项符号的方法进行了系统化，利用系数行列行列式每一项符号的方法进行了系统化，利用系数行列式概念指出了如何判断一个齐次线性方程组有非零解。式概念指出了如何判断一个齐次线性方程组有非零解。2、矩阵和行列式现在学习的是第15页，共31页 在行列式的发展史上，第一个对行列式理论做出在行列式的发展史上，第一个对行列式理论做出连贯的逻辑的阐述，即把行列式理论与线性方程组连贯的逻辑的阐述，即把行列式理论与线性

13、方程组求解相分离的人，是法国数学家范德蒙求解相分离的人，是法国数学家范德蒙 (A-T.Vandermonde,1735-1796) 。 范德蒙自幼在父亲的指导下学习音乐，但对数学有范德蒙自幼在父亲的指导下学习音乐，但对数学有浓厚的兴趣，后来终于成为法兰西科学院院士。特别浓厚的兴趣，后来终于成为法兰西科学院院士。特别地，他给出了用二阶子式和它们的余子式来展开行列地，他给出了用二阶子式和它们的余子式来展开行列式的法则。就对行列式本身这一点来说，他是这门理式的法则。就对行列式本身这一点来说，他是这门理论的奠基人。论的奠基人。 1772 年，拉普拉斯在一篇论文中证明了年，拉普拉斯在一篇论文中证明了范德

14、蒙提出的一些规则，推广了他的展开行列式的方法。范德蒙提出的一些规则，推广了他的展开行列式的方法。 2、矩阵和行列式现在学习的是第16页，共31页 继范德蒙之后，法国数学家柯西在行列式理论继范德蒙之后，法国数学家柯西在行列式理论方面做出了突出贡献。方面做出了突出贡献。 1815 年，柯西在一篇论文中给出了行列式的第一个年，柯西在一篇论文中给出了行列式的第一个系统的、几乎是近代的处理。系统的、几乎是近代的处理。 其中主要结果之一是行列式的乘法定理。另其中主要结果之一是行列式的乘法定理。另外，他第一个把行列式的元素排成方阵，采用双外，他第一个把行列式的元素排成方阵，采用双足标记法；引进了行列式特征方

15、程的术语；给出足标记法；引进了行列式特征方程的术语；给出了相似行列式概念；改进了拉普拉斯的行列式展了相似行列式概念；改进了拉普拉斯的行列式展开定理并给出了一个证明。开定理并给出了一个证明。2、矩阵和行列式现在学习的是第17页，共31页 19 世纪的半个多世纪中，詹姆士世纪的半个多世纪中，詹姆士.西尔维斯特西尔维斯特 (J.Sylvester,1814-1897)对行列式理论研究始终不渝。对行列式理论研究始终不渝。他的重要成就之一是改进了从一个他的重要成就之一是改进了从一个m 次和一个次和一个n 次次的多项式中消去的多项式中消去 x 的方法，他称之为配析法，并的方法，他称之为配析法，并给出形成的

16、行列式为零时这两个多项式方程有公给出形成的行列式为零时这两个多项式方程有公共根充分必要条件这一结果，但没有给出证明。共根充分必要条件这一结果，但没有给出证明。 2、矩阵和行列式现在学习的是第18页，共31页 西尔维斯特（西尔维斯特（James Joseph Sylvester，公元，公元1814年年9月月3日日公元公元1897年年3月月15日）是英国数学家。生日）是英国数学家。生于伦敦，卒于牛津。于伦敦，卒于牛津。 西尔维斯特的贡献主要在代数学方面。他同凯西尔维斯特的贡献主要在代数学方面。他同凯莱一起，发展了行列式理论，创立了代数型的理论，莱一起，发展了行列式理论，创立了代数型的理论，共同奠定

17、了关于代数不变量的理论基础，他在数论共同奠定了关于代数不变量的理论基础，他在数论方面也做出了突出的工作，特别是在整数分拆和丢方面也做出了突出的工作，特别是在整数分拆和丢番图分析方面。他创造了许多数学名词，当代数学番图分析方面。他创造了许多数学名词，当代数学中常用到的术语，如不变式、判别式、雅可比行列中常用到的术语，如不变式、判别式、雅可比行列式等都是他引入的。他一生发表了几百篇论文，著式等都是他引入的。他一生发表了几百篇论文，著有有椭圆函数专论椭圆函数专论一书。西尔维斯特是一书。西尔维斯特是美国数学美国数学杂志杂志的创始人，为发展美国数学研究做出了贡献。曾的创始人，为发展美国数学研究做出了贡献

18、。曾获得英国皇家勋章、科普利奖章，以及都柏林、爱丁堡、获得英国皇家勋章、科普利奖章，以及都柏林、爱丁堡、牛津、剑桥等大学授予的名誉学位牛津、剑桥等大学授予的名誉学位。2、矩阵和行列式现在学习的是第19页，共31页 继柯西之后，在行列式理论方面最多产的人就继柯西之后，在行列式理论方面最多产的人就是德国数学家雅可比是德国数学家雅可比 (J.Jacobi,1804-1851) ，他引进，他引进了函数行列式，即了函数行列式，即“雅可比行列式雅可比行列式”，指出函数行列式，指出函数行列式在多重积分的变量替换中的作用，给出了函数行列式的在多重积分的变量替换中的作用，给出了函数行列式的导数公式。导数公式。

19、雅可比的著名论文雅可比的著名论文论行列式的形成和性质论行列式的形成和性质标标志着行列式系统理论的建成。由于行列式在数学分志着行列式系统理论的建成。由于行列式在数学分析、几何学、线性方程组理论、二次型理论等多方析、几何学、线性方程组理论、二次型理论等多方面的应用，促使行列式理论自身在面的应用，促使行列式理论自身在 19 世纪也得到世纪也得到了很大发展。整个了很大发展。整个 19 世纪都有行列式的新结果。除世纪都有行列式的新结果。除了一般行列式的大量定理之外，还有许多有关特殊行列了一般行列式的大量定理之外，还有许多有关特殊行列式的其他定理都相继得到。式的其他定理都相继得到。2、矩阵和行列式现在学习

20、的是第20页，共31页 矩阵是代数学的一个主要研究对象，也是数学研究矩阵是代数学的一个主要研究对象，也是数学研究和应用的一个重要工具。和应用的一个重要工具。 “矩阵矩阵”这个词是由这个词是由西尔维斯特西尔维斯特首先使用的，他是首先使用的，他是为了将数字的矩形阵列区别于行列式而发明了这个为了将数字的矩形阵列区别于行列式而发明了这个术语。而实际上，矩阵这个课题在诞生之前就已经术语。而实际上，矩阵这个课题在诞生之前就已经发展的很好了。从行列式的大量工作中明显的表现发展的很好了。从行列式的大量工作中明显的表现出来，为了很多目的，不管行列式的值是否与问题出来，为了很多目的，不管行列式的值是否与问题有关，

21、方阵本身都可以研究和使用，矩阵的许多基有关，方阵本身都可以研究和使用，矩阵的许多基本性质也是在行列式的发展中建立起来的。在逻辑本性质也是在行列式的发展中建立起来的。在逻辑上，矩阵的概念应先于行列式的概念，然而在历史上，矩阵的概念应先于行列式的概念，然而在历史上次序正好相反。上次序正好相反。 2、矩阵和行列式现在学习的是第21页，共31页 英国数学家英国数学家凯莱凯莱 (A.Cayley,1821-1895) 一般被公认为是矩阵一般被公认为是矩阵论的创立者，因为他首先把矩阵作为一个独立的数学概念提出来论的创立者，因为他首先把矩阵作为一个独立的数学概念提出来，并首先发表了关于这个题目的一系列文章。

22、，并首先发表了关于这个题目的一系列文章。 凯莱同研究线性变换下的不变量相结合，首先引进矩阵以简化凯莱同研究线性变换下的不变量相结合，首先引进矩阵以简化记号。记号。 1858 年，他发表了关于这一课题的第一篇论文年，他发表了关于这一课题的第一篇论文矩阵论的研矩阵论的研究报告究报告，系统地阐述了关于矩阵的理论。文中他定义了，系统地阐述了关于矩阵的理论。文中他定义了矩阵的矩阵的相等、矩阵的运算法则、矩阵的转置以及矩阵的逆相等、矩阵的运算法则、矩阵的转置以及矩阵的逆等一系列等一系列基本概念，指出了矩阵加法的可交换性与可结合性。另外，基本概念，指出了矩阵加法的可交换性与可结合性。另外，凯莱还给出了方阵的

23、特征方程和特征根（特征值）以及有关凯莱还给出了方阵的特征方程和特征根（特征值）以及有关矩阵的一些基本结果。矩阵的一些基本结果。2、矩阵和行列式现在学习的是第22页，共31页英国数学家英国数学家 。英国纯粹数学的近代。英国纯粹数学的近代学派带头人。学派带头人。凯莱最主要的贡献是与凯莱最主要的贡献是与J.J.西西尔维斯特一起尔维斯特一起 ，创立了代数型，创立了代数型的理论，共同奠定了关于代数不的理论，共同奠定了关于代数不变量理论的基础。他是矩阵论的变量理论的基础。他是矩阵论的创立者。他对几何学的统一研究创立者。他对几何学的统一研究也作了重要的贡献。凯莱在劝说也作了重要的贡献。凯莱在劝说剑桥大学接受

24、女学生中起了很大剑桥大学接受女学生中起了很大的作用。他曾任剑桥哲学会、伦的作用。他曾任剑桥哲学会、伦敦数学会、皇家天文学会的会长敦数学会、皇家天文学会的会长。2、矩阵和行列式凯莱（18211895）Cayley，Arthur现在学习的是第23页，共31页 1855 年，埃米特年，埃米特 (C.Hermite,1822-1901) 证明了证明了别的数学家发现的一些矩阵类的特征根的特殊性质别的数学家发现的一些矩阵类的特征根的特殊性质，如现在称为埃米特矩阵的特征根性质等。后来，如现在称为埃米特矩阵的特征根性质等。后来 ，克莱伯施克莱伯施 (A.Clebsch,1831-1872) 、布克海姆、布克海

25、姆 (A.Buchheim) 等证明了对称矩阵的特征根性质。泰等证明了对称矩阵的特征根性质。泰伯伯 (H.Taber) 引入引入矩阵的迹矩阵的迹的概念并给出了一些有关的概念并给出了一些有关的结论。的结论。 2、矩阵和行列式现在学习的是第24页，共31页 在矩阵论的发展史上，弗罗伯纽斯在矩阵论的发展史上，弗罗伯纽斯 (G.Frobenius,1849-1917) 的贡献是不可磨灭的。的贡献是不可磨灭的。 他讨论了最小多项式问题，引进了矩阵的秩、不他讨论了最小多项式问题，引进了矩阵的秩、不变因子和初等因子、正交矩阵、矩阵的相似变换、合同变因子和初等因子、正交矩阵、矩阵的相似变换、合同矩阵等概念，以

26、合乎逻辑的形式整理了不变因子和初等矩阵等概念，以合乎逻辑的形式整理了不变因子和初等因子的理论，并讨论了正交矩阵与合同矩阵的一些重要因子的理论，并讨论了正交矩阵与合同矩阵的一些重要性质。性质。 1854 年，约当研究了矩阵化为标准型的问题。年，约当研究了矩阵化为标准型的问题。 1892 年，梅茨勒年，梅茨勒 (H.Metzler) 引进了矩阵的超越函数概念并引进了矩阵的超越函数概念并将其写成矩阵的幂级数的形式。傅立叶、西尔和庞加莱将其写成矩阵的幂级数的形式。傅立叶、西尔和庞加莱的著作中还讨论了无限阶矩阵问题，这主要是适用方程的著作中还讨论了无限阶矩阵问题，这主要是适用方程发展的需要而开始的。发展

27、的需要而开始的。2、矩阵和行列式现在学习的是第25页，共31页 矩阵本身所具有的性质依赖于元素的性质，矩阵矩阵本身所具有的性质依赖于元素的性质，矩阵由最初作为一种工具经过两个多世纪的发展，现在已成由最初作为一种工具经过两个多世纪的发展，现在已成为独立的一门数学分支为独立的一门数学分支矩阵论。而矩阵论又可分矩阵论。而矩阵论又可分为矩阵方程论、矩阵分解论和广义逆矩阵论等矩阵的为矩阵方程论、矩阵分解论和广义逆矩阵论等矩阵的现代理论。矩阵及其理论现已广泛地应用于现代科技现代理论。矩阵及其理论现已广泛地应用于现代科技的各个领域。的各个领域。2、矩阵和行列式现在学习的是第26页，共31页 线性方程组的解法

28、，早在中国古代的数学著作线性方程组的解法，早在中国古代的数学著作九章算九章算术术 方程章中已作了比较完整的论述。其中所述方法实质上相方程章中已作了比较完整的论述。其中所述方法实质上相当于现代的对方程组的增广矩阵施行初等行变换从而消去未知量当于现代的对方程组的增广矩阵施行初等行变换从而消去未知量的方法，即高斯消元法。的方法，即高斯消元法。 在西方，线性方程组的研究是在在西方，线性方程组的研究是在 17 世纪后期由莱布尼茨开创世纪后期由莱布尼茨开创的。他曾研究含两个未知量的三个线性方程组组成的方程组。麦的。他曾研究含两个未知量的三个线性方程组组成的方程组。麦克劳林在克劳林在 18 世纪上半叶研究了

29、具有二、三、四个未知量的线性世纪上半叶研究了具有二、三、四个未知量的线性方程组，得到了现在称为克莱姆法则的结果。克莱姆不久也发表方程组，得到了现在称为克莱姆法则的结果。克莱姆不久也发表了这个法则。了这个法则。 18世纪下半叶，法国数学家贝祖对线性方程组理论进行世纪下半叶，法国数学家贝祖对线性方程组理论进行了一系列研究，证明了了一系列研究，证明了 n元齐次线性方程组有非零解的条件元齐次线性方程组有非零解的条件是系数行列式等于零。是系数行列式等于零。3、线性方程组现在学习的是第27页，共31页 19 世纪，英国数学家史密斯世纪，英国数学家史密斯 (H.Smith) 和道奇森和道奇森 (C-L.Do

30、dgson) 继续研究线性方程组理论，前者引进了方程组的增广矩继续研究线性方程组理论，前者引进了方程组的增广矩阵和非增广矩阵的概念，后者证明了阵和非增广矩阵的概念，后者证明了 个未知数个未知数 个方程的方程组相容个方程的方程组相容的充要条件是系数矩阵和增广矩阵的秩相同。这正是现代方程组理的充要条件是系数矩阵和增广矩阵的秩相同。这正是现代方程组理论中的重要结果之一。论中的重要结果之一。 大量的科学技术问题，最终往往归结为解线性方程组。因此大量的科学技术问题，最终往往归结为解线性方程组。因此在线性方程组的数值解法得到发展的同时，线性方程组解的结构在线性方程组的数值解法得到发展的同时，线性方程组解的

31、结构等理论性工作也取得了令人满意的进展。现在，线性方程组的数等理论性工作也取得了令人满意的进展。现在，线性方程组的数值解法在计算数学中占有重要地位。值解法在计算数学中占有重要地位。 3、线性方程组现在学习的是第28页，共31页 二次型也称为二次型也称为“二次形式二次形式”，数域，数域 P上的上的n 元二次齐次多项元二次齐次多项式称为数域式称为数域 上的上的 n元二次型。元二次型。 二次型的系统研究是从二次型的系统研究是从 18 世纪开始的，它起源于对二次世纪开始的，它起源于对二次曲线和二次曲面的分类问题的讨论。将二次曲线和二次曲面曲线和二次曲面的分类问题的讨论。将二次曲线和二次曲面的方程变形，

32、选有主轴方向的轴作为坐标轴以简化方程的形的方程变形，选有主轴方向的轴作为坐标轴以简化方程的形状，这个问题是在状，这个问题是在 18 世纪引进的。世纪引进的。 柯西在其著作中给出结论：当方程是标准型时，二次曲面用柯西在其著作中给出结论：当方程是标准型时，二次曲面用二次项的符号来进行分类。然而，那时并不太清楚，在化简成标二次项的符号来进行分类。然而，那时并不太清楚，在化简成标准型时，为何总是得到同样数目的正项和负项。准型时，为何总是得到同样数目的正项和负项。 西尔维斯特回答了这个问题，他给出了西尔维斯特回答了这个问题，他给出了 个变数的二次型个变数的二次型的惯性定律，但没有证明。这个定律后被雅可比

33、重新发现和证的惯性定律，但没有证明。这个定律后被雅可比重新发现和证明。明。 1801 年，高斯在年，高斯在算术研究算术研究中引进了二次型的正定、负中引进了二次型的正定、负定、半正定和半负定等术语。定、半正定和半负定等术语。 4、二次型现在学习的是第29页，共31页 二次型化简的进一步研究涉及二次型或行列式的特征方程的概二次型化简的进一步研究涉及二次型或行列式的特征方程的概念。特征方程的概念隐含地出现在欧拉的著作中，拉格朗日在其关念。特征方程的概念隐含地出现在欧拉的著作中，拉格朗日在其关于线性微分方程组的著作中首先明确地给出了这个概念。而三个变于线性微分方程组的著作中首先明确地给出了这个概念。而

34、三个变数的二次型的特征值的实性则是由阿歇特数的二次型的特征值的实性则是由阿歇特 (J-N.P.Hachette) 、蒙日和、蒙日和泊松泊松 (S.D.Poisson,1781-1840) 建立的。建立的。 柯西在别人著作的基础上，着手研究化简变数的二次型问柯西在别人著作的基础上，着手研究化简变数的二次型问题，并证明了特征方程在直角坐标系的任何变换下不变性。后题，并证明了特征方程在直角坐标系的任何变换下不变性。后来，他又证明了来，他又证明了 个变数的两个二次型能用同一个线性变换同时个变数的两个二次型能用同一个线性变换同时化成平方和。化成平方和。 4、二次型现在学习的是第30页，共31页感谢大家观看现在学习的是第31页，共31页