切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。切割线定理证明:设ABP是O的一条割线，PT是O的一条切线，切点为T，...