点到直线的距离是解析几何中的核心概念，表示从平面上一点到直线的垂线段长度。对于坐标为 $(x_0, y_0)$ 的点 $P$ 和方程为 $Ax + By + C = 0$ 的直线 $l$（其中 $A$、$B$ 不同时为 0），距离公式为：

$d = \frac{|Ax_0 + By_0 + C|}{\sqrt{A^2 + B^2}}$

这一公式的推导可通过多种方法实现，其中面积法直观且易于理解。过点 $P$ 分别作平行于 $x$ 轴和 $y$ 轴的垂线，与直线 $l$ 交于点 $R$ 和 $S$，形成直角三角形 $PRS$。通过计算三角形面积的两种表示方式（底乘高与两直角边乘积的一半），可消去中间变量得到距离公式。具体而言，$|PR| = \frac{|Ax_0 + By_0 + C|}{|A|}$，$|PS| = \frac{|Ax_0 + By_0 + C|}{|B|}$，斜边 $|RS| = \frac{\sqrt{A^2 + B^2} \cdot |Ax_0 + By_0 + C|}{|AB|}$，由面积关系 $d \cdot |RS| = |PR| \cdot |PS|$ 即可推导出结果 。

向量法从几何本质出发，将距离视为向量投影的模长。在直线 $l$ 上任取一点 $Q$，向量 $\overrightarrow{PQ}$ 在直线法向量 $\vec{n} = (A, B)$ 上的投影长度即为距离。利用向量点积公式，$d = \frac{|\overrightarrow{PQ} \cdot \vec{n}|}{|\vec{n}|}$，代入坐标展开后同样得到公式 。

公式中的绝对值保证距离非负，分母 $\sqrt{A^2 + B^2}$ 是法向量的模长，体现了公式对坐标系缩放的不变性。当直线垂直于坐标轴时，公式仍成立：例如直线 $x = a$（即 $A=1, B=0, C=-a$）到点 $(x_0, y_0)$ 的距离为 $|x_0 - a|$，与直观结论一致 。

这一公式在解析几何中应用广泛，例如求三角形高、判断直线与圆的位置关系等。理解其推导过程有助于掌握数形结合思想，例如通过柯西不等式可证明距离是点到直线上所有点距离的最小值 。你是否想过如何用类似思路推导空间中点到平面的距离公式？