1978 IMO Problems/Problem 6

Revision as of 20:53, 5 August 2017 by Babycart (talk | contribs) (Solution (In Progress))

$\emph{Problem:}$ An international society has its members from six different countries. The list of members has 1978 names, numbered $\color[rgb]{0.35,0.35,0.35}1, 2, \ldots, 1978$. Prove that there is at least one member whose number is the sum of the numbers of two (not necessarily distinct) members from his own country.

$\emph{Proof:}$ Lets consider the members numbered $1,2,3,\ldots 989$. If these members belong to $1\leq k\leq 6$ countries then, by the Pigeonhole principle, there must exist a country to which a minimum of $\left \lfloor \frac{988}{k}\right \rfloor +1$ members belong. Let the numbers assigned to these members be $a_1,a_2,\ldots, a_{\left \lfloor \frac{988}{k}\right \rfloor +1}$, where we assume WLOG that

\[1\leq a_1<a_2<a_3<\cdots<a_{\left \lfloor \frac{988}{k}\right \rfloor +1}\leq 989.\]

Assuming that these numbers satisfy the conditions of the problem, then there exists no $(x,y,z)$ triple (not necessarily distinct), such that $a_x+a_y = a_z$. Since every pair of the above $a_i$ correspond to a unique sum less than or equal to 1978, then there are minimum of $\dbinom{\left \lfloor \frac{988}{k}\right \rfloor +1}{2}$ numbers that must be assigned to members of the other countries. Note that this doesn't account for the case when $x=y$. Consequently, if we can show that

\[\dbinom{\left \lfloor \frac{988}{k}\right \rfloor +1}{2}>1978-\left (\left \lfloor \frac{988}{k}\right \rfloor +1\right ) (*)\]

for all $1\leq k\leq 6$, then, by the Pigeonhole Principle, there is at least one member whose number is the sum of the numbers of two other members from his own country. It is easy to verify by hand that $(*)$ holds for all $k$ within the desired range, and hence, our proof is complete. $\blacksquare$