克莱姆法则多种证明方法的比较研究.docVIP

【标题】克莱姆法则多种证明方法的比较研究 【作者】向 利 华 【关键词】克莱姆法则??证明方法??比较 【指导老师】周 均 【专业】数学与应用数学 【正文】1引言线性代数是代数学的一个重要组成部分,广泛应用于现代科学的许多分支.其核心问题之一就是线性方程组的求解问题.对此,通常有两种解决方法,即消元法与克莱姆法则(第1种方法,在我国,早在《九章算术》的成书年代就已经运用自如了,它与现在的矩阵初等变换法则非常相似,而在西方,类似方法直到1826年才为高斯(Ｇａｕｓｓ,1777—1855)创建,因而称之为高斯消元法.至于克莱姆法则,它是在1750?年，瑞士数学家克莱姆?(G.Cramer,1704-1752)?在其著作《线性代数分析导引》中，对行列式的定义和展开法则给出了比较完整、明确的阐述，并给出了现在我们所称的按行列式形式来解线性方程组的克莱姆法则,其简洁、优美的表述方式堪称符号化的一个典范.遗憾的是,克莱姆本人没有给出这个规则的一个严密的逻辑证明,而是柯西在1815年首次给出了克莱姆法则的证明.现如今,也有很多的数学工作者和高校教师在从事该法则证明方法的研究,该法则的证明方法也越来越多,可以说已趋于成熟.而这些证明方法大都是利用行列式或矩阵的性质和运算规则来证明的,在这里归纳总结出比较完整的克莱姆法则的证明方法，下面我们就来讨论一下克莱姆法则的证明方法.2克来姆法则多种证明方法的比较1、定理1（克莱姆法则）如果线性方程组　　　　?　????????????（1）的系数行列式：　　　　?那么这个方程组有解，并且解是唯一的，这个解可表示成：　　　　　?　　　（2）其中?是把?中第?列换成常数项?所得的行列式，即　　　　???.2、证明方法　　2.1?代入法分析：定理1?共有3个结论：??.方程组有解；?.解是唯一的；?.解由公式（2）给出.因此证明的步骤是：第一，把?代入方程组，验证它确实是解.这样就证明了方程组有解，并且（2）是一个解，即证明了结论?与?.第二，证明如果?是方程组（1）的一个解，那么一定有?.这就证明了解的唯一性，即证明了结论?.证：先回忆行列式的一个性质，设n阶行列式?，则有：??　接下来证明定理，首先，证明（2）确实是（1）的解.将行列式?按第?列展开得：?,其中?是行列式?中元素?的代数余子式?.现把?代入第?个方程的左端，得：?????这说明将（2）代入第?个方程后，得到了一个恒等式，所以（2）是（1）的一个解.　其次，设?是方程组（2）的一个解，那么，将?代入（1）后，得到?个恒等式：　　　　?　　　　　　（3）用系数行列式的第?列的代数余子式?依次去乘（3）中?个恒等式，得到：　　　　?将此?个等式相加，得：从而有：?.这就是说，如果?是方程组（1）的一个解，那么一定有?，所以方程组只有一个解?.该方法常见于高等数学和线性代数的教材中的普遍证法,它是用的代入法,先把结果代入原方程组,自然而然地引出结论?,??,然后再去证明结论?,从而综合这两点得出的克莱姆法则.此法虽然普遍，但是它的思想方法可以广泛地应用到数学领域的其他方面去，如验证解的正确与否以及解的存在性等方面.2.2.运用行列式性质的证法?克莱姆法则定理放在行列式一章的最后，若只单纯的作为一个定理或公式去介绍，则只要给出一个证明即可，而实际上我们可以结合对行列式性质的复习对定理进行多方位多角度的灵活随意的证明方法，这以下列举一些由行列式性质与运算规则给出的另外一些证明方法.2.2.1?唯一性证法1、 证法一：设?是方程(1)的任一解,则?=?将第j列(j=2,3,?,n)的?倍加到第一列上,得?.因为?所以?成立同理可证,?成立注?也可将?的第一列拆成n个行列式之和，其中n-1个为0，只有?，从而有?.[2]2、证法二：?设?是方程(1)的任一解,由行列式性质可知?=?用?分别乘其第1,3,?，n+1?列后都加到第2列上得?==?因为?所以??.同理可证,?成立.3、证法三：设?是方程(1)的任一解,由行列式性质可知因为?所以?.同理可证,?成立.4、证法四:设?是方程(1)的任一解,由行列式性质可知?因为?所以?.?同理可证,?成立.5、证法五:设?是方程(1)的任一解,由行列式的乘法规则，得?因为?所以?，?同理可证,??所以，?成立.6、证法六：设?是方程（1）的任一解欲证:???把上述行列式的第j列乘以?,?加到第?列上,则?=?所以?,又因为?,则:?.证毕.?[3]本节的几种证明方法都是在假设解存在的情况下来证明克莱姆法则解的唯一性，即是证明它的解都是由唯一的