公式是：
a2b1=a1b2，即：a1b2-a2b1=0。
平行线公理是几何中的重要概念。欧氏几何的平行公理，可以等价的陈述为“过直线外一点有唯一的一条直线和已知直线平行”。
而其否定形式“过直线外一点没有和已知直线平行的直线”或“过直线外一点至少有两条直线和已知直线平行”，则可以作为欧氏几何平行公理的替代，而演绎出独立于欧氏几何的非欧几何。
在平面上两条直线、空间的两个平面以及空间的一条直线与一平面之间没有任何公共点时，称它们平行。两直线平行的公式:A2B1=A1B2即A1B2-A2B1=O，两直线平行，同旁內角互补、两直线平行内错角相等、两直线平行，同位角相等。以上是两直线平行的公式。
