How prove this inequality $2a^ab^bc^cd^d\ge ac+bd$

If $a \neq c$, then look at what happens if we replace both $a$ and $c$ with $x = (a+c)/2$ :

$x^2 \ge x^2 - (\frac {a-c}2)^2 = ac$.

Since the function $x \mapsto x \log x$ is convex (its second derivative is $1/x$ which is positive), $\log(a^ac^c) = a \log a + c \log c \ge 2x \log x = \log (x^{2x})$.

Hence $2a^ab^bc^cd^d \ge 2x^xb^bx^xd^d$ , $x^2+bd \ge ac+bd$ , and we still have $x+b+x+d = a+b+c+d = 2$ so it is enough to prove the inequality when $a=c$ (and when $b=d$, for symmetry reasons).

So we are left with proving that if $x+y = 1$ then $2x^{2x}y^{2y} \ge x^2 + y^2$. Let $x = \frac {1+z}2$ and $y = \frac {1-z}2$. After simplifying, we have to prove that for $|z| < 1$, $(\frac{1+z}{1-z})^z \frac {1 - z^2}{1 + z^2} \ge 1$.

Taking logs, we have to show $z \log(1+z) - z \log(1-z) + \log(1-z^2) - \log(1+z^2) \ge 0$. Using $\log$'s power series at $1$, this is

$(2z^2 + 2z^4/3 + 2z^6/5 + 2z^8/7 + 2z^{10}/9 +\ldots) - (2z^2 + 2z^6/3 + 2z^{10}/5 + \ldots) \ge (2z^2 + 2z^6/3 + 2z^{10}/5 + 2z^{14}/7 + 2z^{18}/9 + \dots) - (2z^2 + 2z^6/3 + 2z^{10}/5 + \ldots) = 0$

There probably is something smarter to do instead, but this works.


This is only for proof of mercio's last inequality:

$f(x)=x\log{(1+x)}-x\log{(1-x)}+\log{(1-x^2)}-\log{(1+x^2)}$,

since $f(x)=f(-x)$, we only take $x\ge0$

now prove $f'(x)>0$:

$f'(x)=\log{\dfrac{1+x}{1-x}}-\dfrac{2x}{x^2+1}$

let $g(x)=\log{\dfrac{1+x}{1-x}}-2x, g'(x)=\dfrac{2x^2}{1-x^2}>0 \implies g(x)>0 \implies \log{\dfrac{1+x}{1-x}}>2x\ge\dfrac{2x}{x^2+1} \implies f'(x)>0 \implies f(x)\ge f(0)=0 $