切割線定理：從圓外一點引圓的切線和割線，切線長是這點到割線與圓交點的兩條線段長的比例中項。切割線定理的推論：從圓外一點引圓的兩條割線，這一點到每條割線與圓的交點的兩條線段長的積相等