Let d1,d2,…,dn be nonnegative real numbers satisfying 1≥d1≥⋯≥dn≥0. Prove n+1(1+d1+d2+⋯+dn)2≥2⋅nd12+2d22+⋯+ndn2.
Solution
Setting d0=1, we have jdj≤d0+d1+⋯+dj−1 for any 1≤j≤n. Hence j=1∑njdj2≤j=1∑ni=0∑j−1didj=0≤i<j≤n∑didj≤2(n+1)n(k=0∑ndk)2, where the last part follows from Maclaurin's inequality. Equality holds for d1=d2=⋯=dn=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.