If a secant segment and a tangent segment share an endpoint outside a circle, then the product of the length of the secant segment and the length of its external segment equals the square of the length of the tangent segment.