Dany jest trójkąt równoramienny
o kącie prostym przy wierzchołku
. Punkty
i
leżą na przeciwprostokątnej
, przy czym
. Okrąg opisany na trójkącie
przecina boki
i
odpowiednio w punktach
i
. Dowieść, że
.
Punkty
,
,
,
leżąna jednym okręgu, więc
(rys. 1). Ponadto
. Z powyższych równości wynika, że trójkąty
i
sąpodobne, skąd w szczególności
![]() |
Analogicznie dowodzimy, że
![]() |
Niech
,
,
będą odpowiednio punktami symetrycznymi do
,
,
względem prostej
. Na mocy równości (1) punkty
,
,
są współliniowe; z równości (2) wynika, że punkty
,
,
są współliniowe.

Pozostaje wykazać, że
, przy założeniu, że punkty
i
leżą odpowiednio na bokach
i
kwadratu
oraz spełniony jest warunek
(rys. 2).
Niech
będzie punktem symetrycznym do punktu
względem prostej
. Wówczas
![]() |
Ponadto
![]() |
Z ostatniej zależności oraz z pierwszej równości (3) wynika, że trójkąty
i
są przystające (cecha bok-kąt-bok).

Zatem
, co w połączeniu z drugą równością (3) dowodzi, że punkty
,
,
leżąna jednej prostej. Stąd
, co należało wykazać.