1、1线性代数线性代数2数学好玩数学好玩.陈省身陈省身但得此中味但得此中味,勿为醒者传勿为醒者传.李白李白武林高手的最高境界武林高手的最高境界:无招无招.3数学的好玩之处数学的好玩之处,主要在于数学中有些极具实用意主要在于数学中有些极具实用意义的内容义的内容,包含了深刻的奥妙包含了深刻的奥妙,发人深思发人深思,使人惊讶使人惊讶.比如以数学家比如以数学家EulerEuler命名的一个公式命名的一个公式:.12 ie 其中其中i i是虚数单位是虚数单位,是圆周率是圆周率,e e是一个无理数是一个无理数,.597182818284.2 e4主要内容主要内容第一章第一章 行列式行列式第二章第二章 矩阵矩阵
2、第三章第三章 向量组的线性相关性向量组的线性相关性第四章第四章 线性方程组线性方程组第五章第五章 矩阵对角化矩阵对角化第六章第六章 二次型二次型5参考书目参考书目同济大学同济大学 线性代数线性代数 高等教育出版社高等教育出版社湘潭大学湘潭大学 线性代数线性代数 科学出版社科学出版社北京大学北京大学 高等代数高等代数 高等教育出版社（第三版）高等教育出版社（第三版）6线性代数简史线性代数简史线性代数是高等代数的一大分支。我们知道一次方线性代数是高等代数的一大分支。我们知道一次方程叫做程叫做线性方程线性方程，讨论线性方程及线性运算的代数，讨论线性方程及线性运算的代数就叫做就叫做线性代数线性代数。在
3、线性代数中最重要的内容就是在线性代数中最重要的内容就是行列式行列式和和矩阵矩阵。行列式和矩阵行列式和矩阵在十九世纪受到很大的注意在十九世纪受到很大的注意,而且写了而且写了成千篇关于这两个课题的文章。成千篇关于这两个课题的文章。向量的概念向量的概念,从数学的观点来看不过是有序三元数组的从数学的观点来看不过是有序三元数组的一个集合一个集合,然而它以力或速度作为直接的物理意义然而它以力或速度作为直接的物理意义,并并且数学上用它能立刻写出物理上所说的事情。且数学上用它能立刻写出物理上所说的事情。7线性代数学科和矩阵理论是伴随着线性代数学科和矩阵理论是伴随着线性系统方程系线性系统方程系数研究数研究而引入
4、和发展的。而引入和发展的。行列式的概念最早是由十七世纪日本数学家行列式的概念最早是由十七世纪日本数学家关孝和关孝和提提出来的，他在出来的，他在 1683 1683 年写了一部叫做年写了一部叫做解伏题之法解伏题之法的著作，意思是的著作，意思是“解行列式问题的方法解行列式问题的方法”，书里，书里对行列式的概念和它的展开已经有了清楚的叙述。对行列式的概念和它的展开已经有了清楚的叙述。欧洲欧洲第一个第一个提出行列式概念的是德国的数学家，微积分提出行列式概念的是德国的数学家，微积分学奠基人之一学奠基人之一莱布尼兹莱布尼兹（LeibnitzLeibnitz,1693,1693年）。年）。81750 175
5、0 年年克莱姆克莱姆（CramerCramer）发表了求解线性系统方）发表了求解线性系统方程的重要基本公式（既人们熟悉的程的重要基本公式（既人们熟悉的 克莱姆法则）。克莱姆法则）。1764 1764 年年 ,贝佐特贝佐特 (BezoutBezout)把确定行列式每一项把确定行列式每一项的符号的手续系统化了。对给定了含的符号的手续系统化了。对给定了含 n n 个未知量个未知量的的 n n 个齐次线性方程个齐次线性方程 ,Bezout Bezout 证明了系数行列证明了系数行列式等于零是这方程组有非零解的条件。式等于零是这方程组有非零解的条件。9范德蒙范德蒙(Vandermonde Vanderm
6、onde)是第一个对行列式是第一个对行列式理论进行系统的阐述理论进行系统的阐述(即把行列式理论与线即把行列式理论与线性方程组求解相分离性方程组求解相分离)的人。并且给出了一的人。并且给出了一条法则，用二阶子式和它们的余子式来展开条法则，用二阶子式和它们的余子式来展开行列式。就对行列式本身进行研究这一点而行列式。就对行列式本身进行研究这一点而言，他是这门理论的奠基人。言，他是这门理论的奠基人。10拉普拉斯拉普拉斯(LaplaceLaplace)在在 1772 1772 年的论文年的论文对积分和对积分和世界体系的探讨世界体系的探讨中中 ,证明了证明了 VandermondeVandermonde
7、的一的一些规则些规则 ,并推广了他的展开行列式的方法并推广了他的展开行列式的方法 ,用用 r r 行中所含的子式和它们的余子式的集合来展开行列行中所含的子式和它们的余子式的集合来展开行列式，这个方法现在仍然以他的名字命名。式，这个方法现在仍然以他的名字命名。德国数学家德国数学家雅可比雅可比（Jacobi Jacobi）也于）也于 1841 1841 年总年总结并提出了行列式的系统理论。结并提出了行列式的系统理论。11另一个研究行列式的是法国最伟大的数学家另一个研究行列式的是法国最伟大的数学家 柯柯西西 (CauchyCauchy),),他大大发展了行列式的理论，在他大大发展了行列式的理论，在行
8、列式的记号中他把元素排成方阵并首次采用行列式的记号中他把元素排成方阵并首次采用了双重足标的新记法，与此同时发现两行列式了双重足标的新记法，与此同时发现两行列式相乘的公式及改进并证明了相乘的公式及改进并证明了 LaplaceLaplace 的展开定的展开定理。理。12 高斯高斯（GaussGauss）大约在）大约在 1800 1800 年提出了高斯消元法年提出了高斯消元法并用它解决了天体计算和后来的地球表面测量计算中并用它解决了天体计算和后来的地球表面测量计算中的最小二乘法问题。（这种涉及测量、求取地球形状的最小二乘法问题。（这种涉及测量、求取地球形状或当地精确位置的应用数学分支称为测地学。）或
9、当地精确位置的应用数学分支称为测地学。）虽然高斯由于这个技术成功地消去了线性方程的虽然高斯由于这个技术成功地消去了线性方程的变量而出名，但早在几世纪中国人的手稿中就出现了变量而出名，但早在几世纪中国人的手稿中就出现了解释如何运用解释如何运用“高斯高斯”消去的方法求解带有三个未知消去的方法求解带有三个未知量的三方程系统。在当时的几年里，高斯消去法一直量的三方程系统。在当时的几年里，高斯消去法一直被认为是测地学发展的一部分，而不是数学。被认为是测地学发展的一部分，而不是数学。13矩阵代数的丰富发展，人们需要有合适的符号矩阵代数的丰富发展，人们需要有合适的符号和合适的矩阵乘法定义。二者要在大约同一时
10、和合适的矩阵乘法定义。二者要在大约同一时间和同一地点相遇。间和同一地点相遇。1848 1848 年英格兰的年英格兰的西尔维斯特西尔维斯特(J.J.SylvesterJ.J.Sylvester)首首先提出了矩阵这个词，它来源于拉丁语，代表一排先提出了矩阵这个词，它来源于拉丁语，代表一排数。数。1418551855年矩阵代数得到了年矩阵代数得到了凯莱凯莱(Arthur CayleyArthur Cayley)的工的工作培育。作培育。CayleyCayley研究了线性变换的组成并提出了研究了线性变换的组成并提出了矩阵乘法的定义，使得复合变换矩阵乘法的定义，使得复合变换STST的系数矩阵变的系数矩阵变
11、为矩阵为矩阵S S和矩阵和矩阵T T的乘积。他还进一步研究了那些的乘积。他还进一步研究了那些包括矩阵逆在内的代数问题。包括矩阵逆在内的代数问题。15数学家试图研究向量代数，但在任意维数中并没有两个数学家试图研究向量代数，但在任意维数中并没有两个向量乘积的自然定义。向量乘积的自然定义。第一个涉及一个不可交换向量积（即第一个涉及一个不可交换向量积（即 v v w w 不等于不等于 w w v v）的向量代数是由）的向量代数是由格拉斯曼格拉斯曼(Hermann GrassmannHermann Grassmann)在在18441844年他的年他的线性扩张论线性扩张论一一 书中提出的。书中提出的。他的
12、观他的观点还被引入一个列矩阵和一个行矩阵的乘积中，结果就点还被引入一个列矩阵和一个行矩阵的乘积中，结果就是现在称之为秩数为是现在称之为秩数为 1 1 的矩阵，或简单矩阵。的矩阵，或简单矩阵。19 19 世纪末美国数学物理学家世纪末美国数学物理学家吉布斯吉布斯(Willard Willard GibbsGibbs)发表了关于发表了关于向量分析基础向量分析基础 的著名论述。的著名论述。16其后英国物理学家其后英国物理学家狄拉克狄拉克 (P.A.M.Dirac P.A.M.Dirac 1902-1902-1984)1984)提出了行向量和列向量的乘积为标量。提出了行向量和列向量的乘积为标量。矩阵的发
13、展是与线性变换密切相连的。矩阵的发展是与线性变换密切相连的。现代向量空间的定义是由现代向量空间的定义是由皮亚诺皮亚诺(Peano)Peano)于于 1888 1888 年年提出的。提出的。到到 19 19 世纪它还仅占线性变换理论形成中有限的空间。世纪它还仅占线性变换理论形成中有限的空间。我们习惯的列矩阵和向量都是在我们习惯的列矩阵和向量都是在 20 20 世纪由物理学家世纪由物理学家给出的。给出的。17二次世界大战后随着现代数字计算机的发展，二次世界大战后随着现代数字计算机的发展，矩阵又有了新的含义，特别是在矩阵又有了新的含义，特别是在矩阵的数值分矩阵的数值分析析等方面。等方面。由于计算机的
14、飞速发展和广泛应由于计算机的飞速发展和广泛应用，许多实际问题可以通过离散化的数值计算用，许多实际问题可以通过离散化的数值计算得到定量的解决。于是作为处理离散问题的线得到定量的解决。于是作为处理离散问题的线性代数，成为从事科学研究和工程设计的科技性代数，成为从事科学研究和工程设计的科技人员必备的数学基础。人员必备的数学基础。18阿贝尔阿贝尔(AbelAbel)与伽罗瓦与伽罗瓦(GaloisGalois)挪威数学家阿贝尔挪威数学家阿贝尔(1802.8.51829.4.6)(1802.8.51829.4.6)，以证，以证明五次元方程的根式解的不可能性而闻名。明五次元方程的根式解的不可能性而闻名。法国
15、数学家厄米特（法国数学家厄米特（HermiteHermite 18221901 18221901）在谈到）在谈到阿贝尔的贡献时曾说过：阿贝尔的贡献时曾说过：“阿贝尔留下的工作，可阿贝尔留下的工作，可以使以后的数学家足够忙碌以使以后的数学家足够忙碌150150年！年！”在和阿贝尔同时期的一个法国少年读到了他的著作，在和阿贝尔同时期的一个法国少年读到了他的著作，于是在不到于是在不到2020岁的时候在代数方程论岁的时候在代数方程论推陈出新推陈出新创立了创立了一门新的数学理论一门新的数学理论伽罗瓦理论伽罗瓦理论，这个发现者伽罗，这个发现者伽罗瓦还建立了群论的基础理论。瓦还建立了群论的基础理论。19法国
16、数学家伽罗瓦法国数学家伽罗瓦(1811.10.25-1832.5.31)(1811.10.25-1832.5.31)，与阿，与阿贝尔并称为现代群论的创始人。贝尔并称为现代群论的创始人。伽罗瓦理论伽罗瓦理论是当代代数与数论的基本支柱之一。它直是当代代数与数论的基本支柱之一。它直接推论的结果十分丰富：接推论的结果十分丰富：3.3.他解决了古代三大作图问题中的两个：他解决了古代三大作图问题中的两个：“不能不能任意三等分角任意三等分角”，“倍立方不可能倍立方不可能”。2.2.它漂亮地证明高斯的论断：若尺规作图能作出它漂亮地证明高斯的论断：若尺规作图能作出正正p p边形，边形，p p为质数且此同时为质数
17、且此同时 。122 kp1.1.它系统化地阐释了为何五次以上之方程式没有公它系统化地阐释了为何五次以上之方程式没有公式解，而四次以下有公式解。式解，而四次以下有公式解。湘潭大学数学与计算科学学院 王文强20第一章第一章 行列式行列式第一节第一节 二阶与三阶行列二阶与三阶行列式式21用消元法解二元线性方程组用消元法解二元线性方程组 .,22221211212111bxaxabxaxa 1 2 :122a,2212221212211abxaaxaa :212a,1222221212112abxaaxaa，得，得两式相减消去两式相减消去2x一、二阶行列式的引入其中其中21,xx是未知量，其它字母是已
18、知量。是未知量，其它字母是已知量。湘潭大学数学与计算科学学院 王文强22;212221121122211baabxaaaa ）（，得，得类似地，消去类似地，消去1x,211211221122211abbaxaaaa ）（时，时，当当021122211 aaaa方程组的解为方程组的解为，211222112122211aaaabaabx ）（3.211222112112112aaaaabbax 由方程组的四个系数确定由方程组的四个系数确定.湘潭大学数学与计算科学学院 王文强23 由四个数排成二行二列（横排称行、由四个数排成二行二列（横排称行、竖排竖排称列）的数表称列）的数表)4(22211211a
19、aaa)5(42221121121122211aaaaaaaa行行列列式式，并并记记作作）所所确确定定的的二二阶阶称称为为数数表表（表表达达式式 即即.2112221122211211aaaaaaaaD 湘潭大学数学与计算科学学院 王文强2411a12a22a12a主对角线主对角线副对角线副对角线2211aa.2112aa 二阶行列式的计算二阶行列式的计算其中元素其中元素 a aijij 的第一个下标的第一个下标 i i 为行指标，第二个为行指标，第二个下标下标 j j 为列指标。即为列指标。即 a aijij 位于行列式的第位于行列式的第 i i 行第行第 j j 列。列。湘潭大学数学与计算
20、科学学院 王文强25 .,22221211212111bxaxabxaxa,22211211aaaaD 若记若记,22211211aaaaD .,22221211212111bxaxabxaxa对于二元线性方程组对于二元线性方程组系数行列式系数行列式上一页上一页下一页下一页THANK YOUSUCCESS2023-1-3可编辑湘潭大学数学与计算科学学院 王文强27 .,22221211212111bxaxabxaxa,2221211ababD .,22221211212111bxaxabxaxa,22211211aaaaD 湘潭大学数学与计算科学学院 王文强28 .,2222121121211
21、1bxaxabxaxa,2221211ababD .,22221211212111bxaxabxaxa.2211112babaD 湘潭大学数学与计算科学学院 王文强29则二元线性方程组的解为则二元线性方程组的解为,2221121122212111aaaaababDDx 注意注意 分母都为原方程组的系数行列式分母都为原方程组的系数行列式.2221121122111122aaaababaDDx 湘潭大学数学与计算科学学院 王文强30 .12,12232121xxxx求解二元线性方程组求解二元线性方程组解解1223 D)4(3 ,07 112121 D,14 121232 D,21 DDx11,27
22、14 DDx22.3721 湘潭大学数学与计算科学学院 王文强31二、三阶行列式二、三阶行列式333231232221131211)5(339aaaaaaaaa列的数表列的数表行行个数排成个数排成设有设有,312213332112322311322113312312332211)6(aaaaaaaaaaaaaaaaaa 333231232221131211aaaaaaaaa（6 6）式称为数表（）式称为数表（5 5）所确定的）所确定的.湘潭大学数学与计算科学学院 王文强32323122211211aaaaaa .312213332112322311aaaaaaaaa (1)(1)沙路法沙路法三
23、阶行列式的计算三阶行列式的计算322113312312332211aaaaaaaaa D333231232221131211aaaaaaaaaD .列标列标行标行标333231232221131211aaaaaaaaaD 湘潭大学数学与计算科学学院 王文强33333231232221131211aaaaaaaaa332211aaa.322311aaa 注意注意 红线上三元素的乘积冠以正号，蓝线上三红线上三元素的乘积冠以正号，蓝线上三元素的乘积冠以负号元素的乘积冠以负号说明说明1 1 对角线法则只适用于二阶与三阶行列式对角线法则只适用于二阶与三阶行列式322113aaa 312312aaa 31
24、2213aaa 332112aaa 湘潭大学数学与计算科学学院 王文强34 如果三元线性方程组如果三元线性方程组 ;,333323213123232221211313212111bxaxaxabxaxaxabxaxaxa的系数行列式的系数行列式333231232221131211aaaaaaaaaD ,0 利用三阶行列式求解三元线性方程组利用三阶行列式求解三元线性方程组 2 2.三阶行列式包括三阶行列式包括3!3!项项,每一项都是位于不同行每一项都是位于不同行,不同列的三个元素的乘积不同列的三个元素的乘积,其中三项为正其中三项为正,三项为三项为负负.湘潭大学数学与计算科学学院 王文强35 ;,
25、333323213123232221211313212111bxaxaxabxaxaxabxaxaxa,3332323222131211aabaabaabD 若记若记333231232221131211aaaaaaaaaD 或或 121bbb湘潭大学数学与计算科学学院 王文强36 ;,333323213123232221211313212111bxaxaxabxaxaxabxaxaxa,3332323222131211aabaabaabD 记记,3332323222131211aabaabaabD 即即湘潭大学数学与计算科学学院 王文强37 ;,333323213123232221211313
26、212111bxaxaxabxaxaxabxaxaxa333231232221131211aaaaaaaaaD 湘潭大学数学与计算科学学院 王文强38 ;,333323213123232221211313212111bxaxaxabxaxaxabxaxaxa,3333123221131112abaabaabaD 得得 ;,333323213123232221211313212111bxaxaxabxaxaxabxaxaxa333231232221131211aaaaaaaaaD 湘潭大学数学与计算科学学院 王文强39 ;,333323213123232221211313212111bxaxax
27、abxaxaxabxaxaxa,3333123221131112abaabaabaD 得得 ;,333323213123232221211313212111bxaxaxabxaxaxabxaxaxa.3323122221112113baabaabaaD 湘潭大学数学与计算科学学院 王文强40,3333123221131112abaabaabaD .3323122221112113baabaabaaD 则三元线性方程组的解为则三元线性方程组的解为:,11DDx ,22DDx .33DDx 333231232221131211aaaaaaaaaD ,3332323222131211aabaabaa
28、bD 3,2,1,iDi是将是将D D的第的第i i列换成右端项得到。列换成右端项得到。湘潭大学数学与计算科学学院 王文强412-43-122-4-21 D计算三阶行列式计算三阶行列式按对角线法则，有按对角线法则，有 D4)2()4()3(12)2(21 )3(2)4()2()2(2411 24843264 .14 湘潭大学数学与计算科学学院 王文强42.094321112 xx求解方程求解方程方程左端方程左端1229184322 xxxxD,652 xx解得解得由由0652 xx3.2 xx或或湘潭大学数学与计算科学学院 王文强43例例4.4.利用对角线法则计算下列三阶行列式：利用对角线法则
29、计算下列三阶行列式：381141102 1 bacacbcba 2 222111 3cbacba yxyxxyxyyxyx 4 湘潭大学数学与计算科学学院 王文强44 381141102811)1()1(03)4(2 )1()4(18)1(2310 416824 4 bacacbcba3333cbaabc （1 1）（2 2）cccaaabbbcbabacacb 湘潭大学数学与计算科学学院 王文强45 222111 3cbacba222222cbbaacabcabc )()(accbba yxyxxyxyyxyx 4yxyxyxyxyyxx)()()(333)(xyxy 33322333)(3
30、xyxxyyxyyxxy )(233yx 湘潭大学数学与计算科学学院 王文强46例例5 5 解线性方程组解线性方程组 .0,132,22321321321xxxxxxxxx由于方程组的系数行列式由于方程组的系数行列式111312121 D 111 132 121 111 122 131 5 ,0 湘潭大学数学与计算科学学院 王文强47同理可得同理可得1103111221 D,5 1013121212 D,10 0111122213 D,5 故方程组的解为故方程组的解为:,111 DDx,222 DDx.133 DDx湘潭大学数学与计算科学学院 王文强48 二阶和三阶行列式是由解二元和三元线性方
31、二阶和三阶行列式是由解二元和三元线性方程组引入的程组引入的.对角线法则对角线法则二阶与三阶行列式的计算二阶与三阶行列式的计算.2112221122211211aaaaaaaa ,312213332112322311322113312312332211aaaaaaaaaaaaaaaaaa 333231232221131211aaaaaaaaa三、小结湘潭大学数学与计算科学学院 王文强49 使使求一个二次多项式求一个二次多项式,xf .283,32,01 fff湘潭大学数学与计算科学学院 王文强50解解设所求的二次多项式为设所求的二次多项式为 ,2cbxaxxf 由题意得由题意得 ,01 cbaf ,3242 cbaf ,28393 cbaf得一个关于未知数得一个关于未知数 的线性方程组的线性方程组,cba,又又,020 D.20,60,40321 DDD得得,21 DDa,32 DDb13 DDc上一页上一页下一页下一页THANK YOUSUCCESS2023-1-3可编辑
