求两空间向量的公垂线长度把两个向量坐标化后,怎么求异面向量的最短距离 应该是公垂线长度吧