Tangent-secant theorem

Intro and proof:

Practice problem:

Solution: