割线定理的定义与公式
在平面几何中，割线定理（Secant Theorem）是描述圆的割线性质的重要定理。它揭示了从圆外一点引出的两条割线，其线段长度之间的数量关系。该定理不仅是解决圆相关几何问题的基础工具，也是理解圆幂定理（Power of a Point）的核心组成部分。
1.1 文字表述
从圆外一点 P 引圆的两条割线，一条交圆于 A、B 两点，另一条交圆于 C、D 两点。则这一点到每条割线与圆的交点的两条线段长的积相等。
1.2 数学公式
其中：
PA 和 PC 为圆外部分线段长；
PB 和 PD 为割线的全长（包含圆外部分和圆内弦长）。
1.3 推论：圆幂定理
割线定理实际上是圆幂定理的一种情况。圆幂定理统一了以下三种情况：
- 割线定理：点P在圆外，两条割线。公式：PA·PB = PC·PD = OP² - r²。
- 切割线定理：点P在圆外，一条切线PT和一条割线PAB。公式：PT² = PA·PB。
- 相交弦定理：点P在圆内，两条弦AB和CD相交。公式：PA·PB = PC·PD = r² - OP²。
可以看出，割线定理证明的核心在于理解这种“积”的不变性，即圆外一点对圆的幂是一个定值。
割线定理证明详解
为了深入理解割线定理，我们需要通过严谨的逻辑推理来证明它。最常用的方法是利用相似三角形的性质。以下是详细的证明步骤。
证明目标
已知：点P是⊙O外一点，PAB和PCD是⊙O的两条割线，分别交⊙O于A、B和C、D。求证：PA·PB = PC·PD。
证明步骤：
- ∠P = ∠P （公共角）
- ∠PAC = ∠PDB （已证，即∠A=∠D）
向量法视角
虽然几何法最直观，但向量法提供了代数化的证明思路，适用于更广泛的解析几何场景。
设圆心为O，半径为r。点P为圆外一点。
对于割线PAB，向量 vec{PA} 与 vec{PB} 共线且同向。根据向量的数量积定义及圆的性质，我们可以引入圆幂的概念。
对于任意过点P的直线与圆相交于A、B两点，有：
该值仅取决于点P的位置和圆的半径，与割线的方向无关。因此，对于另一条割线PCD，同样有：
故 PA cdot PB = PC cdot PD。此方法极大地简化了证明过程，体现了割线定理作为圆幂定理一部分的本质。
坐标解析法
建立平面直角坐标系，设圆心O为原点(0,0)，半径为r。圆的方程为 x^2 + y^2 = r^2。
设点P坐标为(x₀, y₀)。过点P的直线参数方程为：
代入圆方程，整理得到关于t的一元二次方程：
设A、B两点对应的参数为t₁, t₂。根据韦达定理：
由于P在圆外，x₀²+y₀² > r²，故t₁t₂ > 0，说明A、B在P同侧。且 |PA|·|PB| = |t₁t₂|。因此，无论θ取何值（即无论割线方向如何），乘积恒为常数 x₀²+y₀²-r²。这从代数角度严格证明了割线定理。
割线定理的经典应用与例题
掌握割线定理证明只是第一步，关键在于如何将其应用于解决实际的几何问题。以下是几个典型的应用场景。
题目： 如图，P是⊙O外一点，PAB和PCD是⊙O的两条割线。已知PA=2，AB=4，PC=3，求PD的长。
解析：
根据割线定理，我们有：
注意：PB = PA + AB = 2 + 4 = 6。
代入数值：
答案： PD = 4。
题目： 已知P是⊙O外一点，PAB和PCD是割线，M是CD的中点，PM交⊙O于N。求证：PA·PB = PC·PD。
解析：
此题看似简单，实则考察对定理本质的理解。直接应用割线定理即可得证。但在复杂图形中，往往需要结合相似三角形进行转换。
若题目改为求证 PA/PD = PC/PB，只需将定理公式变形即可。
此类题目常出现在选择题或填空题中，要求快速识别图形中的割线定理模型。
题目： 如图，⊙O的直径AB和弦CD相交于点E，且AE=2，EB=6，ED=2。求CD的长。
解析：
虽然此题涉及相交弦，但我们可以将其视为割线定理在点P位于圆内的特例（即相交弦定理）。
根据相交弦定理：AE · EB = CE · ED
所以 CD = CE + ED = 6 + 2 = 8。
此例说明，割线定理的思想可以统一处理圆内和圆外的线段乘积问题。
割线定理的历史渊源
割线定理并非一蹴而就，它是古代数学家在探索圆性质过程中逐步发现的。以下是其发展的重要时间节点。
在《几何原本》（Elements）中，欧几里得记录了与割线定理相关的命题。虽然当时没有明确的“割线定理”名称，但其第三卷第三十三十七命题已经涵盖了相交弦和切割线的性质。
阿拉伯数学家花拉子米在继承希腊数学的基础上，进一步系统化了几何定理，将圆幂的概念初步引入代数运算。
笛卡尔创立解析几何后，割线定理可以通过坐标方程进行严格证明，标志着几何定理向代数化迈进了一大步。
在现代几何学中，割线定理被推广到复平面和黎曼曲面，成为复变函数论中“最大模原理”等高级理论的几何基础。
常见问题解答 (FAQ)
以下是关于割线定理证明及相关知识的高频问题解答。
割线定理涉及两条割线，结论是PA·PB=PC·PD；切割线定理涉及一条切线和一条割线，结论是PT²=PA·PB。割线定理是更通用的形式，当一条割线的两个交点重合时，即退化为切割线定理。
是的。当圆外一点P移动到圆内时，割线变为弦，此时PA·PB=PC·PD依然成立，这就是相交弦定理。可以说割线定理、切割线定理和相交弦定理本质上是同一几何性质在不同位置关系下的表现。
记忆口诀：“圆外一点引两割，全段乘段积相等”。即从圆外一点引出的两条割线，每条割线的“全长”（圆外部分+圆内部分）乘以“圆外部分”的长度，两积相等。
在旧高考中，割线定理常作为几何证明选讲的内容出现。在新高考体系中，它更多作为解题工具，结合相似三角形、三角函数等知识综合考查，直接考查定理本身的情况较少，但间接应用非常普遍。