Proof of $a^1/p+b^1/p>(a+b)^1/p$ if $a$, $b$ and $p>1$

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











up vote
0
down vote

favorite












In a book, I saw the following:



For any two positive numbers $a$, $b$ and $p>1$, $a^1/p+b^1/p>(a+b)^1/p$. I tried to prove this but I was unsuccessful. Also, how is this inequality called, couldn't find any information online.







share|cite|improve this question






















  • It should be $ge$ instead of $>$as the case $p=1$
    – Mira from Earth
    Aug 17 at 7:27










  • $2^2+3^2 lt 5^2$ if $a=2, b=3 ,p=0.5 $
    – DevashishKaushik
    Aug 17 at 7:27











  • @Mark A. Ruiz Maybe you omitted some restrictions on the values your variables are allowed to take ?
    – DevashishKaushik
    Aug 17 at 7:29











  • Also, have you tried using Binomial Theorem for the proof ?
    – DevashishKaushik
    Aug 17 at 7:32










  • I would recommend start by proving $frac12 left(a^1/p + b^1/pright) > left(fraca + b2right)^1/p$, using $f(x) = x^1/p$ being a concave, and something like Jensen's inequality.
    – DanielV
    Aug 17 at 7:55














up vote
0
down vote

favorite












In a book, I saw the following:



For any two positive numbers $a$, $b$ and $p>1$, $a^1/p+b^1/p>(a+b)^1/p$. I tried to prove this but I was unsuccessful. Also, how is this inequality called, couldn't find any information online.







share|cite|improve this question






















  • It should be $ge$ instead of $>$as the case $p=1$
    – Mira from Earth
    Aug 17 at 7:27










  • $2^2+3^2 lt 5^2$ if $a=2, b=3 ,p=0.5 $
    – DevashishKaushik
    Aug 17 at 7:27











  • @Mark A. Ruiz Maybe you omitted some restrictions on the values your variables are allowed to take ?
    – DevashishKaushik
    Aug 17 at 7:29











  • Also, have you tried using Binomial Theorem for the proof ?
    – DevashishKaushik
    Aug 17 at 7:32










  • I would recommend start by proving $frac12 left(a^1/p + b^1/pright) > left(fraca + b2right)^1/p$, using $f(x) = x^1/p$ being a concave, and something like Jensen's inequality.
    – DanielV
    Aug 17 at 7:55












up vote
0
down vote

favorite









up vote
0
down vote

favorite











In a book, I saw the following:



For any two positive numbers $a$, $b$ and $p>1$, $a^1/p+b^1/p>(a+b)^1/p$. I tried to prove this but I was unsuccessful. Also, how is this inequality called, couldn't find any information online.







share|cite|improve this question














In a book, I saw the following:



For any two positive numbers $a$, $b$ and $p>1$, $a^1/p+b^1/p>(a+b)^1/p$. I tried to prove this but I was unsuccessful. Also, how is this inequality called, couldn't find any information online.









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 17 at 8:09









Bernard

111k635103




111k635103










asked Aug 17 at 7:21









Mark A. Ruiz

8119




8119











  • It should be $ge$ instead of $>$as the case $p=1$
    – Mira from Earth
    Aug 17 at 7:27










  • $2^2+3^2 lt 5^2$ if $a=2, b=3 ,p=0.5 $
    – DevashishKaushik
    Aug 17 at 7:27











  • @Mark A. Ruiz Maybe you omitted some restrictions on the values your variables are allowed to take ?
    – DevashishKaushik
    Aug 17 at 7:29











  • Also, have you tried using Binomial Theorem for the proof ?
    – DevashishKaushik
    Aug 17 at 7:32










  • I would recommend start by proving $frac12 left(a^1/p + b^1/pright) > left(fraca + b2right)^1/p$, using $f(x) = x^1/p$ being a concave, and something like Jensen's inequality.
    – DanielV
    Aug 17 at 7:55
















  • It should be $ge$ instead of $>$as the case $p=1$
    – Mira from Earth
    Aug 17 at 7:27










  • $2^2+3^2 lt 5^2$ if $a=2, b=3 ,p=0.5 $
    – DevashishKaushik
    Aug 17 at 7:27











  • @Mark A. Ruiz Maybe you omitted some restrictions on the values your variables are allowed to take ?
    – DevashishKaushik
    Aug 17 at 7:29











  • Also, have you tried using Binomial Theorem for the proof ?
    – DevashishKaushik
    Aug 17 at 7:32










  • I would recommend start by proving $frac12 left(a^1/p + b^1/pright) > left(fraca + b2right)^1/p$, using $f(x) = x^1/p$ being a concave, and something like Jensen's inequality.
    – DanielV
    Aug 17 at 7:55















It should be $ge$ instead of $>$as the case $p=1$
– Mira from Earth
Aug 17 at 7:27




It should be $ge$ instead of $>$as the case $p=1$
– Mira from Earth
Aug 17 at 7:27












$2^2+3^2 lt 5^2$ if $a=2, b=3 ,p=0.5 $
– DevashishKaushik
Aug 17 at 7:27





$2^2+3^2 lt 5^2$ if $a=2, b=3 ,p=0.5 $
– DevashishKaushik
Aug 17 at 7:27













@Mark A. Ruiz Maybe you omitted some restrictions on the values your variables are allowed to take ?
– DevashishKaushik
Aug 17 at 7:29





@Mark A. Ruiz Maybe you omitted some restrictions on the values your variables are allowed to take ?
– DevashishKaushik
Aug 17 at 7:29













Also, have you tried using Binomial Theorem for the proof ?
– DevashishKaushik
Aug 17 at 7:32




Also, have you tried using Binomial Theorem for the proof ?
– DevashishKaushik
Aug 17 at 7:32












I would recommend start by proving $frac12 left(a^1/p + b^1/pright) > left(fraca + b2right)^1/p$, using $f(x) = x^1/p$ being a concave, and something like Jensen's inequality.
– DanielV
Aug 17 at 7:55




I would recommend start by proving $frac12 left(a^1/p + b^1/pright) > left(fraca + b2right)^1/p$, using $f(x) = x^1/p$ being a concave, and something like Jensen's inequality.
– DanielV
Aug 17 at 7:55










4 Answers
4






active

oldest

votes

















up vote
2
down vote



accepted










The inequality is false for $p <1$. For example $a^2+b^2 < (a+b)^2$ for $a, b >0$ so the inequality does not hold for $p =frac 1 2$. Suppose $p >1$. We claim that $c^t+(1-c)^t >1$ if $c,t in (0,1)$. If this is proved we can take $c =frac a a+b$ and $t =frac 1 p$ to complete the proof. To prove the claim diferentiate w.r.t. $c$ to see that the function $c to c^t+(1-c)^t$ is strictly increasing for $c <frac 1 2$ and then it strictly decreases. Hence the inequality will follow if we prove that equality holds for $c=0$ and $c=1$ which is trivial.






share|cite|improve this answer


















  • 1




    you mean $p<1$.
    – Fred
    Aug 17 at 7:27










  • Sorry for the typo.
    – Kavi Rama Murthy
    Aug 17 at 7:28










  • actually is for p>1, sorry about this, I can't seem to edit the question
    – Mark A. Ruiz
    Aug 17 at 7:33

















up vote
0
down vote













$a^1/p+b^1/p>(a+b)^1/p$ is false ! Consider the case $p=1/2$.






share|cite|improve this answer




















  • actually is for p>1, sorry about this, I can't seem to edit the question.
    – Mark A. Ruiz
    Aug 17 at 7:33

















up vote
0
down vote













Actually, if $a,b>0$ and $p>1$, you have an equivalence between
$$
(a+b)^1/p < a^1/p + b^1/p
$$
and
$$
a+b < sum_k=0^p binompka^(p-k)/p b^k/p, \
a + b < a + b + sum_k=1^p-1 binompka^(p-k)/p b^k/p.
$$



The last inequality obviously is true and it is an equality if $a=0$ or $b=0$ or $p=1$.






share|cite|improve this answer



























    up vote
    0
    down vote













    Since both sides of inequality are homogeneous in $a, b$ of degree $1/p$ we can work with the assumption that $a+b=1$. Since $a, b$ are positive it follows that $0<a,b<1$ and $p>1$ so we have $$a^1/p+b^1/p>a+b=1=1^1/p=(a+b)^1/p$$






    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%2f2885492%2fproof-of-a1-pb1-pab1-p-if-a-b-and-p1%23new-answer', 'question_page');

      );

      Post as a guest






























      4 Answers
      4






      active

      oldest

      votes








      4 Answers
      4






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      2
      down vote



      accepted










      The inequality is false for $p <1$. For example $a^2+b^2 < (a+b)^2$ for $a, b >0$ so the inequality does not hold for $p =frac 1 2$. Suppose $p >1$. We claim that $c^t+(1-c)^t >1$ if $c,t in (0,1)$. If this is proved we can take $c =frac a a+b$ and $t =frac 1 p$ to complete the proof. To prove the claim diferentiate w.r.t. $c$ to see that the function $c to c^t+(1-c)^t$ is strictly increasing for $c <frac 1 2$ and then it strictly decreases. Hence the inequality will follow if we prove that equality holds for $c=0$ and $c=1$ which is trivial.






      share|cite|improve this answer


















      • 1




        you mean $p<1$.
        – Fred
        Aug 17 at 7:27










      • Sorry for the typo.
        – Kavi Rama Murthy
        Aug 17 at 7:28










      • actually is for p>1, sorry about this, I can't seem to edit the question
        – Mark A. Ruiz
        Aug 17 at 7:33














      up vote
      2
      down vote



      accepted










      The inequality is false for $p <1$. For example $a^2+b^2 < (a+b)^2$ for $a, b >0$ so the inequality does not hold for $p =frac 1 2$. Suppose $p >1$. We claim that $c^t+(1-c)^t >1$ if $c,t in (0,1)$. If this is proved we can take $c =frac a a+b$ and $t =frac 1 p$ to complete the proof. To prove the claim diferentiate w.r.t. $c$ to see that the function $c to c^t+(1-c)^t$ is strictly increasing for $c <frac 1 2$ and then it strictly decreases. Hence the inequality will follow if we prove that equality holds for $c=0$ and $c=1$ which is trivial.






      share|cite|improve this answer


















      • 1




        you mean $p<1$.
        – Fred
        Aug 17 at 7:27










      • Sorry for the typo.
        – Kavi Rama Murthy
        Aug 17 at 7:28










      • actually is for p>1, sorry about this, I can't seem to edit the question
        – Mark A. Ruiz
        Aug 17 at 7:33












      up vote
      2
      down vote



      accepted







      up vote
      2
      down vote



      accepted






      The inequality is false for $p <1$. For example $a^2+b^2 < (a+b)^2$ for $a, b >0$ so the inequality does not hold for $p =frac 1 2$. Suppose $p >1$. We claim that $c^t+(1-c)^t >1$ if $c,t in (0,1)$. If this is proved we can take $c =frac a a+b$ and $t =frac 1 p$ to complete the proof. To prove the claim diferentiate w.r.t. $c$ to see that the function $c to c^t+(1-c)^t$ is strictly increasing for $c <frac 1 2$ and then it strictly decreases. Hence the inequality will follow if we prove that equality holds for $c=0$ and $c=1$ which is trivial.






      share|cite|improve this answer














      The inequality is false for $p <1$. For example $a^2+b^2 < (a+b)^2$ for $a, b >0$ so the inequality does not hold for $p =frac 1 2$. Suppose $p >1$. We claim that $c^t+(1-c)^t >1$ if $c,t in (0,1)$. If this is proved we can take $c =frac a a+b$ and $t =frac 1 p$ to complete the proof. To prove the claim diferentiate w.r.t. $c$ to see that the function $c to c^t+(1-c)^t$ is strictly increasing for $c <frac 1 2$ and then it strictly decreases. Hence the inequality will follow if we prove that equality holds for $c=0$ and $c=1$ which is trivial.







      share|cite|improve this answer














      share|cite|improve this answer



      share|cite|improve this answer








      edited Aug 17 at 7:46

























      answered Aug 17 at 7:26









      Kavi Rama Murthy

      22.8k2933




      22.8k2933







      • 1




        you mean $p<1$.
        – Fred
        Aug 17 at 7:27










      • Sorry for the typo.
        – Kavi Rama Murthy
        Aug 17 at 7:28










      • actually is for p>1, sorry about this, I can't seem to edit the question
        – Mark A. Ruiz
        Aug 17 at 7:33












      • 1




        you mean $p<1$.
        – Fred
        Aug 17 at 7:27










      • Sorry for the typo.
        – Kavi Rama Murthy
        Aug 17 at 7:28










      • actually is for p>1, sorry about this, I can't seem to edit the question
        – Mark A. Ruiz
        Aug 17 at 7:33







      1




      1




      you mean $p<1$.
      – Fred
      Aug 17 at 7:27




      you mean $p<1$.
      – Fred
      Aug 17 at 7:27












      Sorry for the typo.
      – Kavi Rama Murthy
      Aug 17 at 7:28




      Sorry for the typo.
      – Kavi Rama Murthy
      Aug 17 at 7:28












      actually is for p>1, sorry about this, I can't seem to edit the question
      – Mark A. Ruiz
      Aug 17 at 7:33




      actually is for p>1, sorry about this, I can't seem to edit the question
      – Mark A. Ruiz
      Aug 17 at 7:33










      up vote
      0
      down vote













      $a^1/p+b^1/p>(a+b)^1/p$ is false ! Consider the case $p=1/2$.






      share|cite|improve this answer




















      • actually is for p>1, sorry about this, I can't seem to edit the question.
        – Mark A. Ruiz
        Aug 17 at 7:33














      up vote
      0
      down vote













      $a^1/p+b^1/p>(a+b)^1/p$ is false ! Consider the case $p=1/2$.






      share|cite|improve this answer




















      • actually is for p>1, sorry about this, I can't seem to edit the question.
        – Mark A. Ruiz
        Aug 17 at 7:33












      up vote
      0
      down vote










      up vote
      0
      down vote









      $a^1/p+b^1/p>(a+b)^1/p$ is false ! Consider the case $p=1/2$.






      share|cite|improve this answer












      $a^1/p+b^1/p>(a+b)^1/p$ is false ! Consider the case $p=1/2$.







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      answered Aug 17 at 7:26









      Fred

      38.2k1238




      38.2k1238











      • actually is for p>1, sorry about this, I can't seem to edit the question.
        – Mark A. Ruiz
        Aug 17 at 7:33
















      • actually is for p>1, sorry about this, I can't seem to edit the question.
        – Mark A. Ruiz
        Aug 17 at 7:33















      actually is for p>1, sorry about this, I can't seem to edit the question.
      – Mark A. Ruiz
      Aug 17 at 7:33




      actually is for p>1, sorry about this, I can't seem to edit the question.
      – Mark A. Ruiz
      Aug 17 at 7:33










      up vote
      0
      down vote













      Actually, if $a,b>0$ and $p>1$, you have an equivalence between
      $$
      (a+b)^1/p < a^1/p + b^1/p
      $$
      and
      $$
      a+b < sum_k=0^p binompka^(p-k)/p b^k/p, \
      a + b < a + b + sum_k=1^p-1 binompka^(p-k)/p b^k/p.
      $$



      The last inequality obviously is true and it is an equality if $a=0$ or $b=0$ or $p=1$.






      share|cite|improve this answer
























        up vote
        0
        down vote













        Actually, if $a,b>0$ and $p>1$, you have an equivalence between
        $$
        (a+b)^1/p < a^1/p + b^1/p
        $$
        and
        $$
        a+b < sum_k=0^p binompka^(p-k)/p b^k/p, \
        a + b < a + b + sum_k=1^p-1 binompka^(p-k)/p b^k/p.
        $$



        The last inequality obviously is true and it is an equality if $a=0$ or $b=0$ or $p=1$.






        share|cite|improve this answer






















          up vote
          0
          down vote










          up vote
          0
          down vote









          Actually, if $a,b>0$ and $p>1$, you have an equivalence between
          $$
          (a+b)^1/p < a^1/p + b^1/p
          $$
          and
          $$
          a+b < sum_k=0^p binompka^(p-k)/p b^k/p, \
          a + b < a + b + sum_k=1^p-1 binompka^(p-k)/p b^k/p.
          $$



          The last inequality obviously is true and it is an equality if $a=0$ or $b=0$ or $p=1$.






          share|cite|improve this answer












          Actually, if $a,b>0$ and $p>1$, you have an equivalence between
          $$
          (a+b)^1/p < a^1/p + b^1/p
          $$
          and
          $$
          a+b < sum_k=0^p binompka^(p-k)/p b^k/p, \
          a + b < a + b + sum_k=1^p-1 binompka^(p-k)/p b^k/p.
          $$



          The last inequality obviously is true and it is an equality if $a=0$ or $b=0$ or $p=1$.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Aug 17 at 8:02









          PeteAgor

          164




          164




















              up vote
              0
              down vote













              Since both sides of inequality are homogeneous in $a, b$ of degree $1/p$ we can work with the assumption that $a+b=1$. Since $a, b$ are positive it follows that $0<a,b<1$ and $p>1$ so we have $$a^1/p+b^1/p>a+b=1=1^1/p=(a+b)^1/p$$






              share|cite|improve this answer
























                up vote
                0
                down vote













                Since both sides of inequality are homogeneous in $a, b$ of degree $1/p$ we can work with the assumption that $a+b=1$. Since $a, b$ are positive it follows that $0<a,b<1$ and $p>1$ so we have $$a^1/p+b^1/p>a+b=1=1^1/p=(a+b)^1/p$$






                share|cite|improve this answer






















                  up vote
                  0
                  down vote










                  up vote
                  0
                  down vote









                  Since both sides of inequality are homogeneous in $a, b$ of degree $1/p$ we can work with the assumption that $a+b=1$. Since $a, b$ are positive it follows that $0<a,b<1$ and $p>1$ so we have $$a^1/p+b^1/p>a+b=1=1^1/p=(a+b)^1/p$$






                  share|cite|improve this answer












                  Since both sides of inequality are homogeneous in $a, b$ of degree $1/p$ we can work with the assumption that $a+b=1$. Since $a, b$ are positive it follows that $0<a,b<1$ and $p>1$ so we have $$a^1/p+b^1/p>a+b=1=1^1/p=(a+b)^1/p$$







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Aug 17 at 22:37









                  Paramanand Singh

                  45.3k553143




                  45.3k553143






















                       

                      draft saved


                      draft discarded


























                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2885492%2fproof-of-a1-pb1-pab1-p-if-a-b-and-p1%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      這個網誌中的熱門文章

                      Is there any way to eliminate the singular point to solve this integral by hand or by approximations?

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

                      Carbon dioxide