How to prove $\frac{1}{4}(\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{d}+\frac{d^2}{a})\ge \sqrt[4]{\frac{a^4+b^4+c^4+d^4}{4}}$ Let $a,b,c,d>0$, show that
$$\dfrac{1}{4}\left(\dfrac{a^2}{b}+\dfrac{b^2}{c}+\dfrac{c^2}{d}+\dfrac{d^2}{a}\right)\ge \sqrt[4]{\dfrac{a^4+b^4+c^4+d^4}{4}}$$
I know this is interesting inequality,and Mathlinks can't solution,Thank you for you help
also can see this:http://www.artofproblemsolving.com/Forum/viewtopic.php?f=51&t=595079
today,when I see this secrets in inequalitys Volume 1,(Pham kim Hung) page 205
let $a,b,c,d>0$ prove that
$$\sum_{cyc}\dfrac{a^2}{b}\ge 2\sqrt{2}\sqrt[4]{a^4+b^4+c^4+d^4}$$
I can't prove it,can you help me? Thank you
 A: The above answer by  johannesvalks "is not yet completed", as johannesvalks himself points out. Here is a new answer without calculus.
Rewrite the question as follows:  Show that 
$$
f = (a b c d)^4\left(\dfrac{a^2}{b}+\dfrac{b^2}{c}+\dfrac{c^2}{d}+\dfrac{d^2}{a}\right)^4 - 64 (a b c d)^4\left({{a^4+b^4+c^4+d^4}}\right) \ge 0 
$$
Due to cyclicity, we can demand that $d = \min\{a,b,c,d\}$. Due to homogeneity, we can demand that $d=1$. Hence we need to show 
$$
f = \left(a^3c+ab^3 + abc^3 + bc\right)^4 - 64 (a b c)^4\left({{a^4+b^4+c^4+1}}\right) \ge 0 
$$
Now this has become an inhomogeneous polynomial of degree 20. 
We now distinguish cases for $a,b,c$. As $1 = d = \min\{a,b,c,d\}$, we write $a = 1+A$, $b = 1+B$, $c = 1+C$, with $A,B,C \ge 0$. Indeed, we are not going to use  $A,B,C$. When doing so, and fully expanding (by computer) $f$, we obtain terms with negative sign, which (without further processing) makes the result inconclusive.
Remark: "Standard" Buffalo Way doesn't succeed here, since we have to construct all 6 cases of the ordering of $A,B,C$. In the two cases where we let $a=1+x$; $c = 1+x+y$; $b=1+x+y+z$, and $c=1+x$; $a = 1+x+y$; $b=1+x+y+z$, with $x,y,z \ge 0$, we obtain after fully expanding (by computer) $f$,  terms with negative sign.
Instead, we consider the following 4 cases:
Case 1: $A<B+C$; $B<A+C$; $C<A+B$. Visually, these three conditions  are met if $A,B,C$ are "similar" in value. In this case, we can write $A = x+y$, $B= y+z$, $C= x+z$, with $x,y,z \ge 0$. This is possible, since $x = \frac{A+C-B}{2}$, and cyclically for $y,z$. Inserting $a = 1 + x+y$ etc. into $f$ and fully expanding (by computer) gives the expression $f_1$ in  the appendix below, which clearly is nonnegative since all terms have positive sign.
Further cases: Note that for $A,B,C \ge 0$, only one of the conditions $A<B+C$; $B<A+C$; $C<A+B$ can be violated. Proof: suppose the first two conditions indeed are reverted to $A \ge B +C$ and  $B\ge A+C$; then we add these two conditions and have $C \le 0$ which is a contradiction. The same argument holds cyclically. Hence we only need to consider one reverted inequality in $A,B,C$ (3 more cases). This covers all possible cases.
Case 2:  Visually, this condition is met  if $a$ is "largest" in value.   $A \ge B +C$; $B<A+C$; $C<A+B$. Writing $B=x$; $C = y$; $A = x+y+z$, with $x,y,z \ge 0$, satisfies these conditions.   Inserting $a = 1 + x+y+z$, $b = 1 + x$, $c = 1 + y$ into $f$ and fully expanding (by computer) gives the expression $f_2$ in  the appendix below, which clearly is nonnegative since all terms have positive sign.
Case 3: As case 2, with $b$ the largest value. Inserting $b = 1 + x+y+z$ etc. into $f$ and fully expanding (by computer) gives the expression $f_3$ in  the appendix below, which clearly is nonnegative since all terms have positive sign.
Case 4: As case 2, with $c$ the largest value. Inserting $c = 1 + x+y+z$ etc. into $f$ and fully expanding (by computer) gives the expression $f_4$ in  the appendix below, which clearly is nonnegative since all terms have positive sign.
This proves the claim. $\qquad \Box$ 

Appendix:
The four cases are given as a diary file from MATLAB (The "*"s have been removed). The diary comes as files, as the number of letters exceeds the limit allowed to be put in directly as text. MATLAB diary allows to re-perform the calculations, if wished. Obviously, the results are VERY lengthy, however the relevant fact to notice is that there are no terms with negative signs in the expanded versions of $f_1, f_2, f_3, f_4$, which can safely be verified by actually searching the files for minus signs (and not finding any in the expanded versions). 
























