Circle-line intersection. The tangent segments theorem