Niech
będzie czworokątem wypukłym, w którym
oraz proste
i
nie są równoległe. Punkty
i
są środkami przekątnych
i
. Prosta
przecina odcinki
i
odpowiednio w punktach
i
. Udowodnić, że
.
Niech
będzie środkiem odcinka
. Wtedy
,
i
. Wobec tego trójkąt
jest równoramienny i
. Zatem
![]() |
Niech
będzie punktem przecięcia prostych
i
. Bez straty ogólności możemy przyjąć, że punkty leżą na prostych w kolejności:
oraz
. Niech ponadto
będzie takim punktem odcinka
, że
, zaś
- takim punktem odcinka
, że
.
Oznaczmy przez
zbiór wszystkich punktów
, dla których
, gdzie
oznacza pole wielokąta o podanych wierzchołkach. Zauważmy, że
![]() |
czyli
. Podobnie uzasadniamy, że
.
Ponadto dla każdego
zachodzi
i
, bo
i
. Stąd
, a więc
. Wynika z tego, że pole trójkąta
jest takie samo dla wszystkich
, więc zbiór
jest zawarty w prostej równoległej do
. Wiemy też, że
, zatem
.
Wykazaliśmy tym samym, że
. Stąd, ponieważ trójkąt
jest równoramienny (
), również trójkąt
jest równoramienny, co implikuje tezę zadania.