Okrąg o środku
jest wpisany w czworokąt wypukły
, przy czym punkt
nie leży na prostej
. Przekątne
i
przecinają się w punkcie
. Prosta przechodząca przez punkt
oraz prostopadła do prostej
przecina proste
,
odpowiednio w punktach
,
. Wykazać, że
.
Niech
będzie okręgiem o środku
i stycznym do prostych
i
odpowiednio w punktach
i
. Analogicznie, niech
będzie okręgiem o środku
i stycznym do prostych
i
odpowiednio w punktach
i
(rys. 5). Oznaczmy przez
okrąg wpisany w czworokąt
. Bez straty ogólności przyjmijmy, że punkt
leży na odcinku
.

Korzystając z twierdzenia Menelausa dla trójkąta
uzyskujemy
![]() |
gdzie
,
i
są odpowiednio promieniami okręgów
,
i
. Stąd
![]() |
Wprowadźmy następujące oznaczenia:
,
,
,
. Wówczas otrzymujemy zależności:
![]() |
Zatem jeśli
, to
oraz
; w tym przypadku punkt
leży na przekątnej
, co przeczy założeniom. Stąd mamy
, a więc również
. Z równości (2) otrzymujemy wówczas
, co w połączeniu z zależnością
daje
i
. Zatem
![]() |
Równości (1) i (3) pociągają zależność
.
Przypuśćmy, że
. Wówczas
, a więc okrąg
jest wpisany w trójkąt
. Ponieważ w czworokąt
można wpisać okrąg, więc okrąg
wpisany w trójkąt
jest styczny do okręgu
. Stąd wynika, że punkty
,
oraz środek okręgu
leżą na jednej prostej. To jednak nie jest możliwe, gdyż punkty te znajdują się odpowiednio na bokach
,
,
trójkąta
i są różne od jego wierzchołków. Otrzymaliśmy sprzeczność, która dowodzi, że
. Z uzyskanej wyżej równości wynika zatem, że
, czyli
.