Maths Olympiad Prep

Library / /121 of 377

Combinatorics Difficulty 4.9 AIME Prove it United States

Problem:

Let S={1,2,,2008}S=\{1,2, \ldots, 2008\}. For any nonempty subset ASA \subset S, define m(A)m(A) to be the median of AA (when AA has an even number of elements, m(A)m(A) is the average of the middle two elements). Determine the average of m(A)m(A), when AA is taken over all nonempty subsets of SS.

Solution

Solution:

For any subset AA, we can define the "reflected subset" A={i2009iA}A' = \{i \mid 2009 - i \in A\}. Then m(A)=2009m(A)m(A) = 2009 - m(A'). Note that as AA is taken over all nonempty subsets of SS, AA' goes through all the nonempty subsets of SS as well. Thus, the average of m(A)m(A) is equal to the average of m(A)+m(A)2\frac{m(A) + m(A')}{2}, which is the constant 20092\frac{2009}{2}.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.