切割线定理

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