平面及其交线
在三维空间中,平面是一个平坦的二维曲面,曲率为零。当两个这样的平面不平行时,它们的交集自动形成一条直线交线——这是空间几何中的一个基本结果。两平面交线计算器提供了一种快速推导此直线的方法,将其表示为参数直线方程,可用于工程、物理或计算机图形学中的进一步分析。
平面的表示
一个平面由一个点和一个垂直于该平面的法向量完全描述。如果点为 P0=(x0,y0,z0),法向量为 n=⟨a,b,c⟩,则笛卡尔方程为:
a(x−x0)+b(y−y0)+c(z−z0)=0orax+by+cz=d,
其中 d=ax0+by0+cz0。法向量决定了平面的方向,而点决定了平面到原点的距离。
相交几何
两个平面可以是:
- 平行(法线方向相同)——不存在交线;它们要么重合,要么分离。
- 相交(法向量不平行)——交线是一条直线。
该直线同时属于两个平面,本质上是满足两个平面方程的所有点的集合。
计算交线——参数法
交线可以通过以下三个步骤以参数形式表示:
- 方向向量 – 由于直线位于两个平面内,因此它垂直于每个平面的法线。法向量的叉积给出了直线的方向:
r=n1×n2=ia1a2jb1b2kc1c2.
-
公共点 – 联立两个平面方程(通常通过设置一个坐标为0)找到同时位于两个平面上的点 P0=(x0,y0,z0)。
-
参数方程 – 将点和方向结合:
l(λ)=⟨x0,y0,z0⟩+λ⟨rx,ry,rz⟩,
等价于:
\begin{cases}
x(\lambda) = x_0 + \lambda r_x,\$$2pt]
y(\lambda) = y_0 + \lambda r_y,\$$2pt]
z(\lambda) = z_0 + \lambda r_z.
\end{cases}
参数 λ 可以取任意实数值;每个值对应交线上的一个点。
示例
考虑这两个平面:
AB:−2x+3y+4z=−1,:2x−y−3z=2.
法线:n1=⟨−2,3,4⟩,n2=⟨2,−1,−3⟩。
叉积:
r=⟨(−3)(−3)−(4)(−1),(4)(2)−(−2)(−3),(−2)(−1)−(3)(2)⟩=⟨−5,2,−4⟩.
为获得公共点,设置 x=0 并解方程组:
{3y+4z=−1,−y−3z=2.
解得 y=1,z=−1,因此 P0=(0,1,−1)。参数直线为:
l(λ)=⟨0,1,−1⟩+λ⟨−5,2,−4⟩.
交线的对称形式
参数方程可以通过消去 λ 转换为对称形式,前提是 r 的任意分量不为零:
rxx−x0=ryy−y0=rzz−z0.
或者,可以直接通过消元法求交线,无需使用参数。
使用消元法的示例
考虑:
2x−4z=−1,x−2y+z=2.
从第一个方程中分离出 z:
z=21x+41.
代入第二个方程:
x−2y+21x+41=2⟹23x−2y=47.
解出 x:
x=34y+67.
同样从第一个方程,用 z 表示 x:
x=2z+21.
因此,该直线由两个方程对称地描述:
x=34y+67=2z+21.
使用计算器
两平面交线计算器简化了每一步。你输入每个平面的系数 (a,b,c,d),采用标准形式 ax+by+cz=d。该工具自动计算法向量的叉积以获得方向向量,找到一个方便的公共点,并将结果显示为参数方程。它还会在平面平行时提醒你——这意味着不存在交线。