空间解析几何之直线与平面：推导直线与直线、直线与平面交点

空间解析几何——直线与平面

三维空间中的直线和平面与二维空间中的性质有一定的类似之处，但是其相交关系的求解方式有所差异。本文回顾了三维空间中直线和平面的解析表达，然后推导线-线、线-面交点。

平面

空间平面的表达式为：
$$Ax+By+Cz+D=0\text{\hspace{1em}(1)}$$
包含了4个参数$A,B,C,D$，$(A,B,C)$是平面的一个法向量。但是它们并非独立的，即法向量的长度可以是任意的。
若限定$A,B,C$三个参数满足：
$$A^2+B^2+C^2=1\text{\hspace{1em}(2)}$$
此时$(A,B,C)$是平面的单位法向量，$D$表示坐标原点到该平面的距离。方便起见，下面的讨论默认平面的A,B,C参数满足(2)式。

本质上，空间平面仅需要三个参数确定：$(n_x,n_y,1)$描述其法向量（仅需2参数），$d$描述其到原点的距离，表达式为$n_{x}x+n_{y}y+z+d=0$，与(1)是等价的。

直线

空间直线的一种表达是：两个平面的交。用${\pi }_1,{\pi }_2$表示两个不平行、不共面的平面，则一条空间直线可以表达为
$$l={\pi }_1\cap {\pi }_2\to l=\{\begin{array}{l}{A}_{1}x+B_{1}y+C_{1}z+D_1=0\\ A_{2}x+B_{2}y+C_{2}z+D_2=0\end{array}$$

显然，这种表达方式不是唯一的。一条空间直线可能是无数对平面的交线。
空间直线更常用的表达式为：
$$\frac{x-x_0}{a}=\frac{y-y_0}{b}=\frac{z-z_0}{c}$$

包含6个参数$x_0,y_0,z_0,a,b,c$，$(a,b,c)$是直线的方向向量，其长度任意，因而相当于只有两个独立参数；$(x_0,y_0,z_0)$是直线上一点。因此，一条空间直线只需要5个独立参数即可描述。

点到平面的距离

点$(x_1,y_1,z_1)$到平面$Ax+By+Cz+D=0$的距离为：

d=∣Ax1+By1+Cz1+D∣A2+B2+C2d=\dfrac{|Ax_1+By_1+Cz_1+D|}{\sqrt{A^2+B^2+C^2}}