两点距离

笛卡尔 1637 年发明坐标系后，几何问题变成代数计算：两点 (x₁,y₁)、(x₂,y₂) 的距离 d = √[(x₂−x₁)² + (y₂−y₁)²]——就是勾股定理披上坐标的外衣。中点是两个坐标的算术平均，斜率 k = (y₂−y₁) ÷ (x₂−x₁) 描述连线的陡峭程度。

这三个公式是解析几何的「九九表」：圆的方程、直线垂直平行判定、GPS 距离估算、游戏碰撞检测，全部从这里长出来。GPS 定位经纬度转平面坐标后的距离计算，用的正是它。

两点距离公式是勾股定理在坐标系中的直接化身：把两点连线看作直角三角形的斜边，两条直角边分别是水平距离 |x₂−x₁| 和垂直距离 |y₂−y₁|，于是 d = √(Δx² + Δy²)。这个「坐标化」思想是笛卡尔解析几何的核心——几何问题转化为代数计算，距离、角度、面积都能用坐标表达。

中点公式 (x̄, ȳ) = ((x₁+x₂)÷2, (y₁+y₂)÷2) 是「坐标取平均」的最简情形，背后是向量中点定理：中点位置向量 = (A+B) ÷ 2。推广到 n 个点取平均得到重心坐标，质心计算、数据聚类的质心更新（K-means）、图像插值都用这个思想。

斜率 k = Δy ÷ Δx 度量直线的「陡峭程度」与方向：k > 0 向右上倾、k < 0 向右下倾、k = 0 水平、|k| 越大越陡。斜率的物理意义随坐标轴含义而变：位移-时间图的斜率是速度、价格-数量图的斜率是边际价格、地形剖面图的斜率是坡度（百分比坡度 = k × 100%）。

距离公式有一个重要推广——闵可夫斯基距离：dₚ = (|Δx|ᵖ + |Δy|ᵖ)^(1/p)。p = 2 是欧氏距离（直线距离），p = 1 是曼哈顿距离（沿网格走的折线距离，出租车计价、PCB 布线常用），p → ∞ 是切比雪夫距离（max(|Δx|, |Δy|)，棋盘国王步数）。机器学习中的距离度量都源于这个家族。

距离计算的数值细节值得注意：坐标值很大时（如经纬度投影后的米制坐标），Δx² + Δy² 可能浮点溢出，稳健算法用 hypot 函数（内部做缩放避免溢出）。另外地球表面两点近距离可用平面近似，但跨城市距离必须用球面大圆距离（haversine 公式），平面近似在 1000km 尺度误差可达 0.5% 以上。