〓 定理核心定义
📌 判定定理 (The Determination Theorem)
内容：与一条线段两个端点距离相等的点，在这条线段的垂直平分线上。
关键词：距离相等 → 在垂直平分线上
几何语言：
∵ PA = PB
∴ 点P在线段AB的垂直平分线上
📌 性质定理 (The Property Theorem)
内容：线段垂直平分线上的点与这条线段两个端点的距离相等。
关键词：在垂直平分线上 → 距离相等
几何语言：
∵ 点P在线段AB的垂直平分线上
∴ PA = PB
💡 易混淆点警示
很多同学容易将“判定”与“性质”搞混。判定定理通常用于证明“某点在直线上”或“某直线是垂直平分线”；而性质定理通常用于证明“两条线段相等”。在解题时，首先观察已知条件：如果已知“距离相等”，请用判定定理；如果已知“垂直平分”，请用性质定理。
⚙️ 逻辑证明推导
已知点 P 是线段 AB 外一点，且 PA = PB。我们需要证明直线 PO（O为AB中点）垂直于 AB。
方法一（等腰三角形三线合一）：取 AB 的中点 O，连接 PO。
方法二（垂线法）：过点 P 作 PD ⊥ AB 于点 D。
在 △PAO 和 △PBO 中：
1. PA = PB (已知)
2. PO = PO (公共边)
3. AO = BO (中点定义)
∴ △PAO ≌ △PBO (SSS)
由全等可知 ∠POA = ∠POB。
又 ∵ ∠POA + ∠POB = 180° (平角定义)
∴ ∠POA = ∠POB = 90°
即 PO ⊥ AB 且 AO = BO。
∴ 直线 PO 是线段 AB 的垂直平分线，即点 P 在 AB 的垂直平分线上。
🔍 核心应用场景
🚀 “将军饮马”模型变式
问题描述：在直线 L 上找一点 P，使得 PA + PB 最小（A、B 在 L 同侧）。
解题思路：虽然这主要利用轴对称，但垂直平分线在“异侧”或“距离相等”的特殊情况下至关重要。如果 A、B 关于直线 L 对称，则 L 即为 AB 的垂直平分线。此时 L 上任意一点到 A、B 距离相等。
判定定理应用：若题目要求找一点 P 使得 PA=PB，且 P 在某直线上，则该点即为该直线与 AB 垂直平分线的交点。
示例：
已知 A(1,2), B(3,4)，求 x 轴上一点 P(x,0) 使得 PA=PB。
解：由 PA^2 = PB^2
(x-1)^2 + (0-2)^2 = (x-3)^2 + (0-4)^2
x^2 - 2x + 1 + 4 = x^2 - 6x + 9 + 16
4x = 20 => x = 5
即 P(5,0)。
📐 尺规作图：作垂直平分线
原理：利用判定定理，找到两个到线段两端距离相等的点，这两点确定的直线即为垂直平分线。
- 分别以 A、B 为圆心，大于 1/2 AB 长为半径画弧。
- 两弧交于 C、D 两点。
- ∵ CA=CB, DA=DB (半径相等)
- ∴ C、D 均在线段 AB 的垂直平分线上 (判定定理)。
- ∴ 直线 CD 即为所求。
🧮 角度与边长计算
典型例题：在 △ABC 中，AB=AC，∠A=100°，BD 平分 ∠ABC 交 AC 于 D。求证：AD + BD = BC。
分析：这类题目常需构造等腰三角形。利用判定定理，我们可以找到一些隐含的等量关系。例如，若我们在 BC 上取一点 E 使得 BE=BA，连接 DE，则可证 △ABD ≌ △EBD，从而转化线段关系。
垂直平分线常用于将分散的边长集中到一个三角形中，或者利用“等边对等角”进行角度代换。
📅 知识掌握时间轴
理解“垂直”与“平分”
明确垂直平分线必须同时满足两个条件：① 垂直于线段；② 平分线段。缺一不可。
掌握判定与性质
通过全等三角形证明判定定理，理解其逆命题关系。能够熟练书写“∵...∴...”的证明格式。
解决几何难题
结合勾股定理、相似三角形、圆的性质，解决涉及轨迹、最值、证明等综合问题。例如：确定外心位置，解决折叠问题。
❓ 高频疑问解答 (FAQ)
线段垂直平分线是一条直线。虽然它是由线段定义的，但它向两端无限延伸。在几何作图中，我们通常只画出其中一部分，但概念上它是直线。
判定定理指出：一个到两端距离相等的点，一定在这条线段的垂直平分线上。但是，要确定整条垂直平分线，我们需要两个这样的点（两点确定一条直线）。这就是为什么尺规作图时要找两个交点的原因。
它们互为逆命题，逻辑上是等价的，但在证明步骤中不能混用。如果你已知“距离相等”，必须引用“判定定理”得出“在垂直平分线上”；如果你已知“在垂直平分线上”，必须引用“性质定理”得出“距离相等”。混用会被扣分。