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

是圆幂定理的一种。

几何语言： ∵Pt切⊙o于点t，Pba是⊙o的割线 ∴Pt^2=Pa·Pb（切割线定理） 推论： 从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等 几何语言： ∵Pba，Pdc是⊙o的割线 ∴Pd·Pc=Pa·Pb（切割线定理推论）(割线定理） 由上可知:Pt^2=Pa·Pb=Pc·Pd