Maths Olympiad Prep

Library / /384 of 520

Algebra Difficulty 6.9 National olympiad Prove it

26. (VIE 2) Let a,b,c,da, b, c, d be four nonnegative numbers satisfying a+b+c+d=a+b+c+d= 1. Prove the inequality
abc+bcd+cda+dab127+17627abcd a b c+b c d+c d a+d a b \leq \frac{1}{27}+\frac{176}{27} a b c d

Solution

26. Set f(a,b,c,d)=abc+bcd+cda+dab17627abcd=ab(c+d)+cd(a+b17627ab). \begin{aligned} f(a, b, c, d) & =a b c+b c d+c d a+d a b-\frac{176}{27} a b c d \\ & =a b(c+d)+c d\left(a+b-\frac{176}{27} a b\right) . \end{aligned} If a+b17627ab0a+b-\frac{176}{27} a b \leq 0, by the arithmetic-geometric inequality we have f(a,b,c,d)ab(c+d)127f(a, b, c, d) \leq a b(c+d) \leq \frac{1}{27}. On the other hand, if a+b17627ab>0a+b-\frac{176}{27} a b>0, the value of ff increases if c,dc, d are replaced by c+d2,c+d2\frac{c+d}{2}, \frac{c+d}{2}. Consider now the following fourtuplets: P0(a,b,c,d),P1(a,b,c+d2,c+d2),P2(a+b2,a+b2,c+d2,c+d2),P3(14,a+b2,c+d2,14),P4(14,14,14,14) \begin{gathered} P_{0}(a, b, c, d), P_{1}\left(a, b, \frac{c+d}{2}, \frac{c+d}{2}\right), P_{2}\left(\frac{a+b}{2}, \frac{a+b}{2}, \frac{c+d}{2}, \frac{c+d}{2}\right), \\ P_{3}\left(\frac{1}{4}, \frac{a+b}{2}, \frac{c+d}{2}, \frac{1}{4}\right), P_{4}\left(\frac{1}{4}, \frac{1}{4}, \frac{1}{4}, \frac{1}{4}\right) \end{gathered} From the above considerations we deduce that for i=0,1,2,3i=0,1,2,3 either f(Pi)f(Pi+1)f\left(P_{i}\right) \leq f\left(P_{i+1}\right), or directly f(Pi)1/27f\left(P_{i}\right) \leq 1 / 27. Since f(P4)=1/27f\left(P_{4}\right)=1 / 27, in every case we are led to f(a,b,c,d)=f(P0)127 f(a, b, c, d)=f\left(P_{0}\right) \leq \frac{1}{27} Equality occurs only in the cases (0,1/3,1/3,1/3)(0,1 / 3,1 / 3,1 / 3) (with permutations) and ( 1/4,1/4,1/4,1/4)1 / 4,1 / 4,1 / 4,1 / 4). Remark. Lagrange multipliers also work. On the boundary of the set one of the numbers a,b,c,da, b, c, d is 0 , and the inequality immediately follows, while for an extremum point in the interior, among a,b,c,da, b, c, d there are at most two distinct values, in which case one easily verifies the inequality.

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.