Maths Olympiad Prep

Library / /19 of 34

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,,xn1x_1 , x_2 , \ldots , x_{n-1} of positive integers with the following three properties:
(a). x1<x2<<xn1x_1 < x_2 < \cdots < x_{n-1} ;
(b). xi+xni=2nx_i + x_{n-i} = 2n for all i=1,2,,n1i = 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. Spacing and $ signs are ignored.

Solution

To find all sequences x1,x2,,xn1 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<<xn1 x_1 < x_2 < \cdots < x_{n-1} .
2. xi+xni=2n x_i + x_{n-i} = 2n for all i=1,2,,n1 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,,xn1 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+xni=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:
xni=2(ni), x_{n-i} = 2(n-i),
and,
xi+xni=2i+2(ni)=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,,n1 i = 1, 2, \ldots, n-1 .

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

For the proposed sequence xi=2i x_i = 2i , observe:
x1=21<x2=22<<xn1=2(n1). 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,,n1. 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,,n1. \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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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