证明两条直线异面，可以采用以下几种方法：
定义法
根据异面直线的定义，两条直线如果不共面，则它们是异面的。
反证法
假设两条直线共面，然后推导出与已知条件或公理、定理相矛盾的结论，从而证明假设不成立，两条直线因此异面。
判定定理法
如果一条直线过平面外一点且与平面内一点相连，而另一条直线在平面内但不经过该点，则这两条直线是异面的。
排除法
如果两条直线不可能是平行或相交的，那么它们就是异面的。
解析几何法
利用坐标系，计算两条直线的方向向量，如果方向向量不平行，则两条直线不共面。
公垂线法
如果存在一条直线，它是两条异面直线的公垂线，则这两条直线是异面的。
选择哪种方法取决于具体问题的条件和上下文。每种方法都有其适用场景和优势。