Từ điều kiện suy ra a,b,c≥1. Vì 0<2a−1≤a2 nên a2a−1≥1a.
Chứng minh tương tự thì có b2b−1≥1b và c2c−1≥1c.
Từ đó có a2a−1+b2b−1+c2c−1≥1a+1b+1c. (1)
Lại có 1a+1b+1c≥9a+b+c. (2)
Vì a,b,c≥1 nên (a−1)(b−1)+(b−1)(c−1)+(c−1)(a−1)≥0. Suy ra
9a+b+c≥183+ab+bc+ca. (3)
Kết hợp (1), (2) và (3) thì được bất đẳng thức cần chứng minh. Dấu bằng xảy ra khi a=b=c=1. △