<s>[INST] Question about an inequality which seems right but not easy to prove The origin problem is as follows:
let $a,b,c,d$ are positive real numbers,and $a+b+c+d=4$
prove:$$\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{d}+\frac{d^2}{a}\geq 4+\frac{1}{4}[(a−b)^2+(b−c)^2+(c−d)^2+(d−a)^2]$$
The solution is easy enough, which is to plug $4 = a+b+c+d $ into to $RHS$ and then move it to $LHS$, notice:
$$[\frac{(a-b)^2}{b}+\frac{(b-c)^2}{c}+\frac{(c-d)^2}{d}+\frac{(d-a)^2}{a}](a+b+c+d) \geq [(a−b)^2+(b−c)^2+(c−d)^2+(d−a)^2]$$
which would finally lead to the proof of the problem.
However, when I tried to solve the problem, I applied the Lagrange identical equation to the $RHS$ of the inequality, then I left out some quadratic term which finally leads to the inequality:
$$\color{Blue}{\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{d}+\frac{d^2}{a}\geq a^2+b^2+c^2+d^2}$$
Which seems quite right, but I'm not really sure if it is. However, numerical tests imply that it is right. But I'm still not sure.
That stuff is kind of like Chebyshev inequality but it can't be directly used here.
From another point of view, my question is whether the following strengthening　of the origin inequality is right or not:
let $a,b,c,d$ are positive real numbers,and $a+b+c+d=4$
then:$$\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{d}+\frac{d^2}{a}\geq 4+\frac{1}{4}[(a−b)^2+(b−c)^2+(c−d)^2+(d−a)^2+(a-c)^2+(b-d)^2]$$
 [/INST] $\sum\limits_{cyc}\frac{a^2}{b}-4=\sum\limits_{cyc}\left(\frac{a^2}{b}-2a+b\right)=\sum\limits_{cyc}\frac{(a-b)^2}{b}\geq\frac{\left(\sum\limits_{cyc}|a-b|\right)^2}{4}\geq\frac{1}{4}\sum\limits_{cyc}(a-b)^2$
</s>