Can I not use QM-AM inequality to solve this?How to prove this inequality in Euclidean space?Inequality QuestionTrigonometric Inequality. $sin1+sin2+ldots+sinn <2$ .Proof of inequality containing a function and its integralTrigonometric inequality - x domainInequality proof for real numbers $x geq 2x^2$Solve this inequality with nested radicals (possibly by induction)Solve inequalityHow can we not use Muirhead's Inequality for proving the following inequality?I made an inequality to solve myself, but someone pointed out my solution is wrong.

How do HK restaurants keep wok-fried scallops white, with no visible sear marks?

What is this yellow sticky substance Mulder puts in his vodka?

Does the horse hair in a bow all go in the same direction?

Is there any math conjecture that would cause a lot of damage if disproven?

How to determine minimum word length of regular language

Does a resurrected wizard remember his prepared spells?

Heavy condensation inside car during winter. Tried multiple things, but no results!

Grid Puzzle - Paint

Changing front forks

Does casting Inflict Wounds while concentrating on Vampiric Touch also siphon damage?

Conflict between a religious belief that accounts for the existence of transgender people vs. one that doesn't

Is there a text editor that can run shell scripts?

Does the coriolis force have an effect on the direction in which an aircraft travels?

Why is hydro-electric power still scarce in some places?

In Flanders Fields

NLP sentiment analysis in Norwegian

What is smallest addressable value in an octal number called?

Raised concerns about a security vulnerability to various managers, for more than a year, with no results. Should I mention it to external auditors?

Print out specific fields using regular expression in Linux

The lecturer supposed to grade my presentation fell asleep while I held it. Should I complain?

Getting the pdf from a Moment generating function

No download link for Adblock Plus

Is there a heavy usage of the word "bonfire" in English?

How to translate old German (before 1920)



Can I not use QM-AM inequality to solve this?


How to prove this inequality in Euclidean space?Inequality QuestionTrigonometric Inequality. $sin1+sin2+ldots+sinn <2$ .Proof of inequality containing a function and its integralTrigonometric inequality - x domainInequality proof for real numbers $x geq 2x^2$Solve this inequality with nested radicals (possibly by induction)Solve inequalityHow can we not use Muirhead's Inequality for proving the following inequality?I made an inequality to solve myself, but someone pointed out my solution is wrong.






.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty
margin-bottom:0;

.everyonelovesstackoverflowposition:absolute;height:1px;width:1px;opacity:0;top:0;left:0;pointer-events:none;








4














$begingroup$


I was doing my inequality homework and I encountered the following problem:




Show that $forall a,b,cinmathbbR^+$, $$sqrta^2+b^2+sqrtb^2+c^2+sqrtc^2+a^2ge(a+b+c)sqrt2.$$




I came up a prove using QM-AM inequality, as follows (you can also try to prove with QM-AM inequality for exercise).







But my problem is, can we not use the QM-AM inequality?










share|cite|improve this question












$endgroup$














  • $begingroup$
    Do you mean that you want to solve it without AM-QM?
    $endgroup$
    – Arthur
    Aug 12 at 8:30










  • $begingroup$
    @Arthur Yes, the QM-AM proof is just for reference.
    $endgroup$
    – Culver Kwan
    Aug 12 at 8:31






  • 2




    $begingroup$
    The two answers currently given below use essentially the same inequalities, but do not call them AM-QM. Is that good enough? Because "Do not use AM-QM" is a bit vague of a requirement.
    $endgroup$
    – Arthur
    Aug 12 at 8:42











  • $begingroup$
    @Arthur In my worldview, QM/AM does not exist, only AM/GM.
    $endgroup$
    – Parcly Taxel
    Aug 12 at 8:44







  • 1




    $begingroup$
    Consider a square whose one side has length $a+b+c$ and the other $b+c+a$ :).
    $endgroup$
    – Michal Adamaszek
    Aug 12 at 8:50

















4














$begingroup$


I was doing my inequality homework and I encountered the following problem:




Show that $forall a,b,cinmathbbR^+$, $$sqrta^2+b^2+sqrtb^2+c^2+sqrtc^2+a^2ge(a+b+c)sqrt2.$$




I came up a prove using QM-AM inequality, as follows (you can also try to prove with QM-AM inequality for exercise).







But my problem is, can we not use the QM-AM inequality?










share|cite|improve this question












$endgroup$














  • $begingroup$
    Do you mean that you want to solve it without AM-QM?
    $endgroup$
    – Arthur
    Aug 12 at 8:30










  • $begingroup$
    @Arthur Yes, the QM-AM proof is just for reference.
    $endgroup$
    – Culver Kwan
    Aug 12 at 8:31






  • 2




    $begingroup$
    The two answers currently given below use essentially the same inequalities, but do not call them AM-QM. Is that good enough? Because "Do not use AM-QM" is a bit vague of a requirement.
    $endgroup$
    – Arthur
    Aug 12 at 8:42











  • $begingroup$
    @Arthur In my worldview, QM/AM does not exist, only AM/GM.
    $endgroup$
    – Parcly Taxel
    Aug 12 at 8:44







  • 1




    $begingroup$
    Consider a square whose one side has length $a+b+c$ and the other $b+c+a$ :).
    $endgroup$
    – Michal Adamaszek
    Aug 12 at 8:50













4












4








4





$begingroup$


I was doing my inequality homework and I encountered the following problem:




Show that $forall a,b,cinmathbbR^+$, $$sqrta^2+b^2+sqrtb^2+c^2+sqrtc^2+a^2ge(a+b+c)sqrt2.$$




I came up a prove using QM-AM inequality, as follows (you can also try to prove with QM-AM inequality for exercise).







But my problem is, can we not use the QM-AM inequality?










share|cite|improve this question












$endgroup$




I was doing my inequality homework and I encountered the following problem:




Show that $forall a,b,cinmathbbR^+$, $$sqrta^2+b^2+sqrtb^2+c^2+sqrtc^2+a^2ge(a+b+c)sqrt2.$$




I came up a prove using QM-AM inequality, as follows (you can also try to prove with QM-AM inequality for exercise).







But my problem is, can we not use the QM-AM inequality?







inequality alternative-proof






share|cite|improve this question
















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 12 at 18:04









Parcly Taxel

53.4k13 gold badges81 silver badges120 bronze badges




53.4k13 gold badges81 silver badges120 bronze badges










asked Aug 12 at 8:16









Culver KwanCulver Kwan

2,1105 silver badges27 bronze badges




2,1105 silver badges27 bronze badges














  • $begingroup$
    Do you mean that you want to solve it without AM-QM?
    $endgroup$
    – Arthur
    Aug 12 at 8:30










  • $begingroup$
    @Arthur Yes, the QM-AM proof is just for reference.
    $endgroup$
    – Culver Kwan
    Aug 12 at 8:31






  • 2




    $begingroup$
    The two answers currently given below use essentially the same inequalities, but do not call them AM-QM. Is that good enough? Because "Do not use AM-QM" is a bit vague of a requirement.
    $endgroup$
    – Arthur
    Aug 12 at 8:42











  • $begingroup$
    @Arthur In my worldview, QM/AM does not exist, only AM/GM.
    $endgroup$
    – Parcly Taxel
    Aug 12 at 8:44







  • 1




    $begingroup$
    Consider a square whose one side has length $a+b+c$ and the other $b+c+a$ :).
    $endgroup$
    – Michal Adamaszek
    Aug 12 at 8:50
















  • $begingroup$
    Do you mean that you want to solve it without AM-QM?
    $endgroup$
    – Arthur
    Aug 12 at 8:30










  • $begingroup$
    @Arthur Yes, the QM-AM proof is just for reference.
    $endgroup$
    – Culver Kwan
    Aug 12 at 8:31






  • 2




    $begingroup$
    The two answers currently given below use essentially the same inequalities, but do not call them AM-QM. Is that good enough? Because "Do not use AM-QM" is a bit vague of a requirement.
    $endgroup$
    – Arthur
    Aug 12 at 8:42











  • $begingroup$
    @Arthur In my worldview, QM/AM does not exist, only AM/GM.
    $endgroup$
    – Parcly Taxel
    Aug 12 at 8:44







  • 1




    $begingroup$
    Consider a square whose one side has length $a+b+c$ and the other $b+c+a$ :).
    $endgroup$
    – Michal Adamaszek
    Aug 12 at 8:50















$begingroup$
Do you mean that you want to solve it without AM-QM?
$endgroup$
– Arthur
Aug 12 at 8:30




$begingroup$
Do you mean that you want to solve it without AM-QM?
$endgroup$
– Arthur
Aug 12 at 8:30












$begingroup$
@Arthur Yes, the QM-AM proof is just for reference.
$endgroup$
– Culver Kwan
Aug 12 at 8:31




$begingroup$
@Arthur Yes, the QM-AM proof is just for reference.
$endgroup$
– Culver Kwan
Aug 12 at 8:31




2




2




$begingroup$
The two answers currently given below use essentially the same inequalities, but do not call them AM-QM. Is that good enough? Because "Do not use AM-QM" is a bit vague of a requirement.
$endgroup$
– Arthur
Aug 12 at 8:42





$begingroup$
The two answers currently given below use essentially the same inequalities, but do not call them AM-QM. Is that good enough? Because "Do not use AM-QM" is a bit vague of a requirement.
$endgroup$
– Arthur
Aug 12 at 8:42













$begingroup$
@Arthur In my worldview, QM/AM does not exist, only AM/GM.
$endgroup$
– Parcly Taxel
Aug 12 at 8:44





$begingroup$
@Arthur In my worldview, QM/AM does not exist, only AM/GM.
$endgroup$
– Parcly Taxel
Aug 12 at 8:44





1




1




$begingroup$
Consider a square whose one side has length $a+b+c$ and the other $b+c+a$ :).
$endgroup$
– Michal Adamaszek
Aug 12 at 8:50




$begingroup$
Consider a square whose one side has length $a+b+c$ and the other $b+c+a$ :).
$endgroup$
– Michal Adamaszek
Aug 12 at 8:50










4 Answers
4






active

oldest

votes


















9
















$begingroup$

Following the hint given in the comments, consider the following diagram:





The inequality's LHS is the sum of lengths of diagonals that have been drawn in the diagram. However, this being a path from corner to opposite corner, it must be at least as long as a straight line, which has length equal to the RHS. This completes the proof.






share|cite|improve this answer












$endgroup$






















    5
















    $begingroup$

    Here is a purely visual proof based on Michal Adamaszek's comment:



    enter image description here






    share|cite|improve this answer










    $endgroup$






















      4
















      $begingroup$

      By CS:



      $left(sumlimits_cycsqrta^2+b^2right)^2=2sumlimits_cyca^2+2sumlimits_cycsqrta^2+b^2sqrtc^2+a^2geq 2sumlimits_cyca^2+2sumlimits_cyc(ac+ab)=2(a+b+c)^2$






      share|cite|improve this answer










      $endgroup$






















        3
















        $begingroup$

        By using Hölder’s Inequality,
        $$ bigl(a^2+b^2bigr)^tfrac12bigl(1+1bigr)^tfrac12ge a+b \ sqrta^2+b^2mathstrut ge dfraca+bsqrt2$$
        Similarly for others, and end it yourself






        share|cite|improve this answer












        $endgroup$










        • 4




          $begingroup$
          This is essentially the same proof.
          $endgroup$
          – Arnaud D.
          Aug 12 at 8:40










        • $begingroup$
          Sorry, there is a better answer. So I accepted it.
          $endgroup$
          – Culver Kwan
          Aug 13 at 4:06












        Your Answer








        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',
        autoActivateHeartbeat: false,
        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/4.0/"u003ecc by-sa 4.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%2f3320778%2fcan-i-not-use-qm-am-inequality-to-solve-this%23new-answer', 'question_page');

        );

        Post as a guest















        Required, but never shown


























        4 Answers
        4






        active

        oldest

        votes








        4 Answers
        4






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes









        9
















        $begingroup$

        Following the hint given in the comments, consider the following diagram:





        The inequality's LHS is the sum of lengths of diagonals that have been drawn in the diagram. However, this being a path from corner to opposite corner, it must be at least as long as a straight line, which has length equal to the RHS. This completes the proof.






        share|cite|improve this answer












        $endgroup$



















          9
















          $begingroup$

          Following the hint given in the comments, consider the following diagram:





          The inequality's LHS is the sum of lengths of diagonals that have been drawn in the diagram. However, this being a path from corner to opposite corner, it must be at least as long as a straight line, which has length equal to the RHS. This completes the proof.






          share|cite|improve this answer












          $endgroup$

















            9














            9










            9







            $begingroup$

            Following the hint given in the comments, consider the following diagram:





            The inequality's LHS is the sum of lengths of diagonals that have been drawn in the diagram. However, this being a path from corner to opposite corner, it must be at least as long as a straight line, which has length equal to the RHS. This completes the proof.






            share|cite|improve this answer












            $endgroup$



            Following the hint given in the comments, consider the following diagram:





            The inequality's LHS is the sum of lengths of diagonals that have been drawn in the diagram. However, this being a path from corner to opposite corner, it must be at least as long as a straight line, which has length equal to the RHS. This completes the proof.







            share|cite|improve this answer















            share|cite|improve this answer




            share|cite|improve this answer








            edited Aug 12 at 9:53

























            answered Aug 12 at 8:35









            Parcly TaxelParcly Taxel

            53.4k13 gold badges81 silver badges120 bronze badges




            53.4k13 gold badges81 silver badges120 bronze badges


























                5
















                $begingroup$

                Here is a purely visual proof based on Michal Adamaszek's comment:



                enter image description here






                share|cite|improve this answer










                $endgroup$



















                  5
















                  $begingroup$

                  Here is a purely visual proof based on Michal Adamaszek's comment:



                  enter image description here






                  share|cite|improve this answer










                  $endgroup$

















                    5














                    5










                    5







                    $begingroup$

                    Here is a purely visual proof based on Michal Adamaszek's comment:



                    enter image description here






                    share|cite|improve this answer










                    $endgroup$



                    Here is a purely visual proof based on Michal Adamaszek's comment:



                    enter image description here







                    share|cite|improve this answer













                    share|cite|improve this answer




                    share|cite|improve this answer










                    answered Aug 12 at 9:52









                    Toby MakToby Mak

                    6,3062 gold badges15 silver badges30 bronze badges




                    6,3062 gold badges15 silver badges30 bronze badges
























                        4
















                        $begingroup$

                        By CS:



                        $left(sumlimits_cycsqrta^2+b^2right)^2=2sumlimits_cyca^2+2sumlimits_cycsqrta^2+b^2sqrtc^2+a^2geq 2sumlimits_cyca^2+2sumlimits_cyc(ac+ab)=2(a+b+c)^2$






                        share|cite|improve this answer










                        $endgroup$



















                          4
















                          $begingroup$

                          By CS:



                          $left(sumlimits_cycsqrta^2+b^2right)^2=2sumlimits_cyca^2+2sumlimits_cycsqrta^2+b^2sqrtc^2+a^2geq 2sumlimits_cyca^2+2sumlimits_cyc(ac+ab)=2(a+b+c)^2$






                          share|cite|improve this answer










                          $endgroup$

















                            4














                            4










                            4







                            $begingroup$

                            By CS:



                            $left(sumlimits_cycsqrta^2+b^2right)^2=2sumlimits_cyca^2+2sumlimits_cycsqrta^2+b^2sqrtc^2+a^2geq 2sumlimits_cyca^2+2sumlimits_cyc(ac+ab)=2(a+b+c)^2$






                            share|cite|improve this answer










                            $endgroup$



                            By CS:



                            $left(sumlimits_cycsqrta^2+b^2right)^2=2sumlimits_cyca^2+2sumlimits_cycsqrta^2+b^2sqrtc^2+a^2geq 2sumlimits_cyca^2+2sumlimits_cyc(ac+ab)=2(a+b+c)^2$







                            share|cite|improve this answer













                            share|cite|improve this answer




                            share|cite|improve this answer










                            answered Aug 12 at 8:32









                            AO1992AO1992

                            1,38310 bronze badges




                            1,38310 bronze badges
























                                3
















                                $begingroup$

                                By using Hölder’s Inequality,
                                $$ bigl(a^2+b^2bigr)^tfrac12bigl(1+1bigr)^tfrac12ge a+b \ sqrta^2+b^2mathstrut ge dfraca+bsqrt2$$
                                Similarly for others, and end it yourself






                                share|cite|improve this answer












                                $endgroup$










                                • 4




                                  $begingroup$
                                  This is essentially the same proof.
                                  $endgroup$
                                  – Arnaud D.
                                  Aug 12 at 8:40










                                • $begingroup$
                                  Sorry, there is a better answer. So I accepted it.
                                  $endgroup$
                                  – Culver Kwan
                                  Aug 13 at 4:06















                                3
















                                $begingroup$

                                By using Hölder’s Inequality,
                                $$ bigl(a^2+b^2bigr)^tfrac12bigl(1+1bigr)^tfrac12ge a+b \ sqrta^2+b^2mathstrut ge dfraca+bsqrt2$$
                                Similarly for others, and end it yourself






                                share|cite|improve this answer












                                $endgroup$










                                • 4




                                  $begingroup$
                                  This is essentially the same proof.
                                  $endgroup$
                                  – Arnaud D.
                                  Aug 12 at 8:40










                                • $begingroup$
                                  Sorry, there is a better answer. So I accepted it.
                                  $endgroup$
                                  – Culver Kwan
                                  Aug 13 at 4:06













                                3














                                3










                                3







                                $begingroup$

                                By using Hölder’s Inequality,
                                $$ bigl(a^2+b^2bigr)^tfrac12bigl(1+1bigr)^tfrac12ge a+b \ sqrta^2+b^2mathstrut ge dfraca+bsqrt2$$
                                Similarly for others, and end it yourself






                                share|cite|improve this answer












                                $endgroup$



                                By using Hölder’s Inequality,
                                $$ bigl(a^2+b^2bigr)^tfrac12bigl(1+1bigr)^tfrac12ge a+b \ sqrta^2+b^2mathstrut ge dfraca+bsqrt2$$
                                Similarly for others, and end it yourself







                                share|cite|improve this answer















                                share|cite|improve this answer




                                share|cite|improve this answer








                                edited Aug 12 at 9:36









                                Bernard

                                137k7 gold badges43 silver badges126 bronze badges




                                137k7 gold badges43 silver badges126 bronze badges










                                answered Aug 12 at 8:36









                                Isaac YIU Math StudioIsaac YIU Math Studio

                                2,6061 silver badge26 bronze badges




                                2,6061 silver badge26 bronze badges










                                • 4




                                  $begingroup$
                                  This is essentially the same proof.
                                  $endgroup$
                                  – Arnaud D.
                                  Aug 12 at 8:40










                                • $begingroup$
                                  Sorry, there is a better answer. So I accepted it.
                                  $endgroup$
                                  – Culver Kwan
                                  Aug 13 at 4:06












                                • 4




                                  $begingroup$
                                  This is essentially the same proof.
                                  $endgroup$
                                  – Arnaud D.
                                  Aug 12 at 8:40










                                • $begingroup$
                                  Sorry, there is a better answer. So I accepted it.
                                  $endgroup$
                                  – Culver Kwan
                                  Aug 13 at 4:06







                                4




                                4




                                $begingroup$
                                This is essentially the same proof.
                                $endgroup$
                                – Arnaud D.
                                Aug 12 at 8:40




                                $begingroup$
                                This is essentially the same proof.
                                $endgroup$
                                – Arnaud D.
                                Aug 12 at 8:40












                                $begingroup$
                                Sorry, there is a better answer. So I accepted it.
                                $endgroup$
                                – Culver Kwan
                                Aug 13 at 4:06




                                $begingroup$
                                Sorry, there is a better answer. So I accepted it.
                                $endgroup$
                                – Culver Kwan
                                Aug 13 at 4:06


















                                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.




                                draft saved


                                draft discarded














                                StackExchange.ready(
                                function ()
                                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3320778%2fcan-i-not-use-qm-am-inequality-to-solve-this%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

                                Distance measures on a map of a game The 2019 Stack Overflow Developer Survey Results Are Inmin distance in a graphShortest distance path on contour plotHow to plot a tilted map?Finding points outside of a diskDelaunay link distanceAnnulus from GeoDisks: drawing a ring on a mapNegative Correlation DistanceFind distance along a path (GPS coordinates)Finding position at given distance in a GeoPathMathematics behind distance estimation using camera

                                How to get a smooth, uniform ParametricPlot of a 2D Region?How to plot a complicated Region?How to exclude a region from ParametricPlotHow discretize a region placing vertices on a specific non-uniform gridHow to transform a Plot or a ParametricPlot into a RegionHow can I get a smooth plot of a bounded region?Smooth ParametricPlot3D with RegionFunction?Smooth border of a region ParametricPlotSmooth region boundarySmooth region plot from list of pointsGet minimum y of a certain x in a region

                                Genealogie vun de Merowenger Vum Merowech bis zum Chilperich I. | Navigatiounsmenü