Maths Olympiad Prep

Track / Stage 7 / 25 of 300 #1425 of 1964

Problem 1425

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.0 Prove it

A sequence of integers (xn)n=1(x_n)_{n=1}^{\infty} satisfies x1=1x_1 = 1 and xn<xn+12nx_n < x_{n+1} \le 2n for all nn.
Show that for every positive integer kk there exist indices r,sr, s such that xrxs=kx_r-x_s = k.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. **Define the sequence and the set A A **:
- We are given a sequence of integers (xn)n=1(x_n)_{n=1}^{\infty} such that x1=1x_1 = 1 and xn<xn+12nx_n < x_{n+1} \le 2n for all nn.
- We need to show that for every positive integer kk, there exist indices rr and ss such that xrxs=kx_r - x_s = k.

2. **Construct the set A A **:
- Consider the set A={1,2,,2k}A = \{1, 2, \ldots, 2k\}.
- We will divide this set into kk disjoint subsets:
{1,k+1},{2,k+2},,{k,2k}. \{1, k+1\}, \{2, k+2\}, \ldots, \{k, 2k\}.

3. Apply the given inequality:
- According to the given inequality xn<xn+12nx_n < x_{n+1} \le 2n, the first k+1k+1 terms of the sequence x1,x2,,xk+1x_1, x_2, \ldots, x_{k+1} must all be elements of the set AA.

4. Use the Pigeonhole Principle:
- Since there are k+1k+1 numbers x1,x2,,xk+1x_1, x_2, \ldots, x_{k+1} and only kk disjoint subsets in AA, by the Pigeonhole Principle, at least one of these subsets must contain at least two of the numbers from the sequence.
- Let i{1,2,,k}i \in \{1, 2, \ldots, k\} be such that two different integers from the sequence belong to the set {i,k+i}\{i, k+i\}.

5. Find the difference:
- If xrx_r and xsx_s are the two integers from the sequence that belong to the set {i,k+i}\{i, k+i\}, then their difference is:
xrxs=korxsxr=k. x_r - x_s = k \quad \text{or} \quad x_s - x_r = k.

6. Conclusion:
- Therefore, for every positive integer kk, there exist indices rr and ss such that xrxs=kx_r - x_s = k.

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.