两个平面相交平面中的直线相交吗 两个平面相交一定是直线吗
平面几何是构建三维空间认知的基础。当我们将视野从二维平面扩展到三维空间，两个平面之间的关系不再仅仅是平行或重合，而是多了“相交”这种可能。那么，两平面相交，其交集是否必然是一条直线？这个问题看似简单，实则蕴含着空间几何的深层原理。
要回答这个问题，我们需要从平面的定义入手。在欧几里得几何中，平面被定义为一个无限延伸的、没有厚度的二维对象。它可以由三个不共线的点唯一确定，也可以由一条直线和一个不在直线上的点确定。更为严谨地，我们可以使用向量来定义平面。设 $\vec{n}$ 为平面的法向量， $\vec{r_0}$ 为平面上一点的位置向量，那么平面上任意一点的位置向量 $\vec{r}$ 满足以下方程：
$\vec{n} \cdot (\vec{r} \vec{r_0}) = 0$
这个方程表达了平面上所有点与 $\vec{r_0}$ 的连线都与法向量 $\vec{n}$ 垂直。
现在，假设我们有两个平面 $\Pi_1$ 和 $\Pi_2$，它们的法向量分别为 $\vec{n_1}$ 和 $\vec{n_2}$，且 $\vec{n_1}$ 与 $\vec{n_2}$ 不共线，这意味着两个平面不平行也不重合。若 $\Pi_1$ 和 $\Pi_2$ 相交，那么它们的交集必然包含至少一个点，设这个点的位置向量为 $\vec{r_p}$。于是，对于交集中的任意一点 $\vec{r}$，它必须同时满足两个平面的方程：
$\vec{n_1} \cdot (\vec{r} \vec{r_p}) = 0$ (1)
$\vec{n_2} \cdot (\vec{r} \vec{r_p}) = 0$ (2)
这两个方程实际上定义了一个向量方程组，我们可以通过线性代数的知识来求解它。引入一个参数 $t \in \mathbb{R}$，构造向量：
$\vec{d} = \vec{n_1} \times \vec{n_2}$
其中，$\vec{d}$ 是 $\vec{n_1}$ 和 $\vec{n_2}$ 的叉积，因此 $\vec{d}$ 垂直于 $\vec{n_1}$ 和 $\vec{n_2}$。这意味着，对于任意实数 $t$，向量 $\vec{r_p} + t\vec{d}$ 满足方程 (1) 和 (2)。将 $\vec{r} = \vec{r_p} + t\vec{d}$ 分别代入 (1) 和 (2) 验证：
$\vec{n_1} \cdot (\vec{r_p} + t\vec{d} \vec{r_p}) = \vec{n_1} \cdot (t\vec{d}) = t(\vec{n_1} \cdot \vec{d}) = 0$
$\vec{n_2} \cdot (\vec{r_p} + t\vec{d} \vec{r_p}) = \vec{n_2} \cdot (t\vec{d}) = t(\vec{n_2} \cdot \vec{d}) = 0$
因为 $\vec{d}$ 垂直于 $\vec{n_1}$ 和 $\vec{n_2}$，所以点 $\vec{r} = \vec{r_p} + t\vec{d}$ 确实位于两个平面上。这表明，所有满足上述方程的点构成一条直线，其方向向量为 $\vec{d}$，并且经过点 $\vec{r_p}$。
更进一步，我们可以证明这个交集只包含这条直线上的点。假设存在另外一个点 $\vec{r'}$ 既满足方程 (1) 和 (2)，又不在这条直线上。那么，向量 $\vec{r'} \vec{r_p}$ 必须既垂直于 $\vec{n_1}$ 又垂直于 $\vec{n_2}$。由于 $\vec{n_1}$ 和 $\vec{n_2}$ 不共线，所有既垂直于 $\vec{n_1}$ 又垂直于 $\vec{n_2}$ 的向量都必须与 $\vec{n_1} \times \vec{n_2} = \vec{d}$ 共线。$\vec{r'} \vec{r_p}$ 必然与 $\vec{d}$ 共线，这意味着 $\vec{r'}$ 必然在这条直线上，与假设矛盾。
我们得出：两个不平行且不重合的平面相交，其交集必然是一条直线。
这个对于理解三维空间中的几何关系至关重要。在实际应用中，例如计算机图形学、工程设计等领域，我们经常需要计算两个平面的交线。上述的推导过程不仅提供了理论依据，也给出了计算交线方程的方法：首先找到一个交点，然后计算两个法向量的叉积作为方向向量，从而确定交线。
考虑一个具体的例子。设平面 $\Pi_1$ 的方程为 $x + y + z = 1$，平面 $\Pi_2$ 的方程为 $x y = 0$。它们的法向量分别为 $\vec{n_1} = (1, 1, 1)$ 和 $\vec{n_2} = (1, 1, 0)$。显然，$\vec{n_1}$ 和 $\vec{n_2}$ 不共线。我们可以找到一个交点，例如 $(0.5, 0.5, 0)$，它同时满足两个平面的方程。然后，计算叉积：
$\vec{d} = \vec{n_1} \times \vec{n_2} = \begin{vmatrix} \vec{i} & \vec{j} & \vec{k} \\ 1 & 1 & 1 \\ 1 & 1 & 0 \end{vmatrix} = (1, 1, 2)$
两个平面的交线可以表示为：
$\vec{r} = (0.5, 0.5, 0) + t(1, 1, 2)$
其中，$t \in \mathbb{R}$。这清楚地展示了两个平面相交形成的确实是一条直线。
理解两平面相交的本质有助于我们深入学习空间几何。从更广阔的视角来看，它也体现了数学的严谨性和逻辑性。 通过简单的定义和推导，我们能够揭示空间几何中重要的定理，并将其应用于实际问题中。 这正是数学的魅力所在。
