|
Chúng ta chứng minh bất đẳng thức ở đầu bài bằng phương pháp quy nạp toán học. -Với n=2, đặt: 2x=b+c−a>0,2y=a−b+c>0,2z=a+b−c>0. Suy ra: a=y+z,b=z+x,c=x+y. Bất đẳng thức cần chứng minh trở thành: xy3+yz3+zx3−xyz(x+y+z)≥0. ⇔xyz[x2y+y2z+z2x−(x+y+z)]≥0(∗) Áp dụng bất đẳng thức Côsi cho các số dương, ta có: y+x2y≥2√yx2y=2x. Tương tự: x+z2x≥2z z+y2z≥2y, Từ đó bất đẳng thức (∗) được chứng minh hay bất đẳng thức : anb(a−b)+bnc(b−c)+cna(c−a)≥0 được chứng minh. -Giả sử bất đẳng thức đúng tới n. Không mất tính tổng quát, ta giả sử a≥b≥c. Theo giả thiết quy nạp,ta có: bnc(b−c)≥−anb(a−b)−cna(c−a) ⇒bn+1c(b−c)≥−anb2(a−b)−cnab(c−a) Do đó : an+1b(a−b)+bn+1c(b−c)+cn+1a(c−a) ≥an+1b(a−b)−anb2(a−b)−cnab(c−a)+cn+1a(c−a) =anb(a−b)+bnc(b−c)+cna(c−a)≥0. Vậy bất đẳng thức đúng với n+1. Theo nguyên lí quy nạp, bất đẳng thức đã cho đúng với mọi n>1. Đẳng thức xảy ra khi và chỉ khi a=b=c.
|