Vyjádřeme délku úsečky z mocnosti bodu ke kružnici opsané :

Nyní vyjádřeme délku úsečky z mocnosti bodu ke kružnici opsané .

Určeme podíl a .

Jelikož tento podíl je roven jedné (vychází z podobnosti), platí, že .