二维直线非平行必相交，三维不平行平面是否可能不相交？

嘿，这个问题刚好戳中了三维空间里直线和平面的本质差异，咱们把它掰碎了说：

首先直接给结论：三维空间里，不平行的两个平面必定相交，而且相交的结果是一条直线，不存在不相交的情况。

为啥呢？咱们从平面的定义和方程入手理清楚：

• 三维空间里的平面可以用一般式方程表示：Ax + By + Cz + D = 0，其中(A,B,C)是这个平面的法向量——也就是垂直于平面的方向向量。
• 两个平面“不平行”的定义，就是它们的法向量不共线（简单说就是两个法向量不能是成比例的倍数关系）。比如平面1的法向量是(1,0,0)，平面2的法向量是(0,1,0)，这俩就不共线，所以平面不平行。

当两个平面不平行时，联立它们的方程：

A₁x + B₁y + C₁z + D₁ = 0
A₂x + B₂y + C₂z + D₂ = 0

因为法向量不共线，这两个方程是线性无关的，三个变量（x,y,z）对应两个独立方程，解出来的是一个一维的解空间——也就是一条直线。这就意味着两个平面必然沿着这条直线相交。

那为啥直线和平面的情况不一样？

• 三维空间里的直线是一维的，就算不平行，它们可能不在同一个“二维子空间”里（也就是异面直线），所以没法相交。但平面是二维的，本身就是三维空间的一个二维子空间，两个不平行的二维子空间，它们的交集必然是一个一维子空间（直线），不可能是空集。

举个直观的例子：

• 你把房间的地面（z=0）和墙面（y=0）拿出来看，它们不平行，相交的就是墙角的那条竖线（x轴）。
• 再比如一个倾斜的平面y = x + 1和水平平面z = 2，它们不平行，相交的就是直线y = x + 1，z = 2。

反过来，三维空间里两个平面不相交的情况只有一种：它们平行且完全不重合（比如z=0和z=1，法向量都是(0,0,1)，平行但没有交点）。只要不平行，就一定相交。

内容的提问来源于stack exchange，提问作者Endrit Shabani