第五讲 几何原和九章算术.docVIP

第五讲 《几何原本》和《九章算术》 在早期的数学中，我们可以看到两种不同的也是基本的数学思想的体现：演绎的公理化体系和构造的算法体系。《几何原本》和《九章算术》就是这两种思想的代表。《》《几何原本》是历史上最早建立的演绎的公理化的体系。演绎的公理化体系是从有限的不加证明公理和定义出发，通过严格的逻辑推理推演出所有其他命题的一个有序的理论整体。约公元前300年，古希腊数学家欧几里得（Eucild）将希腊当时最为发达的数学---几何用公理化的思想和严格的演绎推理的逻辑方法整理在一个体系之中《几何原本》的原名为《原本》（“Elements”），17世纪初，翻译成中文时冠以《几何原本》沿用至今。《几何原本》中的素材并非是欧几里得所独创，它是对欧几里得之前希腊数学的一个总结。欧几里得《几何原本》的出现，是数学史上一个伟大的里程碑，它不仅是几何学建立的标志，同时也是公理体系在具体学科中应用成功的标志。《几何原本》基本内容欧几里得的《几何原本》全书共十三卷，总共有475个命题（包括5个公设（Postulate）和5个公理（Axiom））。除几何外，还包括初等数论，比例理论等内容。第一篇有5个公设、5个公理和48个命题，讨论全等形，平行线，毕达哥拉斯（Pythagoras）定理，初等作图法，等价形（有等面积的图形）和平行四边形。所有图形都是由直线段组成的。欧几里得在这篇中给出了23个定义提出了