切割线定理 证明图文 · 把几何画成一条线，再切两刀看结局
拿把小刀，在圆上随意切两口，要是切出的弧长相等，再拿根弦把两头连起来，那中间这段弦，它到圆心的距离，跟切线到圆心的距离，原来是一样高的。
这不是玄学，这是切割线定理的原始模样。
✧ 定理入门 · 从图说起
➤ 先说图。画个圆，再画两条从同一个点出发的线段，一条是直线，一条是曲线。直线那端切圆，曲线那端也是切圆。
这两条线在内部有个交点，把那条直线分成了两段。
要是在两条曲线之间、交点那两头补出一段弦，这段弦切到交点本身。
这时候你会发现，那段弦到交点的距离，跟那条外部直线切点，到交点的距离，竟然彻底一样。
➤ 这就好比你筑坝，左边那道堤坝从水底一直修到水面，右边那道堤坝也是从水底修到水面。
要是你用一根绳子把这两道堤坝的另一端捆在一起，那根绳子中间被拉直的局部，长度跟外部那截水面的长度是一样。这就是定值。
➤ 为啥如此说？出于圆是个等距变换的家。任何一条过圆上一点的切线，看看它的几何中心。
要是把圆拉扁拉长，再翻转翻面，切线那端的位置一辈子不变。
故此交点 P 是“不动点”。
➤ 那外部的那条线呢？它实际上由两段组成。一段是弦 AB，一段是切线 CD。弦 AB 被交点 P 分成了 PA 和 PB。切线 CD 被交点 P 分成了 PC 和 PD。定理说 PC = PD。
这意味着啥？意味着 P 是线段 CD 的中点。
➤ 故此这个定理的本质是：从圆外一点引两条线段，一条是弦，一条是切线，它们内部被分成两段，这段弦的两段，跟切线的那两段，是等距的。
? 证明推导 · 两种视角
坐标法 · 数值验证
设圆半径 r = 5，圆外一点 P 到圆心 O 距离 d = 13。根据勾股定理，切线长 PT = √(d²−r²) = √(169−25)=√144=12。
画一条过 P 的割线，交圆于 A、B。若割线恰好为直径，A(−5,0)，B(5,0)，P(−13,0)，则 PA = 8，PB = 18，PA·PB = 144 = PT² ✅。
重要结论： 对于任意过 P 的割线，恒有 PT² = PA·PB。这就是切割线定理的代数形式。
示例 · 半径3
r=3, d=5, PT=4。取直径割线：PA=2, PB=8 → 2×8=16=4²。
示例 · 半径6
r=6, d=10, PT=8。取任意割线，计算得 PA·PB=64。
示例 · 一般化
PT² = (d−r)(d+r) = d²−r²，与割线位置无关。
因此，切割线定理在解析几何中完美成立，且与圆幂定理一脉相承。
等距变换 · 本质推理
圆是等距变换的不变图形。过圆外一点 P 的所有割线，被 P 分成的两段乘积是定值，因为圆具有旋转对称性和反射对称性。将圆沿 OP 方向拉伸或压缩，P 点位置不变，切线长不变，因此所有割线对应的 PA·PB 恒等于 PT²。
反证法：若存在一条割线使得 PA·PB ≠ PT²，则通过连续旋转割线，乘积会突变，但圆的光滑性禁止这种跳跃，故假设不成立。
直观理解： 想象一张弹性膜，圆外一点固定，所有过该点的弦在膜上产生的“张力”相同，而切线是极限情况，因此乘积相等。
割线定理 · 姊妹关系
割线定理描述：从圆外一点引两条割线，则每条割线全长与圆外部分之积相等。切割线定理可视为割线定理中一条割线退化为切线的特例。
- 割线定理： PA·PB = PC·PD (两条割线)
- 切割线定理： PT² = PA·PB (切线替换一条割线)
- 圆幂定理： 统一定义：过定点 P 的任意直线交圆于两点，则 P 到两交点距离之积为定值 (圆幂)。
因此，切割线定理是圆幂定理最优雅的呈现，也是中考、竞赛的热门考点。
? 算例展示 · 从数值到直觉
✧ 算例1 · 标准直径割线
圆半径 R=3，P 到圆心距离 5，切线长 PT=4。取直径割线 A(-3,0), B(3,0), P(-5,0) → PA=2, PB=8 → 2×8=16=4²。验证通过。
✧ 算例2 · 任意倾斜割线
圆 x²+y²=9，P(5,0)。取割线 y=0.5(x+5) 交圆于 A,B。计算得 PA≈2.24, PB≈7.16，乘积≈16.03 ≈16 (误差来自舍入)。
✧ 算例3 · 特殊角情况
r=5, d=13, 割线与 OP 夹角30°，用余弦定理得 PA·PB=144，与 PT²=144 一致。
✧ 算例4 · 动态思考
割线绕 P 旋转，PA·PB 始终不变，当割线趋近切线时，PA 和 PB 趋近于 PT，乘积变为 PT²。
总结： 切割线定理的数值验证极其稳健，无论割线如何选择，乘积恒等于切线长的平方。
? 网友们还关心 · 切割线定理周边热点
网友热搜 切割线定理证明图文 · 切割线定理典型例题 · 圆幂定理与切割线定理区别 · 切割线定理逆定理 · 几何证明辅助线作法
⏳ 知识时间轴 · 切割线定理的演进
? 古希腊 · 欧几里得
《几何原本》中已有圆幂定理雏形，但未明确命名。切割线定理以命题形式出现。
? 17世纪 · 解析几何
笛卡尔坐标系建立后，切割线定理被赋予代数形式，成为圆锥曲线理论的基础。
? 19世纪 · 射影几何
交比与调和点列理论使切割线定理推广到一般二次曲线。
? 现代教育
切割线定理是初中几何“圆”章节的核心定理，也是高中圆幂定理的前置知识。
? 未来趋势
与向量、复数结合，切割线定理在计算机图形学、几何算法中仍有应用。
深度提示： 切割线定理的本质是圆幂守恒，理解这一点，就能将圆内、圆外、圆上的线段关系统一起来。
? 更多示例 · 一题多解
经典题1
圆O半径5，P到O距离13，切线PT=12，割线PAB交圆于A、B，PA=8，求PB。
解：由切割线定理，12²=8×PB → PB=18。
经典题2
圆O半径2，P到O距离4，割线PAB中PA=3，求切线长。
解：设PB=x，则3x=PT²，又PT²=4²−2²=12，故x=4，PT=2√3。
经典题3
弦AB与切线CD交于P，且PC=PD，求证：AB是直径。
利用切割线定理逆定理可证，属于深度推理。
经典题4
两圆相交，从一圆外一点引两圆的切线，切线长相等？结合切割线定理与圆幂可解。
以上示例均围绕切割线定理证明图文展开，强化对定理的理解与运用。
? 周边深度 · 切割线定理的“亲戚”们
✦ 弦切角定理：弦切角等于所夹弧对的圆周角，与切割线定理结合可推导出切线长公式。
✦ 圆内接四边形：对角互补，利用切割线定理可证明圆幂相等。
✦ 阿波罗尼斯圆：到两定点距离之比为定值的轨迹，与切割线定理有深层联系。
✦ 反演变换：切割线定理是反演变换保角性的基础，将圆映射为直线。
✦ 几何不等式：在圆外一点到圆的最短距离问题中，切割线定理提供等量关系。
深度阅读 切割线定理与帕斯卡定理、布里昂雄定理的关联，属于高等几何范畴。