公式：Ax+By+C2=0。平行线公理是几何中的重要概念。欧氏几何的平行公理，可以等价的陈述为“过直线外一点有较早的一条直线和已知直线平行”。平行线定义：在同一平面内，永不相交的两条直线叫做平行线。平行线一定要在同一平面内定义，不适用于立体几何，比如异面直线，不相交，也不平行。在高等数学中的平行线的定义是相交于无限远的两条直线为平行线，因为理论上是没有绝对的平行的。
而其否定形式“过直线外一点没有和已知直线平行的直线”或“过直线外一点至少有两条直线和已知直线平行”，则可以作为欧氏几何平行公理的替代，而演绎出独立于欧氏几何的非欧几何。
