线段垂直平分线计算器

垂直平分线是穿过线段中点且与线段成直角（90°）的直线。它是几何学中最重要的作图之一——它是到线段两个端点距离相等的所有点组成的唯一一条直线。线段平分线计算器接受两个端点的坐标，并返回垂直平分线的方程。本教程解释了垂直平分线的特殊性、方程推导过程，以及它在三角形几何学中的更广泛作用（外心、垂直平分线定理）。

两个定义性质

如果一条直线同时满足以下两个条件，它就是线段 AB 的垂直平分线：

1. 它经过 AB 的中点。
2. 它与 AB 垂直（成 90° 角）。

仅凭其中一个条件是不够的。经过中点但不垂直的线只是“平分线”（非垂直）。不经过中点但垂直的线只是“垂线”（非平分线）。垂直平分线是唯一同时满足这两个条件的直线。

等距性质

垂直平分线具有一个显著的性质——其轨迹定义：

一个点位于线段 AB 的垂直平分线上，当且仅当该点到 A 和 B 的距离相等。

这就是垂直平分线定理。这意味着：

• 垂直平分线上的每一点到两个端点的距离都相等。
• 反之，任何到 A 和 B 距离相等的点都位于垂直平分线上。

从几何角度看：垂直平分线是到 A 和 B 距离相等的所有点的集合。这种轨迹特征解释了为什么垂直平分线会出现在如此多的基于距离的作图中。

工作示例——求垂直平分线

求从 A = (2, 1) 到 B = (8, 5) 的线段的垂直平分线。

步骤 1：找到中点。

M = ((2 + 8) / 2, (1 + 5) / 2) = (5, 3)。

步骤 2：计算 AB 的斜率。

m_AB = (5 − 1) / (8 − 2) = 4 / 6 = 2/3。

步骤 3：取负倒数作为垂直斜率。

m_perp = −1 / (2/3) = −3/2。

步骤 4：用点斜式写出方程。

y − 3 = (−3/2)(x − 5)

或者写成斜截式：y = (−3/2)x + 15/2 + 3 = y = (−3/2)x + 10.5。

验证——检查等距性

在垂直平分线上选一个点——比如 (5, 3)（中点）。到 A 的距离 = √((5−2)² + (3−1)²) = √13。到 B 的距离 = √((5−8)² + (3−5)²) = √13。相等。✓

再试另一个点。根据平分线方程，当 x = 1 时：y = −1.5 + 10.5 = 9。点 (1, 9) 到 A 的距离 = √(1 + 64) = √65。到 B 的距离 = √(49 + 16) = √65。相等。✓

外心

四个经典“三角形中心”之一：外心是三角形三条边的垂直平分线的交点。它是外接圆的中心——即经过所有三个顶点的唯一圆。

为什么三条线交于一点：每条垂直平分线都是到三角形两个顶点距离相等的点的轨迹。边 AB 的平分线与边 BC 的平分线的交点，该点到 A、B 和 C 的距离都相等——因此它也位于边 CA 的平分线上。三线共点。

外心到每个顶点的距离等于外接圆半径 R。对于钝角三角形，外心位于三角形外部。

尺规作图

垂直平分线是基础的尺规作图之一：

1. 将圆规张开至大于线段长度一半的任意宽度。
2. 将圆规针尖置于一个端点，在线段两侧各画一段弧。
3. 保持圆规宽度不变，将针尖置于另一个端点，在线段两侧各画一段弧。两段弧相交于两点（线段上方一点，下方一点）。
4. 使用直尺连接这两个交点。这条线就是垂直平分线。

原理：根据圆规的设置，两个交点到两个端点的距离相等（因为它们都在以相同半径画出的弧上）。根据垂直平分线定理，这些等距点位于垂直平分线上，因此通过它们的直线就是平分线。

垂直斜率公式

两条斜率分别为 m₁ 和 m₂ 的直线互相垂直，当且仅当：

m₁ × m₂ = −1

（等价地，m₂ = −1/m₁ ——即“负倒数”）。

特殊情况：

• 水平线段（斜率为 0）：垂直斜率未定义 → 平分线为垂直线。
• 垂直线段（斜率未定义）：垂直斜率为 0 → 平分线为水平线。
• 斜率 1：垂直斜率为 −1。

实际应用

• 定位等距设施。新建消防站应距离两个现有消防站等远——将其定位在这两个站点之间线段连线的垂直平分线上。
• 调解/公平问题。划分距离两个边界等远的地产界线，使用了垂直平分线的概念。
• 计算机图形学。Voronoi 图根据到“种子”点的距离对平面进行分区；Voronoi 单元之间的边界是种子点的垂直平分线。
• GPS 三角测量。根据到已知点的距离确定位置，利用了垂直平分线的交点。

常见错误

• 使用原始斜率而不是负倒数。垂直平分线的斜率是线段斜率的负倒数，而不是相同的斜率。
• 忘记它必须经过中点。垂直于 AB 但不经过中点的线不是“垂直平分线”——它只是一条垂线。两个条件都很重要。
• 混淆垂直平分线和角平分线。这是不同的概念：垂直平分线用于线段；角平分线将一个角分成两个相等的部分。
• 将垂直线段的“负倒数”视为未定义。垂直线段的斜率未定义；其垂直线的斜率为 0（水平）。请使用特殊情况规则，而不是公式。