和两条异面直线都垂直相交的直线叫做这两条异面直线的公垂线.

    两条异面直线，有且只有一条公垂线．

    例 图中直线AB是异面直线a、b的公垂线．