Inequality with $abc=2$

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











up vote
1
down vote

favorite
2












Let $a,b,c$ be positive real numbers such that $abc=2$. Prove that $fraca+b+c4geq sqrt[4]fraca^2+b^2+c^26$
Sorry, I don't have an idea for this problem.If I had, I would have showed them all.
We need to prove that:
$$left(fraca+b+c4right)^12geqleft(fraca^2+b^2+c^26right)^3cdotfraca^2b^2c^24.$$
Now, by the Vasc's inequality
$(a+b+c)^5geq81abc(a^2+b^2+c^2)$
We can obtain
$$a+b+cgeqsqrt[5]81abc(a^2+b^2+c^2)$$
so it's enough to prove that
$$left(fracsqrt[5]81abc(a^2+b^2+c^2)4right)^12geqleft(fraca^2+b^2+c^26right)^3cdotfraca^2b^2c^24,$$
which is wrong for $abcrightarrow0^+$.







share|cite|improve this question

















  • 1




    Welcome to MSE. It is in your best interest that you type your questions (using MathJax) instead of posting links to pictures.
    – José Carlos Santos
    yesterday










  • You could expand the terms out and keep using the AM-GM inequality you could get answer. This however would take ages. The answer below is probably as good as you're going to get if you don't want to crunch it out using AM-GM (it's not very straightforward to apply AM-GM here, you have to group terms together but by bit to eventually make it work. )
    – Cataline
    21 hours ago










  • @Cataline I think AM-GM for three numbers does not help here because the equality does not occur for $a=b=c.$
    – Michael Rozenberg
    5 hours ago














up vote
1
down vote

favorite
2












Let $a,b,c$ be positive real numbers such that $abc=2$. Prove that $fraca+b+c4geq sqrt[4]fraca^2+b^2+c^26$
Sorry, I don't have an idea for this problem.If I had, I would have showed them all.
We need to prove that:
$$left(fraca+b+c4right)^12geqleft(fraca^2+b^2+c^26right)^3cdotfraca^2b^2c^24.$$
Now, by the Vasc's inequality
$(a+b+c)^5geq81abc(a^2+b^2+c^2)$
We can obtain
$$a+b+cgeqsqrt[5]81abc(a^2+b^2+c^2)$$
so it's enough to prove that
$$left(fracsqrt[5]81abc(a^2+b^2+c^2)4right)^12geqleft(fraca^2+b^2+c^26right)^3cdotfraca^2b^2c^24,$$
which is wrong for $abcrightarrow0^+$.







share|cite|improve this question

















  • 1




    Welcome to MSE. It is in your best interest that you type your questions (using MathJax) instead of posting links to pictures.
    – José Carlos Santos
    yesterday










  • You could expand the terms out and keep using the AM-GM inequality you could get answer. This however would take ages. The answer below is probably as good as you're going to get if you don't want to crunch it out using AM-GM (it's not very straightforward to apply AM-GM here, you have to group terms together but by bit to eventually make it work. )
    – Cataline
    21 hours ago










  • @Cataline I think AM-GM for three numbers does not help here because the equality does not occur for $a=b=c.$
    – Michael Rozenberg
    5 hours ago












up vote
1
down vote

favorite
2









up vote
1
down vote

favorite
2






2





Let $a,b,c$ be positive real numbers such that $abc=2$. Prove that $fraca+b+c4geq sqrt[4]fraca^2+b^2+c^26$
Sorry, I don't have an idea for this problem.If I had, I would have showed them all.
We need to prove that:
$$left(fraca+b+c4right)^12geqleft(fraca^2+b^2+c^26right)^3cdotfraca^2b^2c^24.$$
Now, by the Vasc's inequality
$(a+b+c)^5geq81abc(a^2+b^2+c^2)$
We can obtain
$$a+b+cgeqsqrt[5]81abc(a^2+b^2+c^2)$$
so it's enough to prove that
$$left(fracsqrt[5]81abc(a^2+b^2+c^2)4right)^12geqleft(fraca^2+b^2+c^26right)^3cdotfraca^2b^2c^24,$$
which is wrong for $abcrightarrow0^+$.







share|cite|improve this question













Let $a,b,c$ be positive real numbers such that $abc=2$. Prove that $fraca+b+c4geq sqrt[4]fraca^2+b^2+c^26$
Sorry, I don't have an idea for this problem.If I had, I would have showed them all.
We need to prove that:
$$left(fraca+b+c4right)^12geqleft(fraca^2+b^2+c^26right)^3cdotfraca^2b^2c^24.$$
Now, by the Vasc's inequality
$(a+b+c)^5geq81abc(a^2+b^2+c^2)$
We can obtain
$$a+b+cgeqsqrt[5]81abc(a^2+b^2+c^2)$$
so it's enough to prove that
$$left(fracsqrt[5]81abc(a^2+b^2+c^2)4right)^12geqleft(fraca^2+b^2+c^26right)^3cdotfraca^2b^2c^24,$$
which is wrong for $abcrightarrow0^+$.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited yesterday









Michael Rozenberg

86.9k1575178




86.9k1575178









asked yesterday









Tsukuyomi

62




62







  • 1




    Welcome to MSE. It is in your best interest that you type your questions (using MathJax) instead of posting links to pictures.
    – José Carlos Santos
    yesterday










  • You could expand the terms out and keep using the AM-GM inequality you could get answer. This however would take ages. The answer below is probably as good as you're going to get if you don't want to crunch it out using AM-GM (it's not very straightforward to apply AM-GM here, you have to group terms together but by bit to eventually make it work. )
    – Cataline
    21 hours ago










  • @Cataline I think AM-GM for three numbers does not help here because the equality does not occur for $a=b=c.$
    – Michael Rozenberg
    5 hours ago












  • 1




    Welcome to MSE. It is in your best interest that you type your questions (using MathJax) instead of posting links to pictures.
    – José Carlos Santos
    yesterday










  • You could expand the terms out and keep using the AM-GM inequality you could get answer. This however would take ages. The answer below is probably as good as you're going to get if you don't want to crunch it out using AM-GM (it's not very straightforward to apply AM-GM here, you have to group terms together but by bit to eventually make it work. )
    – Cataline
    21 hours ago










  • @Cataline I think AM-GM for three numbers does not help here because the equality does not occur for $a=b=c.$
    – Michael Rozenberg
    5 hours ago







1




1




Welcome to MSE. It is in your best interest that you type your questions (using MathJax) instead of posting links to pictures.
– José Carlos Santos
yesterday




Welcome to MSE. It is in your best interest that you type your questions (using MathJax) instead of posting links to pictures.
– José Carlos Santos
yesterday












You could expand the terms out and keep using the AM-GM inequality you could get answer. This however would take ages. The answer below is probably as good as you're going to get if you don't want to crunch it out using AM-GM (it's not very straightforward to apply AM-GM here, you have to group terms together but by bit to eventually make it work. )
– Cataline
21 hours ago




You could expand the terms out and keep using the AM-GM inequality you could get answer. This however would take ages. The answer below is probably as good as you're going to get if you don't want to crunch it out using AM-GM (it's not very straightforward to apply AM-GM here, you have to group terms together but by bit to eventually make it work. )
– Cataline
21 hours ago












@Cataline I think AM-GM for three numbers does not help here because the equality does not occur for $a=b=c.$
– Michael Rozenberg
5 hours ago




@Cataline I think AM-GM for three numbers does not help here because the equality does not occur for $a=b=c.$
– Michael Rozenberg
5 hours ago










1 Answer
1






active

oldest

votes

















up vote
0
down vote













Let $a+b+c=3u$, $ab+ac+bc=3v^2$ and $abc=w^3$.



Thus, our inequality is equivalent to $f(v^2)geq0$, where
$$f(u)=frac34u-left(frac3u^2-2v^22right)^frac14left(fracw^32right)^frac16.$$
We see that $f$ increases, which says that it remains to prove our inequality for a minimal value of $v^2$, which happens for an equality case of two variables.



Now, let $a=b=sqrt[3]t$.



Thus, $c=frac2sqrt[3]t^2$ and we need to prove that
$$frac2sqrt[3]t+frac2sqrt[3]t^24geqsqrt[4]frac2sqrt[3]t^2+frac4sqrt[3]t^46$$ or
$$fract+12geqsqrt[3]tsqrt[4]fract^2+23$$ or $g(t)geq0,$ where
$$g(t)=lnfract+12-frac13lnt-frac14lnfract^2+23.$$
But $$g'(t)=frac1t+1-frac13t-fract2(t^2+2)=frac(t-2)^2(t-1)6t(t+1)(t^2+2),$$
which gives $t_min=1$ and since $g(1)=0,$ we are done!






share|cite|improve this answer

















  • 4




    Thank you very much. I think this is not a nice solution.
    – Tsukuyomi
    yesterday






  • 3




    Try to find something better!
    – Michael Rozenberg
    yesterday










  • Yes, I will post my solution for you at P.M in aops
    – Tsukuyomi
    yesterday










  • I am sure that it's impossible to find something better than my solution. Good luck!
    – Michael Rozenberg
    23 hours ago










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%2f2872781%2finequality-with-abc-2%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
0
down vote













Let $a+b+c=3u$, $ab+ac+bc=3v^2$ and $abc=w^3$.



Thus, our inequality is equivalent to $f(v^2)geq0$, where
$$f(u)=frac34u-left(frac3u^2-2v^22right)^frac14left(fracw^32right)^frac16.$$
We see that $f$ increases, which says that it remains to prove our inequality for a minimal value of $v^2$, which happens for an equality case of two variables.



Now, let $a=b=sqrt[3]t$.



Thus, $c=frac2sqrt[3]t^2$ and we need to prove that
$$frac2sqrt[3]t+frac2sqrt[3]t^24geqsqrt[4]frac2sqrt[3]t^2+frac4sqrt[3]t^46$$ or
$$fract+12geqsqrt[3]tsqrt[4]fract^2+23$$ or $g(t)geq0,$ where
$$g(t)=lnfract+12-frac13lnt-frac14lnfract^2+23.$$
But $$g'(t)=frac1t+1-frac13t-fract2(t^2+2)=frac(t-2)^2(t-1)6t(t+1)(t^2+2),$$
which gives $t_min=1$ and since $g(1)=0,$ we are done!






share|cite|improve this answer

















  • 4




    Thank you very much. I think this is not a nice solution.
    – Tsukuyomi
    yesterday






  • 3




    Try to find something better!
    – Michael Rozenberg
    yesterday










  • Yes, I will post my solution for you at P.M in aops
    – Tsukuyomi
    yesterday










  • I am sure that it's impossible to find something better than my solution. Good luck!
    – Michael Rozenberg
    23 hours ago














up vote
0
down vote













Let $a+b+c=3u$, $ab+ac+bc=3v^2$ and $abc=w^3$.



Thus, our inequality is equivalent to $f(v^2)geq0$, where
$$f(u)=frac34u-left(frac3u^2-2v^22right)^frac14left(fracw^32right)^frac16.$$
We see that $f$ increases, which says that it remains to prove our inequality for a minimal value of $v^2$, which happens for an equality case of two variables.



Now, let $a=b=sqrt[3]t$.



Thus, $c=frac2sqrt[3]t^2$ and we need to prove that
$$frac2sqrt[3]t+frac2sqrt[3]t^24geqsqrt[4]frac2sqrt[3]t^2+frac4sqrt[3]t^46$$ or
$$fract+12geqsqrt[3]tsqrt[4]fract^2+23$$ or $g(t)geq0,$ where
$$g(t)=lnfract+12-frac13lnt-frac14lnfract^2+23.$$
But $$g'(t)=frac1t+1-frac13t-fract2(t^2+2)=frac(t-2)^2(t-1)6t(t+1)(t^2+2),$$
which gives $t_min=1$ and since $g(1)=0,$ we are done!






share|cite|improve this answer

















  • 4




    Thank you very much. I think this is not a nice solution.
    – Tsukuyomi
    yesterday






  • 3




    Try to find something better!
    – Michael Rozenberg
    yesterday










  • Yes, I will post my solution for you at P.M in aops
    – Tsukuyomi
    yesterday










  • I am sure that it's impossible to find something better than my solution. Good luck!
    – Michael Rozenberg
    23 hours ago












up vote
0
down vote










up vote
0
down vote









Let $a+b+c=3u$, $ab+ac+bc=3v^2$ and $abc=w^3$.



Thus, our inequality is equivalent to $f(v^2)geq0$, where
$$f(u)=frac34u-left(frac3u^2-2v^22right)^frac14left(fracw^32right)^frac16.$$
We see that $f$ increases, which says that it remains to prove our inequality for a minimal value of $v^2$, which happens for an equality case of two variables.



Now, let $a=b=sqrt[3]t$.



Thus, $c=frac2sqrt[3]t^2$ and we need to prove that
$$frac2sqrt[3]t+frac2sqrt[3]t^24geqsqrt[4]frac2sqrt[3]t^2+frac4sqrt[3]t^46$$ or
$$fract+12geqsqrt[3]tsqrt[4]fract^2+23$$ or $g(t)geq0,$ where
$$g(t)=lnfract+12-frac13lnt-frac14lnfract^2+23.$$
But $$g'(t)=frac1t+1-frac13t-fract2(t^2+2)=frac(t-2)^2(t-1)6t(t+1)(t^2+2),$$
which gives $t_min=1$ and since $g(1)=0,$ we are done!






share|cite|improve this answer













Let $a+b+c=3u$, $ab+ac+bc=3v^2$ and $abc=w^3$.



Thus, our inequality is equivalent to $f(v^2)geq0$, where
$$f(u)=frac34u-left(frac3u^2-2v^22right)^frac14left(fracw^32right)^frac16.$$
We see that $f$ increases, which says that it remains to prove our inequality for a minimal value of $v^2$, which happens for an equality case of two variables.



Now, let $a=b=sqrt[3]t$.



Thus, $c=frac2sqrt[3]t^2$ and we need to prove that
$$frac2sqrt[3]t+frac2sqrt[3]t^24geqsqrt[4]frac2sqrt[3]t^2+frac4sqrt[3]t^46$$ or
$$fract+12geqsqrt[3]tsqrt[4]fract^2+23$$ or $g(t)geq0,$ where
$$g(t)=lnfract+12-frac13lnt-frac14lnfract^2+23.$$
But $$g'(t)=frac1t+1-frac13t-fract2(t^2+2)=frac(t-2)^2(t-1)6t(t+1)(t^2+2),$$
which gives $t_min=1$ and since $g(1)=0,$ we are done!







share|cite|improve this answer













share|cite|improve this answer



share|cite|improve this answer











answered yesterday









Michael Rozenberg

86.9k1575178




86.9k1575178







  • 4




    Thank you very much. I think this is not a nice solution.
    – Tsukuyomi
    yesterday






  • 3




    Try to find something better!
    – Michael Rozenberg
    yesterday










  • Yes, I will post my solution for you at P.M in aops
    – Tsukuyomi
    yesterday










  • I am sure that it's impossible to find something better than my solution. Good luck!
    – Michael Rozenberg
    23 hours ago












  • 4




    Thank you very much. I think this is not a nice solution.
    – Tsukuyomi
    yesterday






  • 3




    Try to find something better!
    – Michael Rozenberg
    yesterday










  • Yes, I will post my solution for you at P.M in aops
    – Tsukuyomi
    yesterday










  • I am sure that it's impossible to find something better than my solution. Good luck!
    – Michael Rozenberg
    23 hours ago







4




4




Thank you very much. I think this is not a nice solution.
– Tsukuyomi
yesterday




Thank you very much. I think this is not a nice solution.
– Tsukuyomi
yesterday




3




3




Try to find something better!
– Michael Rozenberg
yesterday




Try to find something better!
– Michael Rozenberg
yesterday












Yes, I will post my solution for you at P.M in aops
– Tsukuyomi
yesterday




Yes, I will post my solution for you at P.M in aops
– Tsukuyomi
yesterday












I am sure that it's impossible to find something better than my solution. Good luck!
– Michael Rozenberg
23 hours ago




I am sure that it's impossible to find something better than my solution. Good luck!
– Michael Rozenberg
23 hours ago












 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2872781%2finequality-with-abc-2%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?