Maths Olympiad Prep

Library / /12 of 12

Combinatorics Difficulty 8.9 Shortlist Prove it Netherlands

In a sequence a1,a2,,a1000a_1, a_2, \dots, a_{1000} consisting of 10001000 distinct numbers, a pair (ai,aj)(a_i, a_j) with i<ji < j is called *ascending* if ai<aja_i < a_j and *descending* if ai>aja_i > a_j. Determine the largest positive integer kk with the property that every sequence of 10001000 distinct numbers has at least kk non-overlapping ascending pairs or at least kk non-overlapping descending pairs.

Solution

We will prove that the greatest kk is 333333. First consider the sequence 1000,999,998,,669,668,1,2,3,,666,6671000, 999, 998, \ldots, 669, 668, 1, 2, 3, \ldots, 666, 667. The first 333333 numbers in the sequence are not usable in an ascending pair, because for each of these numbers the numbers left of it are all greater and the numbers right of it are all smaller. Therefore, for the ascending pairs only the last 667667 numbers are available and that gives at most 333333 non-overlapping ascending pairs. For a descending pair (ai,aj)(a_i, a_j) with i<ji < j we get that aia_i cannot be one of the numbers 11 through 667667, because for each of these numbers there are only greater numbers right of it. Hence, aia_i must be one of the first 333333 numbers, from which we deduce that there can be at most 333333 non-overlapping descending pairs. We conclude that no k>333k > 333 will satisfy the conditions.

Now we will prove that for all t1t \ge 1, there are at least tt non-overlapping ascending or tt non-overlapping descending pairs in any sequence of 3t13t - 1 distinct numbers. We will prove this by induction on tt. For t=1t = 1, the sequence has length 22 and this pair of numbers is either descending or ascending, which means the statement is correct. Now let r1r \ge 1 and suppose the statement is true for t=rt = r. We consider the case t=r+1t = r + 1 and take any sequence a1,a2,,a3r+2a_1, a_2, \dots, a_{3r+2} of 3r+23r + 2 distinct numbers. If the sequence is completely ascending, we can make neighbouring pairs which are all ascending. These are 3r+222r+22=r+1\lfloor \frac{3r+2}{2} \rfloor \ge \frac{2r+2}{2} = r + 1 pairs. Analogously, if the sequence is fully descending, there are at least r+1r + 1 descending pairs. If the sequence is not fully ascending and also not fully descending, there is a spot in the sequence where the sequence is first ascending and then descending or the other way around. In other words: there are numbers ai,ai+1,ai+2a_i, a_{i+1}, a_{i+2} in the sequence with ai<ai+1>ai+2a_i < a_{i+1} > a_{i+2} or ai>ai+1<ai+2a_i > a_{i+1} < a_{i+2}. In both cases, these three numbers contain both an ascending and descending pair. Now apply the induction hypothesis to the sequence a1,a2,,ai1,ai+3,ai+4,,a3r+2a_1, a_2, \dots, a_{i-1}, a_{i+3}, a_{i+4}, \dots, a_{3r+2}. This is a sequence with 3r+23=3r13r + 2 - 3 = 3r - 1 distinct numbers, so there are at least rr non-overlapping ascending pairs or rr non-overlapping descending pairs. In the former case, we can add the ascending pair from ai,ai+1,ai+2a_i, a_{i+1}, a_{i+2} to it, and in the latter case, we can add the descending pair to it. In this way, we obtain r+1r + 1 non-overlapping ascending pairs or r+1r + 1 non-overlapping descending pairs. This completes the induction.

Now substitute t=333t = 333 in this result: in a sequence consisting of 998998 distinct numbers, there are always at least 333333 non-overlapping ascending pairs or at least 333333 non-overlapping descending pairs. This is also true for a sequence consisting of 10001000 numbers (just ignore the last two numbers).

Hence, k=333k = 333 satisfies the conditions and is the greatest such kk. \square

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 and solution reproduced as published; topic and difficulty added by this site.