异面直线的距离公式是：d = |(A1x + B1y + C1z + D1) / sqrt(A1^2 + B1^2 + C1^2)|，其中A1、B1、C1、D1为第一条直线的方程系数，x、y、z为任意一点的坐标。这个公式的意义是，将任意一点带入第一条直线的方程中，得到该点到第一条直线的距离，再除以第一条直线的方向向量的模长，即可得到该点到第一条直线的垂线长度。