Maths Olympiad Prep

Track / Stage 7 / 188 of 300 #2228 of 2604

Problem 2228

National Olympiad second round; IMO P1/P4
Number theory Difficulty 7.6 Find the answer IMO Shortlist

Determine all sequences (x1,x2,…,x2011)(x_1,x_2,\ldots,x_{2011}) of positive integers, such that for every positive integer nn there exists an integer aa with ∑j=12011jxjn=an+1+1\sum^{2011}_{j=1} j x^n_j = a^{n+1} + 1

*

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

Next problem →

Official solution

To solve the problem, we need to identify all sequences (x1,x2,…,x2011)(x_1, x_2, \ldots, x_{2011}) of positive integers such that for every positive integer n n , there exists an integer a a satisfying:

∑j=12011j xjn=an+1+1 \sum_{j=1}^{2011} j \, x^n_j = a^{n+1} + 1

### Step-by-Step Solution:

1. **Consider the Case n=1 n = 1 :**

Starting with n=1 n = 1 , the condition becomes:

∑j=12011j xj=a2+1 \sum_{j=1}^{2011} j \, x_j = a^2 + 1

2. Explore the Structure of the Sequence:

To satisfy the condition for every n n , observe the symmetry of the powers and sums. If we choose x1=1 x_1 = 1 , and the rest of the sequence as constant xj=k x_j = k for j=2,…,2011 j = 2, \ldots, 2011 , we can potentially simplify the problem. Define the sequence as:

(x1,x2,…,x2011)=(1,k,k,…,k) (x_1, x_2, \ldots, x_{2011}) = (1, k, k, \ldots, k)

3. Analyze the Expression:

Substituting x1=1 x_1 = 1 and x2=x3=⋯=x2011=k x_2 = x_3 = \cdots = x_{2011} = k , the sum becomes:

∑j=12011j xjn=1n+∑j=22011j kn \sum_{j=1}^{2011} j \, x_j^n = 1^n + \sum_{j=2}^{2011} j \, k^n

=1+kn∑j=22011j=1+kn(2+3+⋯+2011) = 1 + k^n \sum_{j=2}^{2011} j = 1 + k^n \left(2 + 3 + \cdots + 2011 \right)

4. Sum Calculation:

Evaluate the sum 2+3+⋯+20112 + 3 + \cdots + 2011. Using the formula for the sum of consecutive integers:

S=2011×20122−1=2011×20122−1 S = \frac{2011 \times 2012}{2} - 1 = \frac{2011 \times 2012}{2} - 1

Solving gives:

S=2023065 S = 2023065

5. **Define k k and Verify:**

If we let k=2023065 k = 2023065 , the sum becomes:

∑j=12011j xjn=1+2023065n⋅2023065=1+(2023065)n+1 \sum_{j=1}^{2011} j \, x_j^n = 1 + 2023065^n \cdot 2023065 = 1 + (2023065)^{n+1}

This ensures for any n n , there exists an integer a=2023065 a = 2023065 such that:

an+1+1 a^{n+1} + 1

6. Conclusion:

Hence, the sequence that satisfies the given condition for every positive integer n n is:

(x1,x2,…,x2011)=(1,2023065,…,2023065) (x_1, x_2, \ldots, x_{2011}) = (1, 2023065, \ldots, 2023065)

Thus, the sequence is:

(x1,x2,…,x2011)=(1,2023065,…,2023065) \boxed{(x_1, x_2, \ldots, x_{2011}) = (1, 2023065, \ldots, 2023065)}

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.