Każdy punkt okręgu jest pomalowany jednym z trzech kolorów. Dowieść, że pewne trzy punkty jednego koloru są wierzchołkami trójkąta równoramiennego.
Niech
będą wierzchołkami dowolnego
-kąta foremnego wpisanego w dany okrąg. Wykażemy, że wśród dowolnych pięciu wierzchołków tego
-kąta znajdą się trzy będące wierzchołkami trójkąta równoramiennego. Ponieważ wśród dowolnych trzynastu punktów danego okręgu zawsze znajdzie się pięć pomalowanych tym samym kolorem, zadanie zostanie rozwiązane.
Przypuśćmy więc, że udało się tak wybrać pięć wierzchołków spośród
, że żadne trzy spośród wybranych punktów nie tworzą trójkąta równoramiennego.
Załóżmy najpierw, że wśród wybranych punktów nie ma dwóch sąsiednich wierzchołków
-kąta
. Wówczas wśród wybranych punktów znajdziemy dwa oddzielone dokładnie jednym wierzchołkiem, który nie został wybrany. Bez szkody dla ogólności rozumowania, możemy przyjąć, że są to
i
. Ponieważ żadne trzy wybrane wierzchołki nie tworzą trójkąta równoramiennego, więc nie został wybrany żaden z punktów:
,
,
,
,
(rys. 1).


Ponieważ trójkąt
jest równoramienny, więc co najmniej jeden z wierzchołków
,
nie został wybrany. Bez straty ogólności rozumowania możemy przyjąć, że tym wierzchołkiem jest
. Zatem spośród pięciu punktów
,
,
,
,
dokładnie trzy zostały wybrane, przy czym żadne dwa z nich nie są kolejnymi wierzchołkami
-kąta
. Musiały więc zostać wybrane punkty
,
,
. To jednak nie jest możliwe, gdyż punkty te tworzą trójkąt równoramienny (rys. 2). Otrzymaliśmy sprzeczność.
Pozostał do rozpatrzenia przypadek, w którym wśród wybranych wierzchołków znajdują się dwa sąsiednie, powiedzmy
i
. Oznacza to, że nie został wybrany żaden z wierzchołków:
,
,
(rys. 3).


Ponieważ trójkąty
,
,
są równoramienne, więc został wybrany co najwyżej jeden z punktów:
,
,
. Analogicznie stwierdzamy, że został wybrany co najwyżej jeden z punktów:
,
,
. Zatem wybrany być musiał co najmniej jeden z punktów
,
. Bez straty ogólności przyjmijmy, że został wybrany punkt
(rys. 4). Równoramienność trójkątów:
,
,
oraz
dowodzi, że nie wybrano punktów:
,
,
oraz
.
Zatem wśród wybranych pięciu punktów muszą być dwa spośród
,
,
. Z uwagi na równoramienność trójkąta
wybrany mógł być tylko jeden z punktów
,
. Zatem wybranym punktem jest
(rys. 5). To z kolei oznacza, że nie został wybrany punkt
, gdyż trójkąt
jest równoramienny.


Tak więc piątym z wybranych punktów musi być
, co daje sprzeczność, gdyż trójkąt
jest równoramienny (rys. 6).
Tym samym wykazaliśmy, że wybór pięciu wierzchołków
-kąta, z których żadne trzy nie wyznaczają trójkąta równoramiennego, nie jest możliwy, co kończy rozwiązanie zadania.