空间直线参数方程与两直线位置关系的判定条件

掌握空间中直线的方程表示，并快速判断两条直线的位置关系，是解析几何中的核心技能。本文将直接切入主题，提供一套清晰的、可分步执行的判定方法。

第一部分：理解直线的参数方程

空间直线的参数方程，是描述一条直线所有点位置的最直观的数学工具。它像一条轨道，告诉你从哪里出发，沿着哪个方向前进。

核心概念：一条空间直线由“一个点”和“一个方向”唯一确定。

• 这个点，是直线上任意一个已知坐标的位置。
• 这个方向，用一个非零向量（称为方向向量）表示，它指明了直线延伸的走向。

写出直线的参数方程：

1. 确定一个已知点：在直线上找到一个点，记作 $P_0(x_0, y_0, z_0)$。
2. 确定方向向量：找出一个与直线平行的向量，记作 $\vec{v} = (l, m, n)$。这个向量通常通过题目条件（如与其他直线平行或垂直）或两点坐标计算得到。
3. 组装方程：直线上的任意一个动点 $P(x, y, z)$ 可以表示为从点 $P_0$ 出发，沿着方向 $\vec{v}$ 移动任意长度 $t$（$t$ 是实数，称为参数）的结果。用等式表达就是：
   $$\begin{cases} x = x_0 + lt \\ y = y_0 + mt \quad (t \in \mathbb{R})\\ z = z_0 + nt \end{cases}$$
   这就是直线的标准参数方程。它告诉你，直线上每一个点的坐标 $(x, y, z)$ 都由同一个参数 $t$ 决定。

另一种等价形式（对称式方程）：如果方向向量 $\vec{v}=(l,m,n)$ 的三个分量都不为零，从参数方程中消去参数 $t$，可以得到更常见的对称式（或点向式）方程：
$$\frac{x - x_0}{l} = \frac{y - y_0}{m} = \frac{z - z_0}{n}$$
这个形式不显含参数 $t$，但本质上描述的还是同一条直线。

第二部分：判定两条直线的位置关系

给定两条空间直线 $L_1$ 和 $L_2$，它们的位置关系只有四种可能：相交、平行、重合、异面。判定流程遵循从简到繁的逻辑。

准备工作：首先，将两条直线的方程都化为参数形式或提取出关键信息。

• 对于直线 $L_1$：写出其参数方程，明确一个点 $P_1(x_1, y_1, z_1)$ 和一个方向向量 $\vec{v_1} = (l_1, m_1, n_1)$。
• 对于直线 $L_2$：同样，明确一个点 $P_2(x_2, y_2, z_2)$ 和一个方向向量 $\vec{v_2} = (l_2, m_2, n_2)$。

判定步骤：

1. 计算方向向量的关系：检查 $\vec{v_1}$ 和 $\vec{v_2}$ 是否平行。

   • 判断方法：如果存在一个非零实数 $k$，使得 $\vec{v_1} = k \vec{v_2}$（即对应分量成比例：$\frac{l_1}{l_2} = \frac{m_1}{m_2} = \frac{m_1}{m_2}$），则两直线平行或重合。
   • 进入下一步：如果方向向量不平行（即不成比例），则两直线不可能平行，它们要么相交，要么异面。跳到步骤 3。

2. 处理平行或重合的情况：如果 $\vec{v_1}$ 与 $\vec{v_2}$ 平行，那么只需判断两条直线是否共线。

   • 判断方法：检查向量 $\overrightarrow{P_1P_2}$（从 $L_1$ 上点 $P_1$ 指向 $L_2$ 上点 $P_2$ 的向量，坐标为 $(x_2-x_1, y_2-y_1, z_2-z_1)$）是否与方向向量 $\vec{v_1}$ 平行。
   • 具体操作：计算 $\overrightarrow{P_1P_2}$ 与 $\vec{v_1}$ 的叉乘（外积）。
     • 如果 $\overrightarrow{P_1P_2} \times \vec{v_1} = \vec{0}$（结果为零向量），则三点共线，两直线重合。
     • 如果 $\overrightarrow{P_1P_2} \times \vec{v_1} \neq \vec{0}$，则两直线平行但不重合。
   • 至此，判定结束。

3. 判断相交或异面：当 $\vec{v_1}$ 与 $\vec{v_2}$ 不平行时，两条直线要么交于一点，要么不在同一平面内（异面）。

   • 核心方法：验证由三个向量 $\vec{v_1}$、$\vec{v_2}$、$\overrightarrow{P_1P_2}$ 构成的平行六面体是否有体积。
   • 具体操作：计算这三个向量的混合积（标量三重积）：$\left[ \vec{v_1}, \vec{v_2}, \overrightarrow{P_1P_2} \right] = \vec{v_1} \cdot (\vec{v_2} \times \overrightarrow{P_1P_2})$。
     • 混合积的结果是一个实数。
     • 如果混合积等于 0：这意味着三个向量共面，即直线 $L_1$ 和 $L_2$ 在同一平面上。既然它们方向不平行，在同一平面内必然相交于一点。
     • 如果混合积不等于 0：这意味着三个向量不共面，直线 $L_1$ 和 $L_2$ 不在同一平面内，它们是异面直线。

4. （可选）求交点坐标：如果判定结果为相交，可以进一步求出交点。

   • 设参数：将 $L_1$ 和 $L_2$ 的参数方程分别设为 $P_1 + t_1\vec{v_1}$ 和 $P_2 + t_2\vec{v_2}$，其中 $t_1, t_2$ 是待定参数。
   • 建立方程：令两个参数表达式相等：$P_1 + t_1\vec{v_1} = P_2 + t_2\vec{v_2}$。这会得到一个关于 $t_1$ 和 $t_2$ 的线性方程组（包含三个方程，但只有两个未知数）。
   • 求解参数：选取其中两个独立的方程联立求解出 $t_1$ 和 $t_2$ 的值。
   • 验证并计算：将求得的 $t_1$ 或 $t_2$ 代入到第三个方程中验证是否成立。如果成立，将参数值代入任意一条直线的参数方程，即可计算出交点坐标 $(x, y, z)$。

判定流程总结：
首先检查方向向量是否平行。

• 平行，则看是否重合。
• 不平行，则计算混合积判断是相交还是异面。