Olympiad Maths Prep

Track / Stage 7 / 88 of 300 #1488 of 2000

Problem 1488

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.2 Prove it

Example 7.5 (2006 China National Team Training Problem) Given abcd>0a \geqslant b \geqslant c \geqslant d>0, prove that
(1+ca+b)(1+db+c)(1+ac+d)(1+bd+a)(32)\left(1+\frac{c}{a+b}\right)\left(1+\frac{d}{b+c}\right)\left(1+\frac{a}{c+d}\right)\left(1+\frac{b}{d+a}\right) \geqslant\left(\frac{3}{2}\right)

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Considering the equality holds for a=b=c=da=b=c=d, we try to reduce dimensions, bringing aa closer to bb and cc closer to dd.
(a+b+c)(a+c+d)(a+b+d)(a+b)(a+d)b+c+d(b+c)(c+d)(32)4\Leftrightarrow \frac{(a+b+c)(a+c+d)(a+b+d)}{(a+b)(a+d)} \cdot \frac{b+c+d}{(b+c)(c+d)} \geqslant\left(\frac{3}{2}\right)^{4}

Fix b,c,db, c, d, and let
f(a)=(a+b+c)(a+c+d)(a+b+d)(a+b)(a+d)f(a)=[cyc(a+b+c)(a+b+d)(c+d)](a+b)(a+d)[(a+b)(a+d)]2[b(a+d)+d(a+b)](a+b+c)(a+c+d)(a+b+d)[(a+b)(a+d)]2=g(a)[(a+b)(a+d)]2g(a)=(a+b)(a+c+d)(a+b+d)[(a+d)(b+c)d(a+b+c)]+(a+d)(a+b+c)(a+c+d)[(a+b)(a+d)b(a+b+d)]+(a+b)(a+d)(c+d)(a+b+c)(a+b+d)>0\begin{array}{l} f(a)=\frac{(a+b+c)(a+c+d)(a+b+d)}{(a+b)(a+d)} \\ f^{\prime}(a)=\frac{\left[\sum_{c y c}(a+b+c)(a+b+d)(c+d)\right](a+b)(a+d)}{[(a+b)(a+d)]^{2}}- \\ \frac{[b(a+d)+d(a+b)](a+b+c)(a+c+d)(a+b+d)}{[(a+b)(a+d)]^{2}}= \\ \frac{g(a)}{[(a+b)(a+d)]^{2}} \\ g(a)=(a+b)(a+c+d)(a+b+d)[(a+d)(b+c)-d(a+b+c)]+ \\ (a+d)(a+b+c)(a+c+d)[(a+b)(a+d)-b(a+b+d)]+ \\ (a+b)(a+d)(c+d)(a+b+c)(a+b+d)>0 \end{array}

Thus, f(a)>0f^{\prime}(a)>0, so f(a)min =f(b)f(a)_{\text {min }}=f(b).
Similarly, we get f(c)min =f(d)f(c)_{\text {min }}=f(d).
Therefore, we only need to prove
2b+d2bb+2db+db+2d2d2b+db+d(32)4(2b+d)(b+2d)bd(b+d)924b2+4d2+10bd9b32d12+9d32b12\begin{array}{l} \frac{2 b+d}{2 b} \cdot \frac{b+2 d}{b+d} \cdot \frac{b+2 d}{2 d} \cdot \frac{2 b+d}{b+d} \geqslant\left(\frac{3}{2}\right)^{4} \Leftrightarrow \\ \frac{(2 b+d)(b+2 d)}{\sqrt{b d}(b+d)} \geqslant \frac{9}{2} \Leftrightarrow \\ 4 b^{2}+4 d^{2}+10 b d \geqslant 9 b^{\frac{3}{2}} d^{\frac{1}{2}}+9 d^{\frac{3}{2}} b^{\frac{1}{2}} \end{array}

Also, since
(b12d12)40b2+d2+6bd4(b32d12+d32b12)4b2+4d2+10bd16(b32d12+d32b12)14bd9b32d12+9d32b12\begin{array}{l} \left(b^{\frac{1}{2}}-d^{\frac{1}{2}}\right)^{4} \geqslant 0 \Leftrightarrow b^{2}+d^{2}+6 b d \geqslant 4\left(b^{\frac{3}{2}} d^{\frac{1}{2}}+d^{\frac{3}{2}} b^{\frac{1}{2}}\right) \Rightarrow \\ 4 b^{2}+4 d^{2}+10 b d \geqslant 16\left(b^{\frac{3}{2}} d^{\frac{1}{2}}+d^{\frac{3}{2}} b^{\frac{1}{2}}\right)-14 b d \geqslant \\ 9 b^{\frac{3}{2}} d^{\frac{1}{2}}+9 d^{\frac{3}{2}} b^{\frac{1}{2}} \end{array}

Thus, the proposition is proved!

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.