Maths Olympiad Prep

Library / /16 of 16

, 2019

Combinatorics Difficulty 8.6 Shortlist Prove it Turkey

There are kk heaps of beads on the table containing 2019 beads in total. In each move we choose a heap: either remove it from the table or divide it into two not necessarily equal parts. Find the maximal possible value of kk such that for any initial distribution of beads after finite number of moves one can get kk heaps with pairwise distinct number of beads.

Solution

Answer: 45.

The maximal value of kk can not be greater than 45. Indeed, if k46k \ge 46, then since 45k>201945 \cdot k > 2019 it is possible that at the beginning there are kk heaps each containing at most 45 beads. Obviously in this case one can not get kk heaps with pairwise distinct number of beads, since the heap with most beads should contain at least 46 beads.

Lemma. If kk heaps contain at least k(k1)+1k(k-1) + 1 beads in total, then we can get kk heaps containing 1,2,,k1, 2, \dots, k beads.

Proof by induction on kk. k=1k=1 is obvious. Suppose that the lemma is true for k=nk=n. Consider n+1n+1 heaps with n(n+1)+1n(n+1)+1 beads in total. Then the heap with maximal number of beads contains at least n+1n+1 beads. If the heap with maximal number of beads contains exactly n+1n+1 beads, the remaining nn heaps contain n(n+1)+1(n+1)=n2n(n1)+1n(n+1)+1-(n+1) = n^2 \ge n(n-1)+1 and by inductive hypothesis we can get nn heaps containing 1,2,,n1, 2, \dots, n beads. Since we also have a heap having n+1n+1 beads we are done. If the heap with maximal number of beads contains more than n+1n+1 beads, let us divide it into two heaps so that one of these two new heaps, say H(n+1)H(n+1), contains n+1n+1 beads. There are n+1n+1 heaps except H(n+1)H(n+1) containing n(n+1)+1(n+1)=n2n(n+1)+1-(n+1) = n^2 beads in total. The smallest heap among these n+1n+1 heaps contains at most n1n-1 beads. If we remove it then the remaining nn heaps contain at least n2(n1)=n(n1)+1n^2-(n-1) = n(n-1)+1 beads in total. By inductive hypothesis we can get nn heaps containing 1,2,,n1, 2, \dots, n beads. Since we also have a heap H(n+1)H(n+1) we are done.

Since 2019>4544+12019 > 45 \cdot 44 + 1 by lemma one can get heaps containing 1,2,,451, 2, \dots, 45 beads. Done.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.