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.

Connect