Từ đề ra có [TEX] a + 2b + 3c[/TEX] \leq 4, hay [TEX](a + 1) + 2(b - 4) + 3(c + 1)[/TEX] \leq 0 (*). Đặt [TEX] x = a + 1[/TEX], [TEX] y = b - 4 [/TEX],[TEX] z = c + 1 [/TEX]. Vì [TEX] -1 \leq a,b,c \leq 4 [/TEX] nên [TEX]0 \leq x,z \leq 5 , -5 \leq y \leq0[/TEX] và điều kiện (*) trở thành [TEX] x + 2y + 3z \leq 0 [/TEX]. Bất đẳng thức cần chứng minh trở thành
[TEX] (x - 1)^2 + 2(y + 4)^2 + 3(z - 1)^2 \leq 0[/TEX];
hay [TEX] x^2 + 2y^2 + 3z^2 - 2x + 16y - 6z \leq 0[/TEX];
hay [TEX]x(x - 5) + 2y(y + 5) + 3z(z - 5) + 3(x + 2y + 3z) \leq 0[/TEX] (**). Vì [TEX] 0 \leq x,z \leq 5, -5 \leq y \leq 0[/TEX] nên [TEX]x(x - 5) \leq 0[/TEX] và [TEX] z(z - 5) \leq 0[/TEX] và [TEX]y(y + 5) \leq 0[/TEX], đồng thời[TEX] x + 2y + 3z \leq 0[/TEX]. Vậy bất đẳng thức (**) đúng, suy ra bất đẳng thức cần chứng minh. Dấu bằng xảy ra khi[TEX] x = y = z = 0\Leftrightarrow a = c = -1 .[/TEX] và[TEX] b=4[/TEX]