# 6th European Mathematical Cup (2017), Junior Problem 4

### Solution

Observe that, according to Viète's formulas, the polynomial

\begin{align} f(x)&= x^3 - (y^2 + yz + z^2)x + y^2z+yz^2\\ &=x^3 - [yz-y(y+z)-z(y+z)]x + yz(y + z) \end{align}

has three real roots: $y,z,-(x+y).$ It follows that $f(x)=(x-y)(x-z)(x+y+z),$ making the required inequality equivalent to

$\displaystyle (x-y)^2(x-z)^2(x+y+z)^2 \le (x^2+y^2+z^2)^3.$

By the AM-GM inequality,

\displaystyle\begin{align}(x-y)^2(x-z)^2(x+y+z)^2&\le \left(\frac{(x-y)^2+(x-z)^2+(x+y+z)^2}{3}\right)^3\\ &=\left(\frac{3x^2+2y^2+2z^2+2yz}{3}\right)^3, \end{align}

with equality iff $(x-y)^2=(x-z)^2=(x+y+z)^2.$ Thus suffice it to prove that

$3x^2+2y^2+2z^2+2yz\le3x^2+3y^2+3z^2,$

which is just $(y-z)^2\ge 0,$ with equality for $y=z.$ All the equality conditions hold for $y=z=0$ and $x=\sqrt{3},$ or $y+2x=0,$ i.e., $\displaystyle x=-\frac{1}{\sqrt{3}},$ $\displaystyle y=z=\frac{2}{\sqrt{3}}.$

### Acknowledgment

This is Problem 4 (by Miroslav Marinov) from the 2017 European Mathematical Cup (Junior category). I am grateful to Leo Giugiuc for bringing this competition and the problem to my attention and for supplying the beautiful solution above.
{"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": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 2, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8850393295288086, "perplexity": 2323.3315879731326}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "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": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2022-27/segments/1656104496688.78/warc/CC-MAIN-20220704202455-20220704232455-00751.warc.gz"}