[其它]克莱姆法则及应用.doc

本科生毕业论文（设计）题 目： 克莱姆法则及应用 专业代码： 070101 作者姓名： 蔡婷婷 学 号： 2008200631 单 位： 数学科学学院 指导教师： 樊树芳 2012年 3月 10日目录前 言11. 克莱姆法则的定义12. 克莱姆法则的证明42.1 克莱姆法则的一般证明方法42.2克莱姆法则的简易证明92.3克莱姆法则的一个新证明10 2.4 关于克莱姆法则的证明方法的比较 13 3. 克莱姆法则的应用113.1 三维相对论欧拉方程组的洛仑兹不变性克莱姆法则的应用113.2 关于相容线性方程组的广义克莱姆法则154.克莱姆法则的推广164.1 推广1164.2 推广2174.3 推广317结论 18参考文献19摘要 克莱姆法则及应用是高等代数中的重点内容.本文首先叙述了克莱姆法则的定义，之后给出了克莱姆法则的几种证明方法，最后结合实例探讨了克莱姆法则的应用阵的应用.关键词：克莱姆法则AbstractThe problem of linear transformation and the matrix diagonalization is an important part of the whole advanced algebra . This article gives some conclusions about the eigenvalue and eigenvector of linear transformation and matrix at first .Then the article describes the definition of linear transformation and matrix which can be diagonal .Given of the conclusions which have been proven , the article gives the necessary and sufficient conditions of the linear transformation and matrix that can be diagonal, as well as the relationship between the linear transformation which can be diagonal and the matrix which can be diagonal. Finally, the article describes the methods and steps of how diagonal a linear transformation and a matrix and the function of the matrix which can be diagonal . Key words: matrix；linear transformation；eigenvalue；eigenvector .克莱姆法则及其应用前 言克莱姆法则是瑞士数学家克莱姆经过证明的出的，克莱姆 （Cramer,Gabriel,1704-1752）,瑞士数学家。生于瑞士，卒于法国。在巴塞尔时与与约翰·伯努利、欧拉多人学习交流，并成为挚友，曾任教学和哲学教授，克莱姆对数学的贡献主要指在高等代数和解析几何方面。克莱姆法则是高等代数的重点内容之一，以及克莱姆法则在理论上和应用上都有着十分重要的意义。例如计算行列式，在生活中也有很多地方用到了克莱姆法则。 1. 预备知识 若想学习克莱姆法则，必须知道什么是系数行列式。现在就给介绍一下系数行列式。设含有n个未知量n个方程的 （1-1）其系数构成的行列式称为方程组（1-1）的系数行列式。1. 克莱姆法则的定义克莱姆法则（Cramer Rule）：一个含有n个未知量n个方程的线性方程组（1-1)当它的系数行列式时，有且仅有一个解： （1-2）期中是将的第列换成常数项而其余列不变的行列式。即 2. 克莱姆法则的证明方法克莱姆法则有多种证明方法，在此我中立出三种证明方法，分别是2.1克莱姆法则的一般证明方法2.1.1 克莱姆法则的一般证明方法在给 在第一节中已经给出克莱姆法则的定义，再次就不在家赘述。现在就有一般方法来证明克莱姆法则。证 首先，证明（1-2）式确实是方程组（1-1）的解：把代入（1-1）中第一个方程，得 这就是说，（1-2）式满满足方程组（1-1）中的第一个方程。同理可证（1-2）式也满足方程组（1-1）中其余n-1个方程。因此，(1-2)式确为方程组（1-1）的解。其次，设是方程组（1-1）的任意解，将其代入方程组（1-1）得个恒等式，再用的第列元素的代数余子式依次乘所得的个恒等式的两端再相加，得即 由知 这就是说，如果是方程组（1-1）的一个解，则 即方程组只有一个解。2.1.2 克莱姆法则的一般证明方法的应用例1 解线性方程组解 由于方程组的系数行列式故由Cramer法则知此方程有唯一解，又因为 所以方程的唯一解是：在线性方程组中，有一种特殊而重要的方程组，即常数项为零的方程组：称此为其次线性方程组。这种方程组显然有解：称其为零解。其次线性方程组若有其他的解，即不全为零的解，成为非零解。对于方程个数与为质量的个数相同的其次线性方程组，利用Cramer法则，有定理 若其次线性方程组 （1-3）的系数行列式则方程组（1-3）有唯一零解。证 因为故由Cramer法则知，方程组（1-3）有唯一解。但零显然是其解，从而方程组（1-3）只有零解。例2 如果阶行列式，而中元素的代数余子式，则其次线性方程组（1-3）必有非零解。证 因为，故的每一行元素的代数余子式都是方程组（1-3）的解。又，故方程组（1-3）必有非零解。参考文献：高等代数上东大学出版社 2.2 克莱姆法则的一个简易证明在线性代数教学中, 一般是通过解二元和三元线性方程组引入行列式; 又为了完整和扣题, 是通过介绍克莱姆法则结束行列式教学的, 尽管在后面我们可以用逆阵的理论轻松地得到克莱姆法则. 由于此时, 我们还没有建立完整的线性方程组解的理论, 故一般我们是分解的存在性和唯一性两部分来证明克莱姆法则, 结果是讲的费劲, 学的迷惑. 特别是, 此刻只能指出(方程与未知数个数相同的)齐次方程的系数行列式为零是此方程组有非零解的必要条件, 很难说明充分性也成立. 在本文中, 我们用消元法轻松、自然地给出一个有关线性方程组的基本引理. 用此引理, 我们又可以轻松地证明克莱姆法则及齐次方程组有非零解的充要条件. 虽然我们多加了一个引理, 但此引理突显的是消元法, 而这也是线性代数中理应强调的. 引理 线性方程组可以通过消元变换(将一方程的倍加到另一个上)变为同解方程组. 证明 首先, 通过消元法我们证明方程组可化为下列形式的同解方程组. (1) 若, 用乘第1个方程加到第方程上, 方程组就可以化为方程组的形式; (2) 若, 但某个, 则先将第个方程加到第1个方程上, 再进行按上面的方法进行; (3) 若, 结论成立. 对于方程组的后个方程再进行同样的处理即知本引理成立. 克莱姆法则 若线性方程组的系数行列式, 则此方程组有唯一的一组解 ,这里是将中的第列换成得到的行列式.证明 由上述引理, 方程组与同解, 且它们的系数行列式相等, 即. 再对方程组从下向上逐步消元知, 方程组与同解, 且 再由行列式的性质, 我们还有, , ., .于是.定理 齐次线性方程组有非零解系数行列式.证明 设齐次方程组有非零解, 我们用反证法来证实. 假设, 由克莱姆法则知此方程组有唯一一组解; 又因为齐次方程组一定有零解, 故方程组无非零解. 这与开始的假设矛盾. 此时, 以为已知条件, 来证明方程组(5)有非零解. 由引理知, 方程组与方程组同解, 且. 此刻, 至少有一个. 设中第一个为0的是. 现在, 取代入方程组, 方程组化为.此时, 方程组的系数行列式等于. 由克莱姆法则, 此方程组有唯一一组解. 此解与拼起来就是方程组的一组非零解. 2.3 克莱姆法则的一个新证明 克莱姆法则是线性代数的一个基本定理，本文用一种简洁的的方法对该定理给出了一种新的证。 克莱姆法则的定义已在1.1中学过，设含有n个未知量n个方程的其中各为系数，各为常数项，各为未知量。用表示方程组的系数矩阵，表示系数矩阵的行列式值。用表示用列向量替换的第列得到的方阵。如果，则线性方程组有唯一的解向量如下：。证明 由于，知可逆，故可以经过有限次初等变换把逐步变成（单位矩阵）。对线性方程组一次做这些行初等变换，则线型方程组依次变成。由于，可知具有以下形式：一方面，这些线性方程组都是同解的，而显然存在唯一的解向量。另一方面，对任意正整数，有其中依次是做了如下的变换：（1）如果对做了换行变换而变成，（2） 如果对做了行消法变换而变成，（3） （3)如果对的某一个方程两端同乘以倍而变，其中依次做了如下变换：（1） 如果对做了换行变换而变成，（2） 如果对做了行消法变换而变成，（3） 如果对的某一个方程两端同乘以倍而变，因此，对任意正整数，及任意，恒有以下各等式成立：注意到知，有，而为单位矩阵，故有因此，原线性方存在唯一的解向量为。参考文献:【1】 北京大学数学系 高等代数（第二版）【M】。北京：高等教育出版社，19【2】 贾启恒，高等代数，济南：山东大学出版社，1993 。2.4 关于克莱姆法则的证明的比较2.4.1克莱姆法则证明方法的比较及其示 在克莱姆法则的证明中，不管用哪种方法，都需要论证3个结论：界的存在性、解的行列式表达、级的唯一性。从逻辑形式上来说，解的行列式表达已蕴涵了解的存在性，即只要验证（2）是（1）的解，就证明了解的存在性；事实上，增根(因在A l􀀁 , A Z*, A % 中可能有一个为0)的新方程组D x .一D . , 而此方程组当D 并.时有唯一解(2 ) , 因而验证了(2) 确是方程组(l) 的解, 即就是方程组(1) 的唯一解.3 克莱姆法则证明方法的比较及启示在克莱姆法则的证明中, 不管用哪一种方法, 都需要论证3 个结论:解的存在性%解的行列式表达%解的唯一性.从逻辑形式上来说, 解的行列式表达已蕴涵了解的存在性, 即只要验证(2 )是(1) 的解, 就证明了解的存在性;事实上, 通过构造出( l) 的解来证明解的存在性应是克莱姆法则的本质所在.这里, 根据(1) 的解是被(验证还是被(构造, 可以将这5 种证明方法分为两种类型: (验证性证明和(构造性证明. 在(验证性证明中, 只要验证了(2 )是(l) 的解, 就证明了解的存在性, 文献)l #%2 #中的证明方法就属于(验证性证明, 并通过(同一法证明了解的唯一性在(构造性证明中, 首先构造出( 1) 的唯一解, 再证明此唯一解也可用(2) 来表达. 可以看出, 文献3 %4 和5 中的证明方法就属于(构造性证明.通过分析比较这两类证明方法及其证明的思路, 得到求解线性方程组的3 点重要启不.3 .1 消元的思想和方法是( 构造性证明的本质(验证性证明利用行列式的性质及展开定理, 将(2) 式代人方程组( 1) , 验证了(2) 确是(1) 的解,这样既证明了方程组( 1) 有解, 又证明了方程组(1) 的解可用(2) 来表达.但是,并非实际构造出方程组( l) 的解, 而在(构造性证明中, 或者通过矩阵的乘积及其乘积的行列式, 或者通过矩阵的初等变换与所对应行列式的相互关系等数学工具确实构造出了方程组(l) 的各种不同形式的解, 这些解都能转化为(2 )的形式.从数学严格意义上讲, 克莱姆法则是需要做出(构造性证明的, (构造性证明能体现克莱姆法则的本质, 能反映消元的思想和方法, 这也是求解线性方程组的本质.3.2 克莱姆法则的理论价值高于实用价值 不管哪一类证明方法, 都要给出线性方程组求解公式的行列式表达, 此表达式揭示了线性方程组的解与系数之间的函数关系,它给出了线性方程组有解的充分条件, 也检验了行列式定义的合理性, 这都是克莱姆法则的理论价值.需要指出, 克莱姆法则所给出的线性方程组的求解公式是理论性的研究中不可缺少的工具, 但在方程组的数值解法中很少被使用, 因为用克莱姆法则求解线性方程组, 需要计算n + 1 个n 阶行列式, 用于数值计算并不有效.但在(构造性证明方法中所渗透的消元的思想和方法克服了克莱姆法则在数值计算上的不足.3.3 消元是解线性方程组的一个皿要的思想和方法 克莱姆法则在数值计算上的不足引起人们对一般线性方程组解的研究, 从而产生了线性方程组的数值解法的很多方法和算法,消元是解线性方程组的一个重要的思想和方法, 其基本思想是用统一算法, 经过有限次四则运算, 逐步消去方程组中未知数, 把原方程组化为同解的三角形方程组再(回代求出准确解.这个方法中所渗透的基本思想在线性代数的其他一系列理论问题和计算问题中都发挥着重要的作用.参考文献l 刘仲奎, 杨永保, 程辉, 等. 高等代数M . 北京:高等教育出版社, 20 3 , 2 6一28.2 郭幸琦, 岑嘉评.徐贵桐. 线性代数导引M #.北京:科学出版社, 2 00 1 , 52一53 .3 丘维声. 高等数M #. 北京:高等教育出版社, 199 6 , 215 .4 # 孙伯奎.克莱姆法则的一个断证明J #. 山东大学学报(理学版) , 200 3 , 3 8 (2) :119一120 .5 同济大学数学教研室.工程数学:线性代数(第3 版)M #. 北京:高等教育出版社, 1999.29-3 0 .3.1三维相对论欧拉方程组的洛伦兹不变性克莱姆法则的应用介绍有关三维相对论欧拉方程组的一个性质，即该方程组保持洛伦兹不变性。在证明的过程中，克莱姆法则起到了重要的作用，另一些向量运算的技巧也是必须的。3.11 简介我们考虑4维闵科夫斯基时空中的相对论欧拉方程组， （1） 式中：表示能量张量；表示平直的闵科夫斯基时空的度量，且，并且，同时， （2）是质能密度，分别表示粒子数，静止能量以及光速。表示压力；表示四维速度且，这里是固有的时间间隔，并且有 (3) 令 ， （4） 很容易得到三维相对论欧拉方程组的方程模型见参考文献【14】。 （5）式中：表示关于空间变量求散度。上述方程中第一个方程表示粒子数守恒方程，第二个方程表示动量守恒方程，（因为速度为向量，它其实包括三个方程），第三个方程为能量守恒方程。关于上述方程组的一维情形，文献【5】中证明了极端相对论整体熵解的极限问题，文献【6】证明了其等熵子系统整体熵解的极限问题。对于三维情形，大多是球对称方面的结果，例如【712】。同时有关方程组( 5) 局部经典解的存在性和奇异性结果见参考文献【1316】。并且文献【17】还从数学上揭示了方程组( 5) 的特殊相对论效应问题。方程组( 5) 的保持洛仑兹不变性是相对论欧拉方程组的重要性质，但是在以往的工作中，只是运用这一结果，很少从理论上对其进行严格的证明，尤其对更有物理意义的三维相对论欧拉方程组而言运算比较复杂，在本文中，我们将对其进行严格的数学证明。3.12 方程组( 5) 保持洛伦兹变换不变性命题 1 系统( 5) 在下述洛伦兹变换下保持不变性。在证明该引理之前，首先讨论如下的洛伦兹变换。我们考虑从坐标系 K 到另外一个坐标系 K的变换，并且坐标系 K相对于坐标系 K 作速度为V = ( 1，V2，V3) 的运动，相应的坐标( t，x) 和( t，x) 应该满足下面的公式这里。 根据式( 6) ，得到两个坐标系和下粒子的运动速度分别为和 即 这里，表示两个向量的点乘。利用克莱姆法则，可以从式( 6) 中反解出来，其中 为简单起见，记 经过计算，可得 。所以，可以解得 因此，有 同样地，从式和式 可以得到 在以上各个式子的基础上，有如下的式子成立 另一方面，从式( 6) 和式( 14) 可得: 根据式( 20) 和式( 21) ，则相对论欧拉方程组中的粒子数守恒方程变为 把式( 16) ( 19) 代入到式( 22) 中，整理得 三个动量守恒方程可以化为 再次利用式( 20) 和( 21) ，上式可以化为把代入到式( 23) 中，整理得到 根据( 16) ( 21) ，能量方程可以化为结合式( 24) 和( 25) ，他们相当于关于变量和变量的一个齐次线性方程组，其系数矩阵的行列式为所以根据克莱姆法则，得到方程组( 24) 和( 25) 只有零解。即和 这也就证明了相对论欧拉方程组( 5) 在洛仑兹变换( 6) 下保持形式不变性。参考文献:1 Anile A M Relativistic fluids and magneto-fluids，cambridge monographs on mathematical physics，Cambridge University Press， New York，1989:80 822 Landau L D，Lifchitz E M Fluid mechnics，2nd Edi-tion，Pergamon，1987: 505 5123 Li T T，Qin T Physics and parital differential equa-tions ( 2nd edition ) ，Higher Eudcation Press: Bei-jing，2005: 183 1964 Shi C C Relativistic fluid dynamics，Science Press，Beijing，1992: 161 2325 Geng Y C，Li Y Non-relativistic global limits of entro-py solutions to the extremely relativistic Euler equa-tions，Z Angew Math Phys，2010，61: 201 2206 Li Y C，Geng Y Non-relativistic global limits of Entro-py solutions to the isentropic relativistic Euler equa-tions，Z Angew Math Phys，2006，57: 960 9837 Guo Y，Tahhvildar-Zadeh S Formation of singularitiesin relativistic fluid dynamics an in spherically sym-metric plasma dynamicsJ Cntemp Math，2009，238: 151 1618 Hao X W，Li Y C Non-relativistic global limits of en-tropy solutions to the Cauchy problem of the three di-mensional relativistic Euler equations with sphericalsymmetryJ Commun Pure Appl Anal，2010，9: 365 3869 Hsu C H，Lin S，Makino T Spherically symmetric so-lutions to the compressible Euler equation with an as-ymptotic -lawJ Japan J Indust Appl Math，2003，20: 1 1510 Hsu C H，Lin S，Makino T On spherically symmetricsolutions of the relativistic eulere quationJ J Dif-frential Equations，2004，201: 1 2411 Mizohata K Global solutions to the relativistic Eulerequation with spherical symmetryJ Japan J IndustAppl Math，1997，14: 125 15712 Moser J Global solutions to the relativistic euler e-quation with spherical symmetryJ Jappan J InduAppl Math，1997，14: 125 15713 Lefloch P，Ukai S A symmetrization of the relativisticEuler equations in sevaral spatial variablesJ KinetRelat Modles，2009，2: 275 29214 Makino T，Ukai S Local smooth solutions of the rela-tivistic euler equationJ J Math Kyoto Univ，1995，35: 105 11415 Makino T，Ukai S Local smooth solutions of the rela-tivistic euler equationJ Kodai Math J，1995，18: 365 37516 Pan R，Smoller J Blowup of smooth solutions for rela-tivistic euler equations J Commun Math Phys，2006，262: 729 5517 Geng Y C，Li Y Special relativistic effects revealed inthe Riemann problem for three-dimensional relativis-tic Euler equationsJ Z Angew Math Phys，2010287 3.2 关于相容线性方程组的广义克莱姆法则克莱姆法则给出了未知量个数等于方程个数的相容线性方程组的求解公式.本文利用向量空间的有关知识，将克莱姆法则推广到一般相容线性方程组求解的情况，得到所谓的广义克莱则.3.2.1 问题的提出众所周知，线性方程组的克莱姆法则揭示了未知数的个数与方程组的方程个数相同的情况下，当系数行列式 时，非齐次线性方程组：有唯一解。即其中表示将矩阵的第列用列向量 替换后所得到的矩阵【1】。对于如上非齐次线性方程组与其对应的齐次线性方程组，当它们的系数行列式 时，非齐次线性方程组无解或无穷多解，而其对应的齐次线性方程组有非零解，此时用克莱姆法则却无法确定解空间的结构【2-3】。另一方面，高斯消元法虽然较克莱姆法则在求解非齐次线性方程组的解时简捷，并给出了求解的方法步骤，在计算机上编制程序较为简单，但它却不适用于一般线性方程组的求解。现给定一个长方形线性方程组 将它写为矩阵的形式为：这里其中是一个实矩阵，且是一个的实矩阵。 根据克朗奈克卡波尔定理，显然，所以线性方程组（1）有无穷多个解【3】遗憾的是，克朗奈克卡波尔定理并没有给出具体找相容线性方程组所有解的方法.通过对一般齐次线性方程组解空间基础解系的研究，我们虽然得到了齐次线性方程组与非齐次线性方程组通解结构的性质，但通解的表达式仍然不是定量的，尤其是求非齐次线性方程组的特解没有规律可循，所以解题步骤尚不规范。本文对一般相容线性方程组求解的上述问题，给出了求一般线性方程组一组特解的广义克莱姆法则。3.2.2 引力及理论为了得到本文的主要结果，首先我们给出如下预备知识：引理 2.1 对于维向量空间的任意子空间且，总存在的正交补，使得其中表示线性空间的直和且 引理 2.2 对于 维向量空间 的任意子空间且，设且线性无关，则总可以找到向量使进一步，可以找到使成为向量空间的一组基。证明 引理 2.2 的前一部分在文献1-2中已经证明.下证后半部分。因为，所以向量组线性无关。事实上，设等式两边用作内积得 ，于是上式成为而线性无关，因此，即线性无关。同理，我们可以找到向量组的正交补向量，使向量组线性无关，一直继续下去，经过步之后得到的向量组线性无关。又由于，所以成为向量空间的一组基。引理 2.3 对于维向量空间，设线性方程组中向量组通过添加单位正交补向量扩充为的一组基，这里即如果记，则线性方程组 的解一定是线性方程组的解.反之未必。注：对于矩阵 C 不是矩阵 A 的单位正交补矩阵的情况，该结论依然成立【2-3】。定理 2.1 （广义克莱姆法则）在线性方程组（2）中，若，则 是线性方程组（2）的一组特解.其中 AjB和 Aj0分别表示将矩阵 A 的第 j 列用列向量 B 和 0 替换后所得到的矩阵，AT表示 A 的转置。证明 由引理 2.3 知，线性方程组（3）的系数矩阵行列式 【4】，所以由克莱姆法则知，线性方程组（3）有唯一解 在（5）的分子、分母上同乘以，得 由拉普拉斯（Laplace）定理，上式可表为 根据分块矩阵乘法和分块矩阵行列式的性质，因为所以再根据行列式的性质所以而同理将上述结果代入（6）中得由引理 2.3 可知，上式也是线性方程组（2）的解.定理证毕.定理 2.2 在线性方程组（2）中，若 rank（A）=rank（A，B）=r 且 rminm，n，则线性方程组（2）与线性方程组 同解，其中是线性方程组（2）的个线性独立的方程，并且 是线性方程组（2）的一组特解.这里分别是线性方程组（7）的系数矩阵和常数列向量，Aj（r）B(r)和 Aj（r）0(r)分别表示将矩阵 A(r)的第 j 列用列向量 B(r)和 0(r)替换后所得到的矩阵，（A(r)表示 A(r)的转置.证明 因为 rank（A）=rank（A，B）=r，所以线性方程组（2）必有 r 个互相独立的方程.这 r 个彼此独立的方程组成的线性方程组（7）与（1）同解1，5.而线性方程组（7）的系数矩阵是行满秩的，根据定理 2.1 知本定理的结论（8）成立.3.2.3 应用举例例 求一般线性方程组的一组特解【6】。解：因为线性方程组的系数矩阵与增广矩阵的秩都等于 2，所以原线性方程组有解且与线性方程组同解.设该线性方程组的系数矩阵为，则通过计算知和分别为又和分别为所以，分别可得由广义克莱姆法则的公式（3）可得线性方程组的一组特解为 从本题的求解过程可以看出，这种方法的计算量比高斯消去法的确复杂的多，但它毕竟为我们提供了一个求一般相容线性方程组特解的公式。 然而，需要强调的是：今后在实际计算中，我们应该尽可能避免使用这种方法。 参考文献：1张禾瑞, 郝鈵新. 高等代数M. 北京:高等教育出版社, 2007(6):63-782Carl D.Meyer. Matrix Analysis and Applied Linear Algebra M.New York:Cambridge University Press,2001(2): 299-303。3周禄新, 陶惠民. 非齐次线性方程组有解充要条件的讨论J. 天津理工学院学报, 1994(2):30-37。4杨可. 用加边矩阵求解非其次线性方程组的尝试J. 内蒙古林学院学报, 1996(4):65-70。5Richard Ehrenborg.A Conceptual Proof of Cramer's RuleJ.Mathematics Magazine,2004(10):308。6刘芳. 线性方程组与最简通解公式J. 攀枝花大学学报, 2000(4):68-79。3.3克莱姆法则在矿料级配设计中的运用以 SMA-13 沥青混合料目标配合比设计中对各矿料组成比例的确定为例，详细论述了克莱姆法则在其中的应用，通过克莱姆法则的应用，使计算机试配法有针对性地进行，进而使整个试配过变得简单明了。 克莱姆法则( Cramers Rule) 是瑞士数学家克莱姆( 1704 1752) 于 1750 年，在他的线性代数分析导言中发表的。克莱姆法则就是利用行列式求解线性方程组，但解方程组必须满足两个条件，一个是方程个数要等于未知量个数，一个是系数行列式不等于零。 这两个条件在矿料级配设计中都可以满足。假设现在掺配的矿料有四档，即矿料组成比例为待解的四个未知数( 未知量个数为 4) ，这个时候再选取四个关键性筛孔与之组成方程组( 方程个数为 4) 。 这种方法的运用旨在使计算机试配法有针对性地进行，使整个试配过程变得简单明了，亦突出体现了关键性筛孔对级配控制的重要性。 现在以 SMA-13 沥青混合料目标配合比设计过程中对各矿料组成比例的确定为例，详述其应用。 在目标配合比设计中，首先要对选定的掺配原材料进行筛分，从而对其进行级配合成。合成级配指的是某一筛孔的合成通过率等于各规格料中该筛孔通过率乘以对应的各规格料的用量比例的积之和。规范中对各种类型混合料的级配范围进行了规定，因此，我们刚好参照规范中对 SMA-13 混合料的级配范围要求，初定几个关键性筛孔的合成通过率，通过对“克莱姆法则”的运用，解算矩阵方程，反求得各掺配集料和填料的组成百分比例。表 1 为 SMA-13 混合料目标配合比设计中对掺配原材料的筛分试验结果和级配范围要求。表 1 中，我们参照级配范围要求，靠近级配范围中值，结合技术规范中对关键性筛孔的通过率要求，假定几个关键性筛孔在合成级配中的通过率( 可以同时假定几组，位于设计级配中的上方、中部和下方，然后进行一系列的比较) 。例如在表1 中，我们假定了132 mm( 公称最大粒径) ，4 75 mm( 控制粗集料) ，2 36 mm( 控制细集料) ，0 075 mm( 控制粉尘含量) 四个关键性筛孔在合成级配中的通过率分别为 98%