Dany jest okrąg o środku
oraz punkt
leżący na zewnątrz tego okręgu. Przez punkt
prowadzimy prostą
przecinającą dany okrąg w punktach
i
. Niech
będzie punktem symetrycznym do
względem prostej
i niech m będzie prostą przechodzącą przez punkty
i
. Wykazać, że wszystkie uzyskane w ten sposób proste
(odpowiadające różnym wyborom prostej
) mają wspólny punkt.
Treść zadania nie precyzuje, jak są usytuowane na prostej
punkty
i
, to znaczy, który z nich leży bliżej punktu
; rysunek 5 ilustruje te dwie sytuacje. Oznaczmy przez
punkt przecięcia prostych
i
; teza zadania będzie udowodniona, jeśli wykażemy, że położenie punktu
na półprostej
nie zależy od wyboru prostej
(będzie to znaczyło, że
jest szukanym wspólnym punktem wszystkich rozważanych prostych
).
Trójkąt
jest równoramienny; przyjmijmy oznaczenia
![]() |
Zatem wypukły kąt
ma miarę
![]() |

Kąt
jest kątem wpisanym opartym na tym samym łuku, co wypukły lub wklęsły kąt środkowy
(w zależności od tego, czy punkt
leży między
i
, czy punkt
leży między
i
). W pierwszym przypadku
![]() |
w drugim zaś przypadku -
![]() |
W pierwszym przypadku kąt
jest identyczny z kątem
, w drugim przypadku kąt
dopełnia kąt
do kąta półpełnego. Tak więc w obu przypadkach zachodzi równość
. Dalsze rozumowanie nie zależy od przypadku.
Punkty
i
leżą symetrycznie względem prostej
, zatem trójkąt
jest równoramienny; a stąd
![]() |
wobec czego
![]() |
Spójrzmy na trójkąty
i
. Mają one wspólny kąt przy wierzchołku
; kąty
i
mają jednakową rozwartość
. Zatem trójkąty te są podobne i zachodzi proporcja
, czyli
![]() |
To zaś oznacza, że położenie punktu
na półprostej
jest wyznaczone przez promień okręgu oraz położenie punktu
; a dokładniej: punkt
jest obrazem punktu
w inwersji względem danego okręgu. Dowód jest zakończony.