AlgebraDifficulty 7.5National Olympiad, round 2Prove itHong Kong
Let a, b, c and d be positive real numbers, all larger than or equal to 1. Prove that
a. abcd(a+b+c+d−4)4≥(a−1)(b−1)(c−1)(d−1)(a+b+c+d)4,
b. a+b+cd+b+c+da+c+d+ab+d+a+bc≥34.
Solution
a. WLOG assume a≥b≥c≥d. Then aa−1≥bb−1≥cc−1≥dd−1. By Chebyshev's inequality, we have cyc∑(a⋅aa−1)≥41(cyc∑a)(cyc∑aa−1). Also, by the AM-GM inequality, we have cyc∑aa−1≥44abcd(a−1)(b−1)(c−1)(d−1). Combining these, we obtain (a+b+c+d−4)≥(a+b+c+d)4abcd(a−1)(b−1)(c−1)(d−1). Raising both sides to the fourth power and rearranging the terms, we obtain the desired inequality. Equality holds when a=b=c=d.
b. We have ⇔⇔⇔a+b+cd+b+c+da+c+d+ab+d+a+bc≥34a+b+ca+b+c+d+b+c+da+b+c+d+c+d+aa+b+c+d+d+a+ba+b+c+d≥316(a+b+c+d)cyc∑a+b+c1≥316(cyc∑(a+b+c))(cyc∑a+b+c1)≥16. This is obviously true by the Cauchy-Schwarz inequality. Equality holds when a=b=c=d.
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.