Tangent–secant theorem
For a circle, the square of a tangent segment’s length equals the product of a secant’s external segment and its entire length.
For a circle, the square of a tangent segment’s length equals the product of a secant’s external segment and its entire length.