垂直平分线定理
垂直平分线（Perpendicular Bisector）是指垂直于一条线段并且平分这条线段的直线。它是轴对称图形的重要对称轴。
1. 定理内容
线段垂直平分线上的点到这条线段两个端点的距离相等。
反之，到一条线段两个端点距离相等的点，在这条线段的垂直平分线上。
则对于 l 上任意一点 P，有 PA = PB。
2. 证明思路
证明通常利用三角形全等（SAS）。设直线 l 交 AB 于 M，在 l 上任取点 P。因为 l ⊥ AB，所以 ∠PMA = ∠PMB = 90°。又因为 AM = MB，PM 为公共边，故 △PAM ≌ △PBM，从而得出 PA = PB。
3. 重要性质与应用
三角形外心
三角形三条边的垂直平分线相交于一点，该点称为三角形的外心。外心到三角形三个顶点的距离相等，即为外接圆半径。
将军饮马问题
在直线上找一点，使其到直线同侧两点距离之和最小。利用垂直平分线性质，可将其中一点对称到直线另一侧，连接对称点与另一点，交点即为所求。
作图基础
尺规作图中，作线段的垂直平分线是基础操作。分别以线段两端点为圆心，大于一半长度为半径画弧，两弧交点连线即为垂直平分线。
射影定理（欧几里得定理）
射影定理（Projection Theorem），又称欧几里得定理，是描述直角三角形中，直角边、斜边及斜边上的高之间数量关系的重要定理。它是相似三角形性质的直接推论。
1. 定理内容
在 Rt△ABC 中，∠C = 90°，CD 是斜边 AB 上的高。则有以下三个公式：
② AC² = AD · AB （直角边定理）
③ BC² = BD · AB （直角边定理）
2. 记忆口诀
“高平方等于两段乘积，直角边平方等于射影乘斜边。”
3. 深度解析
射影定理的本质是三个直角三角形（△ABC, △ACD, △CBD）两两相似。通过对应边成比例，即可推导出上述公式。它在求解线段长度、证明比例线段等问题中极为高效，避免了繁琐的相似三角形证明步骤。
4. 典型例题
题目： 在 Rt△ABC 中，∠C=90°，CD⊥AB 于 D，若 AC=6，BC=8，求 CD、AD、BD 的长。
解析：
- 首先由勾股定理得 AB = √(6²+8²) = 10。
- 利用面积法求高 CD：S = 1/2 AC BC = 1/2 AB CD ⇒ 68 = 10CD ⇒ CD = 4.8。
- 利用射影定理求 AD：AC² = AD AB ⇒ 36 = AD 10 ⇒ AD = 3.6。
- 利用射影定理求 BD：BC² = BD AB ⇒ 64 = BD 10 ⇒ BD = 6.4。
验证：AD + BD = 3.6 + 6.4 = 10 = AB，计算无误。
三垂线定理（立体几何核心）
当几何问题从平面进入空间时，三垂线定理成为处理线面垂直、线线垂直关系的神器。它是高中立体几何的重点内容。
1. 定理内容
在平面内的一条直线，如果和穿过这个平面的一条斜线在这个平面内的射影垂直，那么它也和这条斜线垂直。
若 a ⊥ OA，则 a ⊥ PA。
逆定理：若 a ⊥ PA，则 a ⊥ OA。
2. 五要素解析
- ⚡ 一垂： PO ⊥ 平面 α （平面的垂线）
- ⚡ 一点： P 为斜足，O 为垂足
- ⚡ 一斜： PA 为斜线
- ⚡ 一射： OA 为斜线在平面内的射影
- ⚡ 一平： a 为平面内的直线
3. 为什么需要三垂线定理？
在立体几何中，直接证明两条异面直线垂直往往比较困难。三垂线定理提供了一种“降维打击”的策略：将空间垂直问题转化为平面垂直问题。只要证明了平面内的直线与射影垂直，即可直接得出其与斜线垂直的结论，极大简化了证明过程。
4. 常见应用场景
求异面直线夹角
通过平移或作垂线，构造出包含两条异面直线的三角形，利用三垂线定理证明垂直关系，进而求解角度。
求二面角
在二面角的棱上取一点，利用三垂线定理作出二面角的平面角，这是求解二面角大小的标准步骤之一。
点到面的距离
结合线面垂直的判定，利用三垂线定理构造直角三角形，通过勾股定理计算点到平面的距离。
解题技巧与易错点分析
掌握定理只是第一步，灵活运用才是关键。以下通过选项卡形式展示不同维度的解题策略。
平面几何中的垂直构造
在许多复杂的平面几何题中，题目并未直接给出垂直关系，此时需要辅助线来构造垂直。
- • 中线加倍法：遇到中线时，可延长中线至一倍，构造平行四边形，利用对角线互相平分及垂直关系解题。
- • 角平分线+垂线：若题目中出现角平分线和垂线，往往构成等腰三角形，可利用“三线合一”性质。
- • 四点共圆：若两个直角三角形共用斜边，则这四个点共圆，可利用圆周角定理结合垂直关系求解。
立体几何中的常见陷阱
在使用三垂线定理时，学生常犯以下错误：
- • 忽略前提条件：必须明确哪条线是平面的垂线，哪条是斜线，哪条是平面内的直线。缺一不可。
- • 射影找错：斜线在平面内的射影是斜足与垂足的连线。若垂足不在平面内，则无法直接使用。
- • 逆定理误用：逆定理同样成立，但需注意逻辑方向。由“斜线垂直”推“射影垂直”时，必须确保平面内直线与斜线垂直。
综合应用：最短路径问题
在圆柱或圆锥侧面展开图中，求两点间最短路径，往往需要结合垂直关系。例如，在圆柱侧面上，若两点在同一轴截面上，最短路径即为展开图中的直线段。若涉及垂直，可利用勾股定理计算展开图中的直角三角形边长。
此外，在解析几何中，两直线垂直的充要条件是斜率之积为-1（k1k2=-1）。这一代数方法与几何中的垂直定理相互印证，是解决圆锥曲线问题的重要工具。
垂直定理的历史演变
垂直定理的发展贯穿了人类几何学的历史，从古希腊到现代数学，其地位从未动摇。
欧几里得《几何原本》
欧几里得在《几何原本》中系统阐述了垂直、平行等基本概念，并证明了垂直平分线的相关性质，奠定了平面几何的基础。
射影定理的发现
虽然射影定理的具体发现者已不可考，但其作为直角三角形相似性质的推论，在古代数学文献中已有应用，用于土地测量和建筑计算。
笛卡尔与解析几何
笛卡尔引入坐标系，将几何垂直关系转化为代数斜率乘积为-1，使得垂直定理的计算更加便捷，促进了微积分的发展。
向量与空间几何
向量点积为零即为垂直，这一简洁的代数表达成为现代物理和工程计算的核心，三垂线定理在空间向量法中得到了更广泛的推广和应用。