Maths Olympiad Prep

Library / /321 of 520

Algebra Difficulty 6.9 National olympiad Prove it

Example 1.14.4. Let a,b,c,da, b, c, d be non-negative real numbers with sum 1. Prove that
abc+bcd+cda+dab127+17627abcda b c + b c d + c d a + d a b \leq \frac{1}{27} + \frac{176}{27} a b c d

Solution

SOLUTION. In this problem, we fix a+b=ma+b=m and c+d=nc+d=n. Let x=abx=ab and y=cdy=cd then
abc+bcd+cda+dab12717627abcd=my+nx127176xy27=f(x,y) ab c + bc d + cd a + da b - \frac{1}{27} - \frac{176}{27} abcd = m y + n x - \frac{1}{27} - \frac{176 xy}{27} = f(x, y)
is a linear (convex) function in both xx and yy. It only reaches the maximum at boundary values, namely
maxf(x,y)=f(α,β);α{0,m24};β{0,n24} \max f(x, y) = f(\alpha, \beta) ; \alpha \in \left\{0, \frac{m^2}{4}\right\} ; \beta \in \left\{0, \frac{n^2}{4}\right\}

If α=m24\alpha = \frac{m^2}{4} and β=n24\beta = \frac{n^2}{4}, we have a=b,c=da=b, c=d. In this case, the problem becomes
2(a2c+c2a)127+176a2c227 2\left(a^2 c + c^2 a\right) \leq \frac{1}{27} + \frac{176 a^2 c^2}{27}
for all non-negative real numbers a,ca, c and a+c=12a + c = \frac{1}{2}. This inequality is equivalent to
176a2c2+127ac 176 a^2 c^2 + 1 \geq 27 a c
which is obviously true since ac116a c \leq \frac{1}{16}. The equality holds for a=b=c=d=14a = b = c = d = \frac{1}{4}. Otherwise, if αm24\alpha \neq \frac{m^2}{4} and βn24\beta \neq \frac{n^2}{4}, we must have mn=0mn = 0 or abcd=0abcd = 0. WLOG, assume that d=0d = 0, the inequality becomes abc127abc \leq \frac{1}{27} if a+b+c=1a + b + c = 1. This follows immediately from AM-GM inequality and attains equality for a=b=c=13a = b = c = \frac{1}{3}. We are done.

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.