异面直线的距离

和两条异面直线都垂直相交的直线叫做两条异面直线的公垂线，公垂线与两条直线相交的点所形成的线段，叫做这两条异面直线的公垂线段。两条异面直线的公垂线段的长度，叫做这两条异面直线的距离。定理一：任意两条异面直线有且只有一条公垂线。