Maths Olympiad Prep

Library / AustriaMO /8 of 33

AustriaMO

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 1≤j≤n1 \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+2≤1k+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+2≤kk+1⋅1y+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+k≥0P(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)2−4k2=−3k2+2k+1≤−3k2+3k=−3k(k−1)≤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,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.