点到直线的距离公式的几种推导方法

点到直线的距离公式是平面解析几何中的一个重要公式,它在解决许多几何问题和实际问题中都有着广泛的应用，本文将介绍点到直线的距离公式的几种推导方法。

设点(P(x_0,y_0))，直线(l:Ax + By+ C = 0)（(A)、(B)不同时为(0)），点(P)到直线(l)的距离为(d)。

利用定义法

根据点到直线的距离的定义,点(P)到直线(l)的距离(d)是点(P)到直线(l)的垂线段的长度。

先求过点(P)且与直线(l)垂直的直线(l')的方程，因为直线(l)的斜率(k =-\frac{A}{B})（(B\neq0)），所以直线(l')的斜率(k'=\frac{B}{A})（(A\neq0)）。

则直线(l')的方程为(y - y_0=\frac{B}{A}(x - x_0))，即(Bx - Ay+ Ay_0 - Bx_0 = 0)。

然后联立直线(l)与直线(l')的方程(\begin{cases}Ax + By+ C = 0\Bx - Ay+ Ay_0 - Bx_0 = 0\end{cases})，解方程组可得交点(Q)的坐标。

通过求解可得(x=\frac{B^{2}x_0 - ABy_0 - AC}{A^{2}+B^{2}})，(y=\frac{A^{2}y_0 - ABx_0 - BC}{A^{2}+B^{2}})，即(Q(\frac{B^{2}x_0 - ABy_0 - AC}{A^{2}+B^{2}},\frac{A^{2}y_0 - ABx_0 - BC}{A^{2}+B^{2}}))。

最后根据两点间距离公式(d = \sqrt{(x_0 - x)^2+(y_0 - y)^2})，将(Q)点坐标代入可得：

[ \begin{align} d&=\sqrt{(x_0-\frac{B^{2}x_0 - ABy_0 - AC}{A^{2}+B^{2}})^2+(y_0-\frac{A^{2}y_0 - ABx_0 - BC}{A^{2}+B^{2}})^2}\ &=\sqrt{(\frac{A^{2}x_0+AB y_0 + AC}{A^{2}+B^{2}})^2+(\frac{ABx_0 + B^{2}y_0+BC}{A^{2}+B^{2}})^2}\ &=\frac{\vert Ax_0 + By_0+ C\vert}{\sqrt{A^{2}+B^{2}}} \end{align} ]

当(B = 0)时，直线(l)的方程为(Ax+ C = 0)，(x =-\frac{C}{A})，d=\vert x_0+\frac{C}{A}\vert=\frac{\vert Ax_0 + C\vert}{\vert A\vert}=\frac{\vert Ax_0 + By_0+ C\vert}{\sqrt{A^{2}+B^{2}}})（因为(B = 0)）。

利用向量法

设直线(l)上任意一点(M(x,y))，则(\overrightarrow{PM}=(x - x_0,y - y_0))。

直线(l)的法向量(\overrightarrow{n}=(A,B))。

根据向量点积的几何意义,(\vert\overrightarrow{PM}\cdot\frac{\overrightarrow{n}}{\vert\overrightarrow{n}\vert}\vert)就是点(P)到直线(l)的距离(d)。

因为(\overrightarrow{PM}\cdot\overrightarrow{n}=A(x - x_0)+B(y - y_0)=Ax+By-(Ax_0 + By_0))，又因为(Ax + By+ C = 0)，Ax+By=-C)。

则(\overrightarrow{PM}\cdot\overrightarrow{n}=-(Ax_0 + By_0 + C))，而(\vert\overrightarrow{n}\vert=\sqrt{A^{2}+B^{2}})。

d=\frac{\vert\overrightarrow{PM}\cdot\overrightarrow{n}\vert}{\vert\overrightarrow{n}\vert}=\frac{\vert Ax_0 + By_0+ C\vert}{\sqrt{A^{2}+B^{2}}})。

利用面积法

设直线(l)与(x)轴、(y)轴分别交于点(A(-\frac{C}{A},0))，(B(0,-\frac{C}{B}))（(A\neq0)且(B\neq0)）。

则(\vert AB\vert=\sqrt{(-\frac{C}{A})^2+(-\frac{C}{B})^2}=\frac{\vert C\vert\sqrt{A^{2}+B^{2}}}{\vert AB\vert})。

(\triangle PAB)的面积(S=\frac{1}{2}\vert AB\vert\cdot d)。

又因为(S=\frac{1}{2}\vert x_0y_1 - x_1y_0 + x_1y_2 - x_2y_1 + x_2y_0 - x_0y_2\vert)，对于(\triangle PAB)，(S=\frac{1}{2}\vert x_0\cdot0 - (-\frac{C}{A})\cdot y_0+(-\frac{C}{A})\cdot(-\frac{C}{B})-0\cdot(-\frac{C}{B})+0\cdot y_0 - x_0\cdot(-\frac{C}{B})\vert=\frac{1}{2}\vert\frac{Cy_0}{A}+\frac{C^{2}}{AB}+\frac{Cx_0}{B}\vert=\frac{\vert C(Ax_0 + By_0+ C)\vert}{2\vert AB\vert})。

\frac{1}{2}\vert AB\vert\cdot d=\frac{\vert C(Ax_0 + By_0+ C)\vert}{2\vert AB\vert})，即(d=\frac{\vert Ax_0 + By_0+ C\vert}{\sqrt{A^{2}+B^{2}}})。

当(A = 0)或(B = 0)时，同样可以验证该公式成立。

点到直线的距离公式(d=\frac{\vert Ax_0 + By_0+ C\vert}{\sqrt{A^{2}+B^{2}}})可以通过定义法、向量法、面积法等多种方法推导得出，这些推导方法不仅有助于我们理解公式的本质，也为我们在不同的情境下应用公式提供了思路，在实际解题中，我们可以根据具体问题的特点选择合适的方法来求解点到直线的距离。