三维空间中的直线方程与参数方程
我们先从最基本的概念开始:在三维空间(即我们生活的空间)中,一条直线是最简单的几何对象之一。为了用数学的方式精确地描述它,我们需要方程。
第一步:直线的方向向量与一个点
确定一条直线,最经典的方式是:
- 知道直线经过的一个固定点 \(P_0(x_0, y_0, z_0)\)。
- 知道直线的方向。这个方向通常用一个非零的向量 \(\vec{v} = (a, b, c)\) 来表示,称为直线的方向向量。这个向量的分量 \(a, b, c\) 被称为直线的方向数。
第二步:参数方程
这是描述直线最直观的方程形式。其思想是:从固定点 \(P_0\) 出发,沿着方向 \(\vec{v}\) 移动任意距离 \(t\)(\(t\) 是一个实数,称为参数),就可以到达直线上的任何一点 \(P(x, y, z)\)。
用向量形式表示:
\[\overrightarrow{OP} = \overrightarrow{OP_0} + t \cdot \vec{v} \]
其中 \(O\) 是坐标原点。展开成坐标形式,就得到参数方程:
\[\begin{cases} x = x_0 + a \cdot t \\ y = y_0 + b \cdot t \\ z = z_0 + c \cdot t \end{cases} \]
参数 \(t\) 取遍所有实数时,点 \((x, y, z)\) 就遍历整条直线。当 \(t = 0\) 时,得到的就是固定点 \(P_0\)。
第三步:对称式方程(或点向式方程)
如果方向数 \(a, b, c\) 都不为零,我们可以从参数方程中消去参数 \(t\):
从 \(x = x_0 + at\) 得 \(t = (x - x_0) / a\)。
从 \(y = y_0 + bt\) 得 \(t = (y - y_0) / b\)。
从 \(z = z_0 + ct\) 得 \(t = (z - z_0) / c\)。
既然它们都等于 \(t\),我们直接让它们相等,得到对称式方程:
\[\frac{x - x_0}{a} = \frac{y - y_0}{b} = \frac{z - z_0}{c} \]
这个方程非常清晰地显示了直线由点 \((x_0, y_0, z_0)\) 和方向数 \((a, b, c)\) 确定。
第四步:特殊情况处理
如果方向向量 \(\vec{v}\) 的某个分量为零,意味着直线与该坐标轴平行,对称式方程需要调整:
- 若 \(a = 0\),但 \(b, c \neq 0\),表示直线平行于 \(x\) 轴(因为 \(x\) 方向没有分量)。方程应写为:
\[x = x_0, \quad \frac{y - y_0}{b} = \frac{z - z_0}{c} \]
- 若 \(a = b = 0\),但 \(c \neq 0\),表示直线平行于 \(z\) 轴。方程为:
\[x = x_0, \quad y = y_0 \]
即直线是过点 \((x_0, y_0, 0)\) 且平行于 \(z\) 轴的铅垂线。
第五步:两点式方程
如果已知直线经过两个不同的点 \(P_1(x_1, y_1, z_1)\) 和 \(P_2(x_2, y_2, z_2)\),那么我们可以立即得到直线的方向向量:\(\vec{v} = \overrightarrow{P_1P_2} = (x_2 - x_1, y_2 - y_1, z_2 - z_1)\)。选择其中一点(如 \(P_1\))作为固定点,代入对称式方程,得到两点式方程:
\[\frac{x - x_1}{x_2 - x_1} = \frac{y - y_1}{y_2 - y_1} = \frac{z - z_1}{z_2 - z_1} \]
前提是分母都不为零。如果某个分母为零,处理方法与第四步相同。
第六步:一般式方程(交面式)
一条直线也可以表示为两个不平行的平面的交线。因此,直线可以用两个三元一次方程的联立来表示:
\[\begin{cases} A_1x + B_1y + C_1z + D_1 = 0 \\ A_2x + B_2y + C_2z + D_2 = 0 \end{cases} \]
其中,系数不成比例(即两平面法向量 \((A_1, B_1, C_1)\) 和 \((A_2, B_2, C_2)\) 不平行),保证它们确实相交于一条直线。
这种形式到对称式(或参数式)的转换,需要找到直线上一点(任意找一个满足两个方程的点)和方向向量(方向向量就是两平面法向量的叉积 \(\vec{v} = \vec{n_1} \times \vec{n_2}\))。
通过以上六个步骤,我们从最基本的几何要素(点和方向)出发,逐步建立了描述三维空间直线的不同数学方程,并说明了它们之间的相互转换关系和特殊情况处理方法。这些方程是解决空间几何中与直线相关的距离、夹角、交点等问题的基础。