割线长定理：从圆外一点P引两条割线与圆分别交于A，B，C，D，则有PA×PB=PC×PD。当PA=PB，即直线AB重合，通过PA切线得到切线定理PA^2=PC×PD。割线长定理（SecantTheorem）是现代词，是一个专有名词，指的是从圆外一点引圆的两条割线，这一点到每条割线与圆交点的距离的积相等。割线定理为圆幂定理之一。