d=│AXo＋BYo＋C│/√（A²＋B²）
直线Ax+By+C=0 坐标（Xo，Yo）那么这点到这直线的距离就为：
d=│AXo＋BYo＋C│/√（A²＋B²）
点到直线的距离，即过这一点做目标直线的垂线，由这一点至垂足的距离。
初三点到直线距离公式：d=│AXo+BYo+C│/√（A2+B2）。
公式中的直线方程为Ax+By+C=0，点P的坐标为（x0，y0）。连接直线外一点与直线上各点的所有线段中，垂线段最短，这条垂线段的长度，叫做点到直线的距离。即过这一点做目标直线的垂线，由这一点至垂足的距离。
点到直线距离证明：
根据定义，点P(x₀,y₀)到直线l：Ax+By+C=0的距离是点P到直线l的垂线段的长，设点P到直线的垂线为l'，垂足为Q，公式锝：
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)，公式得证。
