《计算机如何促进数学发展.docxVIP

计算机如何促进数学发展何怡坤1310133 唐宁1310154杨泽宇1310164 朱紫璇1310171（按姓氏首字母排名）（南开大学数学科学学院2013级数学类二班）摘要：计算机对数学的发展有着很大的促进作用，这是人们都能体会到的事实。它渗透在数学的方方面面，每一个角落都有着计算机的影子。在本文中，我们对这些促进作用进行了总结从研究、教育、应用、推广四个方面进行阐述，更清晰的表述并肯定了计算机对数学学科的极大贡献。关键词：计算机；促进；数学；学科发展引言计算机对于数学的发展的作用是无穷的，它体现在很多方面。从数学的研究到教育到应用到推广，无一不需要计算机的协助。数学研究离不开计算机强大的运算能力，数学教育离不开计算机软件的辅助，数学应用离不开计算机的模型建造，数学推广离不开计算机的交流平台。由此可见，计算机对于数学意义重大。正文促进数学的研究计算机的出现与发展极大地促进了数学科学的研究。计算机，正如它的名字，是本着计算的目的而制造出来的。计算机的出现很大程度上地解决了数值计算的问题。有了计算机，繁重的数值计算不再是人们的困扰。人们只需将亟待解决的问题化为数学模型，然后就能将问题交给计算机来求解。这种进步极大地节省了时间，使人们能将精力转移出来，把重心放在数学推理和数学证明过程中。计算机的出现，促使新的数学分支的诞生。计算数学，计算几何，计算机代数，计算复杂性，计算可靠性，机器证明，计算机作图，动态几何…等等与计算机血肉相连的分支应运而生。有些分支在学科上表面已经归于计算机科学，其本质上仍是数学。不管计算机将如何发展、如何智能化，高速的计算能力依旧是计算机的根本。那么，除了数值计算，计算机还能在定理证明方面帮助数学研究吗？比如，几何证明题如何用计算机来证明呢？我们知道，难度较大的几何题解法往往是无迹可寻，辅助线从何而来也往往是妙手偶得之。正因为如此，当古代托勒密王向欧几里德请教学习几何的捷径时，欧几里德直率地说：几何无王者之路!不过，计算机也不是完全没有办法。中国数学家在上个世纪80年代提出的例证法算是一种，因为计算量很大，大多数情况只能借助计算机来完成。除此之外，同样有别的方法。用机器证明的数学定理中，最有名的当属四色定理。四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”100多年以来，数学家们为证明这条定理绞尽脑汁，所引进的概念与方法刺激了拓扑学与图论的发展,但一直没有得出证明。1976年,美国数学家阿佩尔与哈肯借助电子计算机,用了1200个小时，作了上百亿次判断，终于完成了四色定理的证明，轰动全世界。美国为此发行一枚纪念邮票，上面写着“四种颜色就够了”。这就是用机器证明数学定理的鲜明实例。作为高等院校教材、由孙熙椿编著、科学出版社出版的几何定理计算机证明就详细讲解了几何定理机器证明发展概况和吴文俊机械化方法。现在已经实现的几何定理可读机器求解,所生成的解答其推理过程的简洁优美可以与人工解答媲美.虽然解决的只是一小类数学问题,远没有达到解决四色定理、哥德巴赫猜想一类难题的水平,但至少说明了机器证明和人工证明之间并没有不可逾越的鸿沟。促进数学的教育随着计算机的发展和教学软件数量的增加，CAI（计算机辅助教学）应用也逐渐扩大。运用计算机软件可以培养学生的具象思维与抽象思维，更大程度上激发同学们学习数学的兴趣，使数学课不只是抄笔记、做习题一样的枯燥乏味。那么如何在数学教学中更好的应用计算机呢？1.课堂展示相信很多同学已经经历过多媒体化数学教育，教师通过投影仪、教具模型、计算机绘图软件等让众多学生更为清晰明了的运用多种感官、提高对知识的理解能力。在这样的课堂上，丰富多彩的展示形式中，同学们被激发了学习的兴趣，从根本上不再排斥数学，达到了良好的效果。例如，对于三角形“三线合一”的教学，教师可以用鼠标在屏幕上随意拖动某点，利用软件功能发现三角形的中线、高线、角平分线在保持一定关系的前提下随之变化，直观明了[1]。2.自我探究在越发重视自学能力的现在，几何画板提供了一个十分理想的环境。学生可以将脑中的数学模型具体化、实际化，这样就能在解决问题的过程中保持抽象与具象思维结合，锻炼学生的思考能力。例如，在全国计算机辅助数学教学课例展评、交流、研讨活动中，北京师大附中的一个课例“求圆内接三角形面积的最大值”，该科安排在计算机网络教室中上，教师让学生利用几何画板在动态的变化中探求静态规律，使学生自我发掘出问题的答案，颠覆了以往灌输式教育，达到了良好的教学效果[2]。又如，1995年夏季学期，两个美国初中二年级学生应用几何画板发现了又一种任意等分线段的方法；东北育才学校一名学生发现了广义蝴蝶定理。抛开这些问题自身的意义不说，他们处理问题的过程（猜测，验证，论证），对我们的数学教学也是一种启示。3.课后反馈在网