1、任意两点确定一条直线
2、任意线段能延长成一条直线
3、以一点为圆心一个线段为半径可以做一个圆
4、所有直角都相等
5、过直线外一点有且只有一条直线与已知直线平行
公理即是假设,是不可证明的。从这五条公理出发,欧几里德推导出一系列的定理。
直线由无数个点构成。直线是面的组成成分,并继而组成体。没有端点,向两端无限延长,长度无法度量。经过一个点可以画无数条直线。经过两个点可以画一条直线。
直线是几何学基本概念,是点在空间内沿相同或相反方向运动的轨迹。或者定义为:曲率最小的曲线(以无限长为半径的圆弧)。直线有无数条对称轴,其中一条是它本身,还有所有与它垂直的直线(有无数条)对称轴。在平面上过不重合的两点有且只有一条直线,即不重合两点确定一条直线。在球面上,过两点可以做无数条类似直线。
空间直线的方向用一个与该直线平行的非零向量来表示,该向量称为这条直线的一个方向向量。直线在空间中的位置, 由它经过的空间一点及它的一个方向向量完全确定。在欧几里得几何学中,直线只是一个直观的几何对象。在建立欧几里得几何学的公理体系时,直线与点、平面等都是不加定义的,它们之间的关系则由所给公理刻画。