高数空间几何大神 求告知空间里点到直线的距离公式（空间向量点到直线的距离公式推导）

1 点到直线的距离公式为：d = |(P0-P)·n|/|n|，其中P0为直线上的一点，P为空间中的任意一点，n为直线的方向向量。
2 这个公式的原理是，将空间中的任意一点P到直线上的一点P0的连线，分解成与直线方向向量n垂直和平行的两个向量，距离即为与直线方向向量垂直的那个向量的长度。
3 在使用这个公式时，需要先求出直线的方向向量n和直线上的一点P0，然后再将需要求距离的点P带入公式中即可。