Maths Olympiad Prep

Library / EGMO /15 of 22

EGMO, 2024

Combinatorics Difficulty 7.9 National Olympiad, round 2 Prove it European Girls' Mathematical Olympiad (EGMO)

Problem:

For a sequence a1<a2<⋯<ana_{1} < a_{2} < \cdots < a_{n} of integers, a pair (ai,aj)(a_{i}, a_{j}) with 1≤i<j≤n1 \leq i < j \leq n is called interesting if there exists a pair (ak,al)(a_{k}, a_{l}) of integers with 1≤k<l≤n1 \leq k < l \leq n such that
al−akaj−ai=2 \frac{a_{l} - a_{k}}{a_{j} - a_{i}} = 2
For each n≥3n \geq 3, find the largest possible number of interesting pairs in a sequence of length nn.

Solution

Solution:

Answer. 12(n−1)(n−2)+1\frac{1}{2}(n-1)(n-2)+1.

Consider the numbers ai=2ia_{i} = 2^{i} for 2≤i≤n2 \leq i \leq n and a1=0a_{1} = 0, and choose any pair (i,j)(i, j) with 1≤i<j≤n1 \leq i < j \leq n.
If i=1i = 1, the pair (1,j)(1, j) is interesting for all 2≤j≤n−12 \leq j \leq n-1, as aj+1−a1aj−a1=2j+12j=2\frac{a_{j+1} - a_{1}}{a_{j} - a_{1}} = \frac{2^{j+1}}{2^{j}} = 2.
If i≥2i \geq 2, the pair (i,j)(i, j) is also interesting for all jj such that i+1≤j≤n−1i+1 \leq j \leq n-1, since aj+1−ai+1aj−ai=2j+1−2i+12j−2i=2\frac{a_{j+1} - a_{i+1}}{a_{j} - a_{i}} = \frac{2^{j+1} - 2^{i+1}}{2^{j} - 2^{i}} = 2.
In addition, the pair (n−1,n)(n-1, n) is interesting, as an−a0an−an−1=2\frac{a_{n} - a_{0}}{a_{n} - a_{n-1}} = 2.
Hence, all pairs in which j≤n−1j \leq n-1, and additionally the pair (n−1,n)(n-1, n), are interesting, giving 12(n−1)(n−2)+1\frac{1}{2}(n-1)(n-2)+1 pairs in total.

Now, let's show that there can't be more interesting pairs. To this end we show that at least 12n(n−1)−(12(n−1)(n−2)+1)=n−2\frac{1}{2} n(n-1) - \left(\frac{1}{2}(n-1)(n-2)+1\right) = n-2 pairs are not interesting. Clearly, the pair (1,n)(1, n) is not interesting.
Let's make the following observation: if a pair (i,j)(i, j) is interesting and it's not (1,n)(1, n), then aj−aia_{j} - a_{i} can't exceed 12(an−a1)\frac{1}{2}(a_{n} - a_{1}). (Since, if (i,j)(i, j) is interesting then al−ak=2(aj−ai)a_{l} - a_{k} = 2(a_{j} - a_{i}) for some pair (k,l)(k, l). If then 2(aj−ai)>an−a12(a_{j} - a_{i}) > a_{n} - a_{1} we would have al−ak>an−a1a_{l} - a_{k} > a_{n} - a_{1}, which is not possible.)
Finally, for any 2≤i≤n−12 \leq i \leq n-1 consider pairs (1,i)(1, i) and (i,n)(i, n). If both of them are interesting, then, following the observation above, the only possibility is ai−a1=an−ai=an−a12a_{i} - a_{1} = a_{n} - a_{i} = \frac{a_{n} - a_{1}}{2}. Clearly, this is possible for at most one ii, so for all other n−3n-3 values of ii, at least one of pairs (1,i)(1, i) and (i,n)(i, n) is not interesting. Combining with the pair (1,n)(1, n), we get at least n−2n-2 not interesting pairs in total, as desired.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.