欧式几何又叫什么,数学几何立体图形

欧式几何又叫什么
别称:几何公理 。
欧氏几何公理是欧几里得建立的几个几何公理,也称欧式几何,它的建立,采用了分析与综合的方法,不止是单独一个命题的前提与结论之间的连结,而是所有几何命题的连结成逻辑网路 。
古希腊大数学家欧几里德是与他的巨著《几何原本》一起名垂千古的 。这本书是世界上最著名,最完整而且流传最广的数学著作,也是欧几里德最有价值的一部著作 。在《原本》里,欧几里德系统地总结了古代劳动人民和学者们在实践和思考中获得的几何知识,欧几里德把人们公认的一些事实列成定义和公理,以形式逻辑的方法,用这些定义和公理来研究各种几何图形的性质,从而建立了一套从公理、定义出发,论证命题得到定理得几何学论证方法,形成了一个严密的逻辑体系几何学 。而这本书,也就成了欧式几何的奠基之作 。
两千多年来,《几何原本》一直是学习几何的主要教材 。哥白尼,伽利略,笛卡尔,牛顿等许多伟大的学者都曾学习过《几何原本》,从中吸取了丰富的营养,从而作出了许多伟大的成就 。
数学几何立体图形简称“欧氏几何” 。几何学的一门分科 。公元前3世纪,古希腊数学家欧几里德把人们公认的一些几何知识作为定义和公理,在此基础上研究图形的性质,推导出一系列定理,组成演绎体系,写出《几何原本》,形成了欧氏几何 。在其公理体系中,最重要的是平行公理,由于对这一公理的不同认识,导致非欧几何的产生 。按所讨论的图形在平面上或空间中,分别称为“平面几何”与“立体几何” 。
欧几里德几何指按照欧几里德的《几何原本》构造的几何学 。
欧几里德几何有时就指平面上的几何,即平面几何 。三维空间的欧几里德几何通常叫做立体几何 。高维的情形请参看欧几里德空间 。
数学上,欧几里德几何是平面和三维空间中常见的几何,基于点线面假设 。数学家也用这一术语表示具有相似性质的高维几何 。
欧几里德几何的五条公理是:
任意两个点可以通过一条直线连接 。
任意线段能无限延伸成一条直线 。
给定任意线段,可以以其一个端点作为圆心,该线段作为半径作一个圆 。
所有直角都全等 。
若两条直线都与第三条直线相交,并且在同一边的内角之和小于两个直角,则这两条直线在这一边必定相交 。
第五条公理称为平行公理,可以导出下述命题:
【欧式几何又叫什么,数学几何立体图形】通过一个不在直线上的点,有且仅有一条不与该直线相交的直线 。
平行公理并不像其他公理那么显然 。许多几何学家尝试用其他公理来证明这条公理,但都没有成功 。19世纪,通过构造非欧几里德几何,说明平行公理是不能被证明的 。(若从上述公理体系中去掉平行公理,则可以得到更一般的几何,即绝对几何 。)
从另一方面讲,欧几里德几何的五条公理并不完备 。例如,该几何中的有定理:任意线段都是三角形的一部分 。他用通常的方法进行构造:以线段为半径,分别以线段的两个端点为圆心作圆,将两个圆的点作为三角形的第三个顶点 。然而,他的公理并不保证这两个圆必定相交 。因此,许多公理系统的修订版本被提出,其中有希尔伯特公理系统 。欧几里德还提出了五个“一般概念”,也可以作为公理 。当然,之后他还使用量的其他性质 。
与同一事物相等的事物相等 。
相等的事物加上相等的事物仍然相等 。
相等的事物减去相等的事物仍然相等 。

推荐阅读