Maths Olympiad Prep

Library /

Number theory Difficulty 6.2 National olympiad Find the answer

Find all positive integers nn for which there exist positive integers x1,x2,,xnx_1, x_2, \dots, x_n such that
1x12+2x22+22x32++2n1xn2=1. \frac{1}{x_1^2}+\frac{2}{x_2^2}+\frac{2^2}{x_3^2}+\cdots +\frac{2^{n-1}}{x_n^2}=1.

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

Solution

We need to determine all positive integers n n such that there exist positive integers x1,x2,,xn x_1, x_2, \ldots, x_n satisfying the equation:

1x12+2x22+22x32++2n1xn2=1. \frac{1}{x_1^2} + \frac{2}{x_2^2} + \frac{2^2}{x_3^2} + \cdots + \frac{2^{n-1}}{x_n^2} = 1.

### Case n=1 n = 1
For n=1 n = 1 , the equation simplifies to:

1x12=1 \frac{1}{x_1^2} = 1

This implies x1=1 x_1 = 1 since x1 x_1 is a positive integer. Thus, n=1 n = 1 is a solution.

### Case n=2 n = 2
For n=2 n = 2 , the equation becomes:

1x12+2x22=1. \frac{1}{x_1^2} + \frac{2}{x_2^2} = 1.

Assuming x11 x_1 \geq 1 , then 1x121 \frac{1}{x_1^2} \leq 1 , and similarly 2x220 \frac{2}{x_2^2} \geq 0 .

To solve this, we consider possible values for x1 x_1 and x2 x_2 . Observe that:

- If x1=1 x_1 = 1 , then 1x12=1 \frac{1}{x_1^2} = 1 and thus 2x22=0 \frac{2}{x_2^2} = 0 , which leads to a contradiction as x2 x_2 is positive.
- If x1>1 x_1 > 1 , then 1x12<1 \frac{1}{x_1^2} < 1 and hence 2x22=11x12 \frac{2}{x_2^2} = 1 - \frac{1}{x_1^2} , which implies 2x22<1 \frac{2}{x_2^2} < 1 .

Solving for integer x1 x_1 and x2 x_2 gives no viable solutions for n=2 n = 2 .

### General Case for n3 n \ge 3
For n3 n \ge 3 , the equation is:

1x12+2x22++2n1xn2=1. \frac{1}{x_1^2} + \frac{2}{x_2^2} + \cdots + \frac{2^{n-1}}{x_n^2} = 1.

By assuming xi=i2i1 x_i = i \cdot 2^{i-1} , we calculate each term:

- 1x12=112=1\frac{1}{x_1^2} = \frac{1}{1^2} = 1,
- 2x22=224=18\frac{2}{x_2^2} = \frac{2}{2^4} = \frac{1}{8},
- 22x32=4(322)2\frac{2^2}{x_3^2} = \frac{4}{(3 \cdot 2^2)^2},
- ...
- 2n1xn2=2n1(n2n1)2=1n2.\frac{2^{n-1}}{x_n^2} = \frac{2^{n-1}}{(n \cdot 2^{n-1})^2} = \frac{1}{n^2}.

The sum approximates:

i=1n2i1xi2=1 \sum_{i=1}^{n} \frac{2^{i-1}}{x_i^2} = 1

Given xi>i x_i > i , we have:

- 1i21xi2\frac{1}{i^2} \leq \frac{1}{x_i^2}, each term contributes less than or equal to 1i2\frac{1}{i^2}.

For n3 n \ge 3 , we can find solutions for positive xi x_i such that the entire sum is precisely 1.

Therefore, solutions exist for all n3 n \ge 3 .

### Conclusion

The positive integers n n for which the solutions exist are:

1. n=1 n = 1
2. n3 n \ge 3

Thus, the answer is:
n3 and n=1 \boxed{n \ge 3 \text{ and } 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.