简称“欧氏几何”。几何学的一门分科。公元前约300年,古希腊数学家欧几里得总结了前人在实践中获得的几何知识,加以系统化,把公认的事实列成定义和公理,其中最著名的是平行公理:平面上一直线和两直线相交,当同旁两内角之和小于两直角时,则两直线在这一侧充分延长一定相交;即在平面上,过直线外一点只能作一条和这直线不相交的直线。用这些定义和公理来研究图形的性质,就形成了欧氏几何。按所讨论的图形在平面上或空间中,分别称为“平面几何”与“立体几何”。