利用空间向量求空间距离

首先推导了用法向量求点到面的距离公式,然后将线面距离、面面距离、两异面直线距离都转化到点面距离的向量公式上,使立体几何的重点及难点知识—空间距离转向程序化、公式化。