Maths Olympiad Prep

Library / Croatia Mathematical Competitions /16 of 25

Croatia Mathematical Competitions

Algebra Difficulty 5.8 AIME, harder Prove it Croatia

Let nn be a positive integer. Determine all positive real numbers xx for which
22x+1+32x+2+⋯+(n+1)2x+n+nx2=nx+n(n+3)2 \frac{2^2}{x+1} + \frac{3^2}{x+2} + \dots + \frac{(n+1)^2}{x+n} + n x^2 = n x + \frac{n(n+3)}{2}

Solution

Since
nx=x+⋯+x⏟nandn(n+3)2=(1+⋯+n)+n, nx = \underbrace{x + \cdots + x}_{n} \quad \text{and} \quad \frac{n(n+3)}{2} = (1 + \cdots + n) + n,
the given equation is equivalent to
∑k=1n(k+1)2x+k+nx2−∑k=1nx−∑k=1nk−n=0, \sum_{k=1}^{n} \frac{(k+1)^2}{x+k} + n x^2 - \sum_{k=1}^{n} x - \sum_{k=1}^{n} k - n = 0,
i.e.
∑k=1n[(k+1)2x+k−(x+k)]+nx2−n=0. \sum_{k=1}^{n} \left[ \frac{(k+1)^2}{x+k} - (x+k) \right] + n x^2 - n = 0.
After some manipulation we get
(k+1)2x+k−(x+k)=(k+1)2−(x+k)2x+k=(1−x)(1+k+1x+k), \frac{(k+1)^2}{x+k} - (x+k) = \frac{(k+1)^2 - (x+k)^2}{x+k} = (1-x) \left(1 + \frac{k+1}{x+k}\right),
so the given equation is equivalent to
(1−x)(n+∑k=1nk+1x+k)+n(x2−1)=0, (1-x) \left( n + \sum_{k=1}^{n} \frac{k+1}{x+k} \right) + n(x^2-1) = 0,
i.e.
(1−x)[n+(2x+1+3x+2+⋯+n+1x+n)−n(1+x)]=0. (1-x) \left[ n + \left( \frac{2}{x+1} + \frac{3}{x+2} + \dots + \frac{n+1}{x+n} \right) - n(1+x) \right] = 0.
For x=1x = 1 the equality is obviously satisfied. For x≠1x \ne 1 we have
n+(2x+1+3x+2+⋯+n+1x+n)=n(1+x), n + \left( \frac{2}{x+1} + \frac{3}{x+2} + \dots + \frac{n+1}{x+n} \right) = n(1+x),
i.e.
2x+1+3x+2+⋯+n+1x+n=nx. \frac{2}{x+1} + \frac{3}{x+2} + \dots + \frac{n+1}{x+n} = n x.
If 0<x<10 < x < 1, then each of nn fractions on the left-hand side is greater than 1, so the left-hand side is greater than nn, and the right-hand side is less than nn.
If x>1x > 1, exactly the opposite holds: the left-hand side is less than nn, and the right-hand side is greater than nn.
Hence, the only solution is x=1x = 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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.