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