引切线定义：过一点做圆的切线。
切割线定理：从圆外一点引圆的切线和割线，切线长是割线和这点到割线与圆交点的两条线段长的比例中项。
切割线定理的推论：从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等。
