Ta có
3(ab+bc+ca)=(a+b+ca)(ab+bc+ca)=(a2b+b2c+c2a)+(ab2+bc2+ca2)+3abc
Do vậy ta chỉ cần chứng minh ab2+bc2+ca2+abcZ4
Đây là một bài toán quen thuộc đã được chứng minh ở bài toán trên.
Bài toán được chứng minh đẳng thức xảy ra khi và chỉ khi a = b = c = 1