AlgebraDifficulty 7.0National olympiad, round 2Prove it
Example 2.7 Positive real numbers a,b,c,d satisfy abcd=1,a,b,c,d=31, prove (3a−1)21+(3b−1)21+(3c−1)21+(3d−1)21⩾1
Solution
Proof: Let f(a,b,c,d)=(3a−1)21+(3b−1)21+(3c−1)21+(3d−1)21
If min{a,b,c,d}>31, then by the AM - GM inequality we have f(a,b,c,d)−f(ad,b,c,ad)⩾(3a−1)(3d−1)2−(3ad−1)22=(3a−1)(3d−1)(3ad−1)22(3a+3d−6ad)⩾0
Similarly, f(ad,b,c,ad)⩾f(ad,bc,bc,ad)
Let ad=x, then bc=x1, and using the AM - GM inequality again we have f(ad,bc,bc,ad)=(3x−1)22+(x3−1)22⩾(3x−1)(x3−1)4=10−3x−x34⩾1
Thus the proposition is proved. If min{a,b,c,d}<31, without loss of generality, let a=min{a,b,c,d}. Notice that (3a−1)21⩾1⇔a(9a−6)⩽0⇔0⩽a⩽32
That is, the inequality also holds in this case, so the original inequality is proved. Sometimes it is not necessary to adjust the variables to be equal or to zero; the adjustment target may be the average of all variables.
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: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.