Rysunek pomocniczy:

Twierdzenie o stycznych: Jeżeli styczne do okręgu w punktach  i  przecinają się w punkcie , to .

Z twierdzenia o odcinkach stycznych wynika, że: