切线长定理及推论：几何解题的利器
深入解析从圆外一点引两条切线的几何性质，掌握切线长定理及其推论，破解圆的综合难题。
一、 什么是切线长定理？
经过圆外一点作圆的切线，这点和切点之间的线段的长，叫做这点到圆的切线长。
切线长定理：从圆外一点可以引圆的两条切线，它们的切线长相等，这点和圆心的连线平分两条切线的夹角。
1.1 关键概念辨析
在理解切线长定理之前，必须严格区分“切线”与“切线长”两个概念：
- 切线：指的是一条直线。直线是无限延伸的，没有长度可言，因此我们不能说“切线的长度”。
- 切线长：指的是圆外一点与切点之间的线段的长度。这是一个具体的数值，是可以度量的。
1.2 几何语言描述
如图，PA、PB分别切⊙O于点A、B：
- PA = PB （切线长相等）
- ∠APO = ∠BPO （OP平分∠APB）
- OA ⊥ PA，OB ⊥ PB （切线的性质）
二、 切线长定理的证明
虽然定理本身非常直观，但通过严谨的逻辑证明可以加深对其几何结构的理解。以下是标准的证明步骤：
已知：
PA、PB是⊙O的两条切线，A、B为切点。
求证：
PA = PB，∠APO = ∠BPO。
证明过程：
连接OA、OB、OP。
∵ PA、PB是⊙O的切线
∴ OA ⊥ PA，OB ⊥ PB （切线的性质定理）
∴ ∠OAP = ∠OBP = 90°
在Rt△OAP和Rt△OBP中：
OA = OB （半径相等）
OP = OP （公共边）
∴ Rt△OAP ≌ Rt△OBP (HL)
∴ PA = PB，∠APO = ∠BPO （全等三角形对应边、对应角相等）
三、 切线长定理的推论
基于切线长定理，我们可以引申出几个重要的几何推论，这些推论在解决复杂几何问题时往往能起到事半功倍的效果。
推论：三角形内切圆与切线长
若⊙O是△ABC的内切圆，切点分别为D、E、F。则：
- AE = AF = (AB + AC - BC) / 2
- BD = BF = (AB + BC - AC) / 2
- CD = CE = (AC + BC - AB) / 2
应用场景：此推论常用于计算三角形内切圆半径或求解与内切圆相关的线段长度问题。
推论：圆外切四边形
若四边形ABCD的四条边都与⊙O相切，则：
AB + CD = AD + BC
证明思路：利用切线长定理，将四边形的四条边分别表示为四个切线长之和，即可证得对边之和相等。
意义：这是圆外切四边形的判定定理和性质定理，是解决多边形与圆综合题的重要依据。
推论：角度与弧的关系
若PA、PB是切线，则：
∠APB + ∠AOB = 180°
∠APB = 180° - 2∠APO
说明：四边形OAPB中，∠OAP=∠OBP=90°，故对角互补。此关系常用于求角度问题。
四、 经典题型与实战解析
掌握切线长定理的关键在于将其应用于实际解题中。以下是三种最常见的考法：
4.1 求线段长度
例题：如图，PA、PB切⊙O于A、B，PA=10cm，CD切⊙O于E，交PA、PB于C、D。若△PCD的周长为24cm，求PB的长。
解析：
由切线长定理可知：CA = CE，DB = DE，PA = PB。
△PCD周长 = PC + CD + PD = PC + CE + ED + PD = PC + CA + DB + PD = PA + PB。
∵ PA = PB = 10cm，∴ 周长 = 20cm。但题目给出周长为24cm，说明PA≠10cm或题目数据需重新审视逻辑。此处仅为演示思路：若PA=PB，则周长=2PA。若周长为24，则PA=12。此题核心在于将折线转化为直线段。
4.2 求角度
例题：已知PA、PB是⊙O的切线，∠P=70°，求∠AOB和∠ABP。
解析：
∵ PA、PB是切线，∴ ∠OAP = ∠OBP = 90°。
在四边形OAPB中，∠AOB = 360° - 90° - 90° - 70° = 110°。
∵ PA=PB，∴ △PAB是等腰三角形。
∠ABP = (180° - 70°) / 2 = 55°。
4.3 证明题
例题：求证：从圆外一点引圆的两条切线，圆心在两条切线的夹角的平分线上。
解析：这正是切线长定理的一部分内容，通过证明Rt△OAP ≌ Rt△OBP即可得证。
六、 切线长定理常见问答 (FAQ)
切线性质定理主要描述切线与半径垂直的关系（即OA⊥PA）；而切线长定理描述的是从圆外一点引出的两条切线长度相等（PA=PB）以及该点与圆心连线平分夹角的关系。前者是基础性质，后者是推论出的重要结论。
常出现在圆的综合题中，通常结合相似三角形、勾股定理或三角函数一起考查。题目可能要求证明线段相等、求线段长度或角度，有时也会结合动点问题出现。
当题目中出现“圆外一点”且“引出两条切线”时，即可优先考虑切线长定理。关键特征是存在“双切线”模型，通常伴随“等腰三角形”或“角平分线”性质。
不直接适用。切线长定理是圆的特有性质。对于圆锥曲线（椭圆、双曲线、抛物线），虽然也有切线，但其长度性质和角度平分性质与圆不同，需要使用圆锥曲线的切线方程和光学性质来求解。