MathDB
Snow White and the Seven Dwarves

Source: European Girl's MO 2013, Problem 6

April 11, 2013
pigeonhole principlecombinatoricsEGMOEGMO 2013Hi

Problem Statement

Snow White and the Seven Dwarves are living in their house in the forest. On each of 1616 consecutive days, some of the dwarves worked in the diamond mine while the remaining dwarves collected berries in the forest. No dwarf performed both types of work on the same day. On any two different (not necessarily consecutive) days, at least three dwarves each performed both types of work. Further, on the first day, all seven dwarves worked in the diamond mine.
Prove that, on one of these 1616 days, all seven dwarves were collecting berries.