3
$\begingroup$

Let $a$, $b$, $c$ and $d$ be positive numbers. Prove that: $$\frac{a^2-bd}{b+2c+d}+\frac{b^2-ca}{c+2d+a}+\frac{c^2-db}{d+2a+b}+\frac{d^2-ac}{a+2b+c}\geq0$$

This inequality is a similar to the following inequality of three variables.

Let $a$, $b$ and $c$ be positive numbers. Prove that: $$\frac{a^2-bc}{b+c+2a}+\frac{b^2-ca}{c+a+2b}+\frac{c^2-ab}{a+b+2c}\geq0,$$ which we can prove by the following reasoning. $$\sum\limits_{cyc}\frac{a^2-bc}{b+c+2a}=\frac{1}{2}\sum\limits_{cyc}\frac{(a-b)(a+c)-(c-a)(a+b)}{b+c+2a}=$$ $$=\frac{1}{2}\sum_{cyc}(a-b)\left(\frac{a+c}{b+c+2a}-\frac{b+c}{c+a+2b}\right)=\frac{1}{2}\sum_{cyc}\frac{(a-b)^2}{(b+c+2a)(c+a+2b)}\geq0,$$ but this idea does not help for the starting inequality.

We can make the following. By Holder $$\sum_{cyc}\frac{a^2}{b+2c+d}=\sum_{cyc}\frac{a^3}{ab+2ac+ad}\geq\frac{(a+b+c+d)^3}{4\sum\limits_{cyc}(ab+2ac+ad)}=\frac{(a+b+c+d)^3}{8\sum\limits_{cyc}(ab+ac)}$$ and $$\sum_{cyc}\frac{bd}{b+2c+d}=2(a+b+c+d)\left(\frac{bd}{(b+2c+d)(d+2a+b)}+\frac{ac}{(a+2b+c)(c+2d+a)}\right).$$ Thus, it remains to prove that $$\frac{(a+b+c+d)^2}{16\sum\limits_{cyc}(ab+ac)}\geq\frac{bd}{(b+2c+d)(d+2a+b)}+\frac{ac}{(a+2b+c)(c+2d+a)}$$ and I don't see, what is the rest.

1 Answers 1

4

The following quantity is clearly positive \begin{eqnarray*} ((2(d^3+b^3)+8bd(b+d))(b-d)^2+(2(a^3+c^3)+8ca(c+a))(c-a)^2)+ ((a+c)(5(d^2+b^2)(b-d)^2+12bd(b-d)^2)+(b+d)(5(a^2+c^2)(a-c)^2+12ac(a-c)^2))+ 2((b^3+d^3)(a-c)^2+(a^3+c^3)(b-d)^2)+ 14(bd(a+c)(a-c)^2+ac(b+d)(b-d)^2) \end{eqnarray*} After doing some algebra, this is the same as \begin{eqnarray*} (a^2-bd)(c+2d+a)(d+2a+b)(a+2b+c)+(b^2-ca)(d+2a+b)(a+2b+c)(b+2c+d)+(c^2-db)(a+2b+c)(b+2c+d)(c+2d+a)+(d^2-ac)(b+2c+d)(c+2d+a)(d+2a+b) \geq 0 \end{eqnarray*} Now divide by $(c+2d+a)(d+2a+b)(a+2b+c)(b+2c+d)$ and the result follows.

(a^2-b*d)*(c+2*d+a)*(d+2*a+b)*(a+2*b+c)+(b^2-c*a)*(d+2*a+b)*(a+2*b+c)*(b+2*c+d)+(c^2-d*b)*(a+2*b+c)*(b+2*c+d)*(c+2*d+a)+(d^2-a*c)*(b+2*c+d)*(c+2*d+a)*(d+2*a+b)-(((2*(d^3+b^3)+8*b*d*(b+d))*(b-d)^2+(2*(a^3+c^3)+8*c*a*(c+a))*(c-a)^2)+((a+c)*(5*(d^2+b^2)*(b-d)^2+12*b*d*(b-d)^2)+(b+d)*(5*(a^2+c^2)*(a-c)^2+12*a*c*(a-c)^2))+2*((b^3+d^3)*(a-c)^2+(a^3+c^3)*(b-d)^2)+14*(b*d*(a+c)*(a-c)^2+a*c*(b+d)*(b-d)^2));

The above computer algebra can be copied & pasted into reduce & serves as justification for the above claim.

The above solution does not use any well known theorems or tricks. I am sure that more elegant solutions exist & We would be interested to see them.

  • 0
    Woah. How did you come up with the first quantity? That's work on a humongous level! – 2017-05-15
  • 1
    @Lohith-kumar I like to call this the "brute force" method for showing inequalities. If you look in the copy & paste box, the first half is what we are aiming to show (rearranged a bit) & the second half is the what I think you refer to as the "first quantity". This is formed by subtracting the "largest monomials" times squares of "special combinations", you then look carefully at what is left & subtract the next largest monomial ... keep doing this until you hit zero (If you are lucky). Largest m $a^{x} b^{y} c^{z}$ ... largest $x$; special quantity = sum of its coefficients is zero. – 2017-05-19