Maths Olympiad Prep

Library / /18 of 136

Algebra Difficulty 7.5 National Olympiad, round 2 Prove it Hong Kong

Let aa, bb, cc and dd be positive real numbers, all larger than or equal to 11. Prove that

a. abcd(a+b+c+d4)4(a1)(b1)(c1)(d1)(a+b+c+d)4abcd(a+b+c+d-4)^4 \ge (a-1)(b-1)(c-1)(d-1)(a+b+c+d)^4,

b. da+b+c+ab+c+d+bc+d+a+cd+a+b43\dfrac{d}{a+b+c} + \dfrac{a}{b+c+d} + \dfrac{b}{c+d+a} + \dfrac{c}{d+a+b} \ge \dfrac{4}{3}.

Solution

a.
WLOG assume abcda \ge b \ge c \ge d. Then a1ab1bc1cd1d\dfrac{a-1}{a} \ge \dfrac{b-1}{b} \ge \dfrac{c-1}{c} \ge \dfrac{d-1}{d}. By Chebyshev's inequality, we have
cyc(aa1a)14(cyca)(cyca1a). \sum_{\text{cyc}} \left( a \cdot \frac{a-1}{a} \right) \ge \frac{1}{4} \left( \sum_{\text{cyc}} a \right) \left( \sum_{\text{cyc}} \frac{a-1}{a} \right).
Also, by the AM-GM inequality, we have
cyca1a4(a1)(b1)(c1)(d1)abcd4. \sum_{\text{cyc}} \frac{a-1}{a} \ge 4 \sqrt[4]{\frac{(a-1)(b-1)(c-1)(d-1)}{abcd}}.
Combining these, we obtain
(a+b+c+d4)(a+b+c+d)(a1)(b1)(c1)(d1)abcd4. (a+b+c+d-4) \ge (a+b+c+d) \sqrt[4]{\frac{(a-1)(b-1)(c-1)(d-1)}{abcd}}.
Raising both sides to the fourth power and rearranging the terms, we obtain the desired inequality. Equality holds when a=b=c=da = b = c = d.

b.
We have
da+b+c+ab+c+d+bc+d+a+cd+a+b43a+b+c+da+b+c+a+b+c+db+c+d+a+b+c+dc+d+a+a+b+c+dd+a+b163(a+b+c+d)cyc1a+b+c163(cyc(a+b+c))(cyc1a+b+c)16. \begin{align*} & \frac{d}{a+b+c} + \frac{a}{b+c+d} + \frac{b}{c+d+a} + \frac{c}{d+a+b} \ge \frac{4}{3} \\ \Leftrightarrow \quad & \frac{a+b+c+d}{a+b+c} + \frac{a+b+c+d}{b+c+d} + \frac{a+b+c+d}{c+d+a} + \frac{a+b+c+d}{d+a+b} \ge \frac{16}{3} \\ \Leftrightarrow \quad & (a+b+c+d) \sum_{\text{cyc}} \frac{1}{a+b+c} \ge \frac{16}{3} \\ \Leftrightarrow \quad & \left( \sum_{\text{cyc}} (a+b+c) \right) \left( \sum_{\text{cyc}} \frac{1}{a+b+c} \right) \ge 16. \end{align*}
This is obviously true by the Cauchy-Schwarz inequality. Equality holds when a=b=c=da = 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.