Twierdzenie o odcinkach siecznej i stycznej

Dane są: prosta przecinająca okrąg w punktach $A$ i $B$ oraz prosta styczna do tego okręgu w punkcie $C$. Jeżeli proste te przecinają się w punkcie $P$, to $$\left|\mathrm{PA}\right|·<!--\; middot\; -->\left|\mathrm{PB}\right|={\left|\mathrm{PC}\right|}^2$$