Maths Olympiad Prep

Track / Stage 7 / 99 of 300 #1499 of 1964

Problem 1499

National olympiad second round; IMO P1/P4
Combinatorics Difficulty 7.2 Prove it

Let nn be a positive natural number. In the following, we consider pairs of elements of the set {1,2,,n}\{1,2, \ldots, n\}, each of which have no common element.
Determine with proof the maximum number of such pairs, for which the sums of their elements are pairwise distinct and not greater than nn.
(For example, (1;9),(2;7)(1 ; 9),(2 ; 7) and (3;5)(3 ; 5) are three possible pairs for n=10n=10.)

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Let kk be the number of possible pairs. Then the sum SS of the 2k2k numbers occurring in them can be estimated in two directions:
S1+2++2k=k(2k+1)S \geq 1+2+\ldots+2k = k(2k+1) (all numbers are different) and
Sn+(n1)++(nk+1)=nk12k(k1)S \leq n+(n-1)+\ldots+(n-k+1) = nk - \frac{1}{2}k(k-1) (all sums are different and n\leq n).
This yields for n3n \geq 3 because k>0k > 0 after division by kk the inequality 2k+1n12(k1)2k+1 \leq n - \frac{1}{2}(k-1), from which k2n15k \leq \frac{2n-1}{5} follows. Therefore, there are at most 2n15\left\lfloor\frac{2n-1}{5}\right\rfloor possible pairs
(x\lfloor x\rfloor denotes the greatest integer x\leq x). For n<3n < 3, it is obviously k=0k=0.
Now we give a construction for n3n \geq 3 with exactly 2n15\left\lfloor\frac{2n-1}{5}\right\rfloor pairs. For this, let n=5m+3n=5m+3, so k=2m+1k=2m+1. The following table shows the pairs and their sums, where for small mm some columns must be omitted due to ambiguity of the terms:

Pair3m+13m+13m3m\ldots2m+22m+24m+24m+24m+14m+1\ldots3m+33m+33m+23m+2
24\ldots2m2m13\ldots2m12m-12m+12m+1
Sum3m+33m+33m+43m+4\ldots4m+24m+24m+34m+34m+44m+4\ldots5m+25m+25m+35m+3

The 2m+12m+1 pairs contain all numbers from 1 to 4m+24m+2; their sums range from 3m+33m+3 to 5m+35m+3 and are clearly different and not greater than nn.
The same construction works for n=5m+4n=5m+4 and n=5m+5(m0)n=5m+5 \quad(m \geq 0), because here k=2m+1k=2m+1 again. For n=5m+2n=5m+2, k=2mk=2m is sufficient. Therefore, the last column of the table can simply be omitted here. For n=5m+1n=5m+1, k=2mk=2m as well, and we omit the last column of the table and also decrease each upper number in the first row by 1. Thus, all conditions are again satisfied.

Hint: Many participants were misled by the example to assume k=n/3k=\lfloor n / 3\rfloor as the maximum number. However, those who discovered the three(!) pairs (2;4), (1;6), (3;5) or (1;5), (3;4), (2;6) for n=8n=8 were immune to this estimate. The rarely occurring misunderstanding of the formulation, "no common element" in the sense that pairs (x;x)(x; x) were allowed, led to a trivial problem, whose solution was only awarded a modest score.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.