|
Trước hết ta chứng minh khẳng định sau: Với a,b>0,x>1 ta có ax+bx2≥(a+b2)x. Thật vậy, KMTTQ, giả sử a≤b và đặt a+b2=c thì a≤c≤b. Hàm số f(t)=tx thỏa mãn đk của định lý Lagrange trên [a,c] và [c,b] nên ta có: f(c)−f(a)c−a=f′(u) và f(b)−f(c)b−c=f′(v) với a≤u≤c≤v≤b. Mà f″(t)=x(x−1)tx−2>0 nên f′(t) đồng biến. Ta có f′(u)≤f′(v). Chú ý rằng c−a=b−c ta được (c)−f(a)≤f(b)−f(c), đpcm.
Trở lại bài toán, với a,b,c,d>0,x>1 ta có: f(a)+f(b)≥2f(a+b2),f(c)+f(d)≥2f(c+d2). Cộng 2 BĐT trên vế theo vế ta được: f(a)+f(b)+f(c)+f(d)≥2[f(a+b2)+f(c+d2)] Lại có: f(a+b2)+f(c+d2)≥2f(a+b+c+d2). Như vậy f(a)+f(b)+f(c)+f(d)≥4f(a+b+c+d2). Chọn d=a+b+c3 ta được đpcm.
|