考虑点(x0,y0,z0)与
空间直线x-x1/l=y-y1/m=z-z1/n,有d=|(x1-x0,y1-y0,z1-z0)×(l,m,n)|/√(l2+m2+n2)
证:根据定义,点P(x0,y0)到直线l:Ax+By+C=0的距离是点P到直线l的垂线段的长,设点P到直线的垂线为l',垂足为Q,则l'的
斜率为 则l'的解析式为y-y0=(x-x0)把l和l'联立得l与l'的交点Q的坐标为((B^2x0-ABy0-AC)/(A^2+B^2), (A^2y0-ABx0-BC)/(A^2+B^2))由
两点间距离公式得