Dany jest zbiór
punktów (
), z których żadne trzy nie leżą na jednej prostej. Kolorujemy wszystkie odcinki o końcach w tym zbiorze tak, by każde dwa odcinki o wspólnym końcu miały różne kolory. Wyznaczyć najmniejszą liczbę kolorów, dla której istnieje takie pokolorowanie.
Przyjmijmy, że dane punkty są wierzchołkami pewnego
-kąta (jeśli
, wystarczy oczywiście jeden kolor). Wszystkie odcinki o jednakowym kolorze wyznaczają rozłączne pary wierzchołków wielokąta. Maksymalna liczba rozłącznych podzbiorów dwuelementowych zbioru
-elementowego wynosi
. Zatem liczba kolorów jest nie mniejsza niż
![]() |
Wykażemy, że ta liczba kolorów wystarcza do spełnienia żądanego warunku.
Gdy
jest liczbą nieparzystą, bierzemy zbiór wierzchołków
-kąta foremnego i malujemy jednakowym kolorem bok i wszystkie równoległe do niego przekątne; odcinki nierównoległe malujemy różnymi kolorami. Użyliśmy
kolorów.
Gdy
jest liczbą parzystą, bierzemy zbiór wierzchołków
-kąta foremnego
oraz jeszcze jeden punkt
. Kolorujemy boki i przekątne wielokąta
w sposób opisany powyżej, używając
kolorów. Dla każdej rodziny równoległych odcinków jednakowego koloru
, pozostaje jeden wierzchołek
wielokąta
nie będący końcem żadnego z tych odcinków. Malujemy odcinek
, kolorem
. Użyliśmy
kolorów, spełniając wymagany warunek.