是否有公共解解得公共解为4b ，从而证明了三a角形的三条高交于一点其思想图式如下：关系映射反演方法关系（relation）映射（mapping）反演（inversion）方法（简称为RMI方法）是我国学者徐治 利先生在 60年代研究组合数学的时候提出的一种数学方法论尽管这种方法论已被世界广 泛认同，但仍为大多数学习数学的人所不知在此简略的做一番介绍，望能给学习数学的 读者作以方法上的参考本篇文章纯粹是介绍性文章，故不会对此问题做深入的研究，读 者如果感兴趣，想要了解更多，可以去查看徐治利先生的《数学方法论选讲》（徐利治著） 《徐治利数学方法论十二讲》《徐治利谈数学方法论》《关系映射反演原则及应用》等以及 一些其他关于数学方法论的书籍我们知道，化归思想是数学中最重要的思想之一，即使是简单的解方程x2= 4x + 5，我们也要把方程化归为完全平方数的形式：（x - 2）2 = 9但“化归”是一个较为笼统的说法，没有较大的指导意义RMI方法是化归方法深度上的发展，是对化归思想的升华 一、下面结合一些具体的简单例子来引入 RMI 方法例子一、（此例取自《关系映射反演原理及应用》）解析几何解决问题的方法我们应该是很 熟悉了：建立坐标系，把空间中的点与实数对一一对应起来，然后把几何的问题转化为代 数问题，通过代数运算得到一个有意义的解，再把代数解翻译为几何解。
例如：我们要证明三角形的三条高交于一点，我们可以建立一个坐标系（如图一），三条直线是否交于一点 的问题就转化为三个方程AD : x = 0;BE : cx 一 ay 一 be = 0;CF : bx - ay - bc = 0.例子二、用复数证明三角形内角和等于兀具体过程就不在这里写了，可以参看《数学物理方法》P15其方法就是把三角形放到复平 面上，把三角形内角求和问题转化为复数问题，由于复数的运算特性，使得问题很容易求 得，然后再回归到原来的问题，得解例子三、对数表在物理运算，尤其是一些天文方面的运算时，我们常常遇到类似这样一些连乘及开方的式子s = ab.:,例如求$ = 7292x3.24；（此例取自《关系映射反演原理及应用》）在计 cn 12.015算器发明之前，如果直接计算将是相当麻烦的 1594 年皮埃尔发明了对数法，并用了二十年时间来完成它（关键在算出一张对数表）对上述例子的求解过程如下:1）, 729 2x3.24： 1取对数：lg $ = lg( 3) = 2 lg 729 + -lg 3.24 — 51g 12.0112 .015 3(2) 查对数表：lg $ = 2 x 2.8627 + - x 0.5105 — 5 x 1.0795 = 0.49813(3) 取反对数$ = 3.149其解题思想图式如下:lgS=Q. 4931取反对数图三加减棗薛加减棗除二、RMI方法的定义 以上三个例子我们可以看到共同之处，即都有一个通过某种对应关系把原问题转化为象问 题的过程，通过象问题的求解结果反演出所要求的原问题的结果。
这就是 RMI 方法的基本 思想如图四所示为方便起见，我们记原问题（专业点的名词是:未知目标原象）、象问题（相应的:未知目标映像）分别为x、X*，记原问题解（目标原象）、象问题解（目标映像）分别为x ，原问题数学对象间的关系结构为 S ，象问题间的关系结构为 S * ，由 S 到 S *映射关系为W，其由X *到X的关系为w ，由X*到x *的数学手续记为申RMI方法定义：给定一个含有目标原象X的关系结构S，如果能找到一个可定映映射w ，将 S映入或映满 S *则可从 S * 通过定的有限步数学手续申把目标映像x*确定出来，进而，通过反演又可以把 x 确定出来，这样使得原问题得到解决《关系映射反演原则及应用》P30）o这里要说明一下几个概念：数学对象；关系结构；映射；数学手续；可定映映射数学对象 顾名思义，就是数学研究的对象，包括我们常见的数（从整数到复数）、数列、 向量、变量、函数、方程、空间、点、线、图形、导数、积分等等，也包括我们不熟悉的 如泛函、群、环、域、范畴等等数学是从大量现实材料中抽象出来的一门学科，而数学 对象正是这些现实问题的量的属性关系结构 一个数学对象的意义必须是明确的，这就要求数学对象定义时是严格的。
数 学对象的一个特点就是逻辑构造，即，一个数学对象不是凭空产生的，除了最原始的对象 外，别的都是以已有的数学定义经逻辑构造定义的如圆的定义为到定点距离为定长的点 的集合，是建立在点、集合、距离等数学对象的基础上构造出来的；复数，形如a+ib 的数（其中a、b为实数），是建立在实数基础上构造出来的……因此数学对象彼此之间不 是孤立的，而是相互联系的我们把彼此之间具有某种或某些联系的数学对象的集合称为 关系结构映射，就是通过某种明确的对应关系使得两个关系结构联系的作用（名词）如我们常用的 函数（function功能）、坐标系（点与数对的对应）、矩阵（与向量的乘积相当于对向量做 了一次变换）等都是映射数学手续 即指数学中所用到的种种演绎推理、证明方法、计算方法、和查表方法（如对 数表）等等如果放宽条件，广义的数学手续也包括做实验（来得到某些数据）所谓可定映映射即是指，找到的映射关系结构S *中可以通过一定的数学手续申由X*得到x *，则称w为S变为S *的可定映映射我们已在原来问题外转了一大圈了，现在让我们还回到 RMI 方法中吧用自然语言的描述 有点费解，我们不如直接用符号或者框图来描述它。
可简单地把 RMI 方法记为 （S,x） _（S*, x*） _x* —x即，事实上较为简单的 RMI 方法的全过程就是关系 > 映射 > 定映 > 反演 > 得三、下面举些例子来用用这个数学方法,所谓在应用中才能更深刻地理解一个方法嘛 例子四、化学方程式的配平问题Cu与稀硝酸（HNO 3 ）反应生成NO, Cu （ NO s）和水（H f ）问题是如何配平化学反应方程式遵循RMI方法，有以下步骤：1、明确原问题的关系（分析S）由化学元素守恒、质量守恒,可列方程：x Cu + x HNO + x NO + x Cu （NO ） + x H O = 01 2 3 3 4 3 2 5 22、引出方程组作为映射工具（° : S t S * ） 其实上式对应着一个方程组（因为配平后的方程必须满足元素守恒）Cu : x + x = 0；14H : x + 2x = 0；25N : x + x + 2x = 0；2 3 40:3 x + x + 6 x + x = 0.2 3 4 53、用矩阵解方程组是一个定映映射，数学手续（申）Ax面这个齐次线性方程组对应着下面这个矩阵方程x■ 0 -0 一1x022x=003x014-1x05'―—110010100011203160解矩阵方程得x1■ 3 -—hx28x=x3=—2x4—3x5—44、还原为原问题的解（①-1 ）3 Cu + 8 HNO — 2 NO — 3 Cu (NO ) — 4 H O = 03 3 2 2即，3 Cu + 8 HNO = 2 NO + 3 Cu (NO ) + 4 HO3 3 2 2由于化学方程式与矩阵的对应关系，我们可以把化学方程式问题转化为矩阵分析问题。
我 们知道可以根据矩阵是否满秩来判断齐次方程组是否有非平凡解——于是给定几个化学式， 我们就可以根据由其得到的矩阵是否满秩来判断能否配平化学方程 例子五、斐波那契数列 我们知道斐波那契数列，也知道它的通式是什么样的，但它是如何得到的呢？1、 原问题是，已知Fn +广Fn + Fn 一 1 ( ” = H，3,……),且F 1，如何求F”的表达式分析s)2、 我们引进幕级数变换作为映射工具来解决问题(° : S t S * )® {f } T F (t) = X F - tnnnn - 03、找出映像关系(申)由原象所满足的递推关系及初始条件可以得映像关系F (t) - 1=乙 F -tn + tnn - 2X (F + F )tn + tn - 2 n - 1n - 2tn+2 + X整理即得=t2 F (t) + tF (t)1F (t )= 一1-t -t24、反演(° -1 )1F (t )=—1-t-t21(1 — at )(1 — bt)1a( 丫5 1 — atb ® an+1 bn+1)=X ~~ — ~亍)t n1 — bt 5 v5n - 01=1 + ax + (ax )2 + (ax )3 + (ax )4 + 1 — ax )其中1 + <5 1 — \： 5,b =22于是得到Fn的表达式1「1 + 丁5 1 -石 〕F = < ( )n+1 — ( )n+1 >n v'5 [ 2 2 J现在我们已经完成了问题的求解，让我们回过头来看看我们所使用的方法。
当用了幂级数 之后，我们可以看到，原来离散的数列问题就转化为了连续的级数问题(转化到另一个关 系结构中了)，而级数问题我们可以利用已有的知识来求解，这样我们就拓宽了我们求解方 法的范围我们在微积分开始部分就已经了解到了，离散的数列只是函数的特列因此，我们可以做 这样的联想，即，把幂级数变换引用到连续函数中事实上，拉普拉斯就是这样做的，这 就是我们学习的拉普拉斯变换例子六、拉普拉斯变换 所谓拉普拉斯变换就是如下形式的一种映射° : f (t) T F (s) = r f (t)e-stdt (s〉O)0我们在回过头去看看上题中的幂级数变换，对比一下这两个变换我们会发现两者之间是多 么的相似，以至于我们完全可以把拉普拉斯变换看成是幂级数变换极限形式下的推广：OOf ㈠ f (t)nn分ttn 吕(e—s)f下面我们以一个简单的例子来讨论求二阶微分方程y" (t) + 卩2 y (t) = 0其中初始条件为y(0) = a ； y'(0) = b原问题是一个二阶微分问题，拉普拉斯变换的作用则是将这样一个二阶问题转化为一个线 性方程的问题转换如下在方程两侧同时乘以e-st并作从0到0的积分由分部积分我们可以得到「e-st y'(t)dt = s「e-st y (t)dt — y (0) = sF (s) — y (0)00「e-st y "(t)dt = s e-st y (t)dt — sy (0) — y '(0) = s2F (s) — sy (0) — y '(0)00于是我们可以看到有这样的变换y'T sF(s)— y(0)y''T s2F(s)—sy(0)— y'(0)(事实上有这样的变换:y(")T snF 。