2009 AIME II Problem 12

Below is the professionally curated solution for Problem 12 of the 2009 AIME II, from LIVE by Po-Shen Loh. You can also try the full timed exam, view all 2009 AIME II solutions, or check the answer key.

All of the real AMC 8, AMC 10, AMC 12, and AIME problems in our complete solution collection are used with official legal permission of the Mathematical Association of America (MAA).

Concepts:double countingextremal argument

Difficulty rating: 3060

12.

From the set of integers {1,2,3,,2009},\{1, 2, 3, \ldots, 2009\}, choose kk pairs {ai,bi}\{a_i, b_i\} with ai<bia_i \lt b_i so that no two pairs have a common element. Suppose that all the sums ai+bia_i + b_i are distinct and less than or equal to 2009.2009. Find the maximum possible value of k.k.

Solution:

Let S=i=1k(ai+bi).S = \sum_{i=1}^{k} (a_i + b_i). The 2k2k chosen elements are distinct positive integers, so S1+2++2k=k(2k+1).S \ge 1 + 2 + \cdots + 2k = k(2k + 1). The kk sums are distinct integers at most 2009,2009, so S2009+2008++(2010k)=k(4019k)2.S \le 2009 + 2008 + \cdots + (2010 - k) = \frac{k(4019 - k)}{2}. Combining, k(2k+1)k(4019k)2    4k+24019k    k40175=803.4,k(2k + 1) \le \frac{k(4019 - k)}{2} \implies 4k + 2 \le 4019 - k \implies k \le \frac{4017}{5} = 803.4, so k803.k \le 803.

To achieve k=803,k = 803, take the pairs (i,1206+i)(i,\, 1206 + i) for 1i401,1 \le i \le 401, whose sums are the even numbers 1208,1210,,2008,1208, 1210, \ldots, 2008, together with the pairs (a,a+403)(a,\, a + 403) for 402a803,402 \le a \le 803, whose sums are the odd numbers 1207,1209,,2009.1207, 1209, \ldots, 2009. The elements used are 11803,803, 80580516071607 with no repeats, and all 803803 sums are distinct and at most 2009.2009.

The maximum is k=803.k = 803.

← Problem 11Full ExamProblem 13

Problem 12 in Other Years