W
-osobowym stowarzyszeniu działa sześć komisji. W skład każdej z nich wchodzi nie mniej niż
osób. Dowieść, że istnieją dwie komisje oraz grupa licząca nie mniej niż
osób, należących do obu tych komisji.
Ponumerujmy komisje liczbami
i oznaczmy przez
liczbę tych członków
-tej komisji, którzy nie są członkami żadnej komisji o numerze mniejszym od
.
to liczba wszystkich członków komisji nr
, co daje
.
Przypuśćmy, że część wspólna dowolnych dwóch komisji liczy mniej niż
osób.
Ponieważ w skład komisji nr
wchodzi co najmniej
osób, więc liczba tych członków komisji nr
, którzy nie są w komisji nr
musi być większa od
-
. Stąd
![]() |
Analogicznie stwierdzamy, że
![]() |
Dodając stronami powyższe nierówności uzyskujemy
![]() |
Otrzymaliśmy sprzeczność, gdyż wielkość
jest nie większa od liczby wszystkich członków stowarzyszenia, czyli
. Zatem do części wspólnej pewnych dwóch komisji należy co najmniej
osób.