定义和含义

两条直线平行则同位角相等。

辅助理解的解释

可以用反证法证明。假设同位角不相等，勾造辅助线。由于同位角相等两条直线平行定理(平行线判定定理不依赖于三角形内角和公理，所以这里可以使用)，因此得到过直线外一点有两条直线和给定的直线平行。这个和平行线唯一性公理矛盾。因此，原假设错误，也就是同位角相等。

同样，我们可以得到直线平行内错角相等、两条直线平行同旁内角互补。它们都可以算是平行线性质定理。