Không mất tính tổng quát, giả sử a≤b≤c⇒{b+a≥c+a≥a+bb+ca≤c+ab≤a+bc
Sử dụng bất đẳng thức Chebyshev cho 2 dãy đơn điệu ngược chiều:
(b+ca+c+ab+a+bc)[(b+c)+(c+a)+(a+b)]≥≥3[b+ca(b+c)+c+ab(c+a)+a+bc(a+b)]⇔(b+ca+c+ab+a+bc)[2(a+b+c)]≥3(a+b+c)⇔b+ca+c+ab+a+bc≥2(a+b+c)3(a+b+c)=23
Dấu bằng xảy ra ⇔ a=b=c >0