切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项．切割线定理揭示了从圆外一点引圆的切线和割线时，切线与割线之间的关系．

如图1，是外一点，切于点 ， 交于点（即是的割线），则 ．

下面是切割线定理的证明过程：

证明：如图2，连接并延长，交于点 ， 连接 ．

切于点 ，

．

．

是的直径，

……