Dễ dàng thấy rằng tồn tại một tam giác ABC có các cạnh tương ứng a,b,c và bán kính đường tròn ngoại tiếp R. Khi đó ta có thể viết điều cần chứng minh thành :
Bài toán(Poland, 1999) Cho các số dương a,b,c thỏa mãn a+b+c=1. Chứng minh rằng :
a2+b2+c2+23abc≤1
Lời giải 1 :
Với những bài toán mà giả thiết là f(a,b,c)=1 và bất đẳng thức cần chứng minh không thuần nhất thì ta thường kết hợp giả thiết để thuần nhất bài toán :