2001 IMO Shortlist Problems/C1
Let be a sequence of positive integers. Let be the number of 3-element subsequences with such that and . Considering all such sequences find the greatest value of .
Consider what happens if is ordered from least to greatest. Then, all the original subsequences will still be subsequences because, since , the order they appear in is , so it is still a subsequence. So, if A attains the maximal value, so does it unstrictly increasing version. Therefore, we can look at an A such that it is unstrictly increasing and attains the maximal number of such subsequences. Let's divide it into n blocks, such two elements of the sequence have the same value if and only if they belong to the same block. We can do this because it is unstrictly increasing. For example, if the sequence consists of 1000 ones, then 500 twos, then 501 threes, the blocks would be the 1000 ones, the 500 twos, and the 501 threes. Let the number of elements in the ith block be and there be n blocks. Cases:
: Then there are no subsequences, because there are only two possible values for each element, and the subsequence must have three elements with distinct values, but by pigeonhole, two of them will have the same value.
: Note that the number of subsequences is . WLOG, . Let us say that all the elements in the first block have value m. If we change all of the elements in the n th block to elements with value m, then the first block would have elements, and there would only be n - 1 blocks. Note that the number of 3-element subsequences with such that and would increase by . We repeatedly do this until there are 3 blocks, and at that time there will be at least as many subsequences as there were originally.
: So we have three nonegative integers x, y, z such that and we want to maximize xyz. By AM-GM, xyz is maximal when x = y = z = 667, so m = .
We claim that is the maximum. First, we show that is achievable. Consider the sequence where for , for , and for . Any subsequence satisfying the condition must be equal to ; there are 667 ways to select each element to fill that, and every possible selection has indexes in increasing order, resulting in subsequences.
Now we show no higher is allowed. Let , for . We see that the elements of any subsequence that satisfies the condition must leave different residues mod 3, which means the indexes must be in different . Thus, the number of ways to choose a suitable subsequence is at most the number of ways of selecting one element out of each (and ordering them at most one way -- strictly increasing), which is . By AM-GM,