设 a,b,c,d,e,f>0,且满足 abcdef=1,求证:∑cyc2a+1a2+a+1⩽6.
解析
构造函数f(x)=2x+1x2+x+1+lnx3−1,
于是其导函数f′(x)=(x−1)(x3−3x2−6x−1)3x(x2+x+1)2,
因此当 x∈(0,12) 时,可得 f(x)⩽0,等号当且仅当 x=1 时取得.
情形一 a,b,c,d,e,f∈(0,12).此时∑cyc2a+1a2+a+1⩽∑cyc(−lna3+1)=6,
不等式成立.
情形二 a,b,c,d,e,f 中有不小于 12 的数,不妨设 a⩾12.此时考虑函数g(x)=2x+1x2+x+1,
不难求得其最大值为 2√3,于是∑cyc2a+1a2+a+1⩽2a+1a2+a+1+5⋅2√3⩽2⋅12+1122+12+1+10√3=5.93⋯<6,
不等式成立.
综上所述,原不等式得证.