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

几何语言：∵pt切⊙o于点t，pba是⊙o的割线

∴pt^2=pa·pb（切割线定理）

推论从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等

几何语言：∵pba，pdc是⊙o的割线

∴pd·pc=pa·pb（切割线定理推论）(割线定理）

由上可知:pt^2=pa·pb=pc·pd