欧氏几何的公理化方法A.ppt

第三章 欧氏几何与公理化方法 欧氏几何的公理化方法 一、公理化思想方法的内涵与价值 二、直观公理化时期——《几何原本》 三、思辨性的公理化时期——非欧几何 四、形式主义的公理化时期——希尔伯特的《几何基础》 五、结构主义的公理化时期——布尔巴基的《数学原本》 六、张景中公理几何体系 五、中学数学教材中的公理系统 一、公理化思想方法的内涵与价值 什么是“公理”？ 公理 ：在一个系统中已为反复的实践所证实而被 认为不需要证明的真理，是可以作为证明中的理论依据。 公理的自明性 公理化思想方法的作用 (1)这种方法具有分析、总结数学知识的作用。 (2)公理化方法有利于比较各门数学的实质性 异同。 (3)数学公理化方法在科学方法上有示范作用。 (4)公理化方法所显示的形式的简洁性、条理性 和结构和谐性确实符合数学美的要求。 公理化方法的发展经历了以下几个时期 1、直观公理化时期 2、思辨性的公理化时期 3、形式主义的公理化时期 4、结构主义的公理化时期 二、直观公理化时期——几何原本 《几何原本》 公元前3世纪， 1607年 前6卷译成中文 “ 此书有四不必：不必疑，不必揣，不必试，不必改。有四不得：欲脱之不可得，欲驳之不可得，欲减