Niech
będzie równoległobokiem, w którym
. Przekątne tego równoległoboku przecinają się w punkcie
. Okrąg opisany na trójkącie
przecina po raz drugi proste
,
,
w punktach odpowiednio
,
,
. Prosta
przecina okrąg opisany na trójkącie
w punkcie
. Udowodnić, że trójkąty
i
są przystające.

Czworokąty
i
można wpisać w okrąg, więc
![]() |
a stąd punkty
leżą na jednym okręgu. Zatem
![]() |
Na czworokącie
można opisać okrąg, więc
, skąd
. Podobnie
![]() |
Udowodniliśmy, że
i
, z czego wynika, że trójkąty
i
są podobne.
Przyglądając się pięciokątowi
wpisanemu w okrąg, widzimy, że
i
, więc trójkąt
jest równoboczny i
. Ze względu na
, czworokąt
jest trapezoidem równoramiennym, stąd
. Zatem
, co dowodzi przystawania trójkątów
i
.
Obierzmy na prostej
taki punkt
, że
. W ten sposób otrzymaliśmy równoramienny trapezoid, którego okrąg opisany jest jednocześnie okręgiem opisanym na trójkącie
. Stąd
. Analogicznie, wybierając na
takie punkt
, że
, dochodzimy do wniosku, że
. Zatem
, ze względu na symetrię względem dwusiecznej kąta
(lub równoważnie
). Czworokąt
jest wpisany w okrąg, więc
![]() |
Możemy też skonstruować
i
jako obrazy
i
w inwersji względem okręgu o środku
, złożonej z symetrią względem punktu
. Wtedy
jest obrazem
, zaś
jest obrazem
. Obrazami
,
,
są
,
,
, ponadto wiadomo, że obrazem prostek jest okrąg zawierający
, więc czworokąt
jest wpisany w okrąg. Stąd
![]() |
Prócz tego
![]() |
więc trójkąty
i
są podobne, a nawet przystające, bo
.
Trójkąty
i
są równoboczne, więc wszystkie ich kąty mają miarę
. Stąd
i
. Ponadto
. Zatem trójkąty
i
są przystające i
![]() |
Zauważmy, że
![]() |
więc na czworokącie
można opisać okrąg i
. Stąd
![]() |
Zauważmy też, że
![]() |
Na mocy (1),(2) i (3) otrzymujemy tezę.