两空间异面直线公垂线及交点坐标的求解过程