Exercise 1242Combinatorics › Pigeonhole principleOlympiadAdded 4 Nov 2026
Choosing n + 1 numbers among 1, …, 2n
#pigeonhole#divisibility#odd part
Statement
Let and let be a set of distinct integers chosen from . Prove that contains two numbers such that one divides the other. Show that the statement fails for sets of numbers.
Hint
Write every integer as with odd. How many possible values of are there?
Show solutionHide solution
Solution
Idea. Sort the numbers into boxes according to their odd part.
Boxes. Every can be written uniquely as with and odd. The odd part is one of the odd numbers .
Pigeonhole. The chosen numbers go into boxes, so two of them, and with , share the same odd part . Then , and if then divides ; otherwise divides .
Sharpness. The numbers contain no pair where one divides the other.
Lesson. Decompose objects into a canonical form and use one component as the pigeonhole box.