我们知道，用反证法证明两条直线异面，可以先假设两条直线共面，我们知道共面的两条直线有两种位置关系，即平行与相交，也就是说我们只要从二者平行或相交推导出与公理或定理相悖的结论出来，也就证明了我们的假设不成立，从而证得二者异面。