用计算法证明平面几何题.docxVIP

毕业论文开题报告 数学与应用数学 用计算法证明几何题 一、 选题的背景与意义 平而几何，在数学里占冇举足轻重的地位。在历史上，《几何原本》的问世 奠定了数学科学的基础，平面几何中提出的问题，诱发出了一个又一个重要的数 学概念和冇力的数学方法；在现代，计算机科学的迅猛发展，几何定理机器证明 的突破性进展，以及现代脑心理学的重大研究成果——“人脑左右半球功能上的 区别”获诺贝尔奖，使得儿何学研究乂趋于复兴活跃。儿何学的方法和代数的、 分析的、组合的方法相辅相成，扩展着人类对数和形的认识。 然而，历史证明，仅仅有经验的积累，还不能上升为理论，构成系统的科学。 古埃及丰富的几何知识的积累，一经与古希腊的形式逻辑相结合，便使几何学光 照寰宇，成了最早成熟的科学典范。这里起作用的，是严格的逻辑证明。只有经 过严格的逻辑证明，才能使我们从观察到的事物的表面的、片段的、偶然的、不 相联系的状态屮，通过自觉的主观能动作用，抓住客观事物的本质，上升为一 般；理论，发现事物的内在联系，得出具有规律性、普遍性的结杲，从而使数学 具冇高度的抽象性和广泛的应用性。 因此，几何在数学屮的地位十分重要，而几何证明在几何的学习吋又是十分 重要。数学课程改革中，强调发展学生学习测量、计算的能力，那么用计算法证 明几何题也成为了思考关于几何证明学习一个方向，这也是传授数形结合这一重 要的数学思想方法的很好载体。另外，课