Proof of $a^1/p+b^1/p>(a+b)^1/p$ if $a$, $b$ and $p>1$
Clash 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.
real-analysis
add a comment |Â
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.
real-analysis
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
add a comment |Â
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.
real-analysis
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.
real-analysis
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
add a comment |Â
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
add a comment |Â
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.
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
add a comment |Â
up vote
0
down vote
$a^1/p+b^1/p>(a+b)^1/p$ is false ! Consider the case $p=1/2$.
actually is for p>1, sorry about this, I can't seem to edit the question.
â Mark A. Ruiz
Aug 17 at 7:33
add a comment |Â
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$.
add a comment |Â
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$$
add a comment |Â
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.
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
add a comment |Â
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.
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
add a comment |Â
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.
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.
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
add a comment |Â
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
add a comment |Â
up vote
0
down vote
$a^1/p+b^1/p>(a+b)^1/p$ is false ! Consider the case $p=1/2$.
actually is for p>1, sorry about this, I can't seem to edit the question.
â Mark A. Ruiz
Aug 17 at 7:33
add a comment |Â
up vote
0
down vote
$a^1/p+b^1/p>(a+b)^1/p$ is false ! Consider the case $p=1/2$.
actually is for p>1, sorry about this, I can't seem to edit the question.
â Mark A. Ruiz
Aug 17 at 7:33
add a comment |Â
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$.
$a^1/p+b^1/p>(a+b)^1/p$ is false ! Consider the case $p=1/2$.
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
add a comment |Â
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
add a comment |Â
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$.
add a comment |Â
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$.
add a comment |Â
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$.
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$.
answered Aug 17 at 8:02
PeteAgor
164
164
add a comment |Â
add a comment |Â
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$$
add a comment |Â
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$$
add a comment |Â
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$$
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$$
answered Aug 17 at 22:37
Paramanand Singh
45.3k553143
45.3k553143
add a comment |Â
add a comment |Â
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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