Prove $\frac{xy}{5y^3+4}+\frac{yz}{5z^3+4}+\frac{zx}{5x^3+4} \leqslant \frac13$

Solution 1:

We can use the BW ( http://www.artofproblemsolving.com/community/c6h522084 )

We need to prove that $$\frac{1}{27(x+y+z)}\geq\sum\limits_{cyc}\frac{xy}{135y^3+4(x+y+z)^3}$$

1. $x\leq y\leq z$, $y=x+u$, $z=x+u+v$.

Hence, $$27(x+y+z)\prod\limits_{cyc}(135x^3+4(x+y+z)^3)\left(\frac{1}{27(x+y+z)}-\sum\limits_{cyc}\frac{xy}{135y^3+4(x+y+z)^3}\right)=$$ $$=708588(u^2+uv+v^2)x^7+19683(263u^3+462u^2v+177uv^2-11v^3)x^6+$$ $$+39366(413u^4+961u^3v+603u^2v^2+55uv^3+2v^4)x^5+$$ $$+10935(2534u^5+7253u^4v+7007u^3v^2+2650u^2v^3+496uv^4+67v^5)x^4+$$ $$+1215(22600u^6+77007u^5v+99132u^4v^2+61585u^3v^3+21201u^2v^4+4341uv^5+388v^6)x^3+$$ $$+243(64879u^7+257249u^6v+406614u^5v^2+334330u^4v^3+161315u^3v^4+48417u^2v^5+8572uv^6+692v^7)x^2+$$ $$+27(2u+v)(89479u^7+360224u^6v+570894u^5v^2+463900u^4v^3+221075u^3v^4+67872u^2v^5+12872uv^6+1172v^7)x+$$ $$4(2u+v)^3(18871u^6+67548u^5v+87702u^4v^2+51889u^3v^3+17808u^2v^4+4944uv^5+556v^6)\geq$$ $$\geq708588v^2x^7-19683\cdot11v^3x^6+39366\cdot2v^4x^5\geq0$$

2. $x\leq z\le y$, $y=x+u+v$, $z=x+v$.

Hence, $$27(x+y+z)\prod\limits_{cyc}(135x^3+4(x+y+z)^3)\left(\frac{1}{27(x+y+z)}-\sum\limits_{cyc}\frac{xy}{135y^3+4(x+y+z)^3}\right)=$$ $$=708588(u^2+uv+v^2)x^7+19683(-11u^3+42u^2v+327uv^2+263v^3)x^6+$$ $$+39366(2u^4-80u^3v+198u^2v^2+691uv^3+413v^4)x^5+$$ $$+10935(67u^5-125u^4v+193u^3v^2+3335u^2v^3+5417uv^4+2534v^5)x^4+$$ $$+1215(388u^6+399u^5v+168u^4v^2+16873u^3v^3+54097u^2v^4+58593uv^5+22600v^6)x^3+$$ $$+243(692u^7+2092u^6v-588u^5v^2+15920u^4v^3+110770u^3v^4+225579u^2v^5+196904uv^6+64879v^7)x^2+$$ $$+27(u+2v)(1172u^7+4252u^6v-3408u^5v^2+1700u^4v^3+118975u^3v^4+288609u^2v^5+266129uv^6+89479v^7)x+$$ $$4(u+2v)^3(556u^6+1299u^5v-4062u^4v^2+859u^3v^3+33027u^2v^4+45678uv^5+18871v^6)\geq$$ $$\geq708588u^2x^7+19683(-11)u^3x^6+39366(-4)u^4x^5+10935\cdot60u^5x^4\geq0$$

Done!

Solution 2:

Better a numerical / graphical solution than having no answer at all, I suppose?
Conditions similar to $\;x+y+z=3\;$ often occur in these inequalities, explicitly or implicitly.
(We shall see an example of the latter as well, later) Such conditions always have a geometrical interpretation, with a triangle, as is shown below.

So-called area coordinates $(x,y,z)$ in the (rectangular & isosceles) triangle are defined as follows: $$ x/3 = \frac{\Delta APC}{\Delta ABC} \quad ; \quad y/3 = \frac{\Delta BPA}{\Delta ABC} \quad ; \quad z/3 = \frac{\Delta CPB}{\Delta ABC} $$ The $x$ and $y$ area-coordinates conform to the common Cartesian coordinates in this case, but the $z$ coordinate is different.

So far so good about the additional condition.
Solve $\,z\,$ therefrom and substitute the result $\,z=3-x-y\,$ into the inequality, giving: $$ f(x,y) = \frac{xy}{5y^3+4}+\frac{yz}{5z^3+4}+\frac{zx}{5x^3+4} \leqslant \frac13 $$ Not a formal proof is attempted again by plotting a contour map of the function, as depicted. Levels (nivo) of these isolines are defined (in Delphi Pascal) as:

nivo := min + sqrt(g/grens)*(max-min); { grens = 10 ; g = 1..grens }

 4.87041188016219E-0003 < f < 3.33333101070422E-0001