Maths WorkshopMaths problems with full solutions
Exercise 1242Combinatorics › Pigeonhole principleOlympiadAdded 4 Nov 2026

Choosing n + 1 numbers among 1, …, 2n

#pigeonhole#divisibility#odd part

Statement

Let n≥1n\ge1 and let SS be a set of n+1n+1 distinct integers chosen from {1,2,…,2n}\{1,2,\dots,2n\}. Prove that SS contains two numbers such that one divides the other. Show that the statement fails for sets of nn numbers.

Hint

Write every integer as 2k⋅m2^k\cdot m with mm odd. How many possible values of mm are there?

Show solutionHide solution

Solution

Idea. Sort the numbers into boxes according to their odd part.

Boxes. Every a∈{1,…,2n}a\in\{1,\dots,2n\} can be written uniquely as a=2kma=2^km with k≥0k\ge0 and mm odd. The odd part mm is one of the nn odd numbers 1,3,…,2n−11,3,\dots,2n-1.

Pigeonhole. The n+1n+1 chosen numbers go into nn boxes, so two of them, a=2kma=2^km and b=2lmb=2^lm with a≠ba\ne b, share the same odd part mm. Then k≠lk\ne l, and if k<lk<l then aa divides bb; otherwise bb divides aa.

Sharpness. The nn numbers n+1,n+2,…,2nn+1,n+2,\dots,2n contain no pair where one divides the other.

Lesson. Decompose objects into a canonical form and use one component as the pigeonhole box.