Maths Olympiad Prep

Library / USAJMO /18 of 29

USAJMO

Algebra Difficulty 7.2 National Olympiad, round 2 Find the answer

Let n>1n > 1 be an integer. Find, with proof, all sequences x1,x2,…,xn−1x_1 , x_2 , \ldots , x_{n-1} of positive integers with the following three properties:
(a). x1<x2<⋯<xn−1x_1 < x_2 < \cdots < x_{n-1} ;
(b). xi+xn−i=2nx_i + x_{n-i} = 2n for all i=1,2,…,n−1i = 1, 2, \ldots , n - 1;
(c). given any two indices ii and jj (not necessarily distinct) for which xi+xj<2nx_i + x_j < 2n, there is an index kk such that xi+xj=xkx_i + x_j = x_k.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

To find all sequences x1,x2,…,xn−1 x_1, x_2, \ldots, x_{n-1} of positive integers satisfying the conditions given in the problem, we proceed as follows:

Given Conditions:
1. x1<x2<⋯<xn−1 x_1 < x_2 < \cdots < x_{n-1} .
2. xi+xn−i=2n x_i + x_{n-i} = 2n for all i=1,2,…,n−1 i = 1, 2, \ldots, n-1 .
3. For any indices i i and j j where xi+xj<2n x_i + x_j < 2n , there exists an index k k such that xi+xj=xk x_i + x_j = x_k .

Objective: Find all sequences x1,x2,…,xn−1 x_1, x_2, \ldots, x_{n-1} .

### Step-by-Step Solution:

Step 1: Understand the implications of conditions (a) and (b).

From condition (b), we have xi+xn−i=2n x_i + x_{n-i} = 2n . Let's express xi x_i in terms of i i .

Notice if xi=2i x_i = 2i , then:
xn−i=2(n−i), x_{n-i} = 2(n-i),
and,
xi+xn−i=2i+2(n−i)=2n. x_i + x_{n-i} = 2i + 2(n-i) = 2n.
Thus, xi=2i x_i = 2i satisfies condition (b) for all i=1,2,…,n−1 i = 1, 2, \ldots, n-1 .

**Step 2: Check condition (a): x1<x2<⋯<xn−1 x_1 < x_2 < \cdots < x_{n-1} .**

For the proposed sequence xi=2i x_i = 2i , observe:
x1=2⋅1<x2=2⋅2<⋯<xn−1=2(n−1). x_1 = 2 \cdot 1 < x_2 = 2 \cdot 2 < \cdots < x_{n-1} = 2(n-1).
This clearly satisfies condition (a).

Step 3: Verify condition (c).

Given any two indices i,j i, j , suppose that xi+xj<2n x_i + x_j < 2n .

For xi=2i x_i = 2i and xj=2j x_j = 2j , the sum is:
xi+xj=2i+2j=2(i+j). x_i + x_j = 2i + 2j = 2(i + j).
If 2(i+j)<2n 2(i + j) < 2n , then i+j<n i + j < n .

For k=i+j k = i + j , it follows that xk=2(i+j)=xi+xj x_k = 2(i + j) = x_i + x_j .

Thus, for this arrangement, all three conditions are satisfied:
- The sequence is strictly increasing.
- The sum conditions are met.
- Every necessary sum of two indices corresponds directly to another term in the sequence.

Therefore, the sequence that satisfies all conditions is:
xi=2ifori=1,2,…,n−1. x_i = 2i \quad \text{for} \quad i = 1, 2, \ldots, n-1.

Final Answer:

The sequences that satisfy all the given properties are:
xi=2i for i=1,2,…,n−1. \boxed{x_i = 2i \text{ for } i = 1, 2, \ldots, n-1}.

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: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.