割线定理是什么？—— 深度解析圆的幂之奥秘
探索平面几何中不可或缺的核心定理，从基础定义到复杂竞赛题的终极指南。
割线定理是什么？核心定义与直观理解
割线定理是什么？这是许多同学在初学几何时最常问的问题之一。简单来说，它揭示了圆外一点引出的两条割线与圆相交时，线段长度之间存在的恒定数量关系。
📐 标准定义
若从圆外一点 P 引出两条割线，分别交圆于 A、B 和 C、D 四点（其中 A、C 为近点，B、D 为远点），则满足以下恒等式：
这一结论表明：从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等。
为什么这个定理如此重要？因为它不仅仅是一个计算公式，更是圆幂定理家族中的基石。它打破了单一图形的限制，将圆内外的线段长度通过“乘积”这一不变量联系了起来。在解决复杂的几何证明题、计算线段长度以及处理动点问题时，割线定理往往能起到“化繁为简”的神奇效果。
想象一下，当你面对一个看似毫无头绪的圆与直线相交的图形时，如果能敏锐地识别出割线定理的模型，就能迅速建立起方程，从而求解未知量。这就是割线定理是什么在解题思维中的核心价值。
割线定理的证明：逻辑推演与几何之美
要真正理解割线定理是什么，必须深入其证明过程。这不仅是数学严谨性的体现，也是培养几何直觉的关键。
1. 辅助线的构造艺术
证明的核心在于相似三角形的判定。我们需要构造两个具有公共角和相等角的三角形。
- 连接 AD 和 BC。
- 观察四边形 ABCD，它是圆的内接四边形。
2. 角度关系的挖掘
根据圆周角定理，同弧所对的圆周角相等。但在本图中，我们更需要利用圆内接四边形的性质：
∠PAD + ∠BCD = 180°（圆内接四边形对角互补）
同时，∠PCB + ∠BCD = 180°（平角定义）
由此可得：∠PAD = ∠PCB
此外，还有一个公共角：∠P = ∠P。
3. 相似三角形的建立
根据“两角对应相等，两三角形相似”的判定定理，我们可以得出：
由相似三角形的性质（对应边成比例），我们有：
| 相似关系 | 比例式 | 推导结果 |
|---|---|---|
| △PAD ∽ △PCB | PA / PC = PD / PB | PA · PB = PC · PD |
至此，割线定理得证。这个过程展示了如何通过基本的角度关系推导出深刻的长度关系，是几何学习中“由形导数”的经典案例。
定理辨析：割线定理与其他圆幂定理的关系
网络上常有疑问：“割线定理是什么？它与切割线定理、相交弦定理是一回事吗？”其实，它们同属圆幂定理体系，只是点的位置不同导致形式各异。
① 相交弦定理 (Intersection Chord Theorem)
场景：点在圆内。
若圆内一点 P 引两条弦 AB 和 CD 相交于点 P，则：
虽然公式形式相同，但物理意义不同。这里强调的是圆内部分割成的两段线段乘积相等。
② 割线定理 (Secant-Secant Theorem)
场景：点在圆外，引出两条割线。
公式：PA · PB = PC · PD。
这里的 PA、PC 指的是从圆外点到第一个交点的距离（全段中的短段），PB、PD 指的是到第二个交点的距离（全段长）。
注意：有时也表述为“整条割线长 × 圆外部分长”，本质一致。
③ 切割线定理 (Tangent-Secant Theorem)
场景：点在圆外，引出一条切线和一条割线。
设 PT 为切线，PAB 为割线，则：
可以看作是割线定理的极限情况：当割线 PC 逐渐向 PT 靠拢，最终重合为切线时，C 点和 D 点重合，PC·PD 就变成了 PT·PT。
💡 记忆口诀
“内分乘积相等，外分乘积亦等；切线平方等于外分乘积。”
这三者统一了圆上任意一点对圆的“幂”的概念，即 Power of a Point。
实战应用：典型例题与解题策略
理解了割线定理是什么之后，如何将其应用于实际题目？以下是几种常见的应用场景。
1. 求线段长度
【例题】如图，从圆外一点 P 引圆的割线 PAB 和 PCD，已知 PA=3，AB=5，PC=4，求 CD 的长度。
解析：
- 首先明确各线段长度：PA = 3，PB = PA + AB = 3 + 5 = 8。
- 根据割线定理：PA · PB = PC · PD。
- 代入数值：3 × 8 = 4 × PD。
- 解得 PD = 24 / 4 = 6。
- 最后求 CD：CD = PD - PC = 6 - 4 = 2。
此题展示了如何利用割线定理建立方程求解未知量，关键在于准确识别“全长”与“圆外段”。
2. 证明线段比例关系
在复杂的几何证明中，常需要证明 PA/PD = PC/PB 之类的比例式。此时，直接利用割线定理的逆推（相似三角形判定）往往比寻找其他相似三角形更快捷。
3. 动态几何问题
当点 P 移动，或者割线绕点 P 旋转时，只要 P 点位置不变，PA·PB 的值始终保持不变。这个定值就是点 P 对于该圆的幂。如果 P 在圆外，幂为正；在圆上，幂为零；在圆内，幂为负（绝对值等于过 P 点最短弦的一半的平方）。
直接套公式计算线段长度，解决简单的填空题。
结合相似三角形、三角函数，证明线段间的比例关系或垂直关系。
在圆系方程、反演变换等高阶几何工具中，割线定理的思想被广泛应用。