Maths Olympiad Prep

Library / /16 of 25

, 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 1i<jn1 \leq i < j \leq n is called interesting if there exists a pair (ak,al)(a_{k}, a_{l}) of integers with 1k<ln1 \leq k < l \leq n such that
alakajai=2 \frac{a_{l} - a_{k}}{a_{j} - a_{i}} = 2
For each n3n \geq 3, find the largest possible number of interesting pairs in a sequence of length nn.

Solution

Solution:

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

Consider the numbers ai=2ia_{i} = 2^{i} for 2in2 \leq i \leq n and a1=0a_{1} = 0, and choose any pair (i,j)(i, j) with 1i<jn1 \leq i < j \leq n.
If i=1i = 1, the pair (1,j)(1, j) is interesting for all 2jn12 \leq j \leq n-1, as aj+1a1aja1=2j+12j=2\frac{a_{j+1} - a_{1}}{a_{j} - a_{1}} = \frac{2^{j+1}}{2^{j}} = 2.
If i2i \geq 2, the pair (i,j)(i, j) is also interesting for all jj such that i+1jn1i+1 \leq j \leq n-1, since aj+1ai+1ajai=2j+12i+12j2i=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 (n1,n)(n-1, n) is interesting, as ana0anan1=2\frac{a_{n} - a_{0}}{a_{n} - a_{n-1}} = 2.
Hence, all pairs in which jn1j \leq n-1, and additionally the pair (n1,n)(n-1, n), are interesting, giving 12(n1)(n2)+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(n1)(12(n1)(n2)+1)=n2\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 ajaia_{j} - a_{i} can't exceed 12(ana1)\frac{1}{2}(a_{n} - a_{1}). (Since, if (i,j)(i, j) is interesting then alak=2(ajai)a_{l} - a_{k} = 2(a_{j} - a_{i}) for some pair (k,l)(k, l). If then 2(ajai)>ana12(a_{j} - a_{i}) > a_{n} - a_{1} we would have alak>ana1a_{l} - a_{k} > a_{n} - a_{1}, which is not possible.)
Finally, for any 2in12 \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 aia1=anai=ana12a_{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 n3n-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 n2n-2 not interesting pairs in total, as desired.

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.