Maths Olympiad Prep

Library / /3 of 10

Algebra Difficulty 4.7 AIME Prove it Mongolia

Let d1,d2,,dnd_1, d_2, \dots, d_n be nonnegative real numbers satisfying 1d1dn01 \ge d_1 \ge \dots \ge d_n \ge 0. Prove
(1+d1+d2++dn)2n+12d12+2d22++ndn2n. \frac{(1 + d_1 + d_2 + \dots + d_n)^2}{n + 1} \ge 2 \cdot \frac{d_1^2 + 2d_2^2 + \dots + n d_n^2}{n}.

Solution

Setting d0=1d_0 = 1, we have jdjd0+d1++dj1j d_j \le d_0 + d_1 + \dots + d_{j-1} for any 1jn1 \le j \le n. Hence
j=1njdj2j=1ni=0j1didj=0i<jndidjn2(n+1)(k=0ndk)2, \sum_{j=1}^{n} j d_j^2 \le \sum_{j=1}^{n} \sum_{i=0}^{j-1} d_i d_j = \sum_{0 \le i < j \le n} d_i d_j \le \frac{n}{2(n+1)} \left( \sum_{k=0}^{n} d_k \right)^2,
where the last part follows from Maclaurin's inequality. Equality holds for d1=d2==dn=1d_1 = d_2 = \dots = d_n = 1 only.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.