How to prove that $ a^2+b^2+c^2=1$ implies $ab+bc+ca in [-frac12,1]$? [duplicate]

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











up vote
4
down vote

favorite
1













This question already has an answer here:



  • If $a^2+b^2+c^2=1$ then prove the following.

    5 answers



  • x^2+y^2+z^2=a then what is the of range of xy+yz+zx [closed]

    1 answer



If $a,b,c$ belong to set of real numbers and $ a^2+b^2+c^2=1$ then prove that $ab+bc+ca$ belongs to $[-frac12,1]$



I have tried AM>GM>HM(progressions mean inequality) but I am unable to do anything.
I have even attempted to assume a,b and c to be sides of an triangle and using $|a-b|<|c|$ and squaring but still I don't get the right-hand limit right.



Please tell me how to prove it.










share|cite|improve this question















marked as duplicate by Martin R, amWhy, Shailesh, José Carlos Santos, supinf Aug 30 at 14:54


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


















    up vote
    4
    down vote

    favorite
    1













    This question already has an answer here:



    • If $a^2+b^2+c^2=1$ then prove the following.

      5 answers



    • x^2+y^2+z^2=a then what is the of range of xy+yz+zx [closed]

      1 answer



    If $a,b,c$ belong to set of real numbers and $ a^2+b^2+c^2=1$ then prove that $ab+bc+ca$ belongs to $[-frac12,1]$



    I have tried AM>GM>HM(progressions mean inequality) but I am unable to do anything.
    I have even attempted to assume a,b and c to be sides of an triangle and using $|a-b|<|c|$ and squaring but still I don't get the right-hand limit right.



    Please tell me how to prove it.










    share|cite|improve this question















    marked as duplicate by Martin R, amWhy, Shailesh, José Carlos Santos, supinf Aug 30 at 14:54


    This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
















      up vote
      4
      down vote

      favorite
      1









      up vote
      4
      down vote

      favorite
      1






      1






      This question already has an answer here:



      • If $a^2+b^2+c^2=1$ then prove the following.

        5 answers



      • x^2+y^2+z^2=a then what is the of range of xy+yz+zx [closed]

        1 answer



      If $a,b,c$ belong to set of real numbers and $ a^2+b^2+c^2=1$ then prove that $ab+bc+ca$ belongs to $[-frac12,1]$



      I have tried AM>GM>HM(progressions mean inequality) but I am unable to do anything.
      I have even attempted to assume a,b and c to be sides of an triangle and using $|a-b|<|c|$ and squaring but still I don't get the right-hand limit right.



      Please tell me how to prove it.










      share|cite|improve this question
















      This question already has an answer here:



      • If $a^2+b^2+c^2=1$ then prove the following.

        5 answers



      • x^2+y^2+z^2=a then what is the of range of xy+yz+zx [closed]

        1 answer



      If $a,b,c$ belong to set of real numbers and $ a^2+b^2+c^2=1$ then prove that $ab+bc+ca$ belongs to $[-frac12,1]$



      I have tried AM>GM>HM(progressions mean inequality) but I am unable to do anything.
      I have even attempted to assume a,b and c to be sides of an triangle and using $|a-b|<|c|$ and squaring but still I don't get the right-hand limit right.



      Please tell me how to prove it.





      This question already has an answer here:



      • If $a^2+b^2+c^2=1$ then prove the following.

        5 answers



      • x^2+y^2+z^2=a then what is the of range of xy+yz+zx [closed]

        1 answer







      inequality contest-math






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Aug 30 at 11:40









      user21820

      36.2k440140




      36.2k440140










      asked Aug 30 at 9:15









      Piyush Chaudhary

      523




      523




      marked as duplicate by Martin R, amWhy, Shailesh, José Carlos Santos, supinf Aug 30 at 14:54


      This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.






      marked as duplicate by Martin R, amWhy, Shailesh, José Carlos Santos, supinf Aug 30 at 14:54


      This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.






















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          9
          down vote



          accepted










          Let's denote $S = ab+bc+ca$.



          For the lower bound:
          $$(a+b+c)^2 geq 0 Leftrightarrow a^2+b^2+c^2 + 2S = 1 + 2S geq 0 Leftrightarrow boxedS geq -frac12$$
          For the upper bound we use Cauchy-Schwarz:
          $$1+2S = (a+b+c)^2 = (1cdot a + 1cdot b+1cdot c)^2 leq 3cdot (a^2+b^2+c^2) = 3 $$$$Leftrightarrow 1+2S leq 3 Leftrightarrow boxedSleq 1$$






          share|cite|improve this answer





























            up vote
            9
            down vote













            Consider the map $rcolonmathbbR^3longrightarrowmathbbR^3$ defined by $r(x,y,z)=(z,x,y)$. This is a rotation around the line $,xinmathbbR$, with angle $frac2pi3$. Therefore, if $(x,y,z)inmathbbR^3$, then the angle between $(x,y,z)$ and $r(x,y,z)$ is, at most, $frac2pi3$. So, if $a^2+b^2+c^2=1$ and if $theta$ is the angle between $(a,b,c)$ and $r(a,b,c)$,beginalignab+bc+ca&=bigllangle(a,b,c),r(a,b,c)bigrrangle\&=bigl|(a,b,c)bigr|^2costheta\&=costheta\&inleft[-frac12,1right].endalign






            share|cite|improve this answer


















            • 1




              This geometric argument is awesome, thank you!
              – lisyarus
              Aug 30 at 10:59

















            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            9
            down vote



            accepted










            Let's denote $S = ab+bc+ca$.



            For the lower bound:
            $$(a+b+c)^2 geq 0 Leftrightarrow a^2+b^2+c^2 + 2S = 1 + 2S geq 0 Leftrightarrow boxedS geq -frac12$$
            For the upper bound we use Cauchy-Schwarz:
            $$1+2S = (a+b+c)^2 = (1cdot a + 1cdot b+1cdot c)^2 leq 3cdot (a^2+b^2+c^2) = 3 $$$$Leftrightarrow 1+2S leq 3 Leftrightarrow boxedSleq 1$$






            share|cite|improve this answer


























              up vote
              9
              down vote



              accepted










              Let's denote $S = ab+bc+ca$.



              For the lower bound:
              $$(a+b+c)^2 geq 0 Leftrightarrow a^2+b^2+c^2 + 2S = 1 + 2S geq 0 Leftrightarrow boxedS geq -frac12$$
              For the upper bound we use Cauchy-Schwarz:
              $$1+2S = (a+b+c)^2 = (1cdot a + 1cdot b+1cdot c)^2 leq 3cdot (a^2+b^2+c^2) = 3 $$$$Leftrightarrow 1+2S leq 3 Leftrightarrow boxedSleq 1$$






              share|cite|improve this answer
























                up vote
                9
                down vote



                accepted







                up vote
                9
                down vote



                accepted






                Let's denote $S = ab+bc+ca$.



                For the lower bound:
                $$(a+b+c)^2 geq 0 Leftrightarrow a^2+b^2+c^2 + 2S = 1 + 2S geq 0 Leftrightarrow boxedS geq -frac12$$
                For the upper bound we use Cauchy-Schwarz:
                $$1+2S = (a+b+c)^2 = (1cdot a + 1cdot b+1cdot c)^2 leq 3cdot (a^2+b^2+c^2) = 3 $$$$Leftrightarrow 1+2S leq 3 Leftrightarrow boxedSleq 1$$






                share|cite|improve this answer














                Let's denote $S = ab+bc+ca$.



                For the lower bound:
                $$(a+b+c)^2 geq 0 Leftrightarrow a^2+b^2+c^2 + 2S = 1 + 2S geq 0 Leftrightarrow boxedS geq -frac12$$
                For the upper bound we use Cauchy-Schwarz:
                $$1+2S = (a+b+c)^2 = (1cdot a + 1cdot b+1cdot c)^2 leq 3cdot (a^2+b^2+c^2) = 3 $$$$Leftrightarrow 1+2S leq 3 Leftrightarrow boxedSleq 1$$







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited Aug 30 at 10:29

























                answered Aug 30 at 9:48









                trancelocation

                5,2951515




                5,2951515




















                    up vote
                    9
                    down vote













                    Consider the map $rcolonmathbbR^3longrightarrowmathbbR^3$ defined by $r(x,y,z)=(z,x,y)$. This is a rotation around the line $,xinmathbbR$, with angle $frac2pi3$. Therefore, if $(x,y,z)inmathbbR^3$, then the angle between $(x,y,z)$ and $r(x,y,z)$ is, at most, $frac2pi3$. So, if $a^2+b^2+c^2=1$ and if $theta$ is the angle between $(a,b,c)$ and $r(a,b,c)$,beginalignab+bc+ca&=bigllangle(a,b,c),r(a,b,c)bigrrangle\&=bigl|(a,b,c)bigr|^2costheta\&=costheta\&inleft[-frac12,1right].endalign






                    share|cite|improve this answer


















                    • 1




                      This geometric argument is awesome, thank you!
                      – lisyarus
                      Aug 30 at 10:59














                    up vote
                    9
                    down vote













                    Consider the map $rcolonmathbbR^3longrightarrowmathbbR^3$ defined by $r(x,y,z)=(z,x,y)$. This is a rotation around the line $,xinmathbbR$, with angle $frac2pi3$. Therefore, if $(x,y,z)inmathbbR^3$, then the angle between $(x,y,z)$ and $r(x,y,z)$ is, at most, $frac2pi3$. So, if $a^2+b^2+c^2=1$ and if $theta$ is the angle between $(a,b,c)$ and $r(a,b,c)$,beginalignab+bc+ca&=bigllangle(a,b,c),r(a,b,c)bigrrangle\&=bigl|(a,b,c)bigr|^2costheta\&=costheta\&inleft[-frac12,1right].endalign






                    share|cite|improve this answer


















                    • 1




                      This geometric argument is awesome, thank you!
                      – lisyarus
                      Aug 30 at 10:59












                    up vote
                    9
                    down vote










                    up vote
                    9
                    down vote









                    Consider the map $rcolonmathbbR^3longrightarrowmathbbR^3$ defined by $r(x,y,z)=(z,x,y)$. This is a rotation around the line $,xinmathbbR$, with angle $frac2pi3$. Therefore, if $(x,y,z)inmathbbR^3$, then the angle between $(x,y,z)$ and $r(x,y,z)$ is, at most, $frac2pi3$. So, if $a^2+b^2+c^2=1$ and if $theta$ is the angle between $(a,b,c)$ and $r(a,b,c)$,beginalignab+bc+ca&=bigllangle(a,b,c),r(a,b,c)bigrrangle\&=bigl|(a,b,c)bigr|^2costheta\&=costheta\&inleft[-frac12,1right].endalign






                    share|cite|improve this answer














                    Consider the map $rcolonmathbbR^3longrightarrowmathbbR^3$ defined by $r(x,y,z)=(z,x,y)$. This is a rotation around the line $,xinmathbbR$, with angle $frac2pi3$. Therefore, if $(x,y,z)inmathbbR^3$, then the angle between $(x,y,z)$ and $r(x,y,z)$ is, at most, $frac2pi3$. So, if $a^2+b^2+c^2=1$ and if $theta$ is the angle between $(a,b,c)$ and $r(a,b,c)$,beginalignab+bc+ca&=bigllangle(a,b,c),r(a,b,c)bigrrangle\&=bigl|(a,b,c)bigr|^2costheta\&=costheta\&inleft[-frac12,1right].endalign







                    share|cite|improve this answer














                    share|cite|improve this answer



                    share|cite|improve this answer








                    edited Sep 4 at 14:19

























                    answered Aug 30 at 9:36









                    José Carlos Santos

                    120k16101185




                    120k16101185







                    • 1




                      This geometric argument is awesome, thank you!
                      – lisyarus
                      Aug 30 at 10:59












                    • 1




                      This geometric argument is awesome, thank you!
                      – lisyarus
                      Aug 30 at 10:59







                    1




                    1




                    This geometric argument is awesome, thank you!
                    – lisyarus
                    Aug 30 at 10:59




                    This geometric argument is awesome, thank you!
                    – lisyarus
                    Aug 30 at 10:59


                    這個網誌中的熱門文章

                    How to combine Bézier curves to a surface?

                    Mutual Information Always Non-negative

                    Why am i infinitely getting the same tweet with the Twitter Search API?