To prove: Given the conditions, there exist four positive real numbers x,y,z,t satisfying
a=xry,b=yrz,c=zrt,d=trx
The inequality then becomes the following form
We need to prove A+(r2−1)B≥r+14(r2+1), where
A=cyc∑ry+xx+z;B=cyc∑ry+xz
By the AM-GM inequality, we have
4r∑cycxy+8(xz+yt)=[4(r−1)(x+z)(y+t)]+4[(x+z)(y+t)+2(xz+yt)]≤(r−1)(∑cycx)2+2(∑cycx)2=(r+1)(∑cycx)2
According to the Cauchy-Schwarz inequality, and noting that r≥1, we have
A=(x+z)(ry+x1+rt+z1)+(y+t)(rx+y1+rz+t1)≥x+z+ry+rt4(x+z)+y+t+rx+rz4(y+t)≥(x+z)2+(y+t)2+2r(x+z)(y+t)4(x+y+z+t)2≥r+18B≥z(ry+x)+t(rz+y)+x(rt+z)+y(rx+t)(x+y+z+t)2≥r(xy+yz+zt+tx)+2(xz+yt)(x+y+z+t)2≥r+14
Thus, the inequality is proven. The equality holds when a=b=c=d=r