Maths Olympiad Prep

Library / /419 of 520

Algebra Difficulty 7.3 National olympiad, round 2 Prove it

Example 6 Given a,b,c,d>0a, b, c, d > 0. Prove:
a3(a+b)(a+c)(a+d)12.\sum \frac{a^{3}}{(a+b)(a+c)(a+d)} \geqslant \frac{1}{2} .

Analysis: From the product in the denominator
(a+b)(a+c)(a+d)(a+b)(a+c)(a+d)

we think of the AM-GM inequality
xyz3x+y+z3.\sqrt[3]{x y z} \leqslant \frac{x+y+z}{3} .

Solution

Proof: Since the inequality is a homogeneous inequality, we can assume a+b+c+d=1a+b+c+d=1. Notice that
(a+b)(a+c)(a+d)[(a+b)+(a+c)+(a+d)3]3=(a+b+c+d3)3=(a+1a3)3=127(2a+1)3.\begin{array}{l} (a+b)(a+c)(a+d) \\ \leqslant\left[\frac{(a+b)+(a+c)+(a+d)}{3}\right]^{3} \\ =\left(a+\frac{b+c+d}{3}\right)^{3}=\left(a+\frac{1-a}{3}\right)^{3} \\ =\frac{1}{27}(2 a+1)^{3} . \end{array}

Therefore, a3(a+b)(a+c)(a+d)\frac{a^{3}}{(a+b)(a+c)(a+d)}
27a3(2a+1)3\geqslant \searrow \frac{27 a^{3}}{(2 a+1)^{3}}

Thus, to prove the original inequality, it suffices to prove
27a3(2a+1)312\sum \frac{27 a^{3}}{(2 a+1)^{3}} \geqslant \frac{1}{2}

Let f(x)=27x3(2x+1)3(0<x<1)f(x)=\frac{27 x^{3}}{(2 x+1)^{3}}(0<x<1).
It is easy to see that the tangent line equation of f(x)f(x) at x=14x=\frac{1}{4} is
g(x)=1×(x14)+18=x18.g(x)=1 \times\left(x-\frac{1}{4}\right)+\frac{1}{8}=x-\frac{1}{8} .

First, we prove: 27x3(2x+1)3x18(0<x<1)\frac{27 x^{3}}{(2 x+1)^{3}} \geqslant x-\frac{1}{8}(0<x<1).
Notice that
 Equation (1) 216x3(8x1)(2x+1)364x4128x3+36x2+2x10(4x1)2(4x26x1)0(4x1)2[2x(2x3)1]0.\begin{array}{l} \text { Equation (1) } \Leftrightarrow 216 x^{3} \geqslant(8 x-1)(2 x+1)^{3} \\ \Leftrightarrow 64 x^{4}-128 x^{3}+36 x^{2}+2 x-1 \leqslant 0 \\ \Leftrightarrow(4 x-1)^{2}\left(4 x^{2}-6 x-1\right) \leqslant 0 \\ \Leftrightarrow(4 x-1)^{2}[2 x(2 x-3)-1] \leqslant 0 . \end{array}

Since 2x3<02 x-3<0, the above inequality clearly holds. Therefore, Equation (1) is established.
 Hence 27a3(2a+1)3a181=118×4=12.\begin{array}{l} \text { Hence } \sum \frac{27 a^{3}}{(2 a+1)^{3}} \geqslant \sum a-\frac{1}{8} \sum 1 \\ =1-\frac{1}{8} \times 4=\frac{1}{2} . \end{array}

Therefore, the original inequality is proved.

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.