C.a.R. > Applications> Similarity and Angles> Chord Tangent Theorem

Both triangles are equal due to the chord theorem. Thus the equality in the construction. PC^2 is a limiting case.

Here is another proof.