Example 5.1.5 Let x1,x2,⋯,xn be real numbers, satisfying x1≥x2≥⋯≥xn≥xn+1=0, prove the following inequality x1+x2+⋯+xn≤∑i=1ni(xi−xi+1) (Romania MO and Singapore MO)
This one wants a proof. Work it on paper, read the official solution, then mark
yourself honestly — the ladder only means something if the record is true.
Official solution
Prove: Let ci=i−i−1,ai=xi, then the inequality becomes (a1c1+a2c2+⋯+ancn)2≥a12+a22+⋯+an2
Assume b1,b2,⋯,bn are positive numbers, and satisfy b12+b22+⋯+bn2=1 and (∑i=1nai2)(∑i=1nbi2)=(∑i=1naibi)2 (sequences (a1,a2,⋯,an) and (b1,b2,⋯,bn) are proportional). We only need to prove a1c1+a2c2+⋯+ancn≥a1b1+a2b2+⋯+anbn
By Abel's formula, the above inequality can be transformed into ∑i=1nai(ci−bi)≥0⇔(a1−a2)(c1−b1)+(a2−a3)(c1+c2−b1−b2)+⋯+(an−1−an)(∑i=1n−1ai−∑i=1n−1bi)+an(∑i=1nai−∑i=1nbi)≥0
This is valid, because for k=1,2,⋯,n, we have i=1∑kci−i=1∑kbi=k−i=1∑kbi≥k−k(i=1∑kbi2)≥0
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.