Rozłączne okręgi
i
o środkach odpowiednio
i
są styczne do prostej
odpowiednio w punktach
i
oraz leżą po tej samej jej stronie. Punkt
leży na odcinku
, przy czym
. Dla
niech
będzie punktem różnym od
, w którym prosta
przecina okrąg
. Dowieść, że prosta
jest styczna do okręgów
i
.
Niech prosta styczna do okręgu
w punkcie
przecina prostą
w punkcie
.
(Punkt przecięcia istnieje, gdyż punkt
nie leży na prostej
, a więc odcinek 
nie jest średnicą okręgu
.) Trójkąt
jest wówczas równoramienny, gdyż dwa jego boki
są odcinkami stycznych do okręgu
poprowadzonymi z punktu
. Wobec tego prosta
jako dwusieczna kąta
jest prostopadła do cięciwy
,
a więc równoległa do prostej
.
Udowodnimy, że proste
i
są równoległe.
Jeżeli
, to
i czworokąt
jest równoległobokiem.
W takim razie
i czworokąt
także jest równoległobokiem. W szczególności
więc
.
Jeżeli natomiast proste
i
przecinają się w punkcie
, to stosując dwukrotnie
twierdzenie Talesa do kąta
przeciętego prostymi równoległymi
, 
oraz
,
otrzymujemy
![]() |
co w połączeniu z twierdzeniem odwrotnym do twierdzenia Talesa znowu daje zależność
.
Wykazana właśnie równoległość wraz z danym w treści zadania warunkiem 
pozwala wnioskować, że proste
i
są prostopadłe. Zauważmy teraz, że prosta
przechodzi
przez środek okręgu
. W efekcie punkty
i
są symetryczne względem prostej 
(gdyż są końcami cięciwy prostopadłej do tej prostej) oraz proste
i
są symetryczne
względem tej prostej. Skoro zaś prosta
jest styczna do okręgu
, to również prosta 
jest doń styczna, co kończy rozwiązanie zadania.