点到直线的距离公式是几何学中的一个基本概念，用于计算平面内一点到一条直线的最短距离。以下是几种常见的表述方式及其推导：
一、基本公式（点斜式）
对于直线 $Ax + By + C = 0$ 和点 $P(x_0, y_0)$，点到直线的距离 $d$ 可以表示为：
$$ d = \frac{|Ax_0 + By_0 + C|}{\sqrt{A^2 + B^2}} $$
推导过程：
- 设直线的一般式为 $Ax + By + C = 0$。
- 点 $P(x_0, y_0)$ 到直线的垂线方程可以通过斜率关系得出（若直线斜率为 $-\frac{A}{B}$，则垂线斜率为 $\frac{B}{A}$）。但此处为了简化计算，我们直接利用向量投影的概念。
- 向量 $\vec{n} = (A, B)$ 是直线的法向量。
- 点 $P$ 到直线上任意一点 $Q(x, y)$ 的向量为 $\vec{PQ} = (x - x_0, y - y_0)$。
- 利用点到直线的距离等于向量 $\vec{PQ}$ 在法向量 $\vec{n}$ 上的投影长度，即 $d = \frac{|\vec{PQ} \cdot \vec{n}|}{|\vec{n}|}$。
- 代入得 $d = \frac{|A(x - x_0) + B(y - y_0)|}{\sqrt{A^2 + B^2}}$。
- 由于 $Q(x, y)$ 在直线上，所以 $Ax + By + C = 0$，即 $Ax - Ax_0 + By - By_0 = -C$（假设从 $P$ 到 $Q$ 的方向使得距离为正），从而有 $A(x - x_0) + B(y - y_0) = -C$ 或 $A(x_0 + \Delta x) + B(y_0 + \Delta y) + C = 0$（其中 $\Delta x, \Delta y$ 为微小变化量，但在求极限时即为点到直线距离的表达式中的部分）。
- 因此，距离公式简化为 $d = \frac{|Ax_0 + By_0 + C|}{\sqrt{A^2 + B^2}}$。
二、参数形式下的距离公式
有时直线和点的坐标可能以参数形式给出，此时也可以通过转换得到上述基本公式的形式来计算距离。
三、三维空间中的点到平面的距离公式
在三维空间中，点到平面的距离公式与二维情况类似，只是需要额外考虑一个维度。对于平面 $Ax + By + Cz + D = 0$ 和点 $P(x_0, y_0, z_0)$，点到平面的距离 $d$ 为：
$$ d = \frac{|Ax_0 + By_0 + Cz_0 + D|}{\sqrt{A^2 + B^2 + C^2}} $$
这个公式的推导过程与二维情况下的推导类似，也是基于向量投影的概念。
四、应用实例
在实际应用中，点到直线的距离公式可以用于求解各种几何问题，如判断点与直线的位置关系、计算图形的最小外接圆或外接矩形等。此外，在计算机图形学、机器人路径规划等领域也有广泛应用。
综上所述，点到直线的距离公式是几何学中的一个重要工具，它能够帮助我们解决许多实际问题。通过理解和掌握这一公式及其推导过程，我们可以更好地运用它来解决相关的几何问题。
