If one of the lines is tangent (the one whose length equals 8) and the other line is secant (the one that goes from the that intersects the circle), then the square of the length of the tangent is equal to the product of the external secant segment and the total length of the secant, like this:
