Znaleźć najmniejszą liczbę naturalną
o następującej własności: istnieje taki zbiór
złożony z
punktów płaszczyzny, że każda prosta
(
) jest równoległa do pewnej innej prostej
(
).
Udowodnimy najpierw, że zbiór
wierzchołków pięciokąta foremnego ma własność podaną w zadaniu, a więc że
. Wykażemy ze każdy bok pięciokąta foremnego jest równoległy do pewnej przekątnej i na odwrót każda przekątna jest równoległa do odpowiedniego boku.
Wystarczy udowodnić, że
(rys. 11). Ponieważ na czworokącie
można opisać koło (mianowicie jest to koło opisane na danym pięciokącie foremnym), więc
. Ponieważ
, więc wynika stąd, że
, co dowodzi, że
.
Z drugiej strony z warunków zadania wynika, że
, ponieważ są co najmniej dwie różne proste równoległe, każda z których zawiera co najmniej dwa punkty zbioru
. Gdyby
i punkty
spełniały warunki zadania, to byłyby one wierzchołkami trapezu. Żadna z przekątnych trapezu nie jest jednak równoległa do innej prostej wyznaczonej przez jego wierzchołki. Zatem
, a więc z udowodnionej wcześniej nierówności
wynika, ze
.