圆的性质及定理证明：从基础定义到高级应用的深度解析

切线的判定定理

定理内容：经过半径的外端并且垂直于这条半径的直线是圆的切线。

证明思路：利用反证法或距离法。这里采用距离法证明。

已知：直线 l 经过半径 OA 的外端点 A，且 l ⊥ OA。
求证：直线 l 是 ⊙O 的切线。

证明：
过点 O 作 OM ⊥ l，垂足为 M。
在 Rt△OMA 中，斜边 OA 大于直角边 OM（垂线段最短），即 OM < OA。
这意味着点 O 到直线 l 的距离 d 小于半径 r。
等等，上述逻辑用于判定位置关系。正确的判定逻辑是：
因为 l ⊥ OA 于点 A，所以圆心 O 到直线 l 的距离 d 等于半径 OA 的长度 r。
根据直线与圆的位置关系判定：当 d = r 时，直线与圆相切。
所以，直线 l 是 ⊙O 的切线。

关键点：“经过半径外端”和“垂直于半径”两个条件缺一不可。若只垂直不过端点，则是割线；若过端点不垂直，也是割线。

圆幂定理（相交弦定理、切割线定理、割线定理）

相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等。

即：若弦 AB、CD 交于点 P，则 PA·PB = PC·PD。
证明：连接 AC、BD。易证 △PAC ∽ △PDB（角角相似），故 PA/PD = PC/PB，即 PA·PB = PC·PD。

切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。

即：若 PT 是切线，PBA 是割线，则 PT² = PB·PA。
证明：连接 TA、TB。易证 △PTA ∽ △PBT，故 PT/PB = PA/PT，即 PT² = PB·PA。

割线定理：从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等。

即：若 PAB、PCD 是割线，则 PA·PB = PC·PD。
证明：连接 AC、BD。易证 △PAC ∽ △PDB，故 PA/PD = PC/PB，即 PA·PB = PC·PD。