有关几何公理化方法的形成及教学方法探讨.pdfVIP

第26卷 第4期 东华理工学 院学报 (社会科学版) VD1．26 N0_4 2007年12月 JOURNAL OF EAST CHINA INSTIrI1UTE 0F TECHNOL0GY Dec．20o7 有关几何公理化方法的形成及教学方法探讨 杨永根 ， 杨源根2 (1．东华理工大学，江西抚州344000；2．临川区教育局，江西抚州344000) 摘 要：从几何学的发展历史来看，公理化方法曾经历过两个阶段，即古代几何学公理化方法(也称为实体 的公理化方法)和近代几何学公理化方法(也称为形式的公理化方法)，文章着重探讨近代几何学公理化方 法产生的主要因素及形成的历史途径。 关键词：公理；定理；公理化方法；公理体系；等价 中图分类号：G427 文献标识码：A 文章编号：1001635X(2007)04-0422-04 众所周知，几何学是数学中最古老的一门学 “对象——公理——演绎”系统 ，而欧几里得所采 科。据说是起源于古埃及尼罗河泛滥后为整修土 用的古代几何学公理化方法，便可称为实体的公理 地而产生的测量法，它的外国语名称geometry就是 化方法。 由geo(土地)与merry(测量)组成的。在中国古代 1 近代几何学公理化方法产生的主要因素 早有勾股测量，汉朝人撰写的《周髀算经》的第一章 叙述了西周开国时期(约公元前1000年)周公姬旦 由于历史的局限，《几何原本》在几何体系上还 同商高的对话，讨论用矩测量的方法，得出“勾三， 存在不少缺点。例如：欧几里得对点、直线、平面等 股四，弦五”的结论。成书于公元一世纪的我国最 定义中，却用了“部分”、“长度”、“宽度”、“界限”以 早的数学专著《九章算术》在几何方面也有大量的 及“同样的位置”等概念是不十分恰当的。这是因 面积(方田)、体积(商功)计算问题。 为：一方面这些概念比要说明的定义更难把握；另 古希腊数学家欧几里得在巴比伦、埃及几何的 一 方面他所给出的事实只是一种直观的解释，尽管 基础上，尤其是在古希腊几何的基础上，总结了前 这种解释对定义的理解是有一定的作用，但从逻辑 人：塔利斯、毕达哥拉斯、安提丰、德漠克利特、柏拉 上来看却是不妥当的。另外，《几何原本》里还反复 图、攸多克萨斯、门内马斯等在几何上的优秀成果， 用到“在……之间”、“在……同侧”等概念，但都未 应用了亚里士多德的基本逻辑原理，基本逻辑推理 加定义，也没有作必要的解释或通过公理来加以规 方法和初步的公理系统，把从前眼花缭乱的互不相 定，这也是不妥当的。《几何原本》最大的缺点是它 关的几何知识加以整理和提炼，组成了一个有机的 的公理体系作为几何学严格的逻辑推理的根据是 系统化的整体，写出了人类历史上公认的第一部科 不够的，因而在进行论证时就不得不求助于直观。 学巨著——《几何原本》。它标志了几何学的形成， 例如关于作等边三角形时，就默认了两圆交点的存 也标志了古代几何学公理化方法的诞生。 在；证明三角形全等时，又默认了图形经过移动以 《几何原本》的问世，不仅全面整理和高度总结 后保持其形状、大小不变等。事实上要证明以上默 了前人的几何知识，更重要的是标志了古代几何学 认的事实，就得有连续公理、运动或合同公理，然而 公理化方法的形成。由于欧几里得的几何学公理 《几何原本》中却缺少这些公理，也没有明确建立其 系统有其特定的对象，而且这些对象都具有明显的