Maths Olympiad Prep

Track / Stage 7 / 262 of 300 #1662 of 1964

Problem 1662

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

[i]

A number or a short expression. Spacing and $ signs are ignored.

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=12011jxjn=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=12011jxj=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=12011jxjn=1n+j=22011jkn \sum_{j=1}^{2011} j \, x_j^n = 1^n + \sum_{j=2}^{2011} j \, k^n

=1+knj=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×201221=2011×201221 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=12011jxjn=1+2023065n2023065=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 and solution reproduced as published; topic, difficulty and ordering added by this site.