二阶与三阶行列式线性代数

《二阶与三阶行列式线性代数》由会员分享，可在线阅读，更多相关《二阶与三阶行列式线性代数（49页珍藏版）》请在金锄头文库上搜索。

1、线性代数线性代数1数学好玩数学好玩. .陈省身陈省身但得此中味但得此中味, ,勿为醒者传勿为醒者传. .李白李白武林高手的最高境界武林高手的最高境界: :无招无招. .2数学的好玩之处数学的好玩之处, ,主要在于数学中有些极具实用意主要在于数学中有些极具实用意义的内容义的内容, ,包含了深刻的奥妙包含了深刻的奥妙, ,发人深思发人深思, ,使人惊讶使人惊讶. .比如以数学家比如以数学家Euler命名的一个公式命名的一个公式: :其中其中i是虚数单位是虚数单位, ,是圆周率是圆周率, ,e是一个无理数是一个无理数, ,3主要内容主要内容第一章第一章 行列式行列式第二章第二章 矩阵矩阵第三章第三章

2、 向量组的线性相关性向量组的线性相关性第四章第四章 线性方程组线性方程组第五章第五章 矩阵对角化矩阵对角化第六章第六章 二次型二次型4参考书目参考书目同济大学同济大学 线性代数线性代数 高等教育出版社高等教育出版社湘潭大学湘潭大学 线性代数线性代数 科学出版社科学出版社北京大学北京大学 高等代数高等代数 高等教育出版社（第三版）高等教育出版社（第三版）5线性代数简史线性代数简史线性代数是高等代数的一大分支。我们知道一次方线性代数是高等代数的一大分支。我们知道一次方程叫做程叫做线性方程线性方程，讨论线性方程及线性运算的代数，讨论线性方程及线性运算的代数就叫做就叫做线性代数线性代数。 在线性代数中

3、最重要的内容就是在线性代数中最重要的内容就是行列式行列式和和矩阵矩阵。 行列式和矩阵行列式和矩阵在十九世纪受到很大的注意在十九世纪受到很大的注意, ,而且写了而且写了成千篇关于这两个课题的文章。成千篇关于这两个课题的文章。 向量的概念向量的概念, ,从数学的观点来看不过是有序三元数组的从数学的观点来看不过是有序三元数组的一个集合一个集合, ,然而它以力或速度作为直接的物理意义然而它以力或速度作为直接的物理意义, ,并并且数学上用它能立刻写出物理上所说的事情。且数学上用它能立刻写出物理上所说的事情。 6线性代数学科和矩阵理论是伴随着线性代数学科和矩阵理论是伴随着线性系统方程系线性系统方程系数研究

4、数研究而引入和发展的。而引入和发展的。行列式的概念最早是由十七世纪日本数学家行列式的概念最早是由十七世纪日本数学家关孝和关孝和提出提出来的，他在来的，他在 1683 1683 年写了一部叫做年写了一部叫做解伏题之法解伏题之法的著的著作，意思是作，意思是 “ 解行列式问题的方法解行列式问题的方法 ” ，书里对行列，书里对行列式的概念和它的展开已经有了清楚的叙述。式的概念和它的展开已经有了清楚的叙述。欧洲欧洲第一个第一个提出行列式概念的是德国的数学家，微积分提出行列式概念的是德国的数学家，微积分学奠基人之一学奠基人之一莱布尼兹莱布尼兹（Leibnitz,1693,1693年）。年）。71750 年

5、年克莱姆克莱姆（ Cramer）发表了求解线性系统方程）发表了求解线性系统方程的重要基本公式（既人们熟悉的的重要基本公式（既人们熟悉的 克莱姆法则）。克莱姆法则）。1764 年年 ,贝佐特贝佐特 (Bezout) 把确定行列式每一项的符把确定行列式每一项的符号的手续系统化了。对给定了含号的手续系统化了。对给定了含 n 个未知量的个未知量的 n 个个齐次线性方程齐次线性方程 , Bezout 证明了系数行列式等于零是证明了系数行列式等于零是这方程组有非零解的条件。这方程组有非零解的条件。8范德蒙范德蒙( Vandermonde ) 是第一个对行列式理是第一个对行列式理论进行系统的阐述论进行系统的

6、阐述( (即把行列式理论与线性方即把行列式理论与线性方程组求解相分离程组求解相分离) )的人。并且给出了一条法则，的人。并且给出了一条法则，用二阶子式和它们的余子式来展开行列式。用二阶子式和它们的余子式来展开行列式。就对行列式本身进行研究这一点而言，他是就对行列式本身进行研究这一点而言，他是这门理论的奠基人。这门理论的奠基人。9拉普拉斯拉普拉斯 (Laplace) 在在 1772 年的论文年的论文对积分和世界对积分和世界体系的探讨体系的探讨中中 , 证明了证明了 Vandermonde 的一些规则的一些规则 , 并推广了他的展开行列式的方法并推广了他的展开行列式的方法 , 用用 r 行中所含的

7、子行中所含的子式和它们的余子式的集合来展开行列式，这个方法式和它们的余子式的集合来展开行列式，这个方法现在仍然以他的名字命名。现在仍然以他的名字命名。德国数学家德国数学家雅可比雅可比（ Jacobi ）也于）也于 1841 年总结并年总结并提出了行列式的系统理论。提出了行列式的系统理论。10另一个研究行列式的是法国最伟大的数学家另一个研究行列式的是法国最伟大的数学家 柯柯西西 (Cauchy), ,他大大发展了行列式的理论，在行他大大发展了行列式的理论，在行列式的记号中他把元素排成方阵并首次采用了列式的记号中他把元素排成方阵并首次采用了双重足标的新记法，与此同时发现两行列式相双重足标的新记法，

8、与此同时发现两行列式相乘的公式及改进并证明了乘的公式及改进并证明了 Laplace 的展开定理。的展开定理。11 高斯高斯（Gauss）大约在）大约在 1800 1800 年提出了高斯消元法年提出了高斯消元法并用它解决了天体计算和后来的地球表面测量计算中并用它解决了天体计算和后来的地球表面测量计算中的最小二乘法问题。（这种涉及测量、求取地球形状的最小二乘法问题。（这种涉及测量、求取地球形状或当地精确位置的应用数学分支称为测地学。）或当地精确位置的应用数学分支称为测地学。） 虽然高斯由于这个技术成功地消去了线性方程的虽然高斯由于这个技术成功地消去了线性方程的变量而出名，但早在几世纪中国人的手稿中

9、就出现了变量而出名，但早在几世纪中国人的手稿中就出现了解释如何运用解释如何运用“高斯高斯”消去的方法求解带有三个未知消去的方法求解带有三个未知量的三方程系统。在当时的几年里，高斯消去法一直量的三方程系统。在当时的几年里，高斯消去法一直被认为是测地学发展的一部分，而不是数学。被认为是测地学发展的一部分，而不是数学。 12矩阵代数的丰富发展，人们需要有合适的符号和矩阵代数的丰富发展，人们需要有合适的符号和合适的矩阵乘法定义。二者要在大约同一时间和合适的矩阵乘法定义。二者要在大约同一时间和同一地点相遇。同一地点相遇。1848 1848 年英格兰的年英格兰的西尔维斯特西尔维斯特( (J.J.Sylve

10、ster) )首先首先提出了矩阵这个词，它来源于拉丁语，代表一排数。提出了矩阵这个词，它来源于拉丁语，代表一排数。 1318551855年矩阵代数得到了年矩阵代数得到了凯莱凯莱( (Arthur Cayley) )的工的工作培育。作培育。Cayley研究了线性变换的组成并提出了矩研究了线性变换的组成并提出了矩阵乘法的定义，使得复合变换阵乘法的定义，使得复合变换ST的系数矩阵变为的系数矩阵变为矩阵矩阵S和矩阵和矩阵T的乘积。他还进一步研究了那些包的乘积。他还进一步研究了那些包括矩阵逆在内的代数问题。括矩阵逆在内的代数问题。14数学家试图研究向量代数，但在任意维数中并没有两个数学家试图研究向量代数

11、，但在任意维数中并没有两个向量乘积的自然定义。向量乘积的自然定义。 第一个涉及一个不可交换向量积（即第一个涉及一个不可交换向量积（即 v w 不等于不等于 w v ）的向量代数是由）的向量代数是由格拉斯曼格拉斯曼( (Hermann Grassmann) ) 在在1844年年他的他的线性扩张论线性扩张论一一 书中提出的。书中提出的。 他的观点还被引他的观点还被引入一个列矩阵和一个行矩阵的乘积中，结果就是现在称入一个列矩阵和一个行矩阵的乘积中，结果就是现在称之为秩数为之为秩数为 1 的矩阵，或简单矩阵。的矩阵，或简单矩阵。 19 世纪末美国数学物理学家世纪末美国数学物理学家吉布斯吉布斯( ( W

12、illard Gibbs )发发表了关于表了关于向量分析基础向量分析基础 的著名论述。的著名论述。 15其后英国物理学家其后英国物理学家狄拉克狄拉克 ( ( P. A. M. Dirac 1902-1984)提出了行向量和列向量的乘积为标量。提出了行向量和列向量的乘积为标量。矩阵的发展是与线性变换密切相连的。矩阵的发展是与线性变换密切相连的。现代向量空间的定义是由现代向量空间的定义是由皮亚诺皮亚诺( ( Peano )于于 1888 年提出年提出的。的。 到到 19 世纪它还仅占线性变换理论形成中有限的空间。世纪它还仅占线性变换理论形成中有限的空间。 我们习惯的列矩阵和向量都是在我们习惯的列矩

13、阵和向量都是在 20 世纪由物理学家给世纪由物理学家给出的。出的。16二次世界大战后随着现代数字计算机的发展，二次世界大战后随着现代数字计算机的发展，矩阵又有了新的含义，特别是在矩阵又有了新的含义，特别是在矩阵的数值分矩阵的数值分析析等方面。等方面。 由于计算机的飞速发展和广泛应用，由于计算机的飞速发展和广泛应用，许多实际问题可以通过离散化的数值计算得到许多实际问题可以通过离散化的数值计算得到定量的解决。于是作为处理离散问题的线性代定量的解决。于是作为处理离散问题的线性代数，成为从事科学研究和工程设计的科技人员数，成为从事科学研究和工程设计的科技人员必备的数学基础。必备的数学基础。 17阿贝尔

14、阿贝尔(Abel) 与伽罗瓦与伽罗瓦(Galois) 挪威数学家阿贝尔挪威数学家阿贝尔( (1802.8.51829.4.6) )，以证明，以证明五次元方程的根式解的不可能性而闻名。五次元方程的根式解的不可能性而闻名。 法国数学家厄米特（法国数学家厄米特（Hermite 18221901）在谈到）在谈到阿贝尔的贡献时曾说过：阿贝尔的贡献时曾说过：“阿贝尔留下的工作，可阿贝尔留下的工作，可以使以后的数学家足够忙碌以使以后的数学家足够忙碌150150年！年！” ” 在和阿贝尔同时期的一个法国少年读到了他的著作，在和阿贝尔同时期的一个法国少年读到了他的著作，于是在不到于是在不到2020岁的时候在代数

15、方程论岁的时候在代数方程论推陈出新推陈出新创立了创立了一门新的数学理论一门新的数学理论伽罗瓦理论伽罗瓦理论，这个发现者伽罗，这个发现者伽罗瓦还建立了群论的基础理论。瓦还建立了群论的基础理论。18法国数学家伽罗瓦法国数学家伽罗瓦( (1811.10.25- -1832.5.31) )，与阿贝，与阿贝尔并称为现代群论的创始人。尔并称为现代群论的创始人。伽罗瓦理论伽罗瓦理论是当代代数与数论的基本支柱之一。它直是当代代数与数论的基本支柱之一。它直接推论的结果十分丰富：接推论的结果十分丰富：3. 3. 他解决了古代三大作图问题中的两个：他解决了古代三大作图问题中的两个：“不能不能任意三等分角任意三等分角

16、”，“倍立方不可能倍立方不可能”。 2. 2. 它漂亮地证明高斯的论断：若尺规作图能作出正它漂亮地证明高斯的论断：若尺规作图能作出正p边形，边形，p为质数且此同时为质数且此同时 。1. 1. 它系统化地阐释了为何五次以上之方程式没有公它系统化地阐释了为何五次以上之方程式没有公式解，而四次以下有公式解。式解，而四次以下有公式解。19第一章第一章 行列式行列式第一节第一节 二阶与三阶行列式二阶与三阶行列式20湘潭大学数学与计算科学学院 王文强用消元法解二元线性方程组用消元法解二元线性方程组一、二阶行列式的引入其中其中是未知量，其它字母是已知量。是未知量，其它字母是已知量。21方程组的解为方程组的解

17、为由方程组的四个系数确定由方程组的四个系数确定.22湘潭大学数学与计算科学学院 王文强 由四个数排成二行二列（横排称行、竖排由四个数排成二行二列（横排称行、竖排称列）的数表称列）的数表定义定义定义定义即即23湘潭大学数学与计算科学学院 王文强主对角线主对角线副对角线副对角线对角线法则对角线法则二阶行列式的计算二阶行列式的计算其中元素其中元素 aij 的第一个下标的第一个下标 i 为行指标为行指标，第二个下标第二个下标 j 为列指标为列指标。即即 aij 位于行列式的第位于行列式的第 i 行第行第 j 列列。24湘潭大学数学与计算科学学院 王文强若记若记对于二元线性方程组对于二元线性方程组系数行

18、列式系数行列式25湘潭大学数学与计算科学学院 王文强26湘潭大学数学与计算科学学院 王文强27湘潭大学数学与计算科学学院 王文强则二元线性方程组的解为则二元线性方程组的解为注意注意 分母都为原方程组的系数行列式分母都为原方程组的系数行列式.28湘潭大学数学与计算科学学院 王文强例例例例1 1解解29湘潭大学数学与计算科学学院 王文强二、三阶行列式二、三阶行列式定义定义定义定义记记记记（6）式称为数表（）式称为数表（5）所确定的）所确定的三阶行列式三阶行列式三阶行列式三阶行列式. .30湘潭大学数学与计算科学学院 王文强(1)沙路法沙路法三阶行列式的计算三阶行列式的计算. .列标列标行标行标31

19、湘潭大学数学与计算科学学院 王文强(2)(2)对角线法则对角线法则对角线法则对角线法则注意注意 红线上三元素的乘积冠以正号，蓝线上三红线上三元素的乘积冠以正号，蓝线上三元素的乘积冠以负号元素的乘积冠以负号说明说明1 对角线法则只适用于二阶与三阶行列式对角线法则只适用于二阶与三阶行列式32湘潭大学数学与计算科学学院 王文强 如果三元线性方程组如果三元线性方程组的系数行列式的系数行列式 利用三阶行列式求解三元线性方程组利用三阶行列式求解三元线性方程组 2 2. 三阶行列式包括三阶行列式包括3!3!项项, ,每一项都是位于不同行每一项都是位于不同行, ,不同列的三个元素的乘积不同列的三个元素的乘积,

20、其中三项为正其中三项为正, ,三项为三项为负负. .33湘潭大学数学与计算科学学院 王文强若记若记或或34湘潭大学数学与计算科学学院 王文强记记即即35湘潭大学数学与计算科学学院 王文强36湘潭大学数学与计算科学学院 王文强得得37湘潭大学数学与计算科学学院 王文强得得38湘潭大学数学与计算科学学院 王文强则三元线性方程组的解为则三元线性方程组的解为:是将是将D的第的第i列换成右端项得到。列换成右端项得到。39湘潭大学数学与计算科学学院 王文强例例例例 解解解解按对角线法则，有按对角线法则，有40湘潭大学数学与计算科学学院 王文强例例例例3 3解解解解方程左端方程左端41湘潭大学数学与计算科学

21、学院 王文强例例4. .利用对角线法则计算下列三阶行列式：利用对角线法则计算下列三阶行列式： 42湘潭大学数学与计算科学学院 王文强（1 1）（2 2）43湘潭大学数学与计算科学学院 王文强44湘潭大学数学与计算科学学院 王文强例例5 解线性方程组解线性方程组解解解解由于方程组的系数行列式由于方程组的系数行列式45湘潭大学数学与计算科学学院 王文强同理可得同理可得故方程组的解为故方程组的解为:46湘潭大学数学与计算科学学院 王文强 二阶和三阶行列式是由解二元和三元线性方二阶和三阶行列式是由解二元和三元线性方程组引入的程组引入的.对角线法则对角线法则二阶与三阶行列式的计算二阶与三阶行列式的计算三、小结47湘潭大学数学与计算科学学院 王文强思考题思考题48湘潭大学数学与计算科学学院 王文强思考题解答思考题解答解解设所求的二次多项式为设所求的二次多项式为由题意得由题意得得一个关于未知数得一个关于未知数 的线性方程组的线性方程组,又又得得49湘潭大学数学与计算科学学院 王文强