Maths Olympiad Prep

Library / /5 of 18

Algebra Difficulty 5.0 AIME, harder Prove it Austria

Let kk and nn be positive integers. Prove that, if xjx_j are real numbers for 1jn1 \le j \le n, such that
j=1n1xj2k+k=1k \sum_{j=1}^{n} \frac{1}{x_j^{2k} + k} = \frac{1}{k}
holds, it follows that
j=1n1xj2k+1+k+21k+1 \sum_{j=1}^{n} \frac{1}{x_j^{2k+1} + k + 2} \le \frac{1}{k+1}

Solution

Solution: We can, in fact, show that each of the expressions in the second sum is not greater than the corresponding expression in the first, multiplied by the factor kk+1\frac{k}{k+1}.
Substituting y:=xj2ky := x_j^{2k}, this means that we wish to show
1y2+k+2kk+11y+k \frac{1}{y^2 + k + 2} \le \frac{k}{k+1} \cdot \frac{1}{y+k}
Since yy is certainly positive for k>0k > 0, this is equivalent to (k+1)(y+k)k(y2+k+2)(k+1)(y+k) \le k(y^2+k+2), or P(y)=ky2(k+1)y+k0P(y) = ky^2 - (k+1)y + k \ge 0. This polynomial is quadratic in yy, and we have P(0)=k>0P(0) = k > 0. For the discriminant of the polynomial we have
(k+1)24k2=3k2+2k+13k2+3k=3k(k1)0, (k+1)^2 - 4k^2 = -3k^2 + 2k + 1 \le -3k^2 + 3k = -3k(k-1) \le 0,
and we see that the polynomial can only assume positive values, which completes the proof. qed

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.