推论一：切线长定理
从圆外一点引圆的两条切线，它们的切线长相等，圆心和这一点的连线平分两条切线的夹角。
几何意义： 这体现了圆的对称性。若PA、PB是⊙O的切线，A、B为切点，则PA=PB，且∠APO=∠BPO。
核心概念：切线定理及其推论
在平面几何中，切线定理是研究圆与直线位置关系的重要基石。它描述了圆的切线与半径、弦以及圆外一点之间的深刻联系。掌握切线定理的三个推论，不仅能够帮助我们解决复杂的几何证明题，还能在工程制图、建筑设计等领域提供理论支持。本文将深入剖析这三个推论的内涵、证明过程及应用场景。
什么是圆的切线？ 经过圆上一点，并且垂直于过这一点的半径的直线，叫做圆的切线。这一基本定义是推导后续三个推论的起点。
推论二：弦切角定理
弦切角等于它所夹的弧对的圆周角。
几何意义： 建立了切线与弦之间的角度关系。若BC是切线，AB是弦，则∠ABC等于弧AB所对的圆周角∠ADB。
推论三：切线垂直半径
圆的切线垂直于过切点的半径。
几何意义： 这是判定切线最常用的方法，也是进行几何计算时构造直角三角形的关键依据。
深度解析：推论的逻辑证明
理解切线定理的三个推论的关键在于掌握其背后的逻辑推导。以下是对这三个推论的详细证明过程，旨在帮助学习者从本质层面理解几何关系。
1. 推论一（切线长定理）的证明
已知： PA、PB是⊙O的切线，A、B为切点。
求证： PA = PB，∠APO = ∠BPO。
证明步骤：
- 连接OA、OB、OP。
- 根据推论三，OA⊥PA，OB⊥PB，即∠OAP = ∠OBP = 90°。
- 在Rt△OAP和Rt△OBP中：
- OA = OB （半径相等）
- OP = OP （公共边）
- 根据HL定理（斜边、直角边定理），Rt△OAP ≌ Rt△OBP。
- 由全等三角形性质可得：PA = PB，∠APO = ∠BPO。
2. 推论二（弦切角定理）的证明思路
弦切角定理的证明通常分为三种情况：弦切角的边经过圆心、不经过圆心但在圆内、不经过圆心且在圆外。这里简述最典型的情况：
设BC切⊙O于点A，AD是弦。连接AO并延长交⊙O于E，连接ED。
- 因为AE是直径，所以∠ADE = 90°。
- 因为BC是切线，AE是过切点的直径，所以AE⊥BC，即∠EAC = 90°。
- 通过角度互余关系及圆周角定理，可推导出弦切角∠CAB等于圆周角∠AEB（即弧AB所对的角）。
3. 推论三（切线垂直半径）的证明
这是切线的定义属性。若直线l与⊙O相切于点P，则OP⊥l。证明通常采用反证法：假设OP不垂直于l，则存在另一条垂线段，其长度小于OP，这意味着直线与圆有两个交点或无交点，与相切定义矛盾。
实战演练：切线定理的应用场景
掌握切线定理的三个推论后，如何将其应用于实际解题？我们通过选项卡展示不同难度的典型例题及其解题思路。
例题：求切线长与周长
题目： 如图，PA、PB是⊙O的两条切线，A、B为切点，直线OP交⊙O于点D、E，交AB于C。若PA=4cm，PC=2cm，求⊙O的半径。
解析：
1. 根据推论一，PA=PB=4cm，OP平分∠APB，且OP⊥AB。
2. 在Rt△OAP中，设半径OA=r。则OP = OC + CP。我们需要先求出OC或OP。
3. 利用射影定理或相似三角形△PAC ∽ △POA（需构造辅助线或利用面积法）。
4. 更简便的方法：利用切割线定理的变式或勾股定理。在Rt△OAP中，OA² + PA² = OP²。即 r² + 4² = (OC+r)²? 不，这里PC已知，需先求OC。
5. 实际上，若PC=2，PA=4，在Rt△PAC中（假设AC⊥OP，由推论一知OP⊥AB），AC = √(PA² - PC²) = √(16-4) = √12 = 2√3。
6. 由△PAC ∽ △POA（∠PAC=∠POA? 不对，是∠PAC=∠OPA? 也不对。正确的是利用面积或相似：△OAC ∽ △OPA 是错误的。正确的是利用△ACP ∽ △OAP? 不。正确的是利用△OAC ∽ △OPA 的对应边关系？
修正思路：利用△OAC ∽ △OPA 是不成立的。应利用△PAC ∽ △POA? 也不成立。
正确路径：在Rt△OAP中，AC是斜边上的高吗？不是。AC⊥OP。所以在Rt△OAP中，AC⊥OP。根据射影定理：PA² = PC · PO? 不对，C不是垂足在斜边上的投影吗？是的，OP⊥AB于C。所以AC⊥OP。在Rt△OAP中，AC是斜边OP上的高吗？不是，A是直角顶点。所以AC是直角边OA上的高？也不是。
重新梳理：PA⊥OA。AC⊥OP。在Rt△OAP中，AC是斜边OP上的高。根据射影定理：PA² = PC · PO。即 4² = 2 · PO。所以 PO = 8cm。
7. 在Rt△OAP中，OA = √(OP² - PA²) = √(64 - 16) = √48 = 4√3 cm。
结论： 半径为 4√3 cm。
例题：弦切角与圆周角
题目： AB是⊙O的直径，AC是弦，直线CE与⊙O切于点C，AD⊥CE于D。求证：AC平分∠DAB。
解析：
1. 连接OC。根据推论三，OC⊥CE。
2. 已知AD⊥CE，所以AD // OC。
3. 由平行线性质，∠DAC = ∠OCA。
4. 因为OA = OC（半径），所以△OAC是等腰三角形，∠OAC = ∠OCA。
5. 因此，∠DAC = ∠OAC，即AC平分∠DAB。
点评： 此题巧妙结合了推论三（垂直半径）和平行线性质，是经典的角度转换模型。
例题：综合几何证明
题目： 如图，AB是⊙O的直径，BC是⊙O的切线，D是⊙O上一点，且AD // OC。求证：CD是⊙O的切线。
解析：
1. 连接OD、CD。要证CD是切线，只需证OD⊥CD。
2. 因为AD // OC，所以∠DAO = ∠COB（同位角），∠ADO = ∠COD（内错角）。
3. 因为OA = OD，所以∠DAO = ∠ADO。
4. 从而∠COB = ∠COD。
5. 在△COB和△COD中：
- OB = OD （半径）
- ∠COB = ∠COD
- OC = OC （公共边）
6. 所以△COB ≌ △COD (SAS)。
7. 因为BC是切线，所以∠OBC = 90°。由全等可知∠ODC = ∠OBC = 90°。
8. 即OD⊥CD，故CD是⊙O的切线。
常见问题解答 (FAQ)
以下是网友们关于切线定理的三个推论最常搜索的问题及深度解答。
切线定理的三个推论具体是什么？
推论一：从圆外一点引圆的两条切线，它们的切线长相等，圆心和这一点的连线平分两条切线的夹角（切线长定理）。
推论二：弦切角等于它所夹的弧对的圆周角（弦切角定理）。
推论三：圆的切线垂直于过切点的半径。
如何快速判断一个角是否是弦切角？
判断弦切角需要满足三个条件：1. 顶点在圆上；2. 一边是圆的切线；3. 另一边是圆的弦。缺一不可。
切线长定理在现实生活中有哪些应用？
1. 设计等边三角形内切圆或外接圆时的几何作图。
2. 在机械设计中，计算齿轮啮合点与轴心的距离关系。
3. 在建筑规划中，确定圆形广场周围道路的最短路径及对称布局。
证明CD是切线时，如果没有给出圆心，怎么办？
如果未给出圆心，通常需要取圆上一点（通常是待证切点）连接半径，或者通过构造直径、利用垂径定理逆定理等方式找到圆心或证明垂直关系。核心思路依然是证明“过切点的半径与直线垂直”。