Maths Olympiad Prep

Library /

Combinatorics Difficulty 7.5 National Olympiad, round 2 Prove it Benelux Mathematical Olympiad

Problem:

An arithmetic progression is a set of the form {a,a+d,,a+kd}\{a, a+d, \ldots, a+k d\}, where a,d,ka, d, k are positive integers and k2k \geqslant 2. Thus an arithmetic progression has at least three elements and the successive elements have difference dd, called the common difference of the arithmetic progression.
Let nn be a positive integer. For each partition of the set {1,2,,3n}\{1,2, \ldots, 3 n\} into arithmetic progressions, we consider the sum SS of the respective common differences of these arithmetic progressions. What is the maximal value SS that can attain?
(A partition of a set AA is a collection of disjoint subsets of AA whose union is AA.)

Solution

Solution:

The maximum value is n2n^{2}, which is attained for the partition into nn arithmetic progressions {1,n+1,2n+1},,{n,2n,3n}\{1, n+1,2 n+1\}, \ldots,\{n, 2 n, 3 n\}, each of difference nn.

Suppose indeed that the set has been partitioned into NN progressions, of respective lengths i\ell_{i}, and differences did_{i}, for 1iN1 \leqslant i \leqslant N. Since i3\ell_{i} \geqslant 3,
2i=1Ndii=1N(i1)di=i=1Naii=1Nbi 2 \sum_{i=1}^{N} d_{i} \leqslant \sum_{i=1}^{N}\left(\ell_{i}-1\right) d_{i}=\sum_{i=1}^{N} a_{i}-\sum_{i=1}^{N} b_{i}
where aia_{i} and bib_{i} denote, respectively, the largest and smallest elements of progression ii. Now
i=1Nbi1+2++N=N(N+1)/2i=1Nai(3nN+1)++3n=N(6nN+1)/2 \begin{aligned} & \sum_{i=1}^{N} b_{i} \geqslant 1+2+\cdots+N=N(N+1) / 2 \\ & \sum_{i=1}^{N} a_{i} \leqslant(3 n-N+1)+\cdots+3 n=N(6 n-N+1) / 2 \end{aligned}
and thus
2i=1NdiN(3nN)2n2 2 \sum_{i=1}^{N} d_{i} \leqslant N(3 n-N) \leqslant 2 n^{2}
as N(3nN)N(3 n-N) is increasing in NN on the interval [0,3n/2][0,3 n / 2] and since NnN \leqslant n. This completes the proof.

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.