割线长定理全解析：从几何本质到解题实战攻略
在平面几何的学习与考试中，圆的相关知识始终占据着核心地位。其中，割线长定理（Secant-Secant Theorem）作为圆幂定理的重要组成部分，不仅是解决线段比例计算的关键工具，更是连接相似三角形与圆的性质的桥梁。本文将为您深度剖析割线长定理的内涵、证明过程、应用场景以及与相关定理的区别，帮助您构建完整的知识体系。
什么是割线长定理？
📖 定理表述
从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等。
PA · PB = PC · PD
这个常数 PA · PB 被称为点 P 对圆的幂（Power of a Point）。当点 P 在圆外时，幂为正值；当点 P 在圆内时，幂为负值（对应相交弦定理）。
🧠 记忆口诀
- “全段乘外段”：即从圆外点出发，整条割线的长度乘以圆外部分的长度。
- “内外不分家”：无论割线怎么转，只要起点不变，这个乘积就是一个定值。
- “对称美”：两条割线的乘积相等，体现了圆的对称性和不变性。
割线长定理的深度证明
理解证明过程比死记硬背公式更为重要。割线长定理的本质是相似三角形的应用。
📐 证明步骤
已知：如图，P 为圆外一点，直线 PAB 和 PCD 分别交圆于 A、B 和 C、D 四点。
求证：PA · PB = PC · PD
证明过程：
- 连接 AC 和 BD（或者连接 AD 和 BC）。
- 在圆中，∠A 和 ∠D 都是弧 BC 所对的圆周角，因此 ∠A = ∠D。
- 同理，∠C = ∠B（弧 AD 所对的圆周角）。
- 又因为 ∠P 是公共角。
- 所以，△PAC ∽ △PDB （两角对应相等，三角形相似）。
- 根据相似三角形对应边成比例：
PA / PD = PC / PB - 交叉相乘得：
PA · PB = PC · PD
结论：定理得证。
割线长定理的实战应用场景
在实际解题中，割线长定理通常不会单独出现，而是与其他几何知识结合。以下是三种最常见的应用场景：
🔢 线段长度计算
这是最基础的应用。已知三条线段长度，求第四条。
例题：从圆外一点 P 引圆的割线 PAB 和 PCD，已知 PA=2, AB=4, PC=3，求 CD 的长。
解析：
- PB = PA + AB = 2 + 4 = 6
- 根据定理：PA · PB = PC · PD
- 2 × 6 = 3 × PD
- 12 = 3 × PD → PD = 4
- CD = PD - PC = 4 - 3 = 1
📐 相似三角形证明
当题目中出现比例式或需要证明三角形相似时，逆用割线长定理或结合其推导出的相似三角形是关键。
思路：若已知 PA · PB = PC · PD，可变形为 PA/PC = PD/PB。结合公共角 ∠P，即可证明 △PAC ∽ △PDB。
这常用于证明角相等（如 ∠PAC = ∠PDB）或边平行等问题。
🔄 与切线结合（圆幂定理统一）
当其中一条割线退化为切线时，割线长定理演变为切割线定理。
PT² = PA · PB
这体现了定理的统一性：无论是两条割线，还是一切线一割线，本质都是点 P 对圆的幂。
割线长定理 vs 相交弦定理 vs 切割线定理
许多同学容易混淆这三个定理。其实它们是圆幂定理在不同位置关系下的表现。请看下表对比：
| 定理名称 | 点的位置 | 线的类型 | 公式形式 | 几何意义 |
|---|---|---|---|---|
| 割线长定理 | 圆外 | 两条割线 | PA·PB = PC·PD | 圆外一点对圆的幂 |
| 切割线定理 | 圆外 | 一切线一割线 | PT² = PA·PB | 切线长的平方等于幂 |
| 相交弦定理 | 圆内 | 两条弦 | PA·PB = PC·PD | 圆内一点对圆的幂（绝对值） |
💡 深度提示：注意割线长定理和相交弦定理公式形式完全一样！区别仅在于线段的定义。割线长定理中，线段是从圆外点开始算的“全长”和“外段”；而相交弦定理中，线段是被交点分成的“两段弦长”。
割线长定理的历史与拓展
欧几里得的贡献
割线长定理的雏形出现在欧几里底的《几何原本》中，作为圆的相关性质被研究。它是射影几何早期思想的体现。
初中几何的核心考点
在当前的初高中数学体系中，该定理是解决圆与相似三角形综合题的利器，常出现在压轴题的辅助线构造中。
反演变换的基础
在复变函数和几何变换中，割线长定理反映了反演变换（Inversion）的基本性质，即点 P 和点 P' 关于圆互为反演点时，满足 OP·OP' = r²。
常见疑问解答 (FAQ)
Q1: 割线长定理和相交弦定理有什么区别？
A: 相交弦定理是割线长定理的特例。当割线与圆的两个交点重合，即割线变为弦时，割线长定理就退化为相交弦定理。两者本质上都是圆幂定理的不同表现形式。
Q2: 如何快速记忆割线长定理的公式？
A: 记住口诀：“全段乘外段”。即从圆外一点引出的割线，整条割线长度（从圆外点到远端交点）乘以圆外部分长度（从圆外点到近端交点）等于常数。
Q3: 割线长定理在高考或中考中常考什么题型？
A: 常考题型包括：1. 直接利用定理计算线段长度；2. 结合相似三角形进行证明；3. 与圆的切线长定理结合，利用圆幂定理统一求解；4. 解析几何中直线与圆的位置关系应用。
Q4: 如果两条割线互相垂直，公式有变化吗？
A: 公式 PA·PB = PC·PD 依然成立。但垂直条件可能用于计算具体的坐标或面积，例如结合勾股定理求解。