Maths Olympiad Prep

Library / /182 of 520

Algebra Difficulty 6.3 National olympiad Prove it

88. (Provided by Pham kim kung) Let a,b,c,dRa, b, c, d \in \overline{\mathbf{R}^{-}}, and a+b+c+d=4a+b+c+d=4, then
16+2abcd3(ab+ac+ad+bc+bd+cd)16+2 a b c d \geqslant 3(a b+a c+a d+b c+b d+c d)

Equality holds if and only if a=b=c=d=1a=b=c=d=1, or one of a,b,c,da, b, c, d is zero and the other three are equal to 43\frac{4}{3}.

Solution

88. Proof: Let
s1=a+b+c+ds2=ab+ac+ad+bc+bd+cds3=bcd+acd+abd+abcs4=abcd\begin{array}{c} s_{1}=a+b+c+d \\ s_{2}=a b+a c+a d+b c+b d+c d \\ s_{3}=b c d+a c d+a b d+a b c \\ s_{4}=a b c d \end{array}

Then the original inequality to prove is
s14+32s43s12s2s_{1}^{4}+32 s_{4} \geqslant 3 s_{1}^{2} s_{2}

Inequality (1) can be derived from the following:
s143s12s2+32s4=(s144s12s2+9s1s316s4)+(s12s24s22+3s1s3)+4(s223s1s3+12s4)0\begin{aligned} s_{1}^{4}-3 s_{1}^{2} s_{2}+32 s_{4}= & \left(s_{1}^{4}-4 s_{1}^{2} s_{2}+9 s_{1} s_{3}-16 s_{4}\right)+ \\ & \left(s_{1}^{2} s_{2}-4 s_{2}^{2}+3 s_{1} s_{3}\right)+4\left(s_{2}^{2}-3 s_{1} s_{3}+12 s_{4}\right) \geqslant \\ & 0 \end{aligned}

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.