Let a, b, c, d be nonnegative real numbers satisfying a+b+c+d=100. Prove that: 3b+7a+3c+7b+3d+7c+3a+7d≤378
Solutions — 2
Solution 1
Let S=3b+7a+3c+7b+3d+7c+3a+7d Assume that x, y, z, t is a permutation of the variables, with x≤y≤z≤t. Then, by the rearrangement inequality, S≤(3t+7x+3x+7t)+(3z+7y+3y+7z).
Claim. The first bracket above does not exceed 37x+t+14 Proof. Since X3+Y3+3XYZ−Z3=21(X+Y−Z)((X−Y)2+(X+Z)2+(Y+Z)2), the inequality X+Y≤Z is equivalent (when X, Y, Z≥0) to X3+Y3+3XYZ≤Z3. Therefore, the claim is equivalent to t+7x+x+7t+337(x+7)(t+7)xt(x+t+14)≤7x+t+14.
Notice that 337(x+7)(t+7)xt(x+t+14)=337(t+7)t(x+7)⋅7(x+7)x(t+7)⋅(t+7)(x+7)7(x+t+14)≤7(t+7)t(x+7)⋅7(x+7)x(t+7)⋅(t+7)(x+7)7(x+t+14) by the AM-GM inequality, so it suffices to prove t+7x+x+7t+7(t+7)t(x+7)+7(x+7)x(t+7)+(t+7)(x+7)7(x+t+14)≤7x+t+14. A straightforward check verifies that the last inequality is in fact an equality. □
The claim leads now to S≤37x+t+14+37y+z+14≤2314x+y+z+t+28=378, the last inequality being due to the AM-GM inequality (or to the fact that 3 is concave on [0,∞)).
Solution 2
Start by using Hölder's inequality: S3=(cyc∑3b+76a⋅6a)3≤cyc∑(6a)3⋅cyc∑(6a)3⋅cyc∑(3b+71)3=(cyc∑a)2cyc∑b+71.
Notice that x2+7(x−1)2(x−7)2≥0⇔x2−16x+71≥x2+7448 yields ∑b+71≤4481∑(b−16b+71)=4481(384−16∑b)=5648−2∑b. Finally, S3≤561(∑a)2(48−2∑a)≤561(3∑a+∑a+(48−2a))3=7512 by the AM-GM inequality. The conclusions follows.
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 translated into English from the original; metadata (topic, difficulty) added by this project.