空间向量与立体几何求异面直线间的距离

如图所示,只是参考图。因为向量EF的和法向量n的夹角可以为钝角或锐角,如图为锐角。如图可知 d=|EF||cos  θ|   
而 cos θ=(向量EF*向量n)/(|EF|*|n|)
所以d=|EF|*=(向量EF*向量n)/(|EF|*|n|) 约掉|EF| 得 你所说的
因为数量积可为负,所以上面也加个绝对值符号。