要证明两条直线是异面直线，可以采用以下几种方法：
1. 定义法：
如果两条直线不在同一个平面内，且它们之间既不相交也不平行，那么这两条直线就是异面直线。
具体步骤：假设两条直线分别为l和m，首先验证它们不在同一个平面内，即不存在一个平面同时包含这两条直线；验证这两条直线不相交，即它们之间没有公共点；验证这两条直线不平行，即它们的方向向量不共线。
2. 反证法：
假设两条直线是共面的，即存在一个平面同时包含这两条直线，然后通过矛盾来证明这个假设是错误的。
具体步骤：首先假设直线l和m共面，那么它们应该相交或者平行。如果它们相交，那么它们的交点应该在假设的平面内，这与它们是异面直线的定义矛盾；如果它们平行，那么它们应该在同一个平面内，这也与它们是异面直线的定义矛盾。
3. 构造法：
构造一个平面，假设这个平面同时包含两条直线，然后通过分析构造过程来证明这个假设是错误的。
具体步骤：选择两条直线上的任意两点，分别作为这两条直线的两个端点，然后尝试通过这两点构造一个平面。如果无法构造出一个同时包含这两点的平面，那么可以推断这两条直线是异面直线。
4. 坐标法：
如果两条直线可以用参数方程或对称方程表示，可以通过坐标分析来证明它们是异面直线。
具体步骤：设直线l和m的参数方程分别为l：( vec{r
