割线定理推导过程图解与深度解析

什么是割线定理?

割线定理(Secant Theorem)是平面几何中关于圆的性质的重要定理之一。它描述了从圆外一点引圆的两条割线时,该点到每条割线与圆交点的两条线段长的积相等。

核心公式
PA · PB = PC · PD

说明:

  • P 为圆外一点。
  • PAB 和 PCD 为两条割线,分别交圆于 A、B 和 C、D 四点。
  • PA、PC 为圆外部分线段(割线长的一部分)。
  • PB、PD 为整条割线的长度。

定理的几何直观理解

想象你在圆周外一点 P,向圆发射两条光线(割线)。无论这两条光线的夹角如何变化,只要它们与圆相交,“圆外段”与“全长”的乘积始终是一个定值。这个定值实际上就是点 P 对圆 O 的幂(Power of a Point),其值为 (其中 d 为 P 到圆心的距离,r 为半径)。

割线定理推导过程图解

理解割线定理的关键在于相似三角形的构造。以下是详细的推导步骤:

1

构建几何模型

设圆 O 外有一点 P。过点 P 作两条割线 PAB 和 PCD,其中 A、C 是靠近 P 的交点,B、D 是远离 P 的交点。连接 AD 和 BC。

2

寻找相似三角形

我们需要证明 △PAD ∽ △PCB。

  • ∠P 是公共角(∠APD = ∠CPB)。
  • 四边形 ABCD 内接于圆。根据圆内接四边形的性质,外角等于内对角。即 ∠PAD = ∠PCB(或者通过同弧 BD 所对的圆周角 ∠ADB = ∠BCD 来推导,但在 △PAD 和 △PCB 中,我们通常利用 ∠D = ∠B 或 ∠A = ∠C 的关系,这里更严谨的是:∠ADC + ∠ABC = 180°,而 ∠PAD + ∠DAB = 180°,若 A,B,C,D 顺序排列,需仔细对应顶点。通常证明 △PAC ∽ △PDB 或 △PAD ∽ △PCB 均可,这里采用经典的对应关系:连接 AC, BD,证明 △PAC ∽ △PDB 更为直接,因为 ∠C = ∠B (同弧 AD) 是错误的,应该是 ∠C = ∠B 对应弧 AD 不对。正确的是:连接 AC, BD。∠C 和 ∠B 对的是弧 AD? 不,∠ACD 和 ∠ABD 对的是弧 AD。所以 ∠ACD = ∠ABD。加上公共角 P,得 △PAC ∽ △PDB。由此 PA/PD = PC/PB => PA·PB = PC·PD。这是更常见的证明路径。

修正推导路径: 连接 AC 和 BD。在 △PAC 和 △PDB 中:
1. ∠P = ∠P (公共角)
2. ∠PCA = ∠PBD (圆内接四边形外角等于内对角,或者同弧 AD 所对圆周角... 等等,A,B,C,D在圆上。∠ACD 和 ∠ABD 对弧 AD。所以 ∠PCA 即 ∠ACD,∠PBD 即 ∠ABD。故 ∠PCA = ∠PBD)。
因此,△PAC ∽ △PDB。

3

建立比例关系

由相似三角形性质可得对应边成比例:

frac{PA}{PD} = frac{PC}{PB}
4

得出结论

将比例式交叉相乘:

PA · PB = PC · PD

证毕。这表明无论割线如何旋转,只要 P 点位置不变,该乘积恒定。

网友们还关心:割线定理与其他定理的关系

割线定理并非孤立存在,它是圆幂定理家族的重要成员。为了帮助大家理清思路,我们使用选项卡对比几种易混淆的定理。

割线定理
切割线定理
相交弦定理

割线定理 (Secant-Secant)

场景: 圆外一点 P,两条割线。

公式: PA · PB = PC · PD

特点: 涉及四条线段,两两乘积相等。是圆幂定理最一般的形式(圆外)。

切割线定理 (Tangent-Secant)

场景: 圆外一点 P,一条割线 PAB,一条切线 PT (T为切点)。

公式: PA · PB = PT²

特点: 可以看作割线定理中,第二条割线 PCD 逐渐旋转,直到 C 和 D 重合于 T 时的极限情况。此时 PC = PD = PT,故 PC·PD = PT²。

相交弦定理 (Intersecting Chords)

场景: 圆内一点 P,两条弦 AB 和 CD 相交于 P。

公式: PA · PB = PC · PD

特点: 当圆外点 P 移动到圆内时,割线变成了弦。虽然几何形态不同,但代数形式(线段乘积相等)保持一致。注意此时线段方向相反,若考虑有向线段,积为负值,但长度积仍相等。

综合对比表

定理名称 点的位置 线条类型 核心公式 几何意义
割线定理 圆外 两条割线 PA·PB = PC·PD 圆外幂
切割线定理 圆外 一割一切 PA·PB = PT² 切线长的平方
相交弦定理 圆内 两条弦 PA·PB = PC·PD 圆内幂

割线定理的经典应用与拓展

应用一:证明四点共圆

如果四边形 ABCD 的边 AB 和 CD 的延长线交于点 P,且满足 PA · PB = PC · PD,则可以判定 A、B、C、D 四点共圆。这是判定四点共圆的重要方法之一,常用于几何证明题中。

应用二:计算线段长度

在复杂的几何图形中,若出现从同一点出发的多条割线或切线,常利用此定理建立方程求解未知线段长度。例如,已知 PA=2, PB=8, PC=4,求 PD。

解:2 × 8 = 4 × PD → 16 = 4 PD → PD = 4。

应用三:极限思想与微积分启蒙

割线定理体现了“以直代曲”和“极限”的思想。当割线 PCD 绕点 P 旋转,使得 C 和 D 无限接近时,割线 PCD 就变成了切线。此时 PC·PD 的极限就是切线长的平方。这种从一般(割线)到特殊(切线)的推导过程,是微积分中导数概念的几何雏形。

历史沿革

公元前300年左右
欧几里得《几何原本》
虽然欧几里得没有直接命名为“割线定理”,但在《几何原本》第三卷中,他详细讨论了圆幂的性质,包含了相交弦和切割线的关系,这是割线定理的理论源头。
17-18世纪
解析几何的兴起
随着笛卡尔解析几何的建立,割线定理可以通过代数方程 和直线方程联立,利用韦达定理进行证明,使得其适用范围从纯几何扩展到了代数领域。

网友常见问题 (FAQ)

割线定理和切割线定理有什么区别?

割线定理涉及从圆外一点引出的两条割线,结论是两条割线全长与圆外部分的乘积相等(PA·PB = PC·PD)。切割线定理涉及一条割线和一条切线,结论是割线全长与圆外部分的乘积等于切线长的平方(PA·PB = PT²)。切割线定理可以看作是割线定理中两条割线重合(即C点与D点重合,或P、C、D共线且CD长度为0的极限情况)的特例。

割线定理的逆定理成立吗?

成立。如果四边形ABCD的边AB和CD的延长线交于点P,且满足PA·PB = PC·PD,则A、B、C、D四点共圆。这常用于证明四点共圆。

割线定理在什么情况下退化为相交弦定理?

当圆外一点P移动到圆内时,原来的“割线”变成了“弦”,此时定理形式变为 PA·PB = PC·PD(此时P在弦上,线段方向相反,但在长度计算上依然成立)。这就是相交弦定理。割线定理、相交弦定理和切割线定理统一于圆幂定理。

如何记忆割线定理的公式?

口诀:“圆外一点两割线,全长乘以外段积相等”。即:从圆外一点P出发,一条割线交圆于A、B,另一条交圆于C、D,则 PA×PB = PC×PD。注意是“全长”乘“外段”。