Bài này không chỉ đúng với điều kiện a+b+c=3 mà mở rộng hơn ta có kết quả sau:Nếu tồn tại a,b,c thực dương sao cho a+b+c≤3 ta sẽ có :
3√a+3√b+3√c≥ab+bc+ac
Ta có thể chứng minh BĐT sau:
(∑a34)833≥ab+bc+ac3
Kết hợp sử dụng BĐT Holder ta thu được:
(∑a133)(a+b+c3)53≥ab+bc+ac3
Do a+b+c=3 ta có đpcm.