切割线定理证明

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