直线和直线的距离公式

点到直线的距离公式是：

设直线 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)，公式得证。

设直线 L 的方程为Ax+By+C=0，点 P 的坐标为（Xo，Yo），则点 P 到直线 L 的距离为：

过程：

1.设直线l的方程为Ax+By+Cz+D=0 显然它与直线Ax+By+Cz=(A,B,C)(x,y,z)=0平行. 而后者从表达式可以看出它和向量(A,B,C)垂直.

2.考虑直线外一点P和直线上一点Q，则有向量PQ，如果它垂直于直线l，那么PQ的长度就是点到直线的距离。如果它不垂直于直线l，那么设P到直线l的垂足为R，由直角三角形的关系，PQcost=PR，cost是PQ与PR夹角的余弦，而PR与(A,B,C)都垂直于l，因此它俩平行。于是，夹角t可由PQ和(A,B,C)得出。

3.现在，P已知，Q可任取，(A,B,C)已知，故t已知。于是PR的长度已知，于是点到直线的距离已知。将以上过程用坐标写出来就得到了点到直线的距离公式了。

一般情况下，点与直线的距离，是指点到直线的最短距离，即垂直距离。 在二维直角坐标中，直线Ax+By+C=0与点(p,q)的最短距离为：

直线：

直线由无数个点构成。直线是面的组成成分，并继而组成体。没有端点，向两端无限延伸，长度无法度量。直线是轴对称图形。

它有无数条对称轴，其中一条是它本身，还有所有与它垂直的直线（有无数条）对称轴。在平面上过不重合的两点有且只有一条直线，即不重合两点确定一条直线。在球面上，过两点可以做无数条类似直线。

构成几何图形的最基本元素。在D·希尔伯特建立的欧几里德几何的公理体系中，点、直线、平面属于基本概念，由他们之间的关联关系和五组公理来界定。