数学史教学的四个事例

数学史教学的四个事例湖北省潜江市江汉油田高级中学 舒云水 新课标加强了数学史的教学，除了有专门的数学史教材数学史选讲外，人教版教材在阅读与思考等栏目中安排一些数学史内容，这是我们开展数学史教学的主要渠道除此外，我们教师应该多读一些数学史，多掌握一些数学史事例，根据教学内容选择相关事例传授给学生，可提高学习数学的兴趣，加深对数学的理解笔者一直爱读数学史，常常根据教学内容讲一些相关的数学史，产生了比较好的教学效果，下面给出四个数学史事例，供同行教学参考1、费马素数与正多边形的尺规作图人教版教材选修2-2的第77页（选修2-1的第29页）讲了费马数及费马素数猜想，费马素数猜想是一个非常经典的错误猜想讲完课本内容后，紧接着我就给学生补充讲费马素数与正多边形的尺规作图的知识我们把费马数中的素数叫费马素数到目前为此，我们知道的费马素数只有5个：，到1988年时，数学家已经知道，,都是合数迄今没有新的费马素数被发现数学家倾向于相信不再有其它的费马素数故事到此并没有结束，费马素数又出现在用直尺和圆规作正多边形的这样一个完全不同的问题中古希腊人早就发现了如何用直尺和圆规作3,4,5,6,8,10,15边的正多边形，利用不断平分中心角的办法，他们还能够作出有，条边的正多边形古希腊人以及后来许多数学爱好者都寻找过7,9,11,13边的正多边形的尺规作法，但都没有成功直到年轻的德国数学家高斯1801年发表了数论的划时代著作算术研究，这个问题才有新的进展高斯超过前人的不仅仅是他给出了正十七边形的尺规作法，更重要的是，对所有他解决了哪些正边形可以用尺规作出来，而哪些不能下面我们来叙述高斯的结果上面已经指出，从一个正边形出发，通过等分它的每个中心角，就能得到正边形另一方面，从一个正边形出发，只要取个不相邻的顶点就能得到正边形这表明，为了判定哪些正边形可作，只要讨论奇数情形就够了高斯证明了如下定理定理 对奇数，当且仅当是费马素数，或是若干个不同的费马素数的乘积时，正边形才能用直尺和圆规作出来让我们考察几个最小的值正3边形和正5边形可以作出，但不能作出正7边形，因为7不是费马素数也不能作出正9边形，因为9=33是两个相等的费马素数的乘积也不能作出和的正边形，但是能够作出及的正边形同数学一样，高斯在语言方面有极高的天赋与兴趣，在发现正十七边形的尺规作法时，只有19岁，在这之前高斯一直犹豫是以数学还是以语言为毕生的事业正是正十七边形的尺规作图的成功，他明确地决定从事数学学习语言仍然是他终身保持的一项爱好高斯对自己证明了能够用尺规作出正17边形并完成了作图，感到很骄傲，立下遗嘱，在他的墓碑上画一个内接于圆的正17边形 2、 一个与形数有关的著名定理 人教A版必修5的第32 页介绍了古希腊人发明的三角形数和正方形数选修教材数学史选讲又在第15页专门讲了多边形数讲完课本内容后，我给学生补充讲了形数的一些有趣性质，例如：任何一个正方形数都是某两个相邻的三角形数之和；第个五边形数等于第个三角形数的三倍加上等重点给学生讲了一个与形数有关的著名定理：数学家费马对形数很感兴趣，对形数进行了深入研究，提出一个关于形数的著名猜想：每一个正整数都是3个“三角形数”、4个“正方形数”、5个“五边形数”、6个“六边形数”等的和需要说明一点：上面猜想所述的“三角形数”、“正方形数”等形数都把零算在内这个猜想引起许多数学爱好者的兴趣，他们认真研究尝试对这个猜想进行证明，大数学家欧拉、拉格朗日等都进行了深入研究，这个猜想的证明难度很大，他们都没有成功后来，数学王子高斯第一个证明了“三角形数”这种情形是成立的，但未能给“正方形数”等其他情形作出证明，直到费马去世150年后的1815年，当时只有26岁的年轻数学家柯西证明上述猜想是成立的，在当时引起了轰动正是一代代数学爱好者、数学家前赴后继，共同努力解决了一个个数学难题，这些难题的成功解决无一不闪烁着人类智慧的灿烂光芒！3、质数的判定人教A版必修3的第3 页的例1及例1后面的探究问题是“质数的判定”问题，它有丰富的数学背景讲完课本内容后，我给学生补充讲了下面有关质数判定的数学史 质数有无穷多个大约在2300年前欧几里得就证明了存在着无穷多个质数尽管如此，迄今为止还没有发现质数的模型或产生质数的有效公式因而寻找大的质数必须借助计算机一个一个地找寻找大质数是数论研究的重要课题之一大家可能会产生一个疑问：找大质数有什么用？告诉你，现在最好的密码是用质数制造的，极难破译 人们一直在寻找检验一个数是否为质数的方法，最近一些年有了巨大进步你或许会说，检验质数有什么难？确实，看一个数是不是质数，有一种非常自然而直接的方法，这就是我们常用的试除法，即课本例1所用的算法这一方法对检验不太大的数是挺实用的但若数字太大，它就变得十分笨拙假设你在一个快速计算机上使用高效的程序进行试除对于一个10位数字的数，运行程序几乎瞬间就能完成对于一个20位的数就麻烦一点了，需要两个小时对于一个50位的数，则需要100亿年这已经大得不可想象前面讲过最好的密码是用质数制造的，它是用介于60位到100位之间的两个质数制造的，这种计算正是制造这种密码的需要当今庞大的国际数据通讯网络能安全运行，就得益于这种密码如何确定一个100位的数是否为质数呢？数学家做了许多努力，在1980年左右找到了目前可用的最好方法数学家阿德勒曼，鲁梅利，科恩和伦斯特拉研究出一种非常复杂的方法现在以他们的名字的第一个字母命名为ARCL检验法在上面提到的那类计算机上进行ARCL检验，对20位的数只需10秒钟，对50位的数用15秒，100位的数用40秒如果要检查1000位的数，一个星期也就够了可以相信，随着人们对质数判定的算法的研究不断深入以及计算机技术的迅猛发展，我们会找到更好更快地检验一个大数是否为质数的方法，发现更多更大的质数讲了上面有关质数的知识后，感到意犹未尽，后来找了一个时间给学生讲了一些关于梅森素数的数学史4、梅森素数 梅森（15881648）是法国数学家，自然哲学家和宗教家他在1644年提出了梅森素数梅森的提出是探索表素数公式的开始，在数论史上具有开拓性的意义将形如的数叫做梅森数，其中是素数的梅森数叫做梅森素数，梅森提出的问题具有启发性，但他当时的判断有误他说，对p=2,3,5,7,13,17,31,67,127,257, 是素数，而p257的其它素数对应的都是合数梅森是如何得到这一结论的呢？无人知晓到了1947年有了台式计算机后，人们才能检查他的结论，发现他犯了五个错误，不是素数，而是素数 1867年以来，人们已经知道是合数，但对它的因数一无所知1903年10月在美国数学会举行的一次会上，数学家科尔提交一篇论文大数的因子分解轮到科尔报告时，他走到黑板前，一言未发便作起2的方幂的演算，直到2的67次幂，从所得结果减去1，然后默默无言地在黑板的空白处写下两个数相乘：两个计算结果完全一样之后，他只字未吐又回到自己的座位上，会场爆发了热烈的掌声！这短短几分钟的报告却花了科尔3年的全部星期天 在手工计算的时代，人们历尽艰辛，仅找到12个梅森素数，它们是，其中p=2,3,5,7,13,17,19,31,61,89,107,127计算机发明出来后，人们借助电子计算机去寻找梅森素数，从1952年后到1996年5月为止，陆续发现了22个梅森素数，其中p=521(1952), 607（1952），1279（1952），2203（1952），2281（1952），3217（1957），4253（1961），4423（1961），9689（1963），9941（1963），11213（1963），19937（1971），21701（1978），23209（1979），44497（1979），86243（1983），（1988），（1983），（1985），（1992），（1994），（1996）括号里的数字为发现的年份上面最后一个梅森素数是1996年5月美国威斯康星州克雷研究所发现的，是迄今为止最后一个由超级计算机发现的梅森素数该所的计算机专家史洛温斯基一共发现了7个梅森素数，他因此被人们称为“素数大王” 使用超级计算机寻找梅森素数的游戏实在太昂贵了1996年初美国数学家及程序设计师乔治沃特曼编制了一个梅森素数寻找程序，并把它放在网页下供数学家和数学爱好者免费使用，这就是著名的“因特网梅森素数大搜索”（GIMPS）项目，GIMPS项目实施以来，利用该项目已经发现了13个梅森素数，到目前为止现在一共发现了47个梅森素数，1996年11月以后发现的梅森素数都是利用该项目发现的，世界上已有170个国家和地区近18万人参加了这一项目，并动用了37万多台计算机联网来进行网络分布式计算下面按发现时间顺序给出这13个梅森素数，括号里的数字是发现时间P=（1996-11-13）,(1997-08-24),(1998-01-27),(1999-06-01),(2001-11-14),(2003-11-17),(2004-05-15),(2005-02-18),(2005-12-15)，（2006-09-04），（2008-08-23），（2008-09-06），（2009-04-12）其中最大的梅森素数是第45个，它是2008年8月23日由美国加州大学洛杉矶分校的计算机管理员埃德森史密斯发现的，它有位数，是到目前为止人们所知的最大的素数，如果用普通字号将这个巨数连续写下来，它的长度可超过50公里！这一成就被美国的时代杂志评为“2008年度50项最佳发明”之一，排名第29位梅森素数在当代具有十分丰富的理论意义和实用价值它是发现已知最大素数的最有效途径；它的探究推动了数学皇后数论的研究，促进了计算技术、程序设计技术、网格技术和密码技术的发展以