空间两直线位置关系判断：平行、相交、异面

在三维空间中，两条直线的关系无非三种：平行、相交或异面。本指南将提供一个清晰、可执行的判断流程，让你无需画图，仅通过分析即可得出准确结论。

第一步：建立直线的数学模型

首先，需要将抽象的直线转化为可计算的数学表达式。

获取直线参数。
假设你已知两条直线 $L_1$ 和 $L_2$ 的信息。通常，每条直线由一个起点和一个方向决定。
- 对于 $L_1$，已知其上一点 $P_1$ 和一个方向向量 $\vec{v_1}$。
- 对于 $L_2$，已知其上一点 $P_2$ 和一个方向向量 $\vec{v_2}$。
写出直线方程。
将每条直线表示为参数方程形式，这是后续所有计算的基础。
- $L_1$ 上任意一点可表示为： $\vec{r_1} = \vec{P_1} + t \vec{v_1}$ （$t$ 是任意实数）
- $L_2$ 上任意一点可表示为： $\vec{r_2} = \vec{P_2} + s \vec{v_2}$ （$s$ 是任意实数）

这是最简单的判断，优先进行。平行意味着两条直线方向相同，永远不会相交。

检查方向向量是否共线。
计算 $\vec{v_1}$ 和 $\vec{v_2}$ 的关系。如果存在一个非零常数 $k$，使得 $\vec{v_1} = k \vec{v_2}$，则两个向量共线（方向相同或相反）。
在实际操作中，可以计算它们的叉积。如果 $\vec{v_1} \times \vec{v_2} = \vec{0}$ （零向量），则方向向量共线。
- 若不共线，则两直线一定不平行。跳转至第三步。
- 若共线，则两直线可能平行。进入本步下一环节。
验证是否重合或平行。
方向相同只意味着“平行或重合”。需要检查它们是否是同一条直线。
- 检查直线 $L_1$ 上的点 $P_1$ 是否在 $L_2$ 上。
- 计算 $\vec{P_1P_2}$（即 $\vec{P_2} - \vec{P_1}$），并判断这个向量是否与方向向量 $\vec{v_2}$ 共线。也就是说，检查是否存在常数 $s$ 使得 $\vec{P_1P_2} = s \vec{v_2}$。
  - 如果存在这样的 $s$，说明 $P_1$ 在 $L_2$ 上，两条直线重合（是一种特殊的平行关系）。
  - 如果不存在这样的 $s$，说明 $P_1$ 不在 $L_2$ 上，则两条直线平行且不重合。

如果方向向量不共线，两直线可能相交，也可能异面。相交意味着存在一组参数 $(t, s)$，使得两条直线方程的值相等。

建立方程组。
令 $\vec{P_1} + t \vec{v_1} = \vec{P_2} + s \vec{v_2}$。
这可以转化为关于 $t$ 和 $s$ 的线性方程组。将向量等式按 $x, y, z$ 三个坐标分量展开，得到一个三元一次方程组（其中 $t$ 和 $s$ 是未知数）。
解方程组。
从三个方程中任选两个组成一个二元一次方程组进行求解。
- 如果这个方程组有唯一解 $(t_0, s_0)$，那么代入第三个方程进行验证。
  - 如果代入后等式成立，则两条直线相交。交点坐标可以通过将 $t_0$ 代入 $L_1$ 的方程或 $s_0$ 代入 $L_2$ 的方程得到。
  - 如果代入后等式不成立，则两条直线异面。
- 如果所选的两个方程无解或有无穷多解（意味着两个方程线性相关），那么换一组方程（如用第一和第三个）重复此判断，或者直接进入第四步的混合积判断。通常情况下，若方向向量不共线，不会出现无穷多解的情况。

如果第三步未能得出“相交”的结论，那么两直线只能是异面。为了简化操作，可以遵循以下综合流程：

计算 $\vec{v_1}$ 和 $\vec{v_2}$ 的叉积 $\vec{n} = \vec{v_1} \times \vec{v_2}$。
判断叉积结果 $\vec{n}$：
- 如果 $\vec{n} = \vec{0}$，则方向共线，转至第二步判断平行或重合。
- 如果 $\vec{n} \neq \vec{0}$，则方向不共线，两直线要么相交，要么异面。
对于方向不共线的情况，计算混合积 $(\vec{P_1P_2} \cdot (\vec{v_1} \times \vec{v_2}))$，即 $(\vec{P_2} - \vec{P_1}) \cdot \vec{n}$。
- 如果混合积等于零，说明向量 $\vec{P_1P_2}$ 与公垂线向量 $\vec{n}$ 垂直，这意味着四个点（$P_1, P_1+\vec{v_1}, P_2, P_2+\vec{v_2}$）共面，因此两条直线相交。
- 如果混合积不等于零，则说明两条直线异面。其绝对值的 $\frac{1}{|\vec{n}|}$ 等于两异面直线间的距离。

通过以上四个步骤，你可以系统性地判断空间中任意两条直线的位置关系。整个过程的核心是将几何关系转化为向量运算和方程组求解，从而得出确定无疑的结论。