克拉默法则及其推广在方程组求解中的应用.pdf
《克拉默法则及其推广在方程组求解中的应用.pdf》由会员分享,可在线阅读,更多相关《克拉默法则及其推广在方程组求解中的应用.pdf(19页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、克拉默法则及其在方程组求解中的应用克拉默法则及其在方程组求解中的应用数学学院数学与应用数学(师范)专业2008 级赵丽指导教师刘学文摘摘要要:线性代数是代数学的一个重要组成部分,广泛应用于现代科学的许多分支,其核心问题之一就是线性方程组的求解问题,对此,通常有两种解决方法,即消元法与克拉默法则。而克拉默法则正是应用行列式解决线性方程组的问题,其简洁、优美的表述方式堪称符号化的一个典范。 本文描述了克拉默法则产生的背景与意义, 归纳了克拉默法则及其推广形式的各种证明方法,并用典型例题说明了克拉默法则的应用。关键词:关键词:克拉默法则;线性方程组;消去法Abstract:Abstract: Lin
2、ear algebra is an important component of the algebra. Widely used in manybranches of science. It is one of the core problems of linear equations. Therefore, usually have twosolutions, namely elimination andCramers Rule. In studying the Cramers rule before, we learna variety of determinant method, wh
3、ile the Cramers rule is used to solve linear equations of theproblem of determinant, the concise, graceful expression is symbolic of a model.Cramers rule islinear algebra A on solving linear equations theorem. It is suitable for variables and equations isequal to the number of linear equations, is a
4、 Swiss mathematician Cramer (1704-1752) on 1750, inhis linear algebra analysis introduction published in.Key words:Key words: Cramers rule; linear equations; proof; application引言引言克拉默法则(Cramers Rule ),也称克莱姆法则,是线性代数中一个关于求解线性方程组的定理。线性代数是代数学的一个重要的组成部分,广泛地应用与现代科学的许多分支。其核心问题之一就是线性方程组的求解问题。对此通常有第 1 页 (共 1
5、9 页)两种方法,即消元法和克拉默法则(Cramers Rule )。在中古代, 九章算术的成书年代就已经将消元法运用自如了,它与现代的矩阵初等变换法则非常相似,而在西方,类似的方法到 1826 年才被高斯(Carl Friedrich Gauss,1777-1855)发现并创建,因而称之为高斯消元法。至于克拉默法则,它是瑞士数学家克拉默(1704-1752)于 1750 年,在他的线性代数分析导言中发表的,它是按行列式形式来求解线性方程组的,它适用于变量和方程数目相等的线性方程组,其简洁、优美的表述方式堪称数学学科符号化的一个典范。但是,关于它的发展史料散见与西方的一些文章,缺乏系统性的研究
6、和分析,尤其在我国,其有关研究几近空白。本文章将从克莱姆法则的史料分析开始,旨在分析克莱姆法则在方程组求解当中的应用。1 1克拉默法则的历史研究与意义克拉默法则的历史研究与意义Cramers Rule 并不是克拉默(Gabriel Cramer,17041752)本人最先使用的,他只是第一个公开发表这一法则的人。史料记载,英国数学家马克劳林(ColinMaclaurin,16981746)比克拉默发现该法则的时间还要早两年。如果向前追溯的话,德国数学家莱布尼兹(Gottfried Wilhelm Leibniz,16461716)早在1678年的一份手稿中也给出了所谓的克拉默法则。1.11.1
7、莱布尼兹的工作莱布尼兹的工作莱布尼兹期望用指标符号,用数字作为双指标,表示方程的系数;用单个数字作为单指标,表示方程的未知量。他所采用的这些符号,由于当时没有公开发表,所以很少有人知道。在 1678 年的那份手稿中,他把含有 4 个未知量(用 2,3,4,5 表示未知量)的线性方程组表示为:12,2+13,3+14,4+15,5-A=0,22,2+233+24,4+25,5-B=0.32,2+33,3+34,4+35,5-C=0,第 2 页 (共 19 页)42,2+43,3+44,4+45,5-D=0。而且,明确地以一个分数的形式表达了每一个未知数的值,也就是在这份手稿中,他给出了所谓的 C
8、ramers Rule。与此同时,也明确地给出了一般规则的表达形式,比克拉默本人 1750 年发表出来的时间要早 70 多年。但是,莱布尼兹所做的这些工作都是后来被人们发现的,所以它们对马克劳林、克拉默各自独立提出来的规则并没有什么大的影响。对线性方程组的求解方法的发展也不可能产生很大影响。不过,应该指出,莱布尼兹的工作与他的研究方法和数学思想是密切相关的。1.21.2马克劳林的工作马克劳林的工作马克劳林,自幼聪慧勤奋,11 岁便步入大学校门,17 岁就以有关引力研究的论文获硕士学位,19 岁受聘为阿伯丁马里沙尔学院数学教授,21 岁当选为英国皇家学会会员。1722 年赴法国巴黎从事研究工作,
9、1724 年以物体碰撞论文获巴黎科学院奖金。次年回国,任爱丁堡大学数学教授。他的主要贡献是继承和发展了牛顿的流数理论。在代数方面的成绩也是不容忽视的,尤其是在1748 年他的遗嘱代数论著 (A Treatise of Algebra)中,最先开创了用行列式的方法来求解含 2 个、3 个和 4 个未知量的联立线性方程组。ax by caf dc例如,在中,可求出,y ;在含 3 个未知量的联立方程ae dbdx ey fax by cz maep ahn dhn dbp ghn gem。dx ey fz n中,可解得z aek ahf dhc dbk gbf gecgx hy kz p他解释说,
10、对前一种情况,y的分母是由x, y的系数的乘积构成的,但这些系数分别来自于不同的方程, 且属于不同的未知量。y的分子则是由不含y的系数的所有可能的乘积,但乘积的因子分别来自于不同的方程,且不属于同一未知量。对后一种情况,他指出,z的分母是由x, y,z的系数的所有可能的乘积组成的,而组成这些乘积的因子分别来自于不同的方程, 且属于不同的未知量。z的分子则是由不包含z的系数在内的x, y的系数和常数项的乘积的组合,而这些乘积的因子来自于第 3 页 (共 19 页)不同的方程,且不属于同一未知量。当然,对于含 4 个未知量的 4 个方程来说,也可以按上面所说的同一模式进行求解。在求解过程中,他也意
11、识到了分子。分母中的符号问题,遗憾的是没能进一步给出一个明确的法则来确定符号。虽然,书中的记法繁琐,符号变化的规则又比较模糊,但是它确实就是我们今天所使用的Cramers Rule。1.31.3克拉默的克拉默的Cramers RuleCramers Rule克拉默为瑞士数学家,早年在日内瓦读书,1724 年起在日内瓦加尔文学院任教,1727 年进行为期两年的旅行访学。其间,结识了约翰伯努利、欧拉等一些大数学家。1734 年成为几何学教授,1750 年又成为哲学教授。先后当选为伦敦皇家学会、柏林研究院和法国、意大利等学会的成员。其主要著作是线性代数分析导言 (Introduction lanal
12、ysedes lignescourbesalgbriques,1750) 。在这本书中,他给出了由线性方程组的系数来确定方程组解的表达式,既我们现在所谓的CramersRule他是这样描述的:设有n个未知数z, y,x,v,&c,构成如下方程组:A1 Z1z Y1y X1x V1v &c.A2 Z2z Y2y X2x V2v &c.A3 Z3z Y3y X3x V3v &c.A4 Z4z Y4y X4x V4v &c.&c.其中,字母A1,A2,A3,A4等一般不表示A的幂,而是代表第 1 个、第 2 个、第 3个方程左边的已知数。同样地,Z1,Z2,Z3,代表第 1 个、第 2 个、第 3个
13、方程中z的系数。如果采用这种符号,对于只含有一个未知量z的一个A1方程时,将得到z 1。对含有两个未知量z和y的两个方程时,将有:ZA1Y2 A2Y1Z1A2 Z2A1z 12y 1221Z Y Z YZ Y Z2Y1。,对含有 3 个未知量x, y,z的 3 个方程时,则得:第 4 页 (共 19 页)A1Y2X3 A1Y3X2 A2Y1X3 A2Y3X1 A3Y1X2 A3Y2X1z 123Z Y X Z1Y3X2 Z2Y1X3 Z2Y3X1 Z3Y1X2 Z3Y2X1;Z1A2X3 Z1A3X2 Z2A1X3 Z2A3X1 Z3A1X2 Z3A2X1y 123Z Y X Z1Y3X2 Z
14、2Y1X3 Z2Y3X1 Z3Y1X2 Z3Y2X1;Z1Y2A3 Z1Y3A2 Z2Y1A3 Z2Y3A1 Z3Y1A2 Z3Y2A1x 123Z Y X Z1Y3X2 Z2Y1X3 Z2Y3X1 Z3Y1X2 Z3Y2X1。通过考察这些公式,克拉默给出了一个一般性的规则,即方程的个数和未知量的个数都是n时,我们可以通过分母相同的n个分数来求的每一个未知量的值。虽然对于分子、分母的表达以及符号的确定,克莱姆本人都有一套可遵循的规则,应用起来得心应手,但是克莱姆本人没有给出这个规则一个严密的逻辑证明,而是后来柯西在 1815 年首次给出了克拉默法则的一个严密的证明过程。1.41.4克拉默法则克
15、拉默法则命名的争议命名的争议美国数学史家波耶(Carl B. Boyer)根据一封马克劳林写给皇家学会哲学会刊的信推测马克劳林“知道”这一法则的时间可追溯到 1729 年,在 1729 年的这封信里,他声称自己正在写代数论著这本书。虽然马克劳林在信里没有提及任何关于克拉默法则的文字,但是一件为公开发表的手稿证实了CarlB.Boyer的猜测。其内容与1748 年版本中的克拉默法则的形式完全一致。因此可以说,在克拉默法则发表 20 年以前,马克劳林就在教他的学生学习克拉默法则了。但是为什么又把克拉默法则归属于克拉默了呢?除了他是第一个发表的以外,还有其他原因。一是克拉默优越的符号解释了为什么马克
16、劳林对这个法则的陈述被忽视的原因;另一方面,也许是由于欧拉(Leonhard Euler,17071783)在他的通俗代数课本中说克拉默法则是一个“非常漂亮的法则” ,这样一个非常高的评价。还有一个原因,可能是由于缪勒(ThomasMuir,18441934)在他著名的行列式理论 (TheTheory of Determinants in the Historical Order of Development)一书中忽视了马克劳林的贡献,把以下 3 个“新结果”归功于克拉默:1)给出了一个规则,即线性方程组的未知量的值都可以用一个分数的形式来表达,并且具有相同的分母。第 5 页 (共 19 页
17、)2)给出了确定符号的规则,即在分子、分母中的每一项都有一个明确的符号,也就是根据指数的重排数的奇偶性来确定每一项的正负号。 (对于同一项里的指数,如果一个数字接着另一个数字排列,而后面的这个数字比前面的那个数字小,那么这样的两个数字就构成了一个重排,一个指数里重排的总个数就是重排数。如Z3Y1X2的重排数是 2,因为 1 比 3 小,2 比 3 小;Z3Y2X1的重排数是 3,因为1 比 2 小,1 比 3 小,2 比 3 小)3)给出了从分母的表达式中获得分子表达式的这样一个规则。遗憾的是马克劳林没能给出 2)所说的正负号的确定法则。从方法上来看,两人得出这一法则的思路基本上都是从线性方程
18、组的求解入手,都是用线性方程组的系数来给出解的表达式,而且两人都没有用“行列式”这一名称,其实,行列式这一名词最早出现在 18 世纪初柯西的著作中,他还首先采用双重足标的记法把元素排成方阵,并系统化了克拉默法则以及它的证明。克拉默法则的产生和其他多数数学知识一样,是许多数学家共同努力的结果,马克劳林和克莱姆分别比较完整的得到了求解线性方程的这一法则,柯西严密地证明了这一法则,所以这一法则才会沿用至今。2 2克拉默法则克拉默法则 2.1 n 2.1 n 元线性方程组的有关概念元线性方程组的有关概念在介绍克莱姆法则之前,先介绍几个概念及定理。定义2.11一般线性方程组是指形式为a11x1a12x2
19、a1nxn b1a x a x a x b21 12222nn2 (1)amx1am2x2amnxn bm,xn代 表n个 未 知 量 ,m是 方 程 的 个 数 ,的 方 程 组 , 其 中x1,x2,aij(i 1,2,m, j 1,2,n)称为方程组的系数,bj( j 1,2,m)称为常数项。方程第 6 页 (共 19 页)组中未知量的个数n与方程的个数m不一定相等。 系数aij的第一个指标i表示它在第i个方程,第二个指标j表示它是 xj的系数。若bj( j 1,2,m)不同时为 0,则方程组(1)称为非奇次线性方程组非奇次线性方程组。若bj( j 1,2,m)同时为 0,则该方程组称为
20、奇次线性方程组奇次线性方程组。定义2.21由nn个数排成的n行n列,即如下形式的:Dna11a21a12a1na22a2nan1an2ann称为n级行列式级行列式,其中数aij表示位于第i行第j列的元素。在n阶行列式中,n 2时,Dn a11A11a12A12a1nA1na1jA1j,这里,Aij (1)i jMij称为元素aij的j1n代数余子式代数余子式,Mij称为元素aij的余子式余子式。即a11ai1,1an1a1, j1a1, j1ai1, j1an, j1a1nMijai1, j1an, j1ai1,nannai1,1ai1, j1ai1, j1ai1,n它是由Dn划去aij所在的
21、行和列后剩下的元素按原来的位置排成的一个n1阶行列式,当n 2时,D2a11a21a12a22 a11a22a21a12。定义2.31有mn个数排成一个m行n列,并包以方括弧(或圆括弧)的数 a11a12a22a表21am1am2a1na2n称m行n列矩阵,简称mn矩阵矩阵。矩阵通常用大写字母amnA,B,表示,记作A aij mn,其中aij(i 1,2,m,j 1,2,n)陈为矩阵A的第i行第j列元素。第 7 页 (共 19 页) a11a211定义2.4矩阵A am1 a11a21称B (A|b)am1a12a22a1na2na12a22am2a1na2n称为线性方程组 (21) 的系数
22、矩阵系数矩阵,amnam2amnb1b2称为线性方程组(21)的增广矩阵增广矩阵。bm定义2.52矩阵的初等行变换初等行变换是指:(1)互换矩阵中任意两行的位置(互换变换) ;(2)将矩阵的某一行的所有元素都乘以一个非零常数k(倍乘变换);(3)将矩阵的某一行的所有元素都乘以一个非零常数k后加到另一行的对应元素上(倍加变换) 。定义2.62在mn矩阵A中,任取k行与k列(k m,k n) ,位于这些行列式交叉处处的k2个元素,保持它们原来的位置不变,组成一个k阶行列式,称为kk矩阵A的一个k阶行列式阶行列式(或k阶子式) 。mn矩阵A的k阶子式共有Cm个。Cn定义2.73设在矩阵A中一个不等于
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 克拉 法则 及其 推广 方程组 求解 中的 应用
限制150内