Dany jest czworokąt
wpisany w koło. Obrazami punktów
i
w symetrii względem prostej
są odpowiednio punkty
i
, a obrazami punktów
i
w symetrii względem prostej
są odpowiednio punkty
i
. Dowieść, że punkty
,
,
,
leżą na okręgu.
Prosta
jest symetryczna do prostej
względem prostej
, więc przechodzi przez punkt przecięcia
prostej
z osią symetrii
. Tak samo prosta
przecina prostą
w punkcie osi symetrii
, tzn. przechodzi również przez punkt
. Zachodzi równość odcinków symetrycznych
![]() |
Ponieważ
(twierdzenie o przecinających się cięciwach okręgu), więc
![]() |
Stąd wynika na podstawie twierdzenia odwrotnego do wymienionego poprzednio, że punkty
leżą na okręgu.
Uwaga. W powyższym dowodzie powołaliśmy się na twierdzenie, że jeżeli odcinki
i
przecinają się w punkcie
i zachodzi równość
, to punkty
leżą na okręgu. Można je udowodnić korzystając z twierdzenia o kącie wpisanym w okrąg.
Niech
i
będą punktami symetrycznymi względem dwusiecznej kąta
odpowiednio do punktów
i
. Wtedy
, czyli
, więc
i
są obrazami punktów
i
w jednokładności o środku
. Stąd wynika równość kątów
i
. A ponieważ wobec symetrii
, więc
. Zatem punkty
i
, z których odcinek
widać pod tym samym kątem i które leżą po tej samej stronie prostej
znajdują się na okręgu przechodzącym przez punkty
i
(rys. 10).