定理概述：什么是圆的切割线定理？

在平面几何中，圆的切割线定理（又称“切线-割线定理”）是圆幂定理的重要组成部分，揭示了从圆外一点引出的切线与割线之间的数量关系。该定理不仅在几何证明中具有核心地位，更是解决圆相关长度计算问题的高效工具。

定理标准表述为：

从圆外一点 P 引圆的切线 PT（T 为切点）和割线 PAB（A 为近交点，B 为远交点），
则必有：PT² = PA · PB
图1：圆的切割线定理标准图形示意

此定理可视为勾股定理在圆环境下的推广形式。它将复杂的曲线距离关系转化为简洁的代数乘积关系，体现了数学中“化曲为直”的思想精髓。

关键理解： 定理中的“切割线”并非指某条固定线段，而是指“一条切线 + 一条割线”的组合关系。其中切线仅接触圆于一点（切点），而割线则穿过圆，与圆有两个交点。

与之紧密关联的还有“圆内割线定理”（相交弦定理）：

圆内两弦 AB 与 CD 相交于点 P，
则：PA · PB = PC · PD

值得注意的是，当割线的两个交点重合（即割线退化为切线）时，圆内割线定理可自然导出圆的切割线定理，二者在圆幂定理的框架下实现了统一。

在实际解题中，圆的切割线定理的证明常作为桥梁，连接已知长度与未知长度。例如，在求解圆外一点到圆上点的距离、构造相似三角形、或验证几何构型合理性时，该定理往往能提供最直接的路径。

历史沿革：从古希腊到现代几何

公元前3世纪

欧几里得《几何原本》第三卷命题36： 首次给出“切线-割线定理”的几何证明。欧几里得并未使用代数符号，而是通过面积关系进行演绎，其论证逻辑严密，奠定了该定理的公理基础。

公元10世纪

阿拉伯数学家阿尔·哈曾（Alhazen）： 在研究光学反射时，独立发现并应用了该定理。他将几何与物理现象结合，拓展了定理的应用边界，为后世解析几何的发展埋下伏笔。

年

笛卡尔《几何学》出版： 引入坐标系后，该定理可通过代数方法严格证明。这标志着几何从纯图形推理进入解析时代，为现代数学教育中的“代数化几何证明”提供了范式。

年

希尔伯特《几何基础》： 在公理化体系中重新构建圆幂定理。他通过严格定义“幂”的概念（即点到圆心距离平方减半径平方），将切割线定理纳入更普适的框架，彰显其在公理系统中的核心地位。

严谨证明：三种视角解构圆的切割线定理的证明

几何相似法证明

这是最符合欧几里得原始思路的证明方法，核心在于构造相似三角形。

已知：圆 O，点 P 在圆外，PT 为切线（T 为切点），PAB 为割线。
连接 AT、BT、OT。
• ∠PTA = ∠PBT（弦切角等于所夹弧对的圆周角）
• ∠P 为公共角
⇒ △PTA ∽ △PBT（AA相似）
⇒ PT / PB = PA / PT
⇒ PT² = PA · PB
图2：几何相似法证明流程
技巧提示： 弦切角定理是此证明的关键。若尚未学习该定理，可通过连接半径 OT，利用“切线垂直半径”（∠OTP = 90°）和圆周角定理间接推导。

坐标系解析法证明

建立坐标系，将几何关系转化为代数运算，适合习惯代数思维的学习者。

# 设圆心 O 在原点 (0,0)，半径为 r # 点 P 在 (d, 0)，其中 d > r（圆外） # 圆方程：x² + y² = r² # 割线为 x 轴（y=0），交点为 A(r,0), B(-r,0)？不对！ # 正确交点：解 x² = r² → x = ±r，但 P(d,0)，故 PA = |d - r|, PB = |d + r| # 但需一般割线！设割线斜率为 k：y = k(x - d) # 代入圆方程：x² + k²(x-d)² = r² # 整理：(1+k²)x² - 2dk²x + (d²k² - r²) = 0 # 根 x₁, x₂ 对应 A,B 的横坐标 # PA = √[(x₁-d)² + (k(x₁-d))²] = |x₁-d|√(1+k²) # PB = |x₂-d|√(1+k²) # PA·PB = |(x₁-d)(x₂-d)|(1+k²) # (x₁-d)(x₂-d) = x₁x₂ - d(x₁+x₂) + d² # 由韦达定理： # x₁+x₂ = 2dk²/(1+k²) # x₁x₂ = (d²k² - r²)/(1+k²) # 代入得：(d²k² - r²)/(1+k²) - d·[2dk²/(1+k²)] + d² # = [d²k² - r² - 2d²k² + d²(1+k²)] / (1+k²) # = [d²k² - r² - 2d²k² + d² + d²k²] / (1+k²) # = (d² - r²) / (1+k²) # 故 PA·PB = |d² - r²| = d² - r² (因 d>r) # 切线长 PT = √(d² - r²) ⇒ PT² = d² - r² # ∴ PT² = PA·PB
图3：坐标系解析法证明要点

此方法虽计算量稍大，但能清晰展示代数与几何的对应关系，特别适合验证复杂构型。

圆幂定义法证明

现代几何中，“点对圆的幂”被明确定义为 PO² - r²，其中 O 为圆心，r 为半径。

定义：点 P 对圆 O 的幂 = PO² - r²
• 若 P 在圆外，幂 > 0，等于切线长平方（PT²）
• 若 P 在圆内，幂 < 0，其绝对值等于过 P 的弦被 P 分割的两段乘积
因此，对圆外点 P，有 PT² = PO² - r²
又由余弦定理，在 △POA 中：
PA = PO - OA·cosθ（向量投影）
PB = PO + OA·cosθ
⇒ PA·PB = PO² - (OA·cosθ)²
但 OA = r，且在 △OTP 中，OT ⊥ PT
⇒ PT² = PO² - r² = PA·PB
图4：圆幂定义法证明思路

此方法将定理置于更宏大的理论背景中，是连接初等几何与高等数学的桥梁。

典型例题：实战演练 圆的切割线定理证明 应用

例1：基础计算题

已知点 P 到圆心 O 的距离为 13 cm，圆的半径为 5 cm。从 P 引圆的切线 PT 和割线 PAB，其中 PA = 4 cm。求：
(1) 切线长 PT；
(2) 割线全长 PB；
(3) 弦 AB 的长度。

解：(1) 由勾股定理：PT² = PO² - r² = 13² - 5² = 169 - 25 = 144
⇒ PT = 12 cm
由切割线定理：PT² = PA · PB
= 4 · PB ⇒ PB = 36 cm
AB = PB - PA = 36 - 4 = 32 cm

例2：几何证明题

如图，⊙O 的弦 AB 的延长线与过点 C 的切线交于点 P，PC = 12 cm，PB = 8 cm，AB = 4 cm。求证：PC² = PA · PB，并求 ⊙O 的半径。

证：由题意，PA = PB + AB = 8 + 4 = 12 cm
PA · PB = 12 × 8 = 96
PC² = 12² = 144 ≠ 96？矛盾！
→ 发现题目数据有误！PC 应为 √96 = 4√6 cm ≈ 9.8 cm
若 PC = 4√6 cm，则 PC² = 96 = PA·PB，定理成立。
常见数据陷阱

本题暴露了一个典型问题：割线段长度必须满足 PA > PB（因为 A 比 B 更远离 P）。若题目给出 AB 和 PB，应先计算 PA = PB + AB，再验证 PC² = PA·PB 是否成立。否则可能是题目设置错误。

例3：实际应用题——古代建筑中的圆规设计

古代木匠用“圆规”（直角尺）画圆时，常利用切割线定理校准半径。如图，将直角尺顶点 P 放在圆外，一条直角边与圆相切于 T，另一条直角边交圆于 A、B。若测得 PT = 15 cm，PA = 9 cm，求圆的半径（设圆心在 P 的垂直平分线上）。

解：由切割线定理：PT² = PA · PB
² = 9 · PB ⇒ PB = 225 / 9 = 25 cm
AB = PB - PA = 25 - 9 = 16 cm
设圆心为 O，作 OM ⊥ AB 于 M，则 M 为 AB 中点，AM = 8 cm
在 △OAM 中：OA² = OM² + AM²
但需关联 P 点！设 P 到圆心距离为 d，则：
PT² = d² - r² = 225
同时，PA = d - r·cosθ = 9（θ为∠OPA）
→ 此处需补充条件！实际中木匠通过调整使 P 在直径延长线上，即 θ=0
则 PA = d - r = 9, PT² = d² - r² = (d-r)(d+r) = 9(d+r) = 225
⇒ d + r = 25
联立：d - r = 9, d + r = 25
⇒ 2d = 34 ⇒ d = 17, r = 8 cm

例4：竞赛拓展题——多圆共点问题

如图，⊙O₁ 与 ⊙O₂ 外切于点 P，过 P 作一直线交 ⊙O₁ 于 A，交 ⊙O₂ 于 B。自 A 作 ⊙O₂ 的切线，切点为 T。若 PA = 6 cm，AB = 10 cm，求 AT 的长。

解：连接 O₁O₂ 必过切点 P（连心线过切点）
对 ⊙O₂ 应用切割线定理：
AT² = PB · PA
PB = AB - PA = 10 - 6 = 4 cm
⇒ AT² = 4 × 6 = 24
⇒ AT = 2√6 cm ≈ 4.90 cm
关键洞察： 本题巧妙利用了“两圆外切”这一条件，使点 P 成为两个圆的公共点，从而将不同圆上的线段关系通过切割线定理统一起来。这是竞赛题中常见的“多圆联动”策略。

常见误区：避开 圆的切割线定理证明 的“坑”

误区1：混淆割线段的顺序

错误表述：“PA · PB = PT²，其中 A 和 B 是割线与圆的任意两点”

正解： 必须明确 A 是靠近 P 的近交点，B 是远离 P 的远交点。若顺序颠倒（如用 BP · AP），虽然乘积不变，但几何意义错误，可能导致后续推理失误。

正确：PT² = PA · PB (PA < PB)
错误：PT² = PB · PA (未区分远近)
误区2：忽略点的位置条件

错误应用： 将定理用于点 P 在圆内或圆上的情况。

正解： 定理仅适用于 圆外一点。当 P 在圆内时，应使用“相交弦定理”（PA·PB = PC·PD）；当 P 在圆上时，切线退化为点，定理不适用。

快速判断： 若 PA = 0（点 P 与 A 重合），则 P 在圆上；若 PA < PT（切线长），则 P 在圆内。
误区3：误用弦切角关系

错误推理： 认为“∠PTA = ∠PAB”（将圆周角与弦切角混淆）

正解： 弦切角定理要求：弦切角等于它所夹的弧所对的圆周角。在本题中，∠PTA 所夹的弧是 AT，应等于弧 AT 所对的圆周角（如 ∠ABT），而非 ∠PAB。

误区4：忽略代数解的几何意义

错误处理： 解方程 PT² = PA·PB 时，取负根 PT = -12 cm（当 PA=4, PB=36）

正解： 长度为正实数，必须舍去负解。几何问题中的代数解需进行“几何可行性检验”。

实际应用：从课堂到现实的 圆内割线定理证明 价值

工程测量

在无法直接测量圆弧半径的场景（如古建筑修复），通过三点定位法构建割线与切线，利用定理反推半径。例如：在桥梁拱券测量中，用激光测距仪测得圆外一点到切点和割线交点的距离，快速计算曲率半径。

计算机图形学

在碰撞检测算法中，当圆形物体与直线路径相交时，利用切割线定理计算最小碰撞距离。例如：游戏引擎中判断子弹轨迹与圆形障碍物的最近距离，优化实时渲染性能。

卫星轨道设计

在航天器变轨计算中，将地球视为圆（或椭圆近似），利用圆幂定理简化轨道参数。例如：计算地心到切线方向的视线距离，用于通信链路预算。

建筑设计

在拱形结构设计中，通过切割线定理确定拱顶高度与跨度的关系。例如：穹顶施工中，用“弦长-矢高”公式（由切割线定理推导）快速校验拱形曲率是否符合图纸要求。

延伸资源：深化 圆的切割线定理的证明 学习

核心概念关联图

  • 圆幂定理（总纲）
  • ├─ 切线-割线定理（圆外点）
  • ├─ 相交弦定理（圆内点）
  • ├─ 切点弦定理（圆上点）
  • └─ 应用：相似三角形构造、长度计算、几何证明
  • 前置知识
  • ├─ 勾股定理（直角三角形）
  • ├─ 相似三角形判定（AA/SAS/SSS）
  • ├─ 圆的基本性质（圆心角、圆周角、弦切角）
  • └─ 代数运算（平方根、方程求解）
  • 拓展方向
  • ├─ 椭圆的幂曲线（二次曲线推广）
  • ├─ 反演几何（圆反演下的不变性）
  • └─ 计算几何（圆与直线相交算法）

推荐学习路径

  1. 基础巩固： 精读人教版九年级数学上册《圆》章节，完成课后习题
  2. 深度理解： 尝试用三种不同方法证明切割线定理（几何/解析/向量）
  3. 能力提升： 解决《初中数学竞赛教程》中的圆相关综合题
  4. 实践应用： 用GeoGebra动态演示定理，验证不同构型下的恒等性
  5. 理论拓展： 阅读《几何原本》第三卷命题35-37，理解欧几里得原始证明
在线资源推荐：

常见问题（FAQ）

Q1：为什么教科书常用“设推设”方式讲解？

A： 教科书采用公理化体系，强调逻辑严谨性。“设推设”即“设辅助线、推导关系、设结论”，是训练几何思维的标准路径。但实际解题中，掌握定理本质后，可灵活调整步骤。

Q2：能否用向量法证明？

A： 可以！设圆心为原点，向量 OP = p，单位向量 u 沿割线方向，则割线点可表为 p + tu。代入圆方程 |p + tu|² = r²，解得 t₁, t₂，对应 PA = |t₁|, PB = |t₂|。切线长满足 |p|² - r² = PT²，可证 t₁t₂ = |p|² - r²。

Q3：圆内割线定理是切割线定理的特例吗？

A： 是的！当点 P 在圆内时，可将割线反向延长视为“虚切线”，此时圆幂为负值（-PT²），故 PA·PB = -(PO² - r²) = r² - PO²，与相交弦定理一致。二者统一于圆幂定理框架。

Q4：考试中如何快速识别该定理的应用场景？

A： 关注以下关键词：

  • “圆外一点引切线和割线”
  • “切点”、“割线交圆于两点”
  • “求切线长”、“求线段乘积”
  • “证明 PT² = PA·PB”

遇到此类条件，优先考虑切割线定理，再结合相似三角形验证。