我们可以注意到直线只需要一个点和一个方向就可以表示:
对于过(x_0,y_0,z_0)点,方向向量为(a,b,c)^T的直线l,由向量共线不难导出:
\dfrac{x-x_0}{a}=\dfrac{y-y_0}{b}=\dfrac{z-z_0}{c}
当分母为0时,按分子等于0理解.
同时根据欧氏公理我们又知道:两个平面若相交于一个点,则交点在这俩面的交线上.
平面的方程可利用法向量和平面上一点导出:
设平面上一点(p,q,r),法向量(A,B,C)^T,利用向量内积:
A(x-p)+B(y-q)+C(z-r)=0
经过化简后可得平面一般方程:Ax+By+Cz+D=0进而直线方程可写为:
\left\{\begin{aligned}
A_1x+B_1y+C_1z+D_1&=0\\
A_2x+B_2y+C_2z+D_2&=0
\end{aligned}\right.