# Thread:

1. ## An algebric inequality

For $x,y,z>0$, prove
$x^{5}+y^{5}+z^{5}\leq x^{5}\sqrt{\frac{x^{2}}{yz}}+y^{5}\sqrt{\frac{y^{2 }}{xz}}+z^{5}\sqrt{\frac{z^{2}}{xy}}.$

thanks.

2. Originally Posted by bkarpuz
For $x,y,z>0$, prove
$x^{5}+y^{5}+z^{5}\geq x^{5}\sqrt{\frac{x^{2}}{yz}}+y^{5}\sqrt{\frac{y^{2 }}{xz}}+z^{5}\sqrt{\frac{z^{2}}{xy}}.$

thanks.
the inequality in this form is not true for all positive reals x, y, z, because it fails if you put z = 1, x = y, and then let x go to infinity! are you sure it's not $\leq$ instead of $\geq$ ?

3. Originally Posted by NonCommAlg
the inequality in this form is not true for all positive reals x, y, z, because it fails if you put z = 1, x = y, and then let x go to infinity! are you sure it's not $\leq$ instead of $\geq$ ?
I correct it now.

4. Originally Posted by bkarpuz
For $x,y,z>0$, prove
$x^{5}+y^{5}+z^{5}\leq x^{5}\sqrt{\frac{x^{2}}{yz}}+y^{5}\sqrt{\frac{y^{2 }}{xz}}+z^{5}\sqrt{\frac{z^{2}}{xy}}.$

thanks.
because of symmetry, we may assume that $x \leq y \leq z.$ then obviously: $\sqrt{\frac{x^{2}}{yz}} \leq \sqrt{\frac{y^{2}}{xz}} \leq \sqrt{\frac{z^{2}}{xy}}.$ hence by Chebyshev's inequality we'll have:

$x^{5}\sqrt{\frac{x^{2}}{yz}}+y^{5}\sqrt{\frac{y^{2 }}{xz}}+z^{5}\sqrt{\frac{z^{2}}{xy}} \geq \frac{1}{3}(x^5 + y^5 + z^5) \left(\sqrt{\frac{x^{2}}{yz}}+\sqrt{\frac{y^{2}}{x z}}+\sqrt{\frac{z^{2}}{xy}} \right).$ but by AM-GM we have: $\sqrt{\frac{x^{2}}{yz}}+\sqrt{\frac{y^{2}}{xz}}+\s qrt{\frac{z^{2}}{xy}} \geq 3. \ \ \ \ \ \Box$

imagine how many inequalities you can create using only Chebyshev's inequality + AM-GM inequality! i guess i'm back to high school again!

5. Originally Posted by NonCommAlg
because of symmetry, we may assume that $x \leq y \leq z.$ then obviously: $\sqrt{\frac{x^{2}}{yz}} \leq \sqrt{\frac{y^{2}}{xz}} \leq \sqrt{\frac{z^{2}}{xy}}.$ hence by Chebyshev's inequality we'll have:

$x^{5}\sqrt{\frac{x^{2}}{yz}}+y^{5}\sqrt{\frac{y^{2 }}{xz}}+z^{5}\sqrt{\frac{z^{2}}{xy}} \geq \frac{1}{3}(x^5 + y^5 + z^5) \left(\sqrt{\frac{x^{2}}{yz}}+\sqrt{\frac{y^{2}}{x z}}+\sqrt{\frac{z^{2}}{xy}} \right).$ but by AM-GM we have: $\sqrt{\frac{x^{2}}{yz}}+\sqrt{\frac{y^{2}}{xz}}+\s qrt{\frac{z^{2}}{xy}} \geq 3. \ \ \ \ \ \Box$

imagine how many inequalities you can create using only Chebyshev's inequality + AM-GM inequality! i guess i'm back to high school again!
I was thinking of a different solution.
I know that this inequality can be shown by special inequalities, the first one dropped in my mind was Muirhead's inequality (again because of the symmetry), which you may find in Muirhead's inequality - Wikipedia, the free encyclopedia.
If there is any other solutions, I would like to see.

Thanks NonCommAlg.

6. Originally Posted by bkarpuz
I was thinking of a different solution.
I know that this inequality can be shown by special inequalities, the first one dropped in my mind was Muirhead's inequality (again because of the symmetry), which you may find in Muirhead's inequality - Wikipedia, the free encyclopedia.
If there is any other solutions, I would like to see.

Thanks NonCommAlg.
when i was a high school kid, we were trained to avoid using Muirhead's inequality as much as we can! i never knew why? i guess i'm still under the infulence! lol

anyway, yes, Muirhead's inequality will also solve the problem because if you multiply both sides of the inequality by $xyz$ you'll get: $\sum_{sym}x^6yz \leq \sum_{sym}x^7 \sqrt{y}\sqrt{z},$

which is true because $7, \frac{1}{2}, \frac{1}{2}$ majorizes $6, 1, 1.$
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 22, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9619176983833313, "perplexity_flag": "middle"}