Prove that by the weighted AM-GM inequality we have
a3+8+9(k−1)⩾9k(98+a3)41
which is equivalent to
9ka3+9k−1⩾n98+a3
Similarly, we can get
9kb3+9k−1⩾(98+b3)k19kc3+9k−1⩾(98+c3)k1
Let 9k−1=m, then we only need to prove
∑b3+ma⩾m+13
where m⩾0. By making the substitution a=yx,b=xz,c=zy, where x,y,z>0, the inequality becomes
∑y(z3+kx3)x4⩾k+13
By the Cauchy-Schwarz inequality, we have
∑y(z3+kx3)x4⩾∑cycyz3+k∑yycx3y(x2+y2+z2)2
Vasile's inequality tells us that
∑cycyz3⩽31(x2+y2+z2)2∑cycx3y⩽31(x2+y2+z2)2
Thus, the proposition is proved.