If $x+y+z=3$ then $sum xsqrtx^3+3y ge 6$
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
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.$
inequality substitution symmetric-polynomials a.m.-g.m.-inequality uvw
add a comment |Â
up vote
1
down vote
favorite
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.$
inequality substitution symmetric-polynomials a.m.-g.m.-inequality uvw
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
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
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.$
inequality substitution symmetric-polynomials a.m.-g.m.-inequality uvw
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.$
inequality substitution symmetric-polynomials a.m.-g.m.-inequality uvw
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
add a comment |Â
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
add a comment |Â
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.
- $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$.
- 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!
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
 |Â
show 8 more comments
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.
- $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$.
- 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!
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
 |Â
show 8 more comments
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.
- $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$.
- 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!
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
 |Â
show 8 more comments
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.
- $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$.
- 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!
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.
- $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$.
- 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!
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
 |Â
show 8 more comments
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
 |Â
show 8 more comments
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%2f2891707%2fif-xyz-3-then-sum-x-sqrtx33y-ge-6%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
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