Solution. Notice first that it is sufficient to prove the inequality in the case n=3. For a bigger value of n(n≥4), we only need to choose from the set {a1,a2,…,an} the three smallest numbers, say a1,a2,a3. Since a1a2a3≤1, there exists a positive number k such that a1a=a2b=a3c=k≥1, then
i=1∑n(ai+1)2ai+3≥(a1+1)2a1+3+(a2+1)2a2+3+(a3+1)2a3+3≥cyc∑(a+1)2a+3≥3
We will now prove that if a,b,c are positive real numbers and abc=1 then
(a+1)2a+3+(b+1)2b+3+(c+1)2c+3≥3
Let a1=1+a2,b1=1+b2,c1=1+c2. The inequality becomes
a1+b1+c1+a12+b12+c12≥6
Since abc=1, we have
cyc∏(a11−21)=8abc=81⇒cyc∏(2−a1)=a1b1c1
Let x=a1−1,y=b1−1,z=c1−1, then x,y,z∈[−1,1] and we infer that
(x+1)(y+1)(z+1)=(1−x)(1−y)(1−z)⇒x+y+z+xyz=0
By AM-GM inequality, we deduce that x2+y2+z2≥3(xyz)2/3≥3xyz, thus
a1+b1+c1+a12+b12+c12−6=cyc∑(a1−1)(a1+2)=cyc∑x(x+3)≥0
This ends the proof. Equality holds for a=b=c=1.