W pięciokącie wypukłym
, w którym
, zachodzą równości
![]() |
Dowieść, że czworokąt
jest równoległobokiem.
Zauważmy przede wszystkim (rys. 1), że jeżeli punkt I jest środkiem okręgu wpisanego w trójkąt XY Z, to zachodzi równość
![]() |

Dla dowodu wystarczy zobaczyć, że
![]() |
a więc
![]() |
Przechodzimy do rozwiązania zadania. Oznaczmy
![]() |
Niech
oznacza okrąg o środku w punkcie
styczny do prostej
(rys. 2). Niech ponadto styczne do okręgu o przechodzące
przez punkty
i
(różne od prostej
) przecinają się w punkcie
. Punkt ten leży po tej samej stronie prostej
,
co punkt
, gdyż
ze względu na to, że
i
są kątami wewnętrznymi trójkąta
.

Wówczas okrąg o jest wpisany w trójkąt AFC, zatem na mocy początkowej obserwacji mamy
![]() |
Ponieważ także
oraz
, więc trójkąty
i
są przystające (cecha kąt-bok-kąt) i jednakowo zorientowane. To oznacza, że spełniona jest równość
. Zauważmy następnie, że
![]() |
W efekcie proste
i
są równoległe; wraz z zależnością
daje to, że czworokąt
jest
trapezem równoramiennym albo równoległobokiem.
Pierwsza z tych ewentualności zachodzić jednak nie może, gdyż na podstawie spostrzeżenia z początku rozwiązania oznaczałaby ona, że
![]() |
skąd uzyskalibyśmy
![]() |
a to jest oczywista niedorzeczność. Zatem czworokąt
jest równoległobokiem, czyli proste
i
są
równoległe. To dowodzi, że trójkąt
powstaje z trójkąta
w wyniku przesunięcia o wektor
. Zatem odcinki
i
również są równoległe, a to z uwagi na równość ich długości pociąga za sobą tezę zadania.