几何中,在同一平面内,永不相交(也永不重合)的两条直线(line)叫做平行线(parallel lines)。
平行线公理是几何中的重要概念。欧氏几何的平行公理,可以等价的陈述为“过直线外一点有唯一的一条直线和已知直线平行”。而其否定形式“过直线外一点没有和已知直线平行的直线”或“过直线外一点至少有两条直线和已知直线平行”,则可以作为欧氏几何平行公理的替代,而演绎出独立于欧氏几何的非欧几何。
如果两条直线都与第三条直线平行,那么这两条直线也互相平行。如若a∥b,b∥c,则a∥c。
正平行线的性质与平行线的判定不同,平行线的判定是由角的数量关系来确定线的位置关系,而平行线的性质则是由线的位置关系来确定角的数量关系,平行线的性质与判定是因果倒置的两种命题。对平行线的判定而言,两直线平行是结论,而对平行线的性质而言,两直线平行却是条件。已知两直线平行。由平行线得到角的关系是平行线的性质,包括:①两直线平行,同位角相等;②两直线平行,内错角相等;③两直线平行,同旁内角互补。