Maths Olympiad Prep

Library / IMO Hk TST /16 of 119

IMO Hk TST

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+d−4)4≥(a−1)(b−1)(c−1)(d−1)(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+b≥43\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 a≥b≥c≥da \ge b \ge c \ge d. Then a−1a≥b−1b≥c−1c≥d−1d\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(a⋅a−1a)≥14(∑cyca)(∑cyca−1a). \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
∑cyca−1a≥4(a−1)(b−1)(c−1)(d−1)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+d−4)≥(a+b+c+d)(a−1)(b−1)(c−1)(d−1)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+b≥43⇔a+b+c+da+b+c+a+b+c+db+c+d+a+b+c+dc+d+a+a+b+c+dd+a+b≥163⇔(a+b+c+d)∑cyc1a+b+c≥163⇔(∑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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.