Simple two variable am-gm inequality











up vote
2
down vote

favorite












Given $x,y in Bbb{R}$, show that:$$x^2+y^2+1ge xy+y+x $$
I tried using the fact that $x^2+y^2 ge 2xy$ But then I'm not sure how to go on, Also tried factoring but didn't help much, also tried substituting $frac{x^2+y^2}{2}$ instead of $xy$ but that gave me the same result of the first substitution, i.e. $xy+1ge x+y$



This inequality seems very easy, I'm feeling dumb for not having solved it yet










share|cite|improve this question






















  • Fix $y$, differentiate w.r.t. $x$, etc
    – mathworker21
    1 hour ago










  • Possible duplicate of How to prove $a^2 + b^2 + c^2 ge ab + bc + ca$? – Also: math.stackexchange.com/q/772220/42969
    – Martin R
    1 hour ago












  • @MartinR I just didn't see them being equivalent, I well new that one inequality
    – Spasoje Durovic
    1 hour ago










  • @Spasoje Durovic Substitute $c=1$.
    – Michael Rozenberg
    57 mins ago















up vote
2
down vote

favorite












Given $x,y in Bbb{R}$, show that:$$x^2+y^2+1ge xy+y+x $$
I tried using the fact that $x^2+y^2 ge 2xy$ But then I'm not sure how to go on, Also tried factoring but didn't help much, also tried substituting $frac{x^2+y^2}{2}$ instead of $xy$ but that gave me the same result of the first substitution, i.e. $xy+1ge x+y$



This inequality seems very easy, I'm feeling dumb for not having solved it yet










share|cite|improve this question






















  • Fix $y$, differentiate w.r.t. $x$, etc
    – mathworker21
    1 hour ago










  • Possible duplicate of How to prove $a^2 + b^2 + c^2 ge ab + bc + ca$? – Also: math.stackexchange.com/q/772220/42969
    – Martin R
    1 hour ago












  • @MartinR I just didn't see them being equivalent, I well new that one inequality
    – Spasoje Durovic
    1 hour ago










  • @Spasoje Durovic Substitute $c=1$.
    – Michael Rozenberg
    57 mins ago













up vote
2
down vote

favorite









up vote
2
down vote

favorite











Given $x,y in Bbb{R}$, show that:$$x^2+y^2+1ge xy+y+x $$
I tried using the fact that $x^2+y^2 ge 2xy$ But then I'm not sure how to go on, Also tried factoring but didn't help much, also tried substituting $frac{x^2+y^2}{2}$ instead of $xy$ but that gave me the same result of the first substitution, i.e. $xy+1ge x+y$



This inequality seems very easy, I'm feeling dumb for not having solved it yet










share|cite|improve this question













Given $x,y in Bbb{R}$, show that:$$x^2+y^2+1ge xy+y+x $$
I tried using the fact that $x^2+y^2 ge 2xy$ But then I'm not sure how to go on, Also tried factoring but didn't help much, also tried substituting $frac{x^2+y^2}{2}$ instead of $xy$ but that gave me the same result of the first substitution, i.e. $xy+1ge x+y$



This inequality seems very easy, I'm feeling dumb for not having solved it yet







inequality a.m.-g.m.-inequality






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked 1 hour ago









Spasoje Durovic

1809




1809












  • Fix $y$, differentiate w.r.t. $x$, etc
    – mathworker21
    1 hour ago










  • Possible duplicate of How to prove $a^2 + b^2 + c^2 ge ab + bc + ca$? – Also: math.stackexchange.com/q/772220/42969
    – Martin R
    1 hour ago












  • @MartinR I just didn't see them being equivalent, I well new that one inequality
    – Spasoje Durovic
    1 hour ago










  • @Spasoje Durovic Substitute $c=1$.
    – Michael Rozenberg
    57 mins ago


















  • Fix $y$, differentiate w.r.t. $x$, etc
    – mathworker21
    1 hour ago










  • Possible duplicate of How to prove $a^2 + b^2 + c^2 ge ab + bc + ca$? – Also: math.stackexchange.com/q/772220/42969
    – Martin R
    1 hour ago












  • @MartinR I just didn't see them being equivalent, I well new that one inequality
    – Spasoje Durovic
    1 hour ago










  • @Spasoje Durovic Substitute $c=1$.
    – Michael Rozenberg
    57 mins ago
















Fix $y$, differentiate w.r.t. $x$, etc
– mathworker21
1 hour ago




Fix $y$, differentiate w.r.t. $x$, etc
– mathworker21
1 hour ago












Possible duplicate of How to prove $a^2 + b^2 + c^2 ge ab + bc + ca$? – Also: math.stackexchange.com/q/772220/42969
– Martin R
1 hour ago






Possible duplicate of How to prove $a^2 + b^2 + c^2 ge ab + bc + ca$? – Also: math.stackexchange.com/q/772220/42969
– Martin R
1 hour ago














@MartinR I just didn't see them being equivalent, I well new that one inequality
– Spasoje Durovic
1 hour ago




@MartinR I just didn't see them being equivalent, I well new that one inequality
– Spasoje Durovic
1 hour ago












@Spasoje Durovic Substitute $c=1$.
– Michael Rozenberg
57 mins ago




@Spasoje Durovic Substitute $c=1$.
– Michael Rozenberg
57 mins ago










3 Answers
3






active

oldest

votes

















up vote
7
down vote



accepted










Since $$a^2-2ab+b^2 = (a-b)^2geq 0implies a^2+b^2geq 2ab$$ we have $$ x^2+y^2geq 2xy$$
$$x^2+1geq 2x$$
$$y^2+1geq 2y$$
Now add all these...






share|cite|improve this answer




























    up vote
    5
    down vote













    Hint: Use that $$x^2+y^2+z^2geq xy+yz+zx$$ holds for all real numbers $$x,y,z$$
    this is $$(x-y)^2+(y-z)^2+(z-x)^2geq 0$$






    share|cite|improve this answer




























      up vote
      2
      down vote













      We need to prove that
      $$y^2-(x+1)y+x^2-x+1geq0,$$ for which it's enough to prove that
      $$(x+1)^2-4(x^2-x+1)leq0$$ or $$(x-1)^2geq0.$$






      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: true,
        showLowRepImageUploadWarning: true,
        reputationToPostImages: 10,
        bindNavPrevention: true,
        postfix: "",
        imageUploader: {
        brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
        contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
        allowUrls: true
        },
        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%2f3042470%2fsimple-two-variable-am-gm-inequality%23new-answer', 'question_page');
        }
        );

        Post as a guest















        Required, but never shown

























        3 Answers
        3






        active

        oldest

        votes








        3 Answers
        3






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes








        up vote
        7
        down vote



        accepted










        Since $$a^2-2ab+b^2 = (a-b)^2geq 0implies a^2+b^2geq 2ab$$ we have $$ x^2+y^2geq 2xy$$
        $$x^2+1geq 2x$$
        $$y^2+1geq 2y$$
        Now add all these...






        share|cite|improve this answer

























          up vote
          7
          down vote



          accepted










          Since $$a^2-2ab+b^2 = (a-b)^2geq 0implies a^2+b^2geq 2ab$$ we have $$ x^2+y^2geq 2xy$$
          $$x^2+1geq 2x$$
          $$y^2+1geq 2y$$
          Now add all these...






          share|cite|improve this answer























            up vote
            7
            down vote



            accepted







            up vote
            7
            down vote



            accepted






            Since $$a^2-2ab+b^2 = (a-b)^2geq 0implies a^2+b^2geq 2ab$$ we have $$ x^2+y^2geq 2xy$$
            $$x^2+1geq 2x$$
            $$y^2+1geq 2y$$
            Now add all these...






            share|cite|improve this answer












            Since $$a^2-2ab+b^2 = (a-b)^2geq 0implies a^2+b^2geq 2ab$$ we have $$ x^2+y^2geq 2xy$$
            $$x^2+1geq 2x$$
            $$y^2+1geq 2y$$
            Now add all these...







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered 1 hour ago









            greedoid

            36.6k114592




            36.6k114592






















                up vote
                5
                down vote













                Hint: Use that $$x^2+y^2+z^2geq xy+yz+zx$$ holds for all real numbers $$x,y,z$$
                this is $$(x-y)^2+(y-z)^2+(z-x)^2geq 0$$






                share|cite|improve this answer

























                  up vote
                  5
                  down vote













                  Hint: Use that $$x^2+y^2+z^2geq xy+yz+zx$$ holds for all real numbers $$x,y,z$$
                  this is $$(x-y)^2+(y-z)^2+(z-x)^2geq 0$$






                  share|cite|improve this answer























                    up vote
                    5
                    down vote










                    up vote
                    5
                    down vote









                    Hint: Use that $$x^2+y^2+z^2geq xy+yz+zx$$ holds for all real numbers $$x,y,z$$
                    this is $$(x-y)^2+(y-z)^2+(z-x)^2geq 0$$






                    share|cite|improve this answer












                    Hint: Use that $$x^2+y^2+z^2geq xy+yz+zx$$ holds for all real numbers $$x,y,z$$
                    this is $$(x-y)^2+(y-z)^2+(z-x)^2geq 0$$







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered 1 hour ago









                    Dr. Sonnhard Graubner

                    72.4k32865




                    72.4k32865






















                        up vote
                        2
                        down vote













                        We need to prove that
                        $$y^2-(x+1)y+x^2-x+1geq0,$$ for which it's enough to prove that
                        $$(x+1)^2-4(x^2-x+1)leq0$$ or $$(x-1)^2geq0.$$






                        share|cite|improve this answer

























                          up vote
                          2
                          down vote













                          We need to prove that
                          $$y^2-(x+1)y+x^2-x+1geq0,$$ for which it's enough to prove that
                          $$(x+1)^2-4(x^2-x+1)leq0$$ or $$(x-1)^2geq0.$$






                          share|cite|improve this answer























                            up vote
                            2
                            down vote










                            up vote
                            2
                            down vote









                            We need to prove that
                            $$y^2-(x+1)y+x^2-x+1geq0,$$ for which it's enough to prove that
                            $$(x+1)^2-4(x^2-x+1)leq0$$ or $$(x-1)^2geq0.$$






                            share|cite|improve this answer












                            We need to prove that
                            $$y^2-(x+1)y+x^2-x+1geq0,$$ for which it's enough to prove that
                            $$(x+1)^2-4(x^2-x+1)leq0$$ or $$(x-1)^2geq0.$$







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered 1 hour ago









                            Michael Rozenberg

                            95k1588183




                            95k1588183






























                                draft saved

                                draft discarded




















































                                Thanks for contributing an answer to Mathematics Stack Exchange!


                                • Please be sure to answer the question. Provide details and share your research!

                                But avoid



                                • Asking for help, clarification, or responding to other answers.

                                • Making statements based on opinion; back them up with references or personal experience.


                                Use MathJax to format equations. MathJax reference.


                                To learn more, see our tips on writing great answers.





                                Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                                Please pay close attention to the following guidance:


                                • Please be sure to answer the question. Provide details and share your research!

                                But avoid



                                • Asking for help, clarification, or responding to other answers.

                                • Making statements based on opinion; back them up with references or personal experience.


                                To learn more, see our tips on writing great answers.




                                draft saved


                                draft discarded














                                StackExchange.ready(
                                function () {
                                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3042470%2fsimple-two-variable-am-gm-inequality%23new-answer', 'question_page');
                                }
                                );

                                Post as a guest















                                Required, but never shown





















































                                Required, but never shown














                                Required, but never shown












                                Required, but never shown







                                Required, but never shown

































                                Required, but never shown














                                Required, but never shown












                                Required, but never shown







                                Required, but never shown







                                Popular posts from this blog

                                Quarter-circle Tiles

                                build a pushdown automaton that recognizes the reverse language of a given pushdown automaton?

                                Mont Emei