Prove or disprove $sqrt[3]frac(ab+bc+ac)(a^2+b^2+c^2)9gesqrt[4]frac(a^2b^2+b^2c^2+c^2a^2)3$

Clash Royale CLAN TAG#URR8PPP
up vote
2
down vote
favorite
Let $a,b,c>0$ prove or disprove
$$sqrt[3]dfrac(a+b+c)(a^2+b^2+c^2)9gesqrt[4]dfrac(a^2b^2+b^2c^2+c^2a^2)3$$
since
$$(a^2+b^2+c^2)^2ge 3(a^2b^2+b^2c^2+a^2c^2)tag1$$
other
$$(a+b+c)^2le 3(a^2+b^2+c^2)tag2$$
Because of the inequality sign in a different direction so we can't $(1)times (2)$
inequality radicals substitution symmetric-polynomials uvw
add a comment |Â
up vote
2
down vote
favorite
Let $a,b,c>0$ prove or disprove
$$sqrt[3]dfrac(a+b+c)(a^2+b^2+c^2)9gesqrt[4]dfrac(a^2b^2+b^2c^2+c^2a^2)3$$
since
$$(a^2+b^2+c^2)^2ge 3(a^2b^2+b^2c^2+a^2c^2)tag1$$
other
$$(a+b+c)^2le 3(a^2+b^2+c^2)tag2$$
Because of the inequality sign in a different direction so we can't $(1)times (2)$
inequality radicals substitution symmetric-polynomials uvw
1
A little bit of context and your own attempt at solution would be welcome
â Yuriy S
Oct 7 '16 at 10:25
It looks to hold. A good way to prove it may be to exploit some combination of Schur's and Newton-MacLaurin's inequalities.
â Jack D'Aurizioâ¦
Oct 7 '16 at 10:31
The inequality is homogenous, so you can assume any one of a+b+c=k, ab+bc+ca=k, abc=k, for arbitrary positive values of k.
â Jack Lam
Oct 7 '16 at 10:37
@MichaelRozenberg,it's different problem
â geromty
Oct 7 '16 at 13:58
Can you correct he title? You seem to have a different problem there.
â Macavity
Oct 7 '16 at 18:32
add a comment |Â
up vote
2
down vote
favorite
up vote
2
down vote
favorite
Let $a,b,c>0$ prove or disprove
$$sqrt[3]dfrac(a+b+c)(a^2+b^2+c^2)9gesqrt[4]dfrac(a^2b^2+b^2c^2+c^2a^2)3$$
since
$$(a^2+b^2+c^2)^2ge 3(a^2b^2+b^2c^2+a^2c^2)tag1$$
other
$$(a+b+c)^2le 3(a^2+b^2+c^2)tag2$$
Because of the inequality sign in a different direction so we can't $(1)times (2)$
inequality radicals substitution symmetric-polynomials uvw
Let $a,b,c>0$ prove or disprove
$$sqrt[3]dfrac(a+b+c)(a^2+b^2+c^2)9gesqrt[4]dfrac(a^2b^2+b^2c^2+c^2a^2)3$$
since
$$(a^2+b^2+c^2)^2ge 3(a^2b^2+b^2c^2+a^2c^2)tag1$$
other
$$(a+b+c)^2le 3(a^2+b^2+c^2)tag2$$
Because of the inequality sign in a different direction so we can't $(1)times (2)$
inequality radicals substitution symmetric-polynomials uvw
inequality radicals substitution symmetric-polynomials uvw
edited Sep 9 at 4:35
Michael Rozenberg
89.3k1582179
89.3k1582179
asked Oct 7 '16 at 10:23
geromty
982421
982421
1
A little bit of context and your own attempt at solution would be welcome
â Yuriy S
Oct 7 '16 at 10:25
It looks to hold. A good way to prove it may be to exploit some combination of Schur's and Newton-MacLaurin's inequalities.
â Jack D'Aurizioâ¦
Oct 7 '16 at 10:31
The inequality is homogenous, so you can assume any one of a+b+c=k, ab+bc+ca=k, abc=k, for arbitrary positive values of k.
â Jack Lam
Oct 7 '16 at 10:37
@MichaelRozenberg,it's different problem
â geromty
Oct 7 '16 at 13:58
Can you correct he title? You seem to have a different problem there.
â Macavity
Oct 7 '16 at 18:32
add a comment |Â
1
A little bit of context and your own attempt at solution would be welcome
â Yuriy S
Oct 7 '16 at 10:25
It looks to hold. A good way to prove it may be to exploit some combination of Schur's and Newton-MacLaurin's inequalities.
â Jack D'Aurizioâ¦
Oct 7 '16 at 10:31
The inequality is homogenous, so you can assume any one of a+b+c=k, ab+bc+ca=k, abc=k, for arbitrary positive values of k.
â Jack Lam
Oct 7 '16 at 10:37
@MichaelRozenberg,it's different problem
â geromty
Oct 7 '16 at 13:58
Can you correct he title? You seem to have a different problem there.
â Macavity
Oct 7 '16 at 18:32
1
1
A little bit of context and your own attempt at solution would be welcome
â Yuriy S
Oct 7 '16 at 10:25
A little bit of context and your own attempt at solution would be welcome
â Yuriy S
Oct 7 '16 at 10:25
It looks to hold. A good way to prove it may be to exploit some combination of Schur's and Newton-MacLaurin's inequalities.
â Jack D'Aurizioâ¦
Oct 7 '16 at 10:31
It looks to hold. A good way to prove it may be to exploit some combination of Schur's and Newton-MacLaurin's inequalities.
â Jack D'Aurizioâ¦
Oct 7 '16 at 10:31
The inequality is homogenous, so you can assume any one of a+b+c=k, ab+bc+ca=k, abc=k, for arbitrary positive values of k.
â Jack Lam
Oct 7 '16 at 10:37
The inequality is homogenous, so you can assume any one of a+b+c=k, ab+bc+ca=k, abc=k, for arbitrary positive values of k.
â Jack Lam
Oct 7 '16 at 10:37
@MichaelRozenberg,it's different problem
â geromty
Oct 7 '16 at 13:58
@MichaelRozenberg,it's different problem
â geromty
Oct 7 '16 at 13:58
Can you correct he title? You seem to have a different problem there.
â Macavity
Oct 7 '16 at 18:32
Can you correct he title? You seem to have a different problem there.
â Macavity
Oct 7 '16 at 18:32
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
1
down vote
accepted
After a quick look:
$$sqrt[3]dfrac(a+b+c)(a^2+b^2+c^2)9ge sqrt[3]dfrac(2s+c)(2s^2+c^2)9 ge sqrt[4]dfrac(s^4+2s^2c^2)3 ge sqrt[4]dfrac(a^2b^2+b^2c^2+c^2a^2)3$$
where $s=fraca+b2$ and we assume $c=min(a,b,c)$.
The left inequality follows from $2(a^2+b^2)ge (a+b)^2$.
The right inequality follows from $(s^2-p)(s^2+p-2c^2)ge 0$ where $p=ab$ (note that $s^2ge p ge c^2$).
The middle inequality is, as you may have observed, the original inequality where we set $a=b=s$. Since the inequality is homogeneous, we can set $s=1$, i.e. solving the original inequality when $a=b=1$, which is easy.
This method is called Mixing Variables Method.
You can also try to find an intermediate term like in this solution to get an even nicer solution.
add a comment |Â
up vote
2
down vote
Let $a+b+c=3u$, $ab+ac+bc=3v^2$ and $abc=w^3$.
Hence, we need to prove that
$$sqrt[3]u(3u^2-2v^2)geqsqrt[4]3v^4-2uw^3$$ or
$f(w^3)geq0$, where $f$ is an increasing function.
Thus, it's enough to prove our inequality for a minimal value of $w^3$.
$a$, $b$ and $c$ are positive roots of the equation $(x-a)(x-b)(x-c)=0$ or
$x^3-3ux^2+3v^2x=w^3$.
Hence, a line $y=w^3$ and a graph of $y=x^3-3ux^2+3v^2x$ have three common points.
Thus, $w^3$ gets a minimal value, when a line $y=w^3$ is a tangent line
to the graph of $y=x^3-3ux^2+3v^2x$, which happens for equality case of two variables.
Also we must check the case $w^3rightarrow0^+$.
Id est, it's enough to prove our inequality in the following cases.
- $b=c=1$, which gives
$$(a-1)^2(a^10+10a^9+51a^8+188a^7+557a^6+1374a^5+983a^4+1616a^3+501a^2+538a+13)geq0$$
2. $w^3rightarrow0^+$.
Let $crightarrow0^+$ and $b=1$.
We obtain $(a^3+a^2+a+1)^4geq243a^6$, which is obvious by AM-GM.
Done!
Would downvoters also mention why? This looks good+1, though personally I don't find the $u,v,w$ method nice.
â Macavity
Oct 7 '16 at 18:08
@Macavity Thank you! You are welcome to prove this inequality by another way. By the way, I have another proof, but it's very ugly. I think $uvw$ is a best here.
â Michael Rozenberg
Oct 7 '16 at 18:14
This answer does not deserve downvotes. +1.
â Khue
Oct 11 '16 at 14:59
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
1
down vote
accepted
After a quick look:
$$sqrt[3]dfrac(a+b+c)(a^2+b^2+c^2)9ge sqrt[3]dfrac(2s+c)(2s^2+c^2)9 ge sqrt[4]dfrac(s^4+2s^2c^2)3 ge sqrt[4]dfrac(a^2b^2+b^2c^2+c^2a^2)3$$
where $s=fraca+b2$ and we assume $c=min(a,b,c)$.
The left inequality follows from $2(a^2+b^2)ge (a+b)^2$.
The right inequality follows from $(s^2-p)(s^2+p-2c^2)ge 0$ where $p=ab$ (note that $s^2ge p ge c^2$).
The middle inequality is, as you may have observed, the original inequality where we set $a=b=s$. Since the inequality is homogeneous, we can set $s=1$, i.e. solving the original inequality when $a=b=1$, which is easy.
This method is called Mixing Variables Method.
You can also try to find an intermediate term like in this solution to get an even nicer solution.
add a comment |Â
up vote
1
down vote
accepted
After a quick look:
$$sqrt[3]dfrac(a+b+c)(a^2+b^2+c^2)9ge sqrt[3]dfrac(2s+c)(2s^2+c^2)9 ge sqrt[4]dfrac(s^4+2s^2c^2)3 ge sqrt[4]dfrac(a^2b^2+b^2c^2+c^2a^2)3$$
where $s=fraca+b2$ and we assume $c=min(a,b,c)$.
The left inequality follows from $2(a^2+b^2)ge (a+b)^2$.
The right inequality follows from $(s^2-p)(s^2+p-2c^2)ge 0$ where $p=ab$ (note that $s^2ge p ge c^2$).
The middle inequality is, as you may have observed, the original inequality where we set $a=b=s$. Since the inequality is homogeneous, we can set $s=1$, i.e. solving the original inequality when $a=b=1$, which is easy.
This method is called Mixing Variables Method.
You can also try to find an intermediate term like in this solution to get an even nicer solution.
add a comment |Â
up vote
1
down vote
accepted
up vote
1
down vote
accepted
After a quick look:
$$sqrt[3]dfrac(a+b+c)(a^2+b^2+c^2)9ge sqrt[3]dfrac(2s+c)(2s^2+c^2)9 ge sqrt[4]dfrac(s^4+2s^2c^2)3 ge sqrt[4]dfrac(a^2b^2+b^2c^2+c^2a^2)3$$
where $s=fraca+b2$ and we assume $c=min(a,b,c)$.
The left inequality follows from $2(a^2+b^2)ge (a+b)^2$.
The right inequality follows from $(s^2-p)(s^2+p-2c^2)ge 0$ where $p=ab$ (note that $s^2ge p ge c^2$).
The middle inequality is, as you may have observed, the original inequality where we set $a=b=s$. Since the inequality is homogeneous, we can set $s=1$, i.e. solving the original inequality when $a=b=1$, which is easy.
This method is called Mixing Variables Method.
You can also try to find an intermediate term like in this solution to get an even nicer solution.
After a quick look:
$$sqrt[3]dfrac(a+b+c)(a^2+b^2+c^2)9ge sqrt[3]dfrac(2s+c)(2s^2+c^2)9 ge sqrt[4]dfrac(s^4+2s^2c^2)3 ge sqrt[4]dfrac(a^2b^2+b^2c^2+c^2a^2)3$$
where $s=fraca+b2$ and we assume $c=min(a,b,c)$.
The left inequality follows from $2(a^2+b^2)ge (a+b)^2$.
The right inequality follows from $(s^2-p)(s^2+p-2c^2)ge 0$ where $p=ab$ (note that $s^2ge p ge c^2$).
The middle inequality is, as you may have observed, the original inequality where we set $a=b=s$. Since the inequality is homogeneous, we can set $s=1$, i.e. solving the original inequality when $a=b=1$, which is easy.
This method is called Mixing Variables Method.
You can also try to find an intermediate term like in this solution to get an even nicer solution.
edited Apr 13 '17 at 12:19
Communityâ¦
1
1
answered Oct 10 '16 at 16:39
Khue
2,109814
2,109814
add a comment |Â
add a comment |Â
up vote
2
down vote
Let $a+b+c=3u$, $ab+ac+bc=3v^2$ and $abc=w^3$.
Hence, we need to prove that
$$sqrt[3]u(3u^2-2v^2)geqsqrt[4]3v^4-2uw^3$$ or
$f(w^3)geq0$, where $f$ is an increasing function.
Thus, it's enough to prove our inequality for a minimal value of $w^3$.
$a$, $b$ and $c$ are positive roots of the equation $(x-a)(x-b)(x-c)=0$ or
$x^3-3ux^2+3v^2x=w^3$.
Hence, a line $y=w^3$ and a graph of $y=x^3-3ux^2+3v^2x$ have three common points.
Thus, $w^3$ gets a minimal value, when a line $y=w^3$ is a tangent line
to the graph of $y=x^3-3ux^2+3v^2x$, which happens for equality case of two variables.
Also we must check the case $w^3rightarrow0^+$.
Id est, it's enough to prove our inequality in the following cases.
- $b=c=1$, which gives
$$(a-1)^2(a^10+10a^9+51a^8+188a^7+557a^6+1374a^5+983a^4+1616a^3+501a^2+538a+13)geq0$$
2. $w^3rightarrow0^+$.
Let $crightarrow0^+$ and $b=1$.
We obtain $(a^3+a^2+a+1)^4geq243a^6$, which is obvious by AM-GM.
Done!
Would downvoters also mention why? This looks good+1, though personally I don't find the $u,v,w$ method nice.
â Macavity
Oct 7 '16 at 18:08
@Macavity Thank you! You are welcome to prove this inequality by another way. By the way, I have another proof, but it's very ugly. I think $uvw$ is a best here.
â Michael Rozenberg
Oct 7 '16 at 18:14
This answer does not deserve downvotes. +1.
â Khue
Oct 11 '16 at 14:59
add a comment |Â
up vote
2
down vote
Let $a+b+c=3u$, $ab+ac+bc=3v^2$ and $abc=w^3$.
Hence, we need to prove that
$$sqrt[3]u(3u^2-2v^2)geqsqrt[4]3v^4-2uw^3$$ or
$f(w^3)geq0$, where $f$ is an increasing function.
Thus, it's enough to prove our inequality for a minimal value of $w^3$.
$a$, $b$ and $c$ are positive roots of the equation $(x-a)(x-b)(x-c)=0$ or
$x^3-3ux^2+3v^2x=w^3$.
Hence, a line $y=w^3$ and a graph of $y=x^3-3ux^2+3v^2x$ have three common points.
Thus, $w^3$ gets a minimal value, when a line $y=w^3$ is a tangent line
to the graph of $y=x^3-3ux^2+3v^2x$, which happens for equality case of two variables.
Also we must check the case $w^3rightarrow0^+$.
Id est, it's enough to prove our inequality in the following cases.
- $b=c=1$, which gives
$$(a-1)^2(a^10+10a^9+51a^8+188a^7+557a^6+1374a^5+983a^4+1616a^3+501a^2+538a+13)geq0$$
2. $w^3rightarrow0^+$.
Let $crightarrow0^+$ and $b=1$.
We obtain $(a^3+a^2+a+1)^4geq243a^6$, which is obvious by AM-GM.
Done!
Would downvoters also mention why? This looks good+1, though personally I don't find the $u,v,w$ method nice.
â Macavity
Oct 7 '16 at 18:08
@Macavity Thank you! You are welcome to prove this inequality by another way. By the way, I have another proof, but it's very ugly. I think $uvw$ is a best here.
â Michael Rozenberg
Oct 7 '16 at 18:14
This answer does not deserve downvotes. +1.
â Khue
Oct 11 '16 at 14:59
add a comment |Â
up vote
2
down vote
up vote
2
down vote
Let $a+b+c=3u$, $ab+ac+bc=3v^2$ and $abc=w^3$.
Hence, we need to prove that
$$sqrt[3]u(3u^2-2v^2)geqsqrt[4]3v^4-2uw^3$$ or
$f(w^3)geq0$, where $f$ is an increasing function.
Thus, it's enough to prove our inequality for a minimal value of $w^3$.
$a$, $b$ and $c$ are positive roots of the equation $(x-a)(x-b)(x-c)=0$ or
$x^3-3ux^2+3v^2x=w^3$.
Hence, a line $y=w^3$ and a graph of $y=x^3-3ux^2+3v^2x$ have three common points.
Thus, $w^3$ gets a minimal value, when a line $y=w^3$ is a tangent line
to the graph of $y=x^3-3ux^2+3v^2x$, which happens for equality case of two variables.
Also we must check the case $w^3rightarrow0^+$.
Id est, it's enough to prove our inequality in the following cases.
- $b=c=1$, which gives
$$(a-1)^2(a^10+10a^9+51a^8+188a^7+557a^6+1374a^5+983a^4+1616a^3+501a^2+538a+13)geq0$$
2. $w^3rightarrow0^+$.
Let $crightarrow0^+$ and $b=1$.
We obtain $(a^3+a^2+a+1)^4geq243a^6$, which is obvious by AM-GM.
Done!
Let $a+b+c=3u$, $ab+ac+bc=3v^2$ and $abc=w^3$.
Hence, we need to prove that
$$sqrt[3]u(3u^2-2v^2)geqsqrt[4]3v^4-2uw^3$$ or
$f(w^3)geq0$, where $f$ is an increasing function.
Thus, it's enough to prove our inequality for a minimal value of $w^3$.
$a$, $b$ and $c$ are positive roots of the equation $(x-a)(x-b)(x-c)=0$ or
$x^3-3ux^2+3v^2x=w^3$.
Hence, a line $y=w^3$ and a graph of $y=x^3-3ux^2+3v^2x$ have three common points.
Thus, $w^3$ gets a minimal value, when a line $y=w^3$ is a tangent line
to the graph of $y=x^3-3ux^2+3v^2x$, which happens for equality case of two variables.
Also we must check the case $w^3rightarrow0^+$.
Id est, it's enough to prove our inequality in the following cases.
- $b=c=1$, which gives
$$(a-1)^2(a^10+10a^9+51a^8+188a^7+557a^6+1374a^5+983a^4+1616a^3+501a^2+538a+13)geq0$$
2. $w^3rightarrow0^+$.
Let $crightarrow0^+$ and $b=1$.
We obtain $(a^3+a^2+a+1)^4geq243a^6$, which is obvious by AM-GM.
Done!
answered Oct 7 '16 at 14:17
Michael Rozenberg
89.3k1582179
89.3k1582179
Would downvoters also mention why? This looks good+1, though personally I don't find the $u,v,w$ method nice.
â Macavity
Oct 7 '16 at 18:08
@Macavity Thank you! You are welcome to prove this inequality by another way. By the way, I have another proof, but it's very ugly. I think $uvw$ is a best here.
â Michael Rozenberg
Oct 7 '16 at 18:14
This answer does not deserve downvotes. +1.
â Khue
Oct 11 '16 at 14:59
add a comment |Â
Would downvoters also mention why? This looks good+1, though personally I don't find the $u,v,w$ method nice.
â Macavity
Oct 7 '16 at 18:08
@Macavity Thank you! You are welcome to prove this inequality by another way. By the way, I have another proof, but it's very ugly. I think $uvw$ is a best here.
â Michael Rozenberg
Oct 7 '16 at 18:14
This answer does not deserve downvotes. +1.
â Khue
Oct 11 '16 at 14:59
Would downvoters also mention why? This looks good+1, though personally I don't find the $u,v,w$ method nice.
â Macavity
Oct 7 '16 at 18:08
Would downvoters also mention why? This looks good+1, though personally I don't find the $u,v,w$ method nice.
â Macavity
Oct 7 '16 at 18:08
@Macavity Thank you! You are welcome to prove this inequality by another way. By the way, I have another proof, but it's very ugly. I think $uvw$ is a best here.
â Michael Rozenberg
Oct 7 '16 at 18:14
@Macavity Thank you! You are welcome to prove this inequality by another way. By the way, I have another proof, but it's very ugly. I think $uvw$ is a best here.
â Michael Rozenberg
Oct 7 '16 at 18:14
This answer does not deserve downvotes. +1.
â Khue
Oct 11 '16 at 14:59
This answer does not deserve downvotes. +1.
â Khue
Oct 11 '16 at 14:59
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%2f1957863%2fprove-or-disprove-sqrt3-fracabbcaca2b2c29-ge-sqrt4-frac%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
1
A little bit of context and your own attempt at solution would be welcome
â Yuriy S
Oct 7 '16 at 10:25
It looks to hold. A good way to prove it may be to exploit some combination of Schur's and Newton-MacLaurin's inequalities.
â Jack D'Aurizioâ¦
Oct 7 '16 at 10:31
The inequality is homogenous, so you can assume any one of a+b+c=k, ab+bc+ca=k, abc=k, for arbitrary positive values of k.
â Jack Lam
Oct 7 '16 at 10:37
@MichaelRozenberg,it's different problem
â geromty
Oct 7 '16 at 13:58
Can you correct he title? You seem to have a different problem there.
â Macavity
Oct 7 '16 at 18:32