点到直线距离公式推导是什么？

Question

如题所述

Answer 1

点到直线距离公式推导是：点到直线的距离，即过这一点做目标直线的垂线，由这一点至垂足的距离。

设直线L的方程为Ax+By+C=0，点P的坐标为（x0,y0），则点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²)。

到直线距离公式的证明法：

定义法证：根据定义，点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)，公式得证。

Answer 2

辅导儿子时遇到这个问题,望采纳.