几何证明，谨防“预期理由”错误获奖科研报告论文.docxVIP

几何证明，谨防“预期理由”错误获奖科研报告论文 江苏省泰州师范高等专科学校数理科学系 (225300)  众所周知，公理化方法的诞生是以《几何原本》的问世为标志的.所谓公理化方法即从原始概念和公理出发，依靠严密的逻辑推理，将各种各样的命题根据内在的逻辑关系组织起来，使得对各种各样的理论体系及它们的相互之间关系的研究成为可能.欧几里得从古代的量地术和关于几何形体的原始直观中，用抽象分析方法提炼出一系列基本概念和公理.他总结概括出10个基本命题，其中有5个公设和5个公理.由此出发，他运用演绎方法将当时所知几何学知识全部推导出来.但欧氏几何的公理系统是不够完善的，其主要不足可以概括为：(1)有些定义是不自足的，亦即往往使用一些未加定义的概念去对别的概念下定义；(2)有些定义是多余的，略去它们毫不影响后面的演绎和展开；(3)有些定理的证明过程往往依赖于图形的直观.即他所选择的公理不完备，缺少表示点与点间顺序关系的顺序公理，关于合同图形的运动公理，反映直线连续性的连续公理等.  考虑到现行中学数学教材中几何部分的公理体系基本上雷同于欧几里得公理体系，因而教师在教学过程中稍有不慎也会与学生一样犯“预期理由”错误.所谓“预期理由”是指将“对图形的直观理解作为推理论证的理由”.当我们对感性、直观过分依赖而导致一些论证错误时，这时我们称之为“预期理由”错误.  德国数