The product of distances to the near and far intersection points with the circle is the same for any secants intersecting at a given external point. A tangent is the degenerate case where the near and far points of intersection are the same. This means ...
