关于相交线与平行线

平行线是公理几何中的重要概念。欧氏几何的平行公理，可以等价的陈述为过直线外一点有唯一的一条直线和已知直线平行。而其否定形式过直线外一点没有和已知直线平行的直线或过直线外一点至少有两条直线和已知直线平行，则可以作为欧氏几何平行公理的替代，而演绎出独立于欧氏几何的非欧几何。两条直线的位置关系有相交和平行两种。如果两条直线只有一个公共点时，称这两条直线相交。