第9章 节 信息时代的数学 数学史与数学教育 .pptVIP

如图，用细线表示的六个周围国家在对偶图形中就构成有六个顶点、六条边的一条回路。 边界回路称为构形的环。图中的构形（画成对偶形式）称为“六环”构形，它的环有六个顶点，是由包围了原构形的六个国家组成的环。 在对偶图中，“构形”是三角形的剖分（每个面都是三角形），，它由一组顶点加上连接这些点的所有边组成， 2、“放电法”－－研究不可避免组的关键技术，而不可避免组在更加复杂的形式下它成为证明四色定理的中心要素 将平面网络的每个顶点配置一个电荷：如果我们对每个次数为k（即有k个邻国）的顶点指定6－k这个数（电荷量），则顶点次数为5的就带有1个正电荷，次数6的顶点不带电荷；次数为7的顶点带电荷－1，依此类推。再由肯普的研究结论可知，整个网络的电荷的和恰为12。这就表明每个平面三角剖分网络的这个电荷之和恒为正值。 移动网络中的正电荷，使正电荷从某些带正电的（五级）顶点移动到带负电的顶点，并且使全系统中的电荷不增不减。虽然这些移动不改变电荷的总和，但带正电的顶点却是可以变的；例如某些五次顶点可能失去全部正电荷（放电），而某些大顶点可能得到的电太多，结果变为正电荷顶点（充电）。 “放电”的目的，是想找出一个明确的过程来精确描述怎样移动电荷才能保证所剩下的每个带正电的顶点一定属于可约构形。于是经过“放电”使每个三角剖分必有电荷为正的顶点，用这种放电方法得到的构形必然是“不可避免”的。如果这些构形又都是可约的，则四色猜想就被证明了。 　这样，四色猜想的证明就需要解决两个问题：找出放电过程，同时证明它所产生的不可避免构形是可约的。 　希尔自1936年开始研究四色问题，于1950年认识到只有借助能处理巨量数据的计算机装置，才能解决四色问题。他提出的地图的平面网络、放电法，为编制可约性的计算机的证明程序 提供了技术准备 美国数学教授阿佩尔与黑肯的工作（20世纪七十年代）－－完成四色猜想的机器证明 1、面临的问题 　　　　其一，可约构形的任何一个不可避免组都可能含有很大的构形（邻国环含有多至十八个顶点） ，计算机所需的时间、存储量的迅速增加 ，造成技术工具的困难， 检查14点环的构形所需要的平均时间只有25分钟，那么检验18点环的构形所需要的平均时间就会超过100个小时，并且计算机所需的存储量也大大超过当时的任何一种计算机的存储量。 其二，没人知道恰好需要多少个可约构形来形成一个不可避免组，这个数目似乎可能大到几千。 从计算时间来说，假如要想证明18点环的构形可约，在有足够存储的计算机上需要100个小时。那么，当不可避免组里有一千个18点环构形时，在一个极大的计算机上证明可约的时间将需要10万个计算机时，这就超过了11年 * 20世纪中叶高速计算机的出现与使用，使人类社会跨入了信息时代 电子计算机是数学与工程技术完美结合的产物:早在20世纪三十年代，数学家在数理逻辑的研究中，就形成了理论计算机的雏形——图灵机.二次世界大战促使了这种理论转化成为技术。 伴随着计算机技术的不断完善，数学不断为之提供理 论和技术方面的支持 以计算机技术为代表的信息时代数学 第9章 信息时代的数学 9.1 从算筹到电子计算机 中国古代的算筹： 创造了以算法化为特征的中国古代数学，并取得了众多领先 于其它民族的中国古代数学成就 利用算筹进行数字计算也有其不便之处： 首先，用筹拼排数码，10以内的九个数要用29根筹，平均每个数需用3.2根，就是说摆放一个数码平均要做３.2个动作，所以不利于计算。 其次，算筹中国古代的算筹较长，计算时占地方大。以较短的隋筹为例，计算一道4位数乘4位数得积数是8位的乘算题，将算筹分上、中、下三层排列，约占长90厘米、宽40厘米的地位，一张方桌不够做两道这样的乘算题 算盘 由于它构造简单，价格低廉，计算方便，中国自明代开始，筹算很快就为算盘所取代。同时也使得中国的数学依然固守着算法化的传统 国外算盘起源也很早，算盘一词在古希腊文中是“沙盘”， 由此可以推测它的原始形式可能是一种有标记的沙盘。中世 纪后期的欧洲，一些主张使用罗马数字和算盘进行计算的“算 盘家”，与另一些主张使用阿拉伯数字和适当算法的“算术家” 进行了长达四百年（自1100~1500年）的争论，最终算术家 占了上风，形成了现在使用的计算方法。到了18世纪，算盘 在西欧已经绝迹。 纳皮尔算筹（约1590年） 使乘法和除法运算归结为简单的加法和减法运算。 对数的发现“以其节省劳力而延长了天文学家的寿