欧几里得几何 Euclidean geometry



欧几里得几何指按照欧几里得的《几何原本》构造的几何学。
欧几里得几何有时就指二维平面上的几何,即平面几何。本文主要描述平面几何。三维空间的欧几里得几何通常叫做立体几何。高维的情形请参看欧几里得空间。
数学上,欧几里得几何是指二维平面和三维空间中的几何,基于点线面假设。数学家也用这一术语表示具有相似性质的高维几何。
其中公设五又称之为平行公设(Parallel Axiom),叙述比较复杂,这个公设衍生出「三角形内角和等于一百八十度」的定理。在高斯(F. Gauss, 1777年—1855年)的时代,公设五就备受质疑,俄罗斯数学家罗巴切夫斯基(Nikolay Ivanovitch Lobachevski)、匈牙利人波约(Bolyai)阐明第五公设只是公理系统的一种可能选择,并非必然的几何真理,也就是「三角形内角和不一定等于一百八十度」,从而发现非欧几里得的几何学,即「非欧几何」(non-Euclidean geometry)。