Допустим, что у нас есть коробки, каждая из которых содержит 20 шариков разных цветов. Мы хотим доказать, что при извлечении из коробки 7 шариков, хотя бы три из них обязательно будут одного цвета.
Для этого предположим обратное: что при извлечении 7 шариков из коробки ни одного из цветов не будет повторяться трижды.
Теперь рассмотрим два случая:
Если среди извлеченных шариков не менее по одному шарику каждого из трех цветов, то у нас уже имеется 3 шарика разных цветов. Добавляя к ним еще шарик, мы получим четыре шарика, что противоречит нашему предположению.
Если среди извлеченных шариков есть два и менее шариков одного цвета, то количество шариков различных цветов не превышает 4 (2 шарика каждого цвета) - снова противоречие.
Таким образом, наше предположение неверно, и при извлечении 7 шариков хотя бы три из них обязательно будут одного цвета.
