Dany jest okrąg o środku
, punkt
wewnątrz tego okręgu oraz cięciwa
, nie będąca średnicą, przechodząca przez
. Proste
i
są styczne do rozważanego okręgu odpowiednio w punktach
i
. Prosta
przechodząca przez punkt
i prostopadła do
przecina proste
i
odpowiednio w punktach
i
. Wykazać, że
.

Rozpoczynamy od spostrzeżenia, że punkty
i
leżą po jednej stronie prostej
, a punkty
i
leżą po drugiej jej stronie (niezależnie od tego, czy punkt
leży na odcinku
bliżej końca
czy końca
). Cięciwa
danego okręgu nie jest jego średnicą, więc proste styczne
i
przecinają się. Oznaczmy punkt przecięcia przez
.
Na trójkącie
opisujemy okrąg
. Na trójkącie
opisujemy okrąg
. Kąty
i
są z założenia proste, więc średnicami tych okręgów są (odpowiednio) odcinki
i
(rysunek 1).
Proste
i
, styczne do danego okręgu, są prostopadłe do jego promieni
i
; kąty
i
są więc proste. Zatem okrąg
przechodzi przez punkt
, a okrąg
przechodzi przez punkt
. (W szczególnym przypadku, gdy punkt
jest środkiem cięciwy
i w konsekwencji punkty
i
pokrywają się, odpowiednio, z punktami
i
-- nie można wprawdzie mówić o kątach
i
, ale konkluzja, że
,
, jest oczywiście nadal słuszna.)
Kąty
i
są kątami wpisanymi w okrąg
, opartymi na wspólnym łuku
(korzystamy tu z wcześniejszego spostrzeżenia, że punkty
i
leżą po tej samej stronie prostej
). Mają więc te kąty jednakową rozwartość:
; podobnie
(kąty wpisane w okrąg
, oparte na wspólnym łuku
). Zauważmy wreszcie, że
![]() |
bowiem trójkąt
jest równoramienny.
Z uzyskanych równości kątów wynika, że
![]() |
Wobec tego trójkąty prostokątne
i
są przystające i otrzymujemy żądaną równość odcinków
.