Introduce some appropriate notation:

Let

Now we have

because the square of the length of a tangent (PT) from an external point is equal to the product of the length of the secant from an external point (PA) and the length of the external part of the secant (PB)

Therefore,