点到直线的距离公式推导

点到直线的距离公式推导

本文地址：blog.lucien.ink/archives/495

摘自 点到直线距离公式的几种推导 - 三横先生的文章 - 知乎 的三角形面积法，稍作修改并更正书写错误。

起因

今天在 PPT 里看到一个点到超平面的距离公式 $d=\frac{1}{\Vert \mathbf{w}\Vert }|\mathbf{w}\cdot {\mathbf{x}}_0+\mathbf{b}|$，看了半天没看懂为什么这样算，遂去问学霸，答曰“平面情况下就是点到直线的距离公式”。

万分惭愧，我连初中数学都忘了。

三角形面积法

直线 $l$ 方程为 $Ax+By+C=0$，$A$、$B$ 均不为 $0$，点 $P(x_0,y_0)$，设点 $P$ 到 $l$ 的距离为 $d$。

设点 $R(x_R,y_0)$，点 $S(x_0,y_S)$。

由 $R,S$ 在直线 $l$ 上，得到

$$A{x}_R+B{y}_0+C=0$$$$A{x}_0+B{y}_S+C=0$$

所以

$$x_R=\frac{-B{y}_0-C}{A}$$$$y_S=\frac{-A{x}_0-C}{B}$$

即

$$|PR|=|x_0-x_R|=|x_0-\frac{-B{y}_0-C}{A}|=|\frac{A{x}_0+B{y}_0+C}{A}|$$$$|PS|=|y_0-y_S|=|y_0-\frac{-A{x}_0-C}{B}|=|\frac{A{x}_0+B{y}_0+C}{B}|$$

于是

$$|RS|=\sqrt{{PR}^2+{PS}^2}=\frac{\sqrt{A^2+B^2}}{AB}\cdot |A{x}_0+B{y}_0+C|$$

由 ${\Delta }_{PSR}$ 得

$$d\cdot |RS|=|PR|\cdot |PS|$$

即

$$d=\frac{|PR|\cdot |PS|}{|RS|}=\frac{|\frac{A{x}_0+B{y}_0+C}{A}|\cdot |\frac{A{x}_0+B{y}_0+C}{B}|}{\frac{\sqrt{A^2+B^2}}{AB}\cdot |A{x}_0+B{y}_0+C|}=\frac{|A{x}_0+B{y}_0+C|}{\sqrt{A^2+B^2}}$$

另一种形式

设函数 $f(x,y)=Ax+By+C$，直线 $l:Ax+By+C=0$ 的法向量为 $\mathbf{v}(A,B)$。

则点 $P(x_0,y_0)$ 到直线 $l$ 的距离 $d$ 为

$$d=\frac{|A{x}_0+B{y}_0+C|}{\sqrt{A^2+B^2}}=\frac{f(x_0,y_0)}{\Vert \mathbf{v}\Vert }$$

注：$\Vert \mathbf{v}\Vert$ 为向量 $\mathbf{v}$ 的 2-范数