点到直线的距离公式是：
设直线 L 的方程为Ax+By+C=0，点 P 的坐标为（x0,y0），则点 P 到直线 L 的距离为：
同理可知，当P（x0,y0），直线L的解析式为y=kx+b时，则点P到直线L的距离为：
考虑点(x0,y0,z0)与空间直线x-x1/l=y-y1/m=z-z1/n，有d=|(x1-x0,y1-y0,z1-z0)×(l,m,n)|/√(l²+m²+n²)。
证明方法：
定义法证：根据定义，点P(x₀,y₀)到直线l：Ax+By+C=0的距离是点P到直线l的垂线段的长，设点P到直线的垂线为l'，垂足为Q，则l'的斜率为B/A则l'的解析式为y-y₀=(B/A)(x-x₀)把l和l'联立得l与l'的交点Q的坐标为((B^2x₀-ABy₀-AC)/(A^2+B^2), (A^2y₀-ABx₀-BC)/(A^2+B^2))由两点间距离公式得：
PQ^2=[(B^2x₀-ABy₀-AC)/(A^2+B^2)-x0]^2
+[(A^2y₀-ABx₀-BC)/(A^2+B^2)-y0]^2
=[(-A^2x₀-ABy₀-AC)/(A^2+B^2)]^2
+[(-ABx₀-B^2y₀-BC)/(A^2+B^2)]^2
=[A(-By₀-C-Ax₀)/(A^2+B^2)]^2
+[B(-Ax₀-C-By₀)/(A^2+B^2)]^2
=A^2(Ax₀+By₀+C)^2/(A^2+B^2)^2
+B^2(Ax₀+By₀+C)^2/(A^2+B^2)^2
=(A^2+B^2)(Ax₀+By₀+C)^2/(A^2+B^2)^2
=(Ax₀+By₀+C)^2/(A^2+B^2)
所以PQ=|Ax+By+C|/√(A^2+B^2)，公式得证。
直线Ax+By+C=0 坐标（Xo，Yo）那么这点到这直线的距离就为：
公式描述：
公式中的直线方程为Ax+By+C=0，点P的坐标为(x0,y0)。
连接直线外一点与直线上各点的所有线段中，垂线段最短，这条垂线段的长度，叫做点到直线的距离。
拓展资料：
公式整理
一、总公式：
设直线 L 的方程为Ax+By+C=0，点 P 的坐标为（Xo，Yo），则点 P 到直线 L 的距离为：
考虑点(x0,y0,z0)与空间直线x-x1/l=y-y1/m=z-z1/n，有s=|(x1-x0,y1-y0,z1-z0)×(l,m,n)|/√(l²+m²+n²)
d=√((x1-x0)²+(y1-y0)²+(z1-z0)²-s²)
二、引申公式：
公式①：设直线l1的方程为
；直线l2的方程为
则 2条平行线之间的间距：
公式②：设直线l1的方程为
；直线l2的方程为
则 2条直线的夹角
点到直线距离 百度百科
PQ=|Ax₀+By₀+C|/√(A^2+B^2)
根据定义，点P(x₀,y₀)到直线l：Ax+By+C=0的距离是点P到直线l的垂线段的长，设点P到直线的垂线为l'，垂足为Q，则l'的斜率为B/A则l'的解析式为y-y₀=(B/A)(x-x₀)把l和l'联立得l与l'的交点Q的坐标为((B^2x₀-ABy₀-AC)/(A^2+B^2), (A^2y₀-ABx₀-BC)/(A^2+B^2))由两点间距离公式得
PQ^2=[(B^2x₀-ABy₀-AC)/(A^2+B^2)-x0]^2
+[(A^2y₀-ABx₀-BC)/(A^2+B^2)-y0]^2
=[(-A^2x₀-ABy₀-AC)/(A^2+B^2)]^2
+[(-ABx₀-B^2y₀-BC)/(A^2+B^2)]^2
=[A(-By₀-C-Ax₀)/(A^2+B^2)]^2
+[B(-Ax₀-C-By₀)/(A^2+B^2)]^2
=A^2(Ax₀+By₀+C)^2/(A^2+B^2)^2
+B^2(Ax₀+By₀+C)^2/(A^2+B^2)^2
=(A^2+B^2)(Ax₀+By₀+C)^2/(A^2+B^2)^2
=(Ax₀+By₀+C)^2/(A^2+B^2)
所以PQ=|Ax+By+C|/√(A^2+B^2)，公式得证。
函数法
证：点P到直线上任意一点的距离的最小值就是点P到直线的距离。在上取任意点用两点的距离公式有，为了利用条件上式变形一下，配凑系数处理得：
当且仅当时取等号所以最小值就是
不等式法
证：点P到直线上任意一点Q的距离的最小值就是点P到直线的距离。由柯西不等式：
当且仅当时取等号所以最小值就是
转化法
证：设直线的倾斜角为过点P作PM∥轴交于M显然所以
易得∠MPQ=或∠MPQ=
在两种情况下都有所以
直线Ax+By+C=0 坐标（Xo，Yo）那么这点到这直线的距离就为：
公式描述：
公式中的直线方程为Ax+By+C=0，点P的坐标为(x0,y0)。
连接直线外一点与直线上各点的所有线段中，垂线段最短，这条垂线段的长度，叫做点到直线的距离。
