W kwadracie danych jest dziewięć punktów, z których, żadne trzy nie są współliniowe. Dowieść, że trzy spośród nich są wierzchołkami trójkąta o polu nie przekraczającym
pola kwadratu.
Udowodnijmy najpierw
Lemat. Jeżeli trójkąt
jest zawarty w pewnym prostokącie, to pole trójkąta jest nie większe od połowy pola tego prostokąta.
Dowód. Oznaczmy przez
,
,
odpowiednio rzuty wierzchołków trójkąta
na jeden z boków prostokąta
zawierającego ten trójkąt (rys. 14). Niech np.
i niech
będzie punktem przecięcia prostej
z prostą prostopadłą do
zawierającą punkt
.
Trójkąt
jest sumą trójkątów
i
(jeden z nich może być zdegenerowany do odcinka, gdy
lub
). Zatem
.
Ponieważ
oraz
, więc wynika stąd, że
![]() |
Przystępujemy teraz do rozwiązania zadania. Dzielimy dany kwadrat prostymi równoległymi do boków na cztery przystające kwadraty (lub cztery przystające prostokąty) - rys. 15. Pole takiego kwadratu (prostokąta) jest równe
pola danego kwadratu. Z danych dziewięciu punktów co najmniej trzy należą do jednego z otrzymanych kwadratów (prostokątów). Pole trójkąta o wierzchołkach w tych punktach jest więc na mocy lematu nie większe od
pola danego kwadratu.
Uwaga. W podobny sposób można wykazać, że teza zadania pozostanie prawdziwa, jeżeli liczby
i
zastąpić odpowiednio liczbami
i
. Wystarczy wtedy rozpatrzyć podział kwadratu prostymi równoległymi do boków na
przystających prostokątów.