inequality involving $(xy+yz+zx)^3$ and the $pqr$ method

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
0
down vote

favorite












For non-negative numbers $x$, $y$, and $z$ the claim is that:



$$(xy+yz+zx)^3+9 x^2 y^2 z^2 geq 4 (x+y+z)(xy+yz+zx)xyz$$



Without loss of generality, one may assume that $x+y+z=1$ so that $xyzlefrac127$ and $xy+yz+zxlefrac13$. I have not seen how Schur's inequality is helpful.







share|cite|improve this question





















  • What is exactly your question?
    – Oldboy
    yesterday










  • Why you have assumed $x+y+z=1$?
    – Sufaid Saleel
    yesterday






  • 1




    @SufaidSaleel If you expand both sides of the inequality, all terms are of degree 6, so if the claim is true for some triple $(x,y,z)$ then it is also true for $(ax,ay,az)$ for any constant $a$. Therefore it is sufficient to prove the claim in the case $x+y+z=1$.
    – alphacapture
    yesterday










  • @alphacapture Got it!
    – Sufaid Saleel
    yesterday














up vote
0
down vote

favorite












For non-negative numbers $x$, $y$, and $z$ the claim is that:



$$(xy+yz+zx)^3+9 x^2 y^2 z^2 geq 4 (x+y+z)(xy+yz+zx)xyz$$



Without loss of generality, one may assume that $x+y+z=1$ so that $xyzlefrac127$ and $xy+yz+zxlefrac13$. I have not seen how Schur's inequality is helpful.







share|cite|improve this question





















  • What is exactly your question?
    – Oldboy
    yesterday










  • Why you have assumed $x+y+z=1$?
    – Sufaid Saleel
    yesterday






  • 1




    @SufaidSaleel If you expand both sides of the inequality, all terms are of degree 6, so if the claim is true for some triple $(x,y,z)$ then it is also true for $(ax,ay,az)$ for any constant $a$. Therefore it is sufficient to prove the claim in the case $x+y+z=1$.
    – alphacapture
    yesterday










  • @alphacapture Got it!
    – Sufaid Saleel
    yesterday












up vote
0
down vote

favorite









up vote
0
down vote

favorite











For non-negative numbers $x$, $y$, and $z$ the claim is that:



$$(xy+yz+zx)^3+9 x^2 y^2 z^2 geq 4 (x+y+z)(xy+yz+zx)xyz$$



Without loss of generality, one may assume that $x+y+z=1$ so that $xyzlefrac127$ and $xy+yz+zxlefrac13$. I have not seen how Schur's inequality is helpful.







share|cite|improve this question













For non-negative numbers $x$, $y$, and $z$ the claim is that:



$$(xy+yz+zx)^3+9 x^2 y^2 z^2 geq 4 (x+y+z)(xy+yz+zx)xyz$$



Without loss of generality, one may assume that $x+y+z=1$ so that $xyzlefrac127$ and $xy+yz+zxlefrac13$. I have not seen how Schur's inequality is helpful.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited yesterday









greedoid

26.1k93373




26.1k93373









asked yesterday









Phil

283




283











  • What is exactly your question?
    – Oldboy
    yesterday










  • Why you have assumed $x+y+z=1$?
    – Sufaid Saleel
    yesterday






  • 1




    @SufaidSaleel If you expand both sides of the inequality, all terms are of degree 6, so if the claim is true for some triple $(x,y,z)$ then it is also true for $(ax,ay,az)$ for any constant $a$. Therefore it is sufficient to prove the claim in the case $x+y+z=1$.
    – alphacapture
    yesterday










  • @alphacapture Got it!
    – Sufaid Saleel
    yesterday
















  • What is exactly your question?
    – Oldboy
    yesterday










  • Why you have assumed $x+y+z=1$?
    – Sufaid Saleel
    yesterday






  • 1




    @SufaidSaleel If you expand both sides of the inequality, all terms are of degree 6, so if the claim is true for some triple $(x,y,z)$ then it is also true for $(ax,ay,az)$ for any constant $a$. Therefore it is sufficient to prove the claim in the case $x+y+z=1$.
    – alphacapture
    yesterday










  • @alphacapture Got it!
    – Sufaid Saleel
    yesterday















What is exactly your question?
– Oldboy
yesterday




What is exactly your question?
– Oldboy
yesterday












Why you have assumed $x+y+z=1$?
– Sufaid Saleel
yesterday




Why you have assumed $x+y+z=1$?
– Sufaid Saleel
yesterday




1




1




@SufaidSaleel If you expand both sides of the inequality, all terms are of degree 6, so if the claim is true for some triple $(x,y,z)$ then it is also true for $(ax,ay,az)$ for any constant $a$. Therefore it is sufficient to prove the claim in the case $x+y+z=1$.
– alphacapture
yesterday




@SufaidSaleel If you expand both sides of the inequality, all terms are of degree 6, so if the claim is true for some triple $(x,y,z)$ then it is also true for $(ax,ay,az)$ for any constant $a$. Therefore it is sufficient to prove the claim in the case $x+y+z=1$.
– alphacapture
yesterday












@alphacapture Got it!
– Sufaid Saleel
yesterday




@alphacapture Got it!
– Sufaid Saleel
yesterday










1 Answer
1






active

oldest

votes

















up vote
1
down vote













Let $xy=c$, $xz=b$ and $yz=a$.



Thus, we need to prove that
$$(a+b+c)^3+9abcgeq4(a+b+c)(ab+ac+bc)$$ or
$$sum_cyc(a^3-a^2b-a^2c+abc)geq0,$$ which is Schur.






share|cite|improve this answer





















    Your Answer




    StackExchange.ifUsing("editor", function ()
    return StackExchange.using("mathjaxEditing", function ()
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    );
    );
    , "mathjax-editing");

    StackExchange.ready(function()
    var channelOptions =
    tags: "".split(" "),
    id: "69"
    ;
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function()
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled)
    StackExchange.using("snippets", function()
    createEditor();
    );

    else
    createEditor();

    );

    function createEditor()
    StackExchange.prepareEditor(
    heartbeatType: 'answer',
    convertImagesToLinks: true,
    noModals: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    );



    );








     

    draft saved


    draft discarded


















    StackExchange.ready(
    function ()
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2872683%2finequality-involving-xyyzzx3-and-the-pqr-method%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    1
    down vote













    Let $xy=c$, $xz=b$ and $yz=a$.



    Thus, we need to prove that
    $$(a+b+c)^3+9abcgeq4(a+b+c)(ab+ac+bc)$$ or
    $$sum_cyc(a^3-a^2b-a^2c+abc)geq0,$$ which is Schur.






    share|cite|improve this answer

























      up vote
      1
      down vote













      Let $xy=c$, $xz=b$ and $yz=a$.



      Thus, we need to prove that
      $$(a+b+c)^3+9abcgeq4(a+b+c)(ab+ac+bc)$$ or
      $$sum_cyc(a^3-a^2b-a^2c+abc)geq0,$$ which is Schur.






      share|cite|improve this answer























        up vote
        1
        down vote










        up vote
        1
        down vote









        Let $xy=c$, $xz=b$ and $yz=a$.



        Thus, we need to prove that
        $$(a+b+c)^3+9abcgeq4(a+b+c)(ab+ac+bc)$$ or
        $$sum_cyc(a^3-a^2b-a^2c+abc)geq0,$$ which is Schur.






        share|cite|improve this answer













        Let $xy=c$, $xz=b$ and $yz=a$.



        Thus, we need to prove that
        $$(a+b+c)^3+9abcgeq4(a+b+c)(ab+ac+bc)$$ or
        $$sum_cyc(a^3-a^2b-a^2c+abc)geq0,$$ which is Schur.







        share|cite|improve this answer













        share|cite|improve this answer



        share|cite|improve this answer











        answered yesterday









        Michael Rozenberg

        86.9k1575178




        86.9k1575178






















             

            draft saved


            draft discarded


























             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2872683%2finequality-involving-xyyzzx3-and-the-pqr-method%23new-answer', 'question_page');

            );

            Post as a guest













































































            Comments

            Popular posts from this blog

            What is the equation of a 3D cone with generalised tilt?

            Color the edges and diagonals of a regular polygon

            Relationship between determinant of matrix and determinant of adjoint?