证明异面直线如下：

1、两条异面直线都垂直相交的直线叫做两条异面直线的公垂线。

2、两条异面直线的公垂线在这两条异面直线间的线段，叫做这两条异面直线的公垂线段，公垂线段的长度，叫做两条异面直线的距离。

3、过平面外一点与平面内一点的直线，和平面内不经过该点的直线是异面直线。

4、经过两条异面直线中的一条，有一个平面与另一条直线平行。

5、异而冉直线的公垂线存在且唯一。

6、在两条异面直线上各任取一点，这两点形成的所有线段中这两条异面直线的距离最小。

性质

异面直线的判定定理：平面内一点与平面外一点的连线，与此平面内不经过该点的直线是异面直线。另外判定两条直线异面还可依据：不同在任何一个平面内的两条直线叫做异面直线；既不平行也不相交的两条直线是异面直线。

异面直线是不在同一平面上的两条直线。异面直线是既不相交，又不平行的直线。因为两条直线如果相交或平行，则它们必在同一平面上。若无特别的说明，所说的空间直线，都是指异面直线。