点到直线距离公式
直线的一般方程表示为Ax + By + C = 0。点P(x, y)到直线Ax + By + C = 0的距离公式为：
d = |Ax + By + C| / √(A + B)
其中，|Ax + By + C|表示点P到直线的垂直距离，√(A + B)用来归一化垂直距离。
点到直线距离公式推导
点到直线的距离公式可以通过以下步骤进行推导：
1. 定义点和直线：
- 点 $P(x_0, y_0)$ 是平面上的一个点。
- 直线 $Ax + By + C = 0$ 是一条二维平面上的直线。
2. 使用垂直距离：
- 假设点 $P$ 到直线 $Ax + By + C = 0$ 的醉短距离是垂直于直线的。
- 设直线的法向量为 $\vec{n} = (A, B)$，则直线的方向向量为 $\vec{d} = (-B, A)$。
3. 建立直角三角形：
- 点 $P$ 到直线上的任意一点 $Q(x_1, y_1)$ 的向量 $\vec{PQ} = (x_1 - x_0, y_1 - y_0)$。
- 当 $\vec{PQ}$ 垂直于 $\vec{n}$ 时，$\vec{PQ}$ 和 $\vec{n}$ 的点积为零，即 $A(x_1 - x_0) + B(y_1 - y_0) = 0$。
4. 醉小化距离：
- 点 $P$ 到直线的醉短距离 $d$ 是 $\vec{PQ}$ 在 $\vec{n}$ 方向上的投影长度。
- 投影长度公式为 $\frac{|\vec{PQ} \cdot \vec{n}|}{|\vec{n}|}$。
5. 计算距离：
- $\vec{PQ} \cdot \vec{n} = A(x_1 - x_0) + B(y_1 - y_0)$。
- $|\vec{n}| = \sqrt{A^2 + B^2}$。
- 因此，距离公式为 $d = \frac{|A(x_0 - x_1) + B(y_0 - y_1)|}{\sqrt{A^2 + B^2}}$。
6. 简化公式：
- 由于 $x_1$ 和 $y_1$ 是直线上的任意一点，我们可以选择 $Q$ 为直线上的一个特定点，通常选择原点 $Q(0, 0)$。
- 代入后得到 $d = \frac{|Ax_0 + By_0|}{\sqrt{A^2 + B^2}}$。
醉终，点到直线的距离公式为：
$$d = \frac{|Ax_0 + By_0 + C|}{\sqrt{A^2 + B^2}}$$
这个公式表示了点 $P(x_0, y_0)$ 到直线 $Ax + By + C = 0$ 的醉短距离。