Let x1,x2,x3 and x4 be positive real numbers. Prove the inequality: x2+x3x1+3x2+x3+x4x2+3x3+x4+x1x3+3x4+x1+x2x4+3x1≥8.
Solution — click to reveal
Let us denote L(x1,x2,x3,x4)=x2+x3x1+3x2+x3+x4x2+3x3+x4+x1x3+3x4+x1+x2x4+3x1. Notice that this function is cyclic, i.e. L(x1,x2,x3,x4)=L(x2,x3,x4,x1)=L(x3,x4,x1,x2)=L(x4,x1,x2,x3). Hence we can suppose that x1≥x3 and x4≥x2. We can also multiply all of the variables with a positive constant without changing its value, i.e. L(x1,x2,x3,x4)=L(c⋅x1,c⋅x2,c⋅x3,c⋅x4).
First we prove that L(u+v,0,u,1)≥8 for positive numbers u and v. Indeed L(u+v,0,u,1)=uu+v+u+13u+1+u+vu+3+u+v1+3u+3v=1+uv+3+u+1−3+1+1+u+v2−v+3+u+v1=8+uv−1+u+vv+u+1−3+1+u+v2+u+v1=8+u(1+u+v)v(1+v)+(u+1)(1+u+v)−2v+(u+1)(u+v)1−v=8+u(u+1)(1+u+v)v(1+v)+(u+1)(1+u+v)v(1+v)+(u+1)(1+u+v)−2v+(u+1)(u+v)1−v=8+u(u+1)(1+u+v)v(1+v)+(u+1)(1+u+v)v(v−1)+(u+1)(u+v)1−v≥8+(u+v)(u+1)(1+u+v)v(1+v)+(u+1)(1+u+v)(u+v)(v−1)(v(u+v)−(1+u+v))=8+(u+1)(1+u+v)(u+v)v(1+v)−(v−1)+(v−1)2(u+v)=8+(u+1)(1+u+v)(u+v)v2+1+(v−1)2(u+v)≥8. Also L(u,0,v,0)=vu+v3v+uv+u3u=3+(vu+uv)+3≥6+2⋅vu⋅uv=8. For a constant c we have: L(x1,x2,x3,x4)−L(x1+c,x2−c,x3+c,x4−c)=(x2+x3x1+3x2+x3+x4x2+3x3+x4+x1x3+3x4+x1+x2x4+3x1)−(x2+x3x1+c+3(x2−c)+x3+x4x2−c+3(x3+c)+x4+x1x3+c+3(x4−c)+x1+x2x4−c+3(x1+c))=x2+x32c−x3+x42c+x4+x12c−x1+x22c=2c((x2+x3)(x3+x4)x4−x2−(x4+x1)(x1+x2)x4−x2)=(x2+x3)(x3+x4)(x4+x1)(x1+x2)2c(x4−x2)((x4+x1)(x1+x2)−(x2+x3)(x3+x4))=(x2+x3)(x3+x4)(x4+x1)(x1+x2)2c(x4−x2)(x1(x1+x2+x4)+x2x4−x3(x3+x2+x4)−x2x4)=(x2+x3)(x3+x4)(x4+x1)(x1+x2)2c(x4−x2)(x1−x3)(x1+x3+x2+x4)= Now if x2=x4 and c=x2 we have L(x1,x2,x3,x4)=L(x1+x2,0,x3+x2,0)≥8.
Similarly for x4>x2 and c=x2 we have L(x1,x2,x3,x4)≥L(x1+x2,0,x3+x2,x4−x2). Using x1≥x3 we get x4−x2x1+x2≥x4−x2x3+x2 and L(x1+x2,0,x3+x2,x4−x2)=L(x4−x2x1+x2,0,x4−x2x3+x2,1)=L(u+v,0,u,1)≥8, where u=x4−x2x3+x2 and v=x4−x2x1−x3.
With this we proved that x2+x3x1+3x2+x3+x4x2+3x3+x4+x1x3+3x4+x1+x2x4+3x1≥8. for all positive real numbers x1,x2,x3 and x4.