If $x+y+z=3$ then $sum xsqrtx^3+3y ge 6$

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 $x,y,z>0$ such that $x+y+z=3$. Prove that
$$sum xsqrtx^3+3y ge 6$$




This trying doesn't help.
With Cauchy Schwarz



$(sum xsqrtx^3+3y)^2geq sum x^2sum(x^3+3y) = (x^2 + y^2 + z^2)(x^3+y^3+z^3+9) geq 3(xyz)^2/3(3xyz + 9)$



Then the maximum value of $xyz$ is $1$.



Hence $sum xsqrtx^3+3ygeq 6.$







share|cite|improve this question






















  • Should there be a $z$ in the inequality?
    – Jack M
    Aug 23 at 5:53










  • Please try to choose titles with strictly more than zero content.
    – Did
    Aug 23 at 6:01










  • What does the sum mean?
    – 4-ier
    Aug 23 at 6:30






  • 2




    @4-ier The inequality is $sum_cyc xsqrtx^3+3yge 6.$ In other words $sum xsqrtx^3+3y+sum ysqrty^3+3z+sum zsqrtz^3+3x ge 6.$
    – mfl
    Aug 23 at 6:56














up vote
1
down vote

favorite
2













Let $x,y,z>0$ such that $x+y+z=3$. Prove that
$$sum xsqrtx^3+3y ge 6$$




This trying doesn't help.
With Cauchy Schwarz



$(sum xsqrtx^3+3y)^2geq sum x^2sum(x^3+3y) = (x^2 + y^2 + z^2)(x^3+y^3+z^3+9) geq 3(xyz)^2/3(3xyz + 9)$



Then the maximum value of $xyz$ is $1$.



Hence $sum xsqrtx^3+3ygeq 6.$







share|cite|improve this question






















  • Should there be a $z$ in the inequality?
    – Jack M
    Aug 23 at 5:53










  • Please try to choose titles with strictly more than zero content.
    – Did
    Aug 23 at 6:01










  • What does the sum mean?
    – 4-ier
    Aug 23 at 6:30






  • 2




    @4-ier The inequality is $sum_cyc xsqrtx^3+3yge 6.$ In other words $sum xsqrtx^3+3y+sum ysqrty^3+3z+sum zsqrtz^3+3x ge 6.$
    – mfl
    Aug 23 at 6:56












up vote
1
down vote

favorite
2









up vote
1
down vote

favorite
2






2






Let $x,y,z>0$ such that $x+y+z=3$. Prove that
$$sum xsqrtx^3+3y ge 6$$




This trying doesn't help.
With Cauchy Schwarz



$(sum xsqrtx^3+3y)^2geq sum x^2sum(x^3+3y) = (x^2 + y^2 + z^2)(x^3+y^3+z^3+9) geq 3(xyz)^2/3(3xyz + 9)$



Then the maximum value of $xyz$ is $1$.



Hence $sum xsqrtx^3+3ygeq 6.$







share|cite|improve this question















Let $x,y,z>0$ such that $x+y+z=3$. Prove that
$$sum xsqrtx^3+3y ge 6$$




This trying doesn't help.
With Cauchy Schwarz



$(sum xsqrtx^3+3y)^2geq sum x^2sum(x^3+3y) = (x^2 + y^2 + z^2)(x^3+y^3+z^3+9) geq 3(xyz)^2/3(3xyz + 9)$



Then the maximum value of $xyz$ is $1$.



Hence $sum xsqrtx^3+3ygeq 6.$









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 23 at 10:37









Michael Rozenberg

88.7k1579179




88.7k1579179










asked Aug 23 at 4:50









Truth

295




295











  • Should there be a $z$ in the inequality?
    – Jack M
    Aug 23 at 5:53










  • Please try to choose titles with strictly more than zero content.
    – Did
    Aug 23 at 6:01










  • What does the sum mean?
    – 4-ier
    Aug 23 at 6:30






  • 2




    @4-ier The inequality is $sum_cyc xsqrtx^3+3yge 6.$ In other words $sum xsqrtx^3+3y+sum ysqrty^3+3z+sum zsqrtz^3+3x ge 6.$
    – mfl
    Aug 23 at 6:56
















  • Should there be a $z$ in the inequality?
    – Jack M
    Aug 23 at 5:53










  • Please try to choose titles with strictly more than zero content.
    – Did
    Aug 23 at 6:01










  • What does the sum mean?
    – 4-ier
    Aug 23 at 6:30






  • 2




    @4-ier The inequality is $sum_cyc xsqrtx^3+3yge 6.$ In other words $sum xsqrtx^3+3y+sum ysqrty^3+3z+sum zsqrtz^3+3x ge 6.$
    – mfl
    Aug 23 at 6:56















Should there be a $z$ in the inequality?
– Jack M
Aug 23 at 5:53




Should there be a $z$ in the inequality?
– Jack M
Aug 23 at 5:53












Please try to choose titles with strictly more than zero content.
– Did
Aug 23 at 6:01




Please try to choose titles with strictly more than zero content.
– Did
Aug 23 at 6:01












What does the sum mean?
– 4-ier
Aug 23 at 6:30




What does the sum mean?
– 4-ier
Aug 23 at 6:30




2




2




@4-ier The inequality is $sum_cyc xsqrtx^3+3yge 6.$ In other words $sum xsqrtx^3+3y+sum ysqrty^3+3z+sum zsqrtz^3+3x ge 6.$
– mfl
Aug 23 at 6:56




@4-ier The inequality is $sum_cyc xsqrtx^3+3yge 6.$ In other words $sum xsqrtx^3+3y+sum ysqrty^3+3z+sum zsqrtz^3+3x ge 6.$
– mfl
Aug 23 at 6:56










1 Answer
1






active

oldest

votes

















up vote
1
down vote













The hint.



By Minkowski
$$sum_cycxsqrtx^3+3y=sum_cycsqrtx^5+3x^2ygeqsqrtleft(sumlimits_cycsqrtx^5right)^2+3left(sumlimits_cycsqrtx^2yright)^2.$$
Thus, it's enough to prove that
$$left(sqrtx^5+sqrty^5+sqrtz^5right)^2+3left(sqrtx^2y+sqrty^2z+sqrtz^2xright)^2geq36,$$ which is true.



Indeed, after replacing $x$ by $x^2$, $y$ by $y^2$ and $z$ by $z^2$ we need to prove that
$$(x^5+y^5+z^5)^2+3(x^2y+y^2z+z^2x)^2geq36$$
for positives $x$, $y$ and $z$ such that $x^2+y^2+z^2=3.$



Now, by AM-GM and Rearrangement we obtain:
$$(x^2y+y^2z+z^2x)^2=sum_cyc(x^4y^2+2x^3z^2y)geq$$
$$geq7x^2y^2z^2+sum_cyc(x^4y^2+x^4z^2)-(x^4z^2+y^4x^2+z^4y^2+x^2y^2z^2)geq$$
$$geq7x^2y^2z^2+sum_cyc(x^4y^2+x^4z^2)-frac427(x^2+y^2+z^2)^3=$$
$$=4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)-frac427(x^2+y^2+z^2)^3.$$
Thus, it's enough to prove that
$$(x^5+y^5+z^5)^2+$$
$$+3left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)-frac427(x^2+y^2+z^2)^3right)geq36$$ or
$$3(x^5+y^5+z^5)^2+$$
$$+(x^2+y^2+z^2)^2left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)right)geqfrac1627(x^2+y^2+z^2)^5.$$
Now, let $x+y+z=3u$, $xy+xz+yz=3v^2$ and $xyz=w^3$.



Hence, we need to prove that $f(w^3)geq0,$ where
$$f(w^3)=3(81u^5-135u^3v^2+45uv^4+15u^2w^3-5v^2w^3)^2+$$
$$+(3u^2-2v^2)^2(4w^6+(9u^2-6v^2)(9v^4-6uw^3))-16(3u^2-2v^2)^5.$$
But by Schur we obtain:
$$f'(w^3)=6(81u^5-135u^3v^2+45uv^4+15u^2w^3-5v^2w^3)(15u^2-5v^2)+$$
$$+8(3u^2-2v^2)^2w^3-6u(3u^2-2v^2)^2(9u^2-6v^2)=$$
$$=2(3402u^7-6804u^5v^2+3726u^3v^4-603uv^6+(711u^4-498u^2v^2+91v^4)w^3)geq$$
$$geq2(3402u^7-6804u^5v^2+3726u^3v^4-603uv^6+(711u^4-498u^2v^2+91v^4)(4uv^2-3u^3))=$$
$$=2u(1269u^6-2466u^4v^2+1461u^2v^4-239v^6)=$$
$$=2u(1269u^6-1269u^4v^2-1197u^4v^2+1197u^2v^4+264u^2v^4-264v^6+25v^6)=$$
$$=2u((u^2-v^2)(1269u^4-1197u^2v^2+264v^4)+25v^6)>0,$$ which says that $f$ increases.



Thus, it's enough to prove that
$$3(x^5+y^5+z^5)^2+$$
$$+(x^2+y^2+z^2)^2left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)right)geqfrac1627(x^2+y^2+z^2)^5$$ for the minimal value of $w^3$, which happens in the following cases.



  1. $w^3rightarrow0^+$.

Let $zrightarrow0^+$ and $y=1$. We can assume it because the last inequality is homogeneous.



Thus, we need to prove that
$$3(x^5+1)^2+(x^2+1)^3x^2geqfrac1627(x^2+1)^5.$$
Let $x^2+1=2tx$.



Hence, by AM-GM $tgeq1$ and we need to prove that
$$3(x+1)^2(x^4-x^3+x^2-x+1)^2+(x^2+1)^3x^2geqfrac1627(x^2+1)^5$$ or
$$3(t+1)(4t^2-2t-1)^2+4t^3geqfrac25627t^5$$ or
$$1040t^5-1512t^3+405t+81geq0$$ or
$$(t-1)(1040t^4+1040t^3-472t^2-472t-67)+14>0,$$ which is obvious for $tgeq1$.



  1. Two variables are equal.

Let $y=z=1$.



Thus, we need to prove that
$$3(x^5+2)^2+(x^2+2)^2left(4x^2+(x^2+2)(2x^2+1)right)geqfrac1627(x^2+2)^5$$ or
$$(x-1)^2(65x^8+130x^7+89x^6+48x^5-174x^4-72x^3-8x^2+56x+28)geq0,$$
which is true by AM-GM.



Done!






share|cite|improve this answer


















  • 1




    I'm new to Minkowski, can you clarify your use here? Looking at Wolfram & Wiki isn't the p supposed to be greater than 1?
    – Andrew Allen
    Aug 23 at 7:48






  • 2




    @Andrew Allen Minkowski it's the following $sqrta^2+x^2+sqrtb^2+y^2+sqrtc^2+z^2geqsqrt(a+b+c)^2+(x+y+z)^2$. It's just the triangle inequality.
    – Michael Rozenberg
    Aug 23 at 7:50










  • I think it should be $sqrt3$
    – Truth
    Aug 23 at 8:14






  • 1




    Unruly Kid Are you sure? I think $(sqrt3)^2=3.$
    – Michael Rozenberg
    Aug 23 at 8:16











  • Yes, it is 3 and how to prove the last inequality
    – Truth
    Aug 23 at 8:17











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%2f2891707%2fif-xyz-3-then-sum-x-sqrtx33y-ge-6%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
1
down vote













The hint.



By Minkowski
$$sum_cycxsqrtx^3+3y=sum_cycsqrtx^5+3x^2ygeqsqrtleft(sumlimits_cycsqrtx^5right)^2+3left(sumlimits_cycsqrtx^2yright)^2.$$
Thus, it's enough to prove that
$$left(sqrtx^5+sqrty^5+sqrtz^5right)^2+3left(sqrtx^2y+sqrty^2z+sqrtz^2xright)^2geq36,$$ which is true.



Indeed, after replacing $x$ by $x^2$, $y$ by $y^2$ and $z$ by $z^2$ we need to prove that
$$(x^5+y^5+z^5)^2+3(x^2y+y^2z+z^2x)^2geq36$$
for positives $x$, $y$ and $z$ such that $x^2+y^2+z^2=3.$



Now, by AM-GM and Rearrangement we obtain:
$$(x^2y+y^2z+z^2x)^2=sum_cyc(x^4y^2+2x^3z^2y)geq$$
$$geq7x^2y^2z^2+sum_cyc(x^4y^2+x^4z^2)-(x^4z^2+y^4x^2+z^4y^2+x^2y^2z^2)geq$$
$$geq7x^2y^2z^2+sum_cyc(x^4y^2+x^4z^2)-frac427(x^2+y^2+z^2)^3=$$
$$=4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)-frac427(x^2+y^2+z^2)^3.$$
Thus, it's enough to prove that
$$(x^5+y^5+z^5)^2+$$
$$+3left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)-frac427(x^2+y^2+z^2)^3right)geq36$$ or
$$3(x^5+y^5+z^5)^2+$$
$$+(x^2+y^2+z^2)^2left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)right)geqfrac1627(x^2+y^2+z^2)^5.$$
Now, let $x+y+z=3u$, $xy+xz+yz=3v^2$ and $xyz=w^3$.



Hence, we need to prove that $f(w^3)geq0,$ where
$$f(w^3)=3(81u^5-135u^3v^2+45uv^4+15u^2w^3-5v^2w^3)^2+$$
$$+(3u^2-2v^2)^2(4w^6+(9u^2-6v^2)(9v^4-6uw^3))-16(3u^2-2v^2)^5.$$
But by Schur we obtain:
$$f'(w^3)=6(81u^5-135u^3v^2+45uv^4+15u^2w^3-5v^2w^3)(15u^2-5v^2)+$$
$$+8(3u^2-2v^2)^2w^3-6u(3u^2-2v^2)^2(9u^2-6v^2)=$$
$$=2(3402u^7-6804u^5v^2+3726u^3v^4-603uv^6+(711u^4-498u^2v^2+91v^4)w^3)geq$$
$$geq2(3402u^7-6804u^5v^2+3726u^3v^4-603uv^6+(711u^4-498u^2v^2+91v^4)(4uv^2-3u^3))=$$
$$=2u(1269u^6-2466u^4v^2+1461u^2v^4-239v^6)=$$
$$=2u(1269u^6-1269u^4v^2-1197u^4v^2+1197u^2v^4+264u^2v^4-264v^6+25v^6)=$$
$$=2u((u^2-v^2)(1269u^4-1197u^2v^2+264v^4)+25v^6)>0,$$ which says that $f$ increases.



Thus, it's enough to prove that
$$3(x^5+y^5+z^5)^2+$$
$$+(x^2+y^2+z^2)^2left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)right)geqfrac1627(x^2+y^2+z^2)^5$$ for the minimal value of $w^3$, which happens in the following cases.



  1. $w^3rightarrow0^+$.

Let $zrightarrow0^+$ and $y=1$. We can assume it because the last inequality is homogeneous.



Thus, we need to prove that
$$3(x^5+1)^2+(x^2+1)^3x^2geqfrac1627(x^2+1)^5.$$
Let $x^2+1=2tx$.



Hence, by AM-GM $tgeq1$ and we need to prove that
$$3(x+1)^2(x^4-x^3+x^2-x+1)^2+(x^2+1)^3x^2geqfrac1627(x^2+1)^5$$ or
$$3(t+1)(4t^2-2t-1)^2+4t^3geqfrac25627t^5$$ or
$$1040t^5-1512t^3+405t+81geq0$$ or
$$(t-1)(1040t^4+1040t^3-472t^2-472t-67)+14>0,$$ which is obvious for $tgeq1$.



  1. Two variables are equal.

Let $y=z=1$.



Thus, we need to prove that
$$3(x^5+2)^2+(x^2+2)^2left(4x^2+(x^2+2)(2x^2+1)right)geqfrac1627(x^2+2)^5$$ or
$$(x-1)^2(65x^8+130x^7+89x^6+48x^5-174x^4-72x^3-8x^2+56x+28)geq0,$$
which is true by AM-GM.



Done!






share|cite|improve this answer


















  • 1




    I'm new to Minkowski, can you clarify your use here? Looking at Wolfram & Wiki isn't the p supposed to be greater than 1?
    – Andrew Allen
    Aug 23 at 7:48






  • 2




    @Andrew Allen Minkowski it's the following $sqrta^2+x^2+sqrtb^2+y^2+sqrtc^2+z^2geqsqrt(a+b+c)^2+(x+y+z)^2$. It's just the triangle inequality.
    – Michael Rozenberg
    Aug 23 at 7:50










  • I think it should be $sqrt3$
    – Truth
    Aug 23 at 8:14






  • 1




    Unruly Kid Are you sure? I think $(sqrt3)^2=3.$
    – Michael Rozenberg
    Aug 23 at 8:16











  • Yes, it is 3 and how to prove the last inequality
    – Truth
    Aug 23 at 8:17















up vote
1
down vote













The hint.



By Minkowski
$$sum_cycxsqrtx^3+3y=sum_cycsqrtx^5+3x^2ygeqsqrtleft(sumlimits_cycsqrtx^5right)^2+3left(sumlimits_cycsqrtx^2yright)^2.$$
Thus, it's enough to prove that
$$left(sqrtx^5+sqrty^5+sqrtz^5right)^2+3left(sqrtx^2y+sqrty^2z+sqrtz^2xright)^2geq36,$$ which is true.



Indeed, after replacing $x$ by $x^2$, $y$ by $y^2$ and $z$ by $z^2$ we need to prove that
$$(x^5+y^5+z^5)^2+3(x^2y+y^2z+z^2x)^2geq36$$
for positives $x$, $y$ and $z$ such that $x^2+y^2+z^2=3.$



Now, by AM-GM and Rearrangement we obtain:
$$(x^2y+y^2z+z^2x)^2=sum_cyc(x^4y^2+2x^3z^2y)geq$$
$$geq7x^2y^2z^2+sum_cyc(x^4y^2+x^4z^2)-(x^4z^2+y^4x^2+z^4y^2+x^2y^2z^2)geq$$
$$geq7x^2y^2z^2+sum_cyc(x^4y^2+x^4z^2)-frac427(x^2+y^2+z^2)^3=$$
$$=4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)-frac427(x^2+y^2+z^2)^3.$$
Thus, it's enough to prove that
$$(x^5+y^5+z^5)^2+$$
$$+3left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)-frac427(x^2+y^2+z^2)^3right)geq36$$ or
$$3(x^5+y^5+z^5)^2+$$
$$+(x^2+y^2+z^2)^2left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)right)geqfrac1627(x^2+y^2+z^2)^5.$$
Now, let $x+y+z=3u$, $xy+xz+yz=3v^2$ and $xyz=w^3$.



Hence, we need to prove that $f(w^3)geq0,$ where
$$f(w^3)=3(81u^5-135u^3v^2+45uv^4+15u^2w^3-5v^2w^3)^2+$$
$$+(3u^2-2v^2)^2(4w^6+(9u^2-6v^2)(9v^4-6uw^3))-16(3u^2-2v^2)^5.$$
But by Schur we obtain:
$$f'(w^3)=6(81u^5-135u^3v^2+45uv^4+15u^2w^3-5v^2w^3)(15u^2-5v^2)+$$
$$+8(3u^2-2v^2)^2w^3-6u(3u^2-2v^2)^2(9u^2-6v^2)=$$
$$=2(3402u^7-6804u^5v^2+3726u^3v^4-603uv^6+(711u^4-498u^2v^2+91v^4)w^3)geq$$
$$geq2(3402u^7-6804u^5v^2+3726u^3v^4-603uv^6+(711u^4-498u^2v^2+91v^4)(4uv^2-3u^3))=$$
$$=2u(1269u^6-2466u^4v^2+1461u^2v^4-239v^6)=$$
$$=2u(1269u^6-1269u^4v^2-1197u^4v^2+1197u^2v^4+264u^2v^4-264v^6+25v^6)=$$
$$=2u((u^2-v^2)(1269u^4-1197u^2v^2+264v^4)+25v^6)>0,$$ which says that $f$ increases.



Thus, it's enough to prove that
$$3(x^5+y^5+z^5)^2+$$
$$+(x^2+y^2+z^2)^2left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)right)geqfrac1627(x^2+y^2+z^2)^5$$ for the minimal value of $w^3$, which happens in the following cases.



  1. $w^3rightarrow0^+$.

Let $zrightarrow0^+$ and $y=1$. We can assume it because the last inequality is homogeneous.



Thus, we need to prove that
$$3(x^5+1)^2+(x^2+1)^3x^2geqfrac1627(x^2+1)^5.$$
Let $x^2+1=2tx$.



Hence, by AM-GM $tgeq1$ and we need to prove that
$$3(x+1)^2(x^4-x^3+x^2-x+1)^2+(x^2+1)^3x^2geqfrac1627(x^2+1)^5$$ or
$$3(t+1)(4t^2-2t-1)^2+4t^3geqfrac25627t^5$$ or
$$1040t^5-1512t^3+405t+81geq0$$ or
$$(t-1)(1040t^4+1040t^3-472t^2-472t-67)+14>0,$$ which is obvious for $tgeq1$.



  1. Two variables are equal.

Let $y=z=1$.



Thus, we need to prove that
$$3(x^5+2)^2+(x^2+2)^2left(4x^2+(x^2+2)(2x^2+1)right)geqfrac1627(x^2+2)^5$$ or
$$(x-1)^2(65x^8+130x^7+89x^6+48x^5-174x^4-72x^3-8x^2+56x+28)geq0,$$
which is true by AM-GM.



Done!






share|cite|improve this answer


















  • 1




    I'm new to Minkowski, can you clarify your use here? Looking at Wolfram & Wiki isn't the p supposed to be greater than 1?
    – Andrew Allen
    Aug 23 at 7:48






  • 2




    @Andrew Allen Minkowski it's the following $sqrta^2+x^2+sqrtb^2+y^2+sqrtc^2+z^2geqsqrt(a+b+c)^2+(x+y+z)^2$. It's just the triangle inequality.
    – Michael Rozenberg
    Aug 23 at 7:50










  • I think it should be $sqrt3$
    – Truth
    Aug 23 at 8:14






  • 1




    Unruly Kid Are you sure? I think $(sqrt3)^2=3.$
    – Michael Rozenberg
    Aug 23 at 8:16











  • Yes, it is 3 and how to prove the last inequality
    – Truth
    Aug 23 at 8:17













up vote
1
down vote










up vote
1
down vote









The hint.



By Minkowski
$$sum_cycxsqrtx^3+3y=sum_cycsqrtx^5+3x^2ygeqsqrtleft(sumlimits_cycsqrtx^5right)^2+3left(sumlimits_cycsqrtx^2yright)^2.$$
Thus, it's enough to prove that
$$left(sqrtx^5+sqrty^5+sqrtz^5right)^2+3left(sqrtx^2y+sqrty^2z+sqrtz^2xright)^2geq36,$$ which is true.



Indeed, after replacing $x$ by $x^2$, $y$ by $y^2$ and $z$ by $z^2$ we need to prove that
$$(x^5+y^5+z^5)^2+3(x^2y+y^2z+z^2x)^2geq36$$
for positives $x$, $y$ and $z$ such that $x^2+y^2+z^2=3.$



Now, by AM-GM and Rearrangement we obtain:
$$(x^2y+y^2z+z^2x)^2=sum_cyc(x^4y^2+2x^3z^2y)geq$$
$$geq7x^2y^2z^2+sum_cyc(x^4y^2+x^4z^2)-(x^4z^2+y^4x^2+z^4y^2+x^2y^2z^2)geq$$
$$geq7x^2y^2z^2+sum_cyc(x^4y^2+x^4z^2)-frac427(x^2+y^2+z^2)^3=$$
$$=4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)-frac427(x^2+y^2+z^2)^3.$$
Thus, it's enough to prove that
$$(x^5+y^5+z^5)^2+$$
$$+3left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)-frac427(x^2+y^2+z^2)^3right)geq36$$ or
$$3(x^5+y^5+z^5)^2+$$
$$+(x^2+y^2+z^2)^2left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)right)geqfrac1627(x^2+y^2+z^2)^5.$$
Now, let $x+y+z=3u$, $xy+xz+yz=3v^2$ and $xyz=w^3$.



Hence, we need to prove that $f(w^3)geq0,$ where
$$f(w^3)=3(81u^5-135u^3v^2+45uv^4+15u^2w^3-5v^2w^3)^2+$$
$$+(3u^2-2v^2)^2(4w^6+(9u^2-6v^2)(9v^4-6uw^3))-16(3u^2-2v^2)^5.$$
But by Schur we obtain:
$$f'(w^3)=6(81u^5-135u^3v^2+45uv^4+15u^2w^3-5v^2w^3)(15u^2-5v^2)+$$
$$+8(3u^2-2v^2)^2w^3-6u(3u^2-2v^2)^2(9u^2-6v^2)=$$
$$=2(3402u^7-6804u^5v^2+3726u^3v^4-603uv^6+(711u^4-498u^2v^2+91v^4)w^3)geq$$
$$geq2(3402u^7-6804u^5v^2+3726u^3v^4-603uv^6+(711u^4-498u^2v^2+91v^4)(4uv^2-3u^3))=$$
$$=2u(1269u^6-2466u^4v^2+1461u^2v^4-239v^6)=$$
$$=2u(1269u^6-1269u^4v^2-1197u^4v^2+1197u^2v^4+264u^2v^4-264v^6+25v^6)=$$
$$=2u((u^2-v^2)(1269u^4-1197u^2v^2+264v^4)+25v^6)>0,$$ which says that $f$ increases.



Thus, it's enough to prove that
$$3(x^5+y^5+z^5)^2+$$
$$+(x^2+y^2+z^2)^2left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)right)geqfrac1627(x^2+y^2+z^2)^5$$ for the minimal value of $w^3$, which happens in the following cases.



  1. $w^3rightarrow0^+$.

Let $zrightarrow0^+$ and $y=1$. We can assume it because the last inequality is homogeneous.



Thus, we need to prove that
$$3(x^5+1)^2+(x^2+1)^3x^2geqfrac1627(x^2+1)^5.$$
Let $x^2+1=2tx$.



Hence, by AM-GM $tgeq1$ and we need to prove that
$$3(x+1)^2(x^4-x^3+x^2-x+1)^2+(x^2+1)^3x^2geqfrac1627(x^2+1)^5$$ or
$$3(t+1)(4t^2-2t-1)^2+4t^3geqfrac25627t^5$$ or
$$1040t^5-1512t^3+405t+81geq0$$ or
$$(t-1)(1040t^4+1040t^3-472t^2-472t-67)+14>0,$$ which is obvious for $tgeq1$.



  1. Two variables are equal.

Let $y=z=1$.



Thus, we need to prove that
$$3(x^5+2)^2+(x^2+2)^2left(4x^2+(x^2+2)(2x^2+1)right)geqfrac1627(x^2+2)^5$$ or
$$(x-1)^2(65x^8+130x^7+89x^6+48x^5-174x^4-72x^3-8x^2+56x+28)geq0,$$
which is true by AM-GM.



Done!






share|cite|improve this answer














The hint.



By Minkowski
$$sum_cycxsqrtx^3+3y=sum_cycsqrtx^5+3x^2ygeqsqrtleft(sumlimits_cycsqrtx^5right)^2+3left(sumlimits_cycsqrtx^2yright)^2.$$
Thus, it's enough to prove that
$$left(sqrtx^5+sqrty^5+sqrtz^5right)^2+3left(sqrtx^2y+sqrty^2z+sqrtz^2xright)^2geq36,$$ which is true.



Indeed, after replacing $x$ by $x^2$, $y$ by $y^2$ and $z$ by $z^2$ we need to prove that
$$(x^5+y^5+z^5)^2+3(x^2y+y^2z+z^2x)^2geq36$$
for positives $x$, $y$ and $z$ such that $x^2+y^2+z^2=3.$



Now, by AM-GM and Rearrangement we obtain:
$$(x^2y+y^2z+z^2x)^2=sum_cyc(x^4y^2+2x^3z^2y)geq$$
$$geq7x^2y^2z^2+sum_cyc(x^4y^2+x^4z^2)-(x^4z^2+y^4x^2+z^4y^2+x^2y^2z^2)geq$$
$$geq7x^2y^2z^2+sum_cyc(x^4y^2+x^4z^2)-frac427(x^2+y^2+z^2)^3=$$
$$=4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)-frac427(x^2+y^2+z^2)^3.$$
Thus, it's enough to prove that
$$(x^5+y^5+z^5)^2+$$
$$+3left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)-frac427(x^2+y^2+z^2)^3right)geq36$$ or
$$3(x^5+y^5+z^5)^2+$$
$$+(x^2+y^2+z^2)^2left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)right)geqfrac1627(x^2+y^2+z^2)^5.$$
Now, let $x+y+z=3u$, $xy+xz+yz=3v^2$ and $xyz=w^3$.



Hence, we need to prove that $f(w^3)geq0,$ where
$$f(w^3)=3(81u^5-135u^3v^2+45uv^4+15u^2w^3-5v^2w^3)^2+$$
$$+(3u^2-2v^2)^2(4w^6+(9u^2-6v^2)(9v^4-6uw^3))-16(3u^2-2v^2)^5.$$
But by Schur we obtain:
$$f'(w^3)=6(81u^5-135u^3v^2+45uv^4+15u^2w^3-5v^2w^3)(15u^2-5v^2)+$$
$$+8(3u^2-2v^2)^2w^3-6u(3u^2-2v^2)^2(9u^2-6v^2)=$$
$$=2(3402u^7-6804u^5v^2+3726u^3v^4-603uv^6+(711u^4-498u^2v^2+91v^4)w^3)geq$$
$$geq2(3402u^7-6804u^5v^2+3726u^3v^4-603uv^6+(711u^4-498u^2v^2+91v^4)(4uv^2-3u^3))=$$
$$=2u(1269u^6-2466u^4v^2+1461u^2v^4-239v^6)=$$
$$=2u(1269u^6-1269u^4v^2-1197u^4v^2+1197u^2v^4+264u^2v^4-264v^6+25v^6)=$$
$$=2u((u^2-v^2)(1269u^4-1197u^2v^2+264v^4)+25v^6)>0,$$ which says that $f$ increases.



Thus, it's enough to prove that
$$3(x^5+y^5+z^5)^2+$$
$$+(x^2+y^2+z^2)^2left(4x^2y^2z^2+(x^2+y^2+z^2)(x^2y^2+x^2z^2+y^2z^2)right)geqfrac1627(x^2+y^2+z^2)^5$$ for the minimal value of $w^3$, which happens in the following cases.



  1. $w^3rightarrow0^+$.

Let $zrightarrow0^+$ and $y=1$. We can assume it because the last inequality is homogeneous.



Thus, we need to prove that
$$3(x^5+1)^2+(x^2+1)^3x^2geqfrac1627(x^2+1)^5.$$
Let $x^2+1=2tx$.



Hence, by AM-GM $tgeq1$ and we need to prove that
$$3(x+1)^2(x^4-x^3+x^2-x+1)^2+(x^2+1)^3x^2geqfrac1627(x^2+1)^5$$ or
$$3(t+1)(4t^2-2t-1)^2+4t^3geqfrac25627t^5$$ or
$$1040t^5-1512t^3+405t+81geq0$$ or
$$(t-1)(1040t^4+1040t^3-472t^2-472t-67)+14>0,$$ which is obvious for $tgeq1$.



  1. Two variables are equal.

Let $y=z=1$.



Thus, we need to prove that
$$3(x^5+2)^2+(x^2+2)^2left(4x^2+(x^2+2)(2x^2+1)right)geqfrac1627(x^2+2)^5$$ or
$$(x-1)^2(65x^8+130x^7+89x^6+48x^5-174x^4-72x^3-8x^2+56x+28)geq0,$$
which is true by AM-GM.



Done!







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Aug 23 at 10:38

























answered Aug 23 at 7:25









Michael Rozenberg

88.7k1579179




88.7k1579179







  • 1




    I'm new to Minkowski, can you clarify your use here? Looking at Wolfram & Wiki isn't the p supposed to be greater than 1?
    – Andrew Allen
    Aug 23 at 7:48






  • 2




    @Andrew Allen Minkowski it's the following $sqrta^2+x^2+sqrtb^2+y^2+sqrtc^2+z^2geqsqrt(a+b+c)^2+(x+y+z)^2$. It's just the triangle inequality.
    – Michael Rozenberg
    Aug 23 at 7:50










  • I think it should be $sqrt3$
    – Truth
    Aug 23 at 8:14






  • 1




    Unruly Kid Are you sure? I think $(sqrt3)^2=3.$
    – Michael Rozenberg
    Aug 23 at 8:16











  • Yes, it is 3 and how to prove the last inequality
    – Truth
    Aug 23 at 8:17













  • 1




    I'm new to Minkowski, can you clarify your use here? Looking at Wolfram & Wiki isn't the p supposed to be greater than 1?
    – Andrew Allen
    Aug 23 at 7:48






  • 2




    @Andrew Allen Minkowski it's the following $sqrta^2+x^2+sqrtb^2+y^2+sqrtc^2+z^2geqsqrt(a+b+c)^2+(x+y+z)^2$. It's just the triangle inequality.
    – Michael Rozenberg
    Aug 23 at 7:50










  • I think it should be $sqrt3$
    – Truth
    Aug 23 at 8:14






  • 1




    Unruly Kid Are you sure? I think $(sqrt3)^2=3.$
    – Michael Rozenberg
    Aug 23 at 8:16











  • Yes, it is 3 and how to prove the last inequality
    – Truth
    Aug 23 at 8:17








1




1




I'm new to Minkowski, can you clarify your use here? Looking at Wolfram & Wiki isn't the p supposed to be greater than 1?
– Andrew Allen
Aug 23 at 7:48




I'm new to Minkowski, can you clarify your use here? Looking at Wolfram & Wiki isn't the p supposed to be greater than 1?
– Andrew Allen
Aug 23 at 7:48




2




2




@Andrew Allen Minkowski it's the following $sqrta^2+x^2+sqrtb^2+y^2+sqrtc^2+z^2geqsqrt(a+b+c)^2+(x+y+z)^2$. It's just the triangle inequality.
– Michael Rozenberg
Aug 23 at 7:50




@Andrew Allen Minkowski it's the following $sqrta^2+x^2+sqrtb^2+y^2+sqrtc^2+z^2geqsqrt(a+b+c)^2+(x+y+z)^2$. It's just the triangle inequality.
– Michael Rozenberg
Aug 23 at 7:50












I think it should be $sqrt3$
– Truth
Aug 23 at 8:14




I think it should be $sqrt3$
– Truth
Aug 23 at 8:14




1




1




Unruly Kid Are you sure? I think $(sqrt3)^2=3.$
– Michael Rozenberg
Aug 23 at 8:16





Unruly Kid Are you sure? I think $(sqrt3)^2=3.$
– Michael Rozenberg
Aug 23 at 8:16













Yes, it is 3 and how to prove the last inequality
– Truth
Aug 23 at 8:17





Yes, it is 3 and how to prove the last inequality
– Truth
Aug 23 at 8:17


















 

draft saved


draft discarded















































 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2891707%2fif-xyz-3-then-sum-x-sqrtx33y-ge-6%23new-answer', 'question_page');

);

Post as a guest













































































這個網誌中的熱門文章

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?