超级画板自动推理与解题.docx

1、超级画板自动推理与解题 学 士 学 位 论 文超级画板与自动推理和解题姓 名院 系数学与信息学院专 业数学与应用数学年 级2008级数本01班学 号指导教师 2012年 5 月 18 日独 创 声 明本人郑重声明：所呈交的毕业论文, 是本人在指导老师的指导下, 独立进行研究工作所取得的成果, 成果不存在知识产权争议尽我所知, 除文中已经注明引用的内容外, 本论文不含任何其他个人或集体已经发表或撰写过的作品成果对本文的研究做出重要贡献的个人和集体均已在文中以明确方式标明此声明的法律后果由本人承担 作者签名: 二一二年 五月 十八日毕业论文使用授权声明本人完全了解鲁东大学关于收集、保存、使用毕业论

2、文的规定本人愿意按照学校要求提交论文的印刷本和电子版, 同意学校保存论文的印刷本和电子版, 或采用影印、数字化或其它复制手段保存论文；同意学校在不以营利为目的的前提下, 建立目录检索与阅览服务系统, 公布论文的部分或全部内容, 允许他人依法合理使用（保密论文在解密后遵守此规定）论文作者（签名）： 二一二年 五月 十八日毕业论文开题报告姓名性别女学院数学与信息学院年级2008级学号题 目超级画板与自动推理和解题课题来源教师推荐课题类别应用研究选题意义（包括科学意义和应用前景, 研究概况, 水平和发展趋势, 列出主要参考文献目录）：我本科阶段所修专业为师范类数学, 将来的工作几乎可以确定为人民教师

3、, 超级画板是一种新型的用处颇大的教学工具, 在教学中合理使用超级画板能有效地增加学生的学习兴趣和提高学习效率. 超级画板在教学与学习中将具有广阔的应用前景, 目前超级画板已能自动推理出多种题目, 在中国乃至世界都处于科研尖端水平, 其推理类型将随着研究人员的努力不断增加. 1张景中, 彭翕成. 超级画板的自动推理功能简介J. 数学教学2008 (9):3-42张景中, 彭翕成. 自动推理及其在数学教育中的应用J. 数学教育学报, 2008 17 (4):1-33张景中. 超级画板自由行M. 北京:科学出版社, 20064陈传理, 张同君. 竞赛数学教程M第二版. 北京:高等教育出版社, 20

4、05. 45李传中, 左传波. 超级画板范例教程M. 北京:科学出版社, 20046张景中, 彭翕成. 动态几何教程M. 北京:科学出版社, 2004. 研究主要内容和预期结果（说明具体研究内容和拟解决的关键问题, 预期结果和形式, 如在理论上解决哪些问题及其价值, 或应用的可能性及效果）:主要内容: 本文主要就中学数学竞赛题介绍了超级画板自动推理功能在中学数学教学与学习中的应用, 总结了可用超级画板自动推理求解的试题类型, 其实可用超级画板自动推理解答的题目多不胜举, 超级画板的自动推理功能在一定程度上可帮助解决数学教学中的符号运算问题, 三角函数化简求值问题, 平面几何问题, 解析几何问题

5、, 立体几何问题, 自动推理可以说是人工智能中最成功的一部分. 预期结果: 自动推理在教学中的使用会大大提高学生的学习兴趣和老师的教学效果, 超级画板的发明很大程度上满足了学校教育教学的需求, 是一个值得我们使用的软件. 超级画板将会是教师教学上的得力助手, 学生学习上的好帮手. 拟采取的研究方法和技术路线（包括理论分析、计算, 实验方法和步骤及其可行性论证, 可能遇到的问题和解决方法, 以及研究的进度与计划）:研究方法: 本论文将主要通过使用超级画板对数学题进行自动推理, 就其在解题方法上的特点，所得的解题过程的特点, 对教师教学与学生学习的帮助作出相应的分析. 技术路线: 首先我要查阅大量

6、的论文或书籍资料, 了解现在超级画板的一些功能, 自动推理能解决的问题类型. 其次, 找几道数学方面的竞赛题, 使用超级画板自动推理, 分析它的解题特点, 进行整理综合. 最后, 分析概括超级画板自动推理对数学教学与学习的帮助. 指导教师意见（对论文选题的意义、学术性、可行性、进度与计划等内容进行评价, 填写审核结果：同意开题、修改后再开题、不同意开题）超级画板作为我国拥有自主知识产权的优秀教育软件具备多方面的功能。其中自动推理和可读证明生成更是具有世界领先水平，对超级画板的这一功能进行研究有积极地意义。杨春青同学在大学已经学习过数学教育信息技术课，对于超级画板软件掌握熟练，而且通过大学四年的

7、学习，无论是对数学的认识还是还是对于教育的理解都有一定的基础，通过阅读查阅相关文献资料，了解该课题研究的国内外进展，她具备了完成该课题的知识准备和能力条件。其指定的研究进度和计划符合学校毕业生论文工作的有关要求，也符合课题研究的需要，相信通过后续认真努力地工作，能够顺利完成该课题研究。同意开题！ 签名： 2012年 3月 16日院（系）毕业论文（设计）领导小组意见：同 意 开 题（签章） 2012年3 月 20 日毕业论文结题报告姓名性别女学院数学与信息学院年级2008级学号题 目超级画板与自动推理和解题课题来源教师推荐课题类别应用研究本课题完成情况介绍（包括研究过程、实验过程、结果分析、存在

8、的问题及应用情况等. ）经过几个月的努力, 论文终于告一段落. 这几个月里, 我查看了大量关于超级画板自动推理的论文资料, 分析了超级画板自动推理能解决的问题类型, 查阅了数学竞赛真题、高考真题, 挑选了几个例题, 用超级画板自动推理一遍, 再与原解题方法对比分析. 超级画板虽不能推理所有的题, 却是一个帮助学生理解问题的好工具. 虽然有时候推出的步骤会很多, 仔细分析一下, 会发现它很有利于学生理解, 也可以设置自动推理的推理规则, 使它与学生的学习进度相符合. 超级画板的自动推理功能在一定程度上可帮助解决数学教学中的符号运算问题, 三角函数化简求值问题, 平面几何问题, 解析几何问题, 立

9、体几何问题.自动推理在教学中的使用大大提高了学生的学习兴趣和老师的教学效果, 超级画板的发明很大程度上满足了学校教育教学的需求, 是一个值得我们使用的软件. 指导教师评语：杨春青同学的论文超级画板与自动推理和解题首先介绍了超级画板软件的功能，尤其是重点介绍了超级画板具备的代数运算、数值运算、推理等方面的功能，然后选取了一个美国数学竞赛的平面几何问题作为例子，使用自动推理的方法生成问题的可读证明，通过剖析这一例子介绍说明超级画板软件所具备的自动推理功能的实现及特点。论文结构清楚，论述基本准确，虽然由于对问题深度的认识缺乏导致缺少对问题的深入分析，但是总的来看，达到了本科毕业论文的水平。经审阅，该

10、论文是一篇“较好”的学士学位论文，同意结题。 签名: 2012年5月18日院（系）毕业论文（设计）领导小组意见：同 意 结 题（公章） 2012年 5月 18日指导教师评定成绩78毕业论文成绩评定表学院:数学与信息学院 学号姓 名总成绩:题 目超级画板与自动推理和解题评阅人评语本文通过探讨超级画板的软件功能，介绍了超级画板所具备的几种使用功能，并给出实例验证了这些功能的应用特点。该论文的写作格式规范，其研究结果具有一定的参考价值。经审阅，该论文是一篇合格的学士学位论文。评定成绩: 签名: 2012年 5 月 25 日答辩小组评语作者在答辩过程中重点就问题的来源，问题研究的意义及研究的重点内容进

11、行了较为详细的阐述。文章选题意义广泛，选题的案例具有一定的参考价值，回答问题时作者根据具体的实例，谈及自己的体会，给出了解决某些应用问题的方法。经答辩委员会审议，该论文是一篇中等的学士学位论文。答辩成绩: 组长签名: 2012年 5 月 26 日注:总成绩=指导教师评定成绩（50%）+评阅人评定成绩（20%）+答辩成绩（30%）, 将总成绩由百分制转换为五级制, 填入本表相应位置. 目 录超级画板与自动推理和解题（数学与信息学院 数学与应用数学 2008级数本1班 ）摘要：超级画板是我国自主研究开发的教育平台, 功能强大, 其自动推理功能尤为重要. 超级画板的自动推理功能在一定程度上可帮助解决

12、数学教学中的符号运算问题, 三角函数化简求值问题, 平面几何问题, 解析几何问题, 立体几何问题. 自动推理可以说是人工智能中最成功的一部分. 自动推理的基本思想是试图对某一类的问题给出一个能够机械执行的、确定的方案. 自动推理在教学中的使用大大提高了学生的学习兴趣和老师的教学效果, 超级画板的发明很大程度上满足了学校教育教学的需求, 是一个值得我们使用的软件. 关键词：超级画板；智能软件；自动推理；自动解题Super Sketchpad with automatic reasoning and problem-solving( Class 1 Grade 2008 Mathematics &

13、 Applied Mathematics School of Mathematics & Information)Abstract：Super Sketchpad is Chinas own research and development education platform and it is very powerful and the automated reasoning capabilities are particularly important. Automated reasoning capabilities of the Super Sketchpad can be used

14、 in a certain extent to help us solve problems in mathematics teaching, Such as the problem of simplification and evaluation of trigonometric, the plane geometry problems, the analytic geometry problems, the three-dimensional geometric problems. Automated reasoning can be said to be the most success

15、ful part of artificial intelligence. The basic idea of automated reasoning is try to give the mechanical execution and a determined solution to a class of problems. The use of automated reasoning in teaching greatly improved the students interest in learning and teachers teaching effectiveness, The

16、invention of the Super Sketchpad largely meet the needs of school education, it is a very worthy software for us to use. Key words: Super Sketchpad; smart software; automated reasoning; automatic problem solving1. 引言“Z+Z超级画板”是在我国数学教育家张景中主持下开发的数学教学及数学学习的软件, 对中学数学教师的教学与学生的学习存在着不可估量的价值. “超级画板”主要是数学方面的一

17、种教学软件, 不需要每一节课都用. 在某些场合下过度使用它会适得其反. 像整式方面的运算、有理数方面的运算、去括号法则、用提公因式法分解因式方面的问题、解一元一次或二次方程方面的问题等, 这些内容都要求学生掌握最基本的运算法则, 需要培养动手能力和动脑能力, 进行笔算和心算训练. 这时, 如果使用计算机软件代替那些必要的训练有时难免会导致学生的计算能力下降. 但是某些需要学生亲身经历问题探索过程, 并且又便于通过“超级画板”进行探索的内容, 利用“超级画板”进行教学可以取得很好的教学效果. 有了“超级画板”, 学生便有更多的机会经历发现、探索数学的过程. 此外, “超级画板”所提供的自动解题和

18、自动自动证明功能, 更有利于学生自主的进行学习. 对于那些用传统的教学手段难以展现或无法展现的内容, 使用“超级画板”也可以取得很好的效果. 例如, 九年级上册第四章的“视图与投影”这一内容, 不可能每一节课都把学生带到室外上, 若只是在教室讲解又显得过于死板. 这就可以借助于“超级画板”的动态显示功能, 提前制成课件, 通过多媒体教学工具, 学生就能够形象直观地观察出“灯光与影子” 、“太阳光与影子”的特点, 并且能较容易地归纳出“中心投影” 、“平行投影”的特怔以及其相互之间的关系. “超级画板”将能更大程度地调动学生的学习积极性和引发学生的学习兴趣, 提高课堂上的教学质量和教学的效率.

19、使用“超级画板”的过程, 本身就是数学知识的应用过程. “超级画板”各种命令及功能的设计非常科学且符合数学规律. 不具备一定数学知识的人是用不好这个软件的. 例如, 学习 “简单的图案设计”这一内容, 可能有人会觉得这一节课学生设计的图案很漂亮, 学得也很开心, 但却像是一节美术课, 好像知识点没有得到落实. 其实, 学生在设计的过程中已经融入相关的知识点. 如平移, 若没有确定平移的距离和方向(标记向量), 没有确定基本图形(即选中要平移的对象), 就不可能实现；进行旋转, 若没有旋转角度(标记角度) 和旋转中心(标记中心), 也不可能实现旋转. 而平移的方向和距离、旋转的中心和角度正是需要

20、学生重点掌握的内容. 由此可见, 学生用“超级画板”做图时, 能加深对知识的理解. “智能教育平台超级画板”是一个集符号运算、编程环境、自动推理、动态几何等多项功能为一体的综合性平台, 具有“智能性、人性化、可视性、程序性和动态性”等特点, 而且还根据教学需求, 增加了很多功能. 其功能之强大并不是几篇论文就可介绍详尽的. 在这里我主要介绍“超级画板”的自动推理与解题功能, 自动推理可以说是人工智能中最成功的一部分. 2. 自动推理与符号运算超级画板自动推理的基本的思想是试图对某一类的问题给出一个能够机械执行的、确定的方案, 它所有的一切几乎都是围绕着这一思想进行的. 自动推理的基础实际上是数

21、学计算, 由于逻辑方面的推理可换为布尔代数方面的计算. 王浩就曾指出,量上的复杂可用来克服质上的困难, 可用大量的计算方面的过程来替代推理方面的过程. 因此说符号方面的运算在自动推理方面有非常重要的作用. 2.1复杂因式分解, 这个因式可不可分解, 人们很难判断出来. 但是用超级画板很容易就能分解得出答案来, 帮助人们节省很多做题时间, 而不能分解的因式, 如, , 用超级画板分解的结果是原来的式子不变（如图2.1）. 这样人们就很容易的对因式判断能否进一步分解化简, 并进行因式分解. （图2.1 复杂因式分解）2.2微分、积分计算举个相对简单点例子, 例如, 对微分和在内积分, 用超级画板可

22、一步到位（如图2）. （图2.2 微分、积分计算）2.3排列组合运算简单的排列组合可由学生自己计算, 锻炼学生的动手动脑能力, 可相对麻烦的式子如, 再笔算就有点浪费时间了, 我们可以用超级画板迅速计算出结果（如图3）. （图2.3 排列组合运算）在程序库里还可以计算如大数运算等许多式子, 这里就简单介绍以上几个, 详细介绍可参考文. 3. 自动推理与几何问题经过研究人员的多年努力, 超级画板的功能有了很大的完善, 可以用自动推理来解几何题, 自动生成人们能够看懂的解题过程. 下面这道题是1990年美国数学竞赛中的一道题. 例、（美国数学竞赛 1990）在锐角中, 以BC为直径作圆与BC边上的

23、高AE及其延长线交于HF, 以AB为直径作圆与AB边上的高CI及其延长线交于JK, 求证H、F、J、K四点共圆. 原证法用到了三角形相似和相交弦定理, 其中由得出, 又由相交弦定理得出, 推出了. 如果用超级画板推理此题, 可以先作图, 画三角形, 取边上的中点, 知道中点和半径就能作出圆, 找到各个交点,把图形作好后, 我们先不急着提出问题而直接点击菜单栏上的“自动解题”命令. 超级画板在自动推理结束后, 会将和此图形相关的所有信息展示在工作区的推理库中. 一般情况下图形的信息量非常大, 有时会有几百条. 这个例题就产生了两千多条信息, 这需要我们从中选出与问题相关的信息（如图3.1）. 这

24、个过程不仅可以帮助学生系统地复习已经学过的数学知识, 而且还可以让学生学习怎样从大量的复杂的信息中挑选出对我们有帮助的信息. 在现代这样的信息社会中, 让学生做这方面的训练是十分有必要的. （图3.1 题目几何图形与图形所含信息）在程序区中的推理库中找到H、F、J、K共圆, 依次单击前面的加号会得到我们需要的解题方法, 有时候并不需要单击全部的加号就能看明白这道题, 这时, 右击所需问题（此题右击E、F、G、H共圆）在作图区就会出现我们熟悉的做题步骤（见附录）. 如果不设置推理规则, 超级画板会给出计算机认为最合适的解题方法, 有时候这些方法不见得就是我们需要的, 就拿我们这次所举的这个例子来

25、说吧, 它的原证法用三角形相似和相交弦定理, 六、七步就得出所得结果, 用超级画板自动解题得到的解题过程却有74步, 这是不是就说超级画板没有太大用处呢?其实不然, 在原解题方法中, 分别用到两个圆中的弦的相交弦定理, 对中学生来说, 这种方法虽然容易把题解出来, 但是却不容易看明白, 需要老师加以指点. 超级画板自动推理出的题目虽然步骤很多, 学生们理解起来却很容易, 不需要辅导老师的指点就可以, 我们依次来看：1、 单击E、F、G、H共圆前的加号, 得到我们看不明白它怎么得出来的, 单击它前面的加号会出现得到此结果的条件（如图3.2）. 超级画板的推理库中显示的推理次序是由果及因, 结论的

26、下面才是得出它的条件. 例如图3.1中E、F、G、H共圆我们可以这样理解：因为图3.1中, 所以图3.1中的这四点共圆, 可是为什么呢？因为, . 我们用这种方法依次理解下去. （图3.2 推理库中解题过程）2、 如果还不理解某个中间结果为何得出, 可以继续单击下面的加号（如图3.3）, 直到看明白为止, 防止学生不理解某个式子是如何得到的. 这样学生就可以有条理的理解问题的解答. （图3.3推理库中解题过程）3、有些时候推理库中的解题程序显示的过多, 读起来不容易. 这样会给学生带来很多的困扰, 影响题目的理解, 我们可以找到某个不容易理解的中间结果, 右击, 这样在作图区就会显示我们平常自

27、己做题所用的解题步骤, 例如, 如图3.4中, 由推出, 而推出的步骤却有17步, 推理库中的由果及因的推理方法不容易理解, 我们可以右击式子, 作图区会显示出得出该结果的做题过程（如图3.5）, 对这样的过程书写模式, 学生们理解起来更容易. 超级画板自动推理的这一功能使得这一教学软件更人性化, 更便利化, 更容易获得广大群众的喜爱, 在教学与学习过程中使用这一软件, 会使我们的学习具有更多的趣味性. （图3.4 推理库中解题过程）（图3.5 作图区中的解题过程）4、看明白图3.5后, 可以单击前的减号, 回缩步骤, 使推理库看起来方便简洁, 我们可以用第3步的办法处理一些在推理库中理解起来

28、不太容易的中间结论, 这样一步一步的理解, 可以让学生不需要老师讲解就能看明白如何证明. 5、当所有中间过程都理解后, 右击E、F、G、H共圆在作图区得到我们所熟悉的解题过程, 从整体上理解如何解题, 例题的解题过程见附录. 在此文中我暂时就只介绍超级画板自动推理中的平面几何问题, 超级画板还可以解决三角函数的化简求值问题, 立体几何问题, 解析几何问题, 由于篇幅限制, 在这就不做过多介绍, 有需要可以参考. 4. 结论本文主要就中学数学竞赛题介绍了超级画板自动推理功能在中学数学教学与学习中的应用, 总结了可用超级画板自动推理求解的试题类型, 其实可用超级画板自动推理解答的题目多不胜举, 除

29、了文中所举题型外, 超级画板自动推理还能解三角函数化简求值问题, 但是并不是所有的题目都可以用超级画板来解答, 有些题目在解答的过程中需要添加辅助线, 在这就不一一列举. 在用超级画板解答数学题时可以先根据题意作好几何图形, 再在推理菜单中点击“自动推理”, 让超级画板给出图形中包含的所有信息, 也可以利用对话框提出问题, 再单击菜单栏中的“推理| 自动推理”, 此时计算机会力所能及地解决问题. 在用超级画板解题过程中, 要注意画图准确, 看看需不需要添加辅助条件或辅助线. 更多有关超级画板的自动推理与解题信息可以参考文. 参考文献1张景中, 彭翕成. 超级画板的自动推理功能简介J. 数学教学

30、2008 (9):3-42张景中, 彭翕成. 自动推理及其在数学教育中的应用J. 数学教育学报, 2008 17 (4):1-33张景中. 超级画板自由行M. 北京:科学出版社, 20064陈传理, 张同君. 竞赛数学教程M第二版. 北京:高等教育出版社, 2005. 45李传中, 左传波. 超级画板范例教程M. 北京:科学出版社, 20046张景中, 彭翕成. 动态几何教程M. 北京:科学出版社, 2004. 附录致谢经过几个月的努力查阅资料、整理材料、写作论文, 我的论文今天终于可以顺利的完成了. 论文的完成, 让大学的生活终于可以划下一个完美的句点今天我的论文能够完成, 要感谢的人实在太多了, 首先我要感谢我的论文指导老师侯小华老师, 感谢他能够百忙之中在论文的选题和写作过程中给我提供宝贵的指导性意见侯小华老师指导我的论文的写作的方向和构架, 指出论文中不合理的地方, 使我有了思考的方向