Prove that for positive real numbers xi,yi(i=1,2,3), we have
∏(xi3+yi3)⩾(∏xi+∏yi)3
In fact, by the AM-GM inequality, we get
3∏(xi3+yi3)x13x23x33⩽31(∑i=13xi3+yi3xi3)3∏(xi3+yi3)y13y23y33⩽31(∑i=13xi3+yi3yi3)
Therefore,
3∏(xi3+yi3)x13x23x33+3∏(xi3+yi3)y13y23y33⩽1
That is,
∏(xi3+yi3)⩾(∏xi+∏yi)3. Let x1=x2=ak,x3=ak+1,an+1=a1,y1=y2=y3=1,k=1,2,⋯,
n, then
(ak3+1)2(ak+13+1)⩾(ak2ak+1+1)3,k=1,2,⋯,n
Multiplying them together, we get
∏(ai3+1)3⩾∏(ai2ai+1+1)3
Thus,
(a13+1)(a23+1)⋯(an3+1)⩾(a12a2+1)(a22a3+1)⋯(an2a1+1)