Maths Olympiad Prep

Library / /174 of 520

Algebra Difficulty 6.3 National olympiad Prove it

Example 8 Let a,b,c,d0a, b, c, d \geqslant 0, and a+b+c+d=1a+b+c+d=1, prove that: bcd+cda+dab+abc127+17627abcdb c d+c d a+d a b+a b c \leqslant \frac{1}{27}+\frac{176}{27} a b c d.

Solution

Prove that if d=0d=0, then abc127a b c \leqslant \frac{1}{27}, the inequality is obviously true. If a,b,c,d>0a, b, c, d>0, we only need to prove:

Let
f(a,b,c,d)=cyc1a1271abcd17627f(a, b, c, d)=\sum_{c y c} \frac{1}{a}-\frac{1}{27} \frac{1}{a b c d} \leqslant \frac{176}{27}

Then
a14b,a=14,b=a+b14a \leqslant \frac{1}{4} \leqslant b, a^{\prime}=\frac{1}{4}, b^{\prime}=a+b-\frac{1}{4}
a+b=a+b,abab.a+b=a^{\prime}+b^{\prime}, a^{\prime} b^{\prime} \geqslant a b .

Thus
f(a,b,c,d)f(a,b,c,d)=(1a+1b1a1b)1271cd(1ab1ab)=abababab(a+b)(11271cd(a+b))abababab(a+b)[1127(a+b+c+d3)3]=0\begin{aligned} & f(a, b, c, d)-f\left(a^{\prime}, b^{\prime}, c, d\right) \\ = & \left(\frac{1}{a}+\frac{1}{b}-\frac{1}{a}-\frac{1}{b^{\prime}}\right)-\frac{1}{27} \cdot \frac{1}{c d} \cdot\left(\frac{1}{a b}-\frac{1}{a^{\prime} b^{\prime}}\right) \\ = & \frac{a^{\prime} b^{\prime}-a b}{a b a^{\prime} b^{\prime}}(a+b)\left(1-\frac{1}{27} \frac{1}{c d(a+b)}\right) \\ \leqslant & \frac{a^{\prime} b^{\prime}-a b}{a b a^{\prime} b^{\prime}}(a+b)\left[1-\frac{1}{27} \cdot\left(\frac{a+b+c+d}{3}\right)^{-3}\right] \\ = & 0 \end{aligned}

Therefore
f(a,b,c,d)f(a,b,c,d)f(a, b, c, d) \leqslant f\left(a^{\prime}, b^{\prime}, c, d\right)

After at most two more smoothing transformations, we get
f(a,b,c,d)f(14,a+b14,c,d)f(14,14,a+b+c12,d)f(14,14,14,14)=17627\begin{aligned} f(a, b, c, d) & \leqslant f\left(\frac{1}{4}, a+b-\frac{1}{4}, c, d\right) \\ & \leqslant f\left(\frac{1}{4}, \frac{1}{4}, a+b+c-\frac{1}{2}, d\right) \\ & \leqslant f\left(\frac{1}{4}, \frac{1}{4}, \frac{1}{4}, \frac{1}{4}\right)=\frac{176}{27} \end{aligned}

Thus the original inequality holds.

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.