Maths Olympiad Prep

Library / /9 of 9

Combinatorics Difficulty 4.8 AIME Prove it Japan

Let nn be a positive integer. Suppose there are infinitely many cards and on each of these cards one integer greater than or equal to 00 is written. Suppose also for each integer ll greater than or equal to 00, there are exactly nn cards which have the number ll written on them. Let us consider repeating the process of selecting 20122012 cards from the given infinite collection of cards. Assume that we do not return the cards once selected to the original collection. Find the smallest possible value of nn for which it is possible to keep going through the procedures satisfying the following condition:

Condition: For every positive integer kk, the sums of the numbers written on the 20122012 cards selected at the kk-th stage equals kk.

Solution

We will show that the smallest nn satisfying the condition of the problem is 201222012^2.

First, let us show that if n=20122n = 2012^2, then there exists a method of selecting cards at each stage so as to satisfy the condition of the problem. For this purpose, let for each k1k \ge 1, select 20122012 cards to be drawn in the kk-th stage in the following way:

Write k=2012q+rk = 2012q + r for some choice of q0q \ge 0 and 1r20121 \le r \le 2012, and choose 2012r2012 - r cards, each of which has the number qq written on it, and choose rr cards, each of which has the number q+1q + 1 written on it.

Let us check that this method to keep on choosing cards satisfies the condition of the problem. There are the following two facts to be checked:

(1) The sum of the numbers written on the cards at the kk-th stage must equal kk.

(2) For every integer a0a \ge 0, there are at most 201222012^2 cards with the attached number aa among the selected cards throughout the whole procedure.

We see that the condition (1) is satisfied, since

q(2012r)+(q+1)r=2012q+r=k q(2012 - r) + (q + 1)r = 2012q + r = k
holds, because of the way qq and rr are chosen.

To show that the condition (2) is satisfied, we first consider the case where a1a \ge 1. Then for any rr satisfying the condition 1r20121 \le r \le 2012, 2012r2012 - r cards each with the number aa attached are selected at the (2012a+r)(2012a + r)-th stage, and rr cards each with the number aa attached are selected at the (2012(a1)+r)(2012(a - 1) + r)-th stage. Therefore, the total number of the cards with the number aa attached which are selected in the whole procedure equals

r=12012((2012r)+r)=(2011+2010++0)+(1+2++2012)=201120122+201220132=20122, \sum_{r=1}^{2012} ((2012 - r) + r) = (2011 + 2010 + \cdots + 0) + (1 + 2 + \cdots + 2012) \\ = \frac{2011 \cdot 2012}{2} + \frac{2012 \cdot 2013}{2} = 2012^2,
which shows that the condition (2) is satisfied for each a1a \ge 1.

Finally, if a=0a = 0, we see that for each rr, with 1r20121 \le r \le 2012, 2012r2012 - r cards with 00 attached are selected at the rr-th stage so that the total number of cards with 00 attached chosen in the whole process is

r=12012(2012r)=r=12011r=201120122<20122, \sum_{r=1}^{2012} (2012 - r) = \sum_{r=1}^{2011} r = \frac{2011 \cdot 2012}{2} < 2012^2,
which shows that the condition (2) is satisfied for a=0a = 0 as well, and this completes the proof that if n=20122n = 2012^2, then there is a method to keep on choosing cards at each stage so as to satisfy the condition of the problem.

Next, we show that if there is a method of choosing cards at each stage so as to satisfy the condition of the problem, then we must have n20122n \ge 2012^2. For this purpose, let kk be an arbitrary positive integer and keep on choosing the cards at each stage according to the method which is supposed to satisfy the condition of the problem. Then, the sum of all the numbers attached to 2012nk2012nk cards selected by the end of the (nk)(nk)-th stage must be, because of the condition of the problem,

j=1nkj=12nk(nk+1). \sum_{j=1}^{nk} j = \frac{1}{2}nk(nk + 1).

On the other hand, since for each j0j \ge 0 there are exactly nn cards having the number jj attached, the sum of all the numbers attached to the 2012nk2012nk cards selected must be greater than or equal to

nj=02012k1j=n2012k(2012k1)2. n \sum_{j=0}^{2012k - 1} j = n \cdot \frac{2012k \cdot (2012k - 1)}{2}.

Therefore, we must have

nk(nk+1)2n2012k(2012k1)2, \frac{nk(nk + 1)}{2} \ge n \cdot \frac{2012k(2012k - 1)}{2},
which can be simplified to

n201222013k. n \ge 2012^2 - \frac{2013}{k}.

Since kk can be any positive integer, we take k=2014k = 2014 to conclude that n20122n \ge 2012^2 must be satisfied.

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.