Dany jest okrąg
i jego cięciwa
, nie będąca średnicą. Niech
będzie dowolnym punktem na dłuższym łuku
okręgu
. Oznaczmy przez
odbicia punktów
względem prostych odpowiednio
. Udowodnić, że odległość między środkami odcinków
i
nie zależy od wyboru punktu
.
Niech
,
oraz
będą odpowiednio miarami kątów
,
oraz
. Na mocy założenia zadania kąt
jest zawsze ostry. Możemy założyć, że
, gdyż w drugim przypadku,
, rozumowanie jest analogiczne. Niech
,
,
,
będą środkami odcinków odpowiednio
,
,
,
. Niech ponadto
będzie punktem przecięcia prostych
i
.
Zauważmy, że czworokąt
jest równoległobokiem (
,
) oraz
![]() |
Z twierdzenia sinusów zastosowanego do trójkąta
wynika, że
![]() |
więc trójkąty
i
są podobne (cecha bok-kąt-bok). Ponownie korzystamy z twierdzenia sinusów i otrzymujemy
![]() |
gdzie
jest promieniem okręgu
, niezależnym od wyboru punktu
.
Niech
będzie środkiem odcinka
,
- środkiem odcinka
,
i
- spodkami wysokości odpowiednio z wierzchołków
i
trójkąta
. Oczywiście
i
są środkami odcinków
i
, więc
![]() |
a zatem
jest równoległobokiem (nawet w przypadku zdegenerowanego trójkąta
lub
).
Kąty
i
są proste, punkty
i
leżą na okręgu o średnicy
, więc
. Z tego wynika, że równoległobok
jest rombem i długość jego boków nie zależy od położenia punktu
. Aby wykazać, że również długość jego przekątnej
jest niezależna od
, wystarczy sprawdzić, że miara kąta wyznaczonego przez boki
i
nie zmienia się podczas przesuwania
po okręgu
(wtedy wszystkie romby
są przystające).
Jeśli kąt
w trójkącie
jest ostry, punkt
leży na odcinku
i kąt
jest kątem środkowym koła o średnicy
, opartym na tym samym łuku co kąt wpisany
. Zatem
![]() |
Ten sam wzór otrzymujemy w przypadku, gdy
nie jest kątem ostrym, ponieważ wtedy
jest ostry i możemy rozważać kąt wpisany
zamiast
:
![]() |
Wiadomo, że
nie zmienia się przy przesuwaniu
po okręgu
, ponieważ jest miarą kąta wpisanego, opartego na ustalonym łuku
, a zatem miara kąta
również pozostaje niezmienna. Wobec wcześniejszych uwag to kończy dowód.