点到直线距离计算器

点到直线的距离定义为该点到直线上所有点连线长度的最小值，这个最小值恰好是垂线段的长度。设点 P(x₀,y₀)，直线 Ax+By+C=0，距离公式 d=|Ax₀+By₀+C|/√(A²+B²) 是用向量投影或柯西不等式推导出来的：分子是把点坐标代入直线左边得到的"偏差"，分母是法向量 (A,B) 的模长，两者相除即把偏差换算成几何距离。

公式中绝对值保证距离非负；分母 √(A²+B²) 永远不能为零（否则 A=B=0，就不是直线了）。垂足坐标可用参数式求得：从 P 沿法向量方向走 d 个单位即落在直线上。

点到直线的距离是解析几何中最实用的度量之一：给定直线一般式 Ax + By + C = 0 与平面内一点 P(x₀, y₀)，距离 d = |Ax₀ + By₀ + C| / √(A² + B²)。这个公式的美妙之处在于一步到位——不需要求垂足、不需要解方程组，把坐标代入即得结果。它的推导思路是把直线方程左边理解为「带符号的缩放距离」：对直线上任意点该式为零，对直线外的点该式的绝对值与到直线的真实距离成正比，比例系数恰好是法向量 (A, B) 的模长 √(A² + B²)，所以除以模长就还原出真实距离。

公式中的绝对值承担两个角色。其一，距离本身非负，而代入结果可能为负（点在直线另一侧时），取绝对值保证几何意义；其二，去掉绝对值后的「带符号距离」本身极有价值——符号正负能判定点在直线的哪一侧。计算几何库大量使用带符号距离做碰撞检测与内外判定：把多边形各边定向后逐边计算带符号距离，全为负（或全为正）则点在多边形内。本工具输出非负距离，同时附垂足坐标，方便需要投影点的场景。

垂足坐标的计算同样不必解垂线方程。设直线一般式 Ax + By + C = 0，法向量 n = (A, B) 垂直于直线，从 P 出发沿 −n 方向走距离 d（带符号）即达垂足。写成公式：t = (Ax₀ + By₀ + C) / (A² + B²)，垂足 Q = (x₀ − t·A, y₀ − t·B)。这个形式把「投影」变成一次向量数乘，是计算机图形学里把点吸附到墙面、道路中心线的标准做法，地图应用的「道路吸附」功能底层就是它。

工程应用中，点到直线距离最典型的场景是 GIS 与导航：判断 GPS 定位点偏离规划路线多远（偏航报警阈值常设 30~50 米）、计算车辆到道路中心线的横向偏差（车道保持系统的核心输入）、选址分析中「距主干道 500 米内」的缓冲区筛选。注意地球表面的应用要先把经纬度投影到平面坐标系（如 Web 墨卡托或高斯投影），在局部小范围内用平面公式，跨城市的大范围则要用大圆距离，直接用经纬度当平面坐标会在高纬度产生百分之几十的误差。

使用本工具时，直线既可以用一般式 A、B、C 三个系数输入，也可以用两点确定（内部转成一般式）。两点转一般式的规则是：过 (x₁, y₁) 与 (x₂, y₂) 的直线，A = y₂ − y₁，B = x₁ − x₂，C = x₂y₁ − x₁y₂。转换后 A² + B² 恰等于两点距离的平方，几何意义自洽。若两点重合则不构成直线，工具会提示输入无效——这也是所有「由点定线」类计算的通用边界条件。