翻转研究+批量发现-谈基于软件的数学发现与证明.pdf

2014年第6期 中学数学教学 1 ，‘+”+”+。+。、 翻转研究批量发现 {聚 焦{ ——谈基于软件的数学发现与证明 {新课程{ k．+。+．+．+．- 浙江省衢州市教育局教研室 李世杰 (邮编：324002) 浙江省衢州一中 李盛 (邮编：324000) 摘要 用实例介绍了利用数学软件技术，翻转数学研究流程，实现高效率的批量的数学新发现． 关键词数学技术；数学软件；翻转研究；批量发现 基于计算机的现代数学发展迅猛，运用日益 的图形有两个基本的特征： 广泛．中国科学院姜伯驹院士说过：“数学已经从 (1)图中的对象可以用鼠标拖动或用参数的 幕后走到台前”，数学技术已成为现代科学技术 变化来驱动； 发展的核心动力，正在不断地渗透到社会生活的 (2)其他对象会自动调整位置，以保持图形 方方面面，它与计算机技术的结合在很多方面直 原来的几何性质．要探索这些图形的性质，传统 接为社会创造价值，推动着社会生产力的发展． 手段很难实现． 信息技术的发展深刻影响着数学的研究方式和 用《几何画板》作函数图象或在平面内对图 方法．数学研究再不能如过去一样仅仅靠苦思冥 象作平移、旋转、伸缩等变换都非常方便，是“数 想，要根据具体的数学研究内容，结合信息技术 学发现”的平台之一． 选择恰当的研究手段，可以翻转研究流程，大大 1．3翻转研究 提高数学研究的效率． 传统的数学研究流程是：探索一提出猜想一 1翻转研究的概念 给出证明一得出结论．传统的研究方式是“草稿 1．1数学技术 纸+笔”，这种方式是最简单的，也是最基本的， 数学技术是数学和计算机结合形成的一门 要保留!但要与时俱进，作一定的改进． 新技术，一般是指：实现数学运算、推理、应用的 在信息技术环境下，如何运用数学技术解决 信息技术，其特点是将实际问题转化成数学问 数学问题呢?随着信息技术的发展，利用数学技 题，形成数学模型．再经过数学研究，形成算法、 术辅助研究，我们可以先作出图形，让数学问题 编成软件． “可视化”，然后看图分析，发现内在的数学规律， 数学技术是提高数学的内在力量，可为人的 这样既欣赏了精美的数学图形，又可以从图象上 持续发展服务．对于信息技术时代的数学研究工 发现新的数学结论，余下的就是寻找所发现结论 作者来说，首先要弄明白：哪些研究是适合用手 的代数证明． 工方式做的，哪些研究是可以需要借助机器能 这翻转了传统的研究流程，形成信息技术环 给予简洁证明的． 境下新的研究流程：作图一发现结论一代数证 1．2数学软件 明．代数证明在这里起的只是“验证”正确结论的 数学软件是处理数学问题的应用软件，它为 作用． 计算机解决现代科学技术各领域中所提出的数 2理论依据 学问题提供求解手段．基于数学软件的现代数学 理论依据主要是如下两个定理中的结论： 研究，特别适合使一些研究的数学问题“