Ivan Shishkin, Rye (1878)

Discussions

An inequality

0 messages

Solution

Solution by visitor · EN

Yes, with equality exactly when a=b=c=19a=b=c=\tfrac19.
Set x=ax=\sqrt a, y=by=\sqrt b, z=cz=\sqrt c, so that x,y,z>0x,y,z>0 and x+y+z=1x+y+z=1. Since
a+b+c=x2+y2+z2a+b+c=x^{2}+y^{2}+z^{2} and a3+b3+c3=x6+y6+z6a^{3}+b^{3}+c^{3}=x^{6}+y^{6}+z^{6}, the claim reads
(x2+y2+z2)5  x6+y6+z6.()\bigl(x^{2}+y^{2}+z^{2}\bigr)^{5}\ \leqslant\ x^{6}+y^{6}+z^{6}. \qquad \tag{$\ast$}The constraint x+y+z=1x+y+z=1 with x,y,z>0x,y,z>0 says precisely that (x,y,z)(x,y,z) is a probability distribution. Let XX be the random variable taking the value xx with probability xx, the value yy with probability yy, and the value zz with probability zz. Then
E[X]=x2+y2+z2,E[X5]=x6+y6+z6.\mathbb{E}[X]=x^{2}+y^{2}+z^{2},\qquad \mathbb{E}\bigl[X^{5}\bigr]=x^{6}+y^{6}+z^{6}.The map uu5u\mapsto u^{5} is convex on R+\mathbb{R}_{+}, so Jensen’s inequality gives
E[X]5  E[X5],\mathbb{E}[X]^{5}\ \leqslant\ \mathbb{E}\bigl[X^{5}\bigr],which is exactly ()(\ast). \blacksquare

No messages yet.