Chuyển vế bất đẳng thức này tương đương với:∑(a−b)(a−c)a3+abc≥0
Không mất tính tổng quát giả sử rằng a≥b≥c thì:1c3+abc≥1b3+abc
Mình xin nêu một chút về BĐT Vornicu Schur
Xét BĐT x(a−b)(a−c)+y(b−c)(b−a)+z(c−b)(c−a)≥0 sẽ đúng với mọi a≥b≥c≥0 nếu xảy ra 1 trong các khả năngmình sử dụng khả năng thứ nhất x≥yhoặc z≥y
Vậy ta có đpcm vì điều trên là đúng đã cm