线段的垂直平分线是指一条直线，它既垂直于该线段，又经过该线段的中点。换句话说，这条直线把线段分成两条相等的部分，并且与原线段成90度角。

性质定理：线段垂直平分线上的任意一点到这条线段两个端点的距离相等。也就是说，如果点 $P$ 在线段 $AB$ 的垂直平分线上，那么 $PA = PB$。

判定定理：如果一个点到一条线段两个端点的距离相等，那么这个点一定在这条线段的垂直平分线上。即若 $PA = PB$，则点 $P$ 在线段 $AB$ 的垂直平分线上。

这两个定理互为逆命题，在解题中经常结合使用。例如，在作图或证明中，我们常通过找“到两点距离相等”的点来确定垂直平分线的位置。

垂直平分线是轴对称图形中的重要元素——线段关于它的垂直平分线成轴对称。

• 性质定理：若点 $P$ 在线段 $AB$ 的垂直平分线上，则 $PA = PB$。
  • 示例：已知点 $P$ 在线段 $AB$ 的垂直平分线上，且 $PA = 5\,\text{cm}$，则 $PB = 5\,\text{cm}$。
• 判定定理：若 $PA = PB$，则点 $P$ 在线段 $AB$ 的垂直平分线上。
  • 示例：若点 $P$ 满足 $PA = PB = 6\,\text{cm}$，则 $P$ 必在线段 $AB$ 的垂直平分线上。

例题1（基础）：已知线段 $AB = 8\,\text{cm}$，点 $M$ 是 $AB$ 的中点，直线 $l$ 经过点 $M$ 且垂直于 $AB$。点 $P$ 在直线 $l$ 上，且 $PM = 3\,\text{cm}$。求 $PA$ 的长度。

解：

1. 因为 $l$ 是 $AB$ 的垂直平分线，所以 $PA = PB$（性质定理）。
2. $AM = \frac{1}{2}AB = 4\,\text{cm}$。
3. 在直角三角形 $\triangle PAM$ 中，$\angle PMA = 90^\circ$，由勾股定理得：

4. 所以 $PA = 5\,\text{cm}$。

例题2（进阶）：在 $\triangle ABC$ 中，$AB = AC$，点 $D$ 在边 $BC$ 上，且 $DB = DC$。求证：点 $A$ 在线段 $BC$ 的垂直平分线上。

证明：

1. 已知 $DB = DC$，说明点 $D$ 是 $BC$ 的中点。
2. 又因为 $AB = AC$，所以点 $A$ 到 $B$、$C$ 的距离相等。
3. 根据垂直平分线的判定定理：若一点到线段两端点距离相等，则该点在此线段的垂直平分线上。
4. 因此，点 $A$ 在线段 $BC$ 的垂直平分线上。
5. （补充理解）这也说明等腰三角形顶点在底边的垂直平分线上，体现了轴对称性。

• 混淆“垂直”和“平分”：有些同学认为只要平分线段就是垂直平分线，忽略了“垂直”条件。应记住必须同时满足“过中点”和“垂直”。
• 误用性质方向：性质是“在垂直平分线上 ⇒ 到两端点距离相等”，不能反过来说“只要画一条线使某点到两端等距就是垂直平分线”，需确认该线是否过中点且垂直。
• 忽略判定的前提：判定定理要求“到两个端点距离相等”，若只知到一个端点距离，不能判断位置。
• 作图不规范：用尺规作垂直平分线时，圆规半径必须大于线段一半，否则两弧无交点。